Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Haskell

Showing: 137 courses
Derek Banas

Haskell Tutorial

1 rewiews
Comprehensive Haskell tutorial covering syntax, data types, functions, and advanced concepts. Ideal for beginners and intermediate programmers seeking to master functional programming.
Add to list
49 Lesons
1 hour 17 minutes
On-Demand
Free-Video

Haskell for Beginners

0 rewiews
Learn Haskell fundamentals: setup, data types, functions, user input, and basic programming concepts. Build practical projects like a calculator and guessing game to reinforce your skills.
Add to list
21 Lesons
2 hours 30 minutes
On-Demand
Free-Video

HackerRank in Haskell

0 rewiews
Solve HackerRank problems using Haskell, covering topics from basic algorithms to advanced functional programming concepts like monads and brute-force techniques.
Add to list
15 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Haskell for Imperative Programmers

0 rewiews
Learn functional programming with Haskell, covering basics to advanced topics like monads, concurrency, and formal verification. Ideal for developers transitioning from imperative languages.
Add to list
43 Lesons
12 hours
On-Demand
Free-Video
Docker

Talking TUF: Securing Software Distribution

0 rewiews
Explore The Update Framework (TUF) for securing software update systems. Learn how to integrate this flexible security framework to protect against vulnerabilities and enhance software distribution safety.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
ACM SIGPLAN

Towards Higher-level Abstractions for Molecular Programming

0 rewiews
Explore higher-level abstractions for molecular programming using chemical reaction networks, inspired by functional reactive programming. Build modular CRN programs with a Haskell library.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
ChariotSolutions

Uncovering the Unknown - Principles of Type Inference in Programming Languages

0 rewiews
Explore type inference in programming languages, uncovering quirks and power in C#, Scala, and Haskell. Delve into local and global inference, constraint typing, and structural typing.
Add to list
13 Lesons
1 hour 3 minutes
On-Demand
Free-Video
IEEE

Programming Languages for High-Assurance Vehicles

0 rewiews
Explore secure programming for high-assurance vehicles using embedded domain-specific languages in Haskell, focusing on autopilot development, verification tools, and real-world applications.
Add to list
23 Lesons
30 minutes
On-Demand
Free-Video
Raw Coding

.NET Core Beginner Tutorial - Making a Blog: Meta Tags - Episode 13

0 rewiews
Implement SEO-friendly meta tags for websites and posts, covering title, keywords, and description. Learn about Open Graph tags and functional programming basics.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
ACM SIGPLAN

Vehicle - A Specification Language for Neural Network Properties

0 rewiews
Explore Vehicle, a functional DSL for specifying neural network properties. Learn to express, compile, and verify specifications across platforms, enhancing safety in ML-enhanced systems.
Add to list
1 Lesons
3 hours 6 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations

0 rewiews
Explore coarse-grained self-adjusting computations in Haskell for efficient data updates. Learn from a commercial system's architecture, API, and real-world application.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
ACM SIGPLAN

Crème de la Crem - Composable Representable Executable Machines

0 rewiews
Explore building modular software architectures using state machines, combining Domain-Driven Design principles with Haskell's advanced type-level features for robust system composition.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video
Java

Designing Functional Programs: From Imperative to Functional Paradigm

0 rewiews
Learn functional programming principles and design techniques to build practical applications with immutability and higher-order functions, shifting from imperative and object-oriented paradigms.
Add to list
13 Lesons
46 minutes
On-Demand
Free-Video
ChariotSolutions

From Rails to Elm and Haskell - Transitioning to a Purely Functional Stack

0 rewiews
Explore the journey from Ruby on Rails to Elm and Haskell at NoRedInk, discussing adoption strategies, challenges, and benefits of transitioning to functional programming languages.
Add to list
10 Lesons
52 minutes
On-Demand
Free-Video
GOTO Conferences

Introduction to Recursion Schemes - YOW! 2018

0 rewiews
Explore recursion schemes in functional programming with Amy Wong. Learn key concepts, applications, and benefits for writing more elegant and maintainable code.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
GOTO Conferences

An Intuitive Guide to Combining Free Monad and Free Applicative - YOW! 2018

0 rewiews
Explore combining Free Monads and Free Applicatives in functional programming. Learn motivations, building complex domains, introducing parallelism, and practical design tips for powerful program structures.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
GOTO Conferences

What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming

0 rewiews
Explore the purpose and benefits of types in programming, examining their role beyond just preventing errors, with insights into functional programming concepts and type theory.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
ACM SIGPLAN

Exploring Algebraic Placement in Multiparty Languages - CP 2024

0 rewiews
Explore the relationship between type systems and placement systems in distributed programming languages, focusing on modular reasoning and algebraic placement structures.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Effect Handlers for Choice-Based Learning in Machine Learning Programming

0 rewiews
Explore a novel choice-based learning paradigm combining algebraic effects, handlers, and loss continuations to enhance modularity in machine learning programming.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell Symposium 2024 - Session 3

0 rewiews
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Add to list
1 Lesons
9 hours 13 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell Symposium 2024 - Session 3

0 rewiews
Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.
Add to list
1 Lesons
7 hours 26 minutes
On-Demand
Free-Video
Strange Loop Conference

Building Haskell Programs with Fused Effects

0 rewiews
Explore fused-effects library for Haskell: a powerful, flexible alternative to monad transformers, offering improved expressiveness without performance loss. Learn its history, benefits, and practical applications.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video
Strange Loop Conference

Musical Steganography - Hiding Things in Music

0 rewiews
Explore techniques for concealing messages in music, from Bach's compositions to modern digital methods. Learn to apply steganographic principles using TidalCycles and Haskell.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Strange Loop Conference

Categories for the Working Hacker

0 rewiews
Explore category theory's relevance to developers through Java, Haskell, and blockchain languages. Learn how categories model basic data types and their connection to logic and computing.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Strange Loop Conference

Proof Theory Impressionism - Blurring the Curry-Howard Line

0 rewiews
Exploring approaches to bridge the gap between proof assistants and production languages, focusing on Rust and its potential for incorporating provable system capabilities.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Strange Loop Conference

Point-Free or Die - Tacit Programming in Haskell and Beyond

0 rewiews
Explore tacit programming in functional languages, its benefits, drawbacks, and applications. Learn eta-reduction, develop intuition, and examine its use in libraries and specialized languages.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
Strange Loop Conference

Coder Decoder - Functional Programmer Lingo Explained, with Pictures

0 rewiews
Demystifies functional programming jargon using Haskell examples and visuals. Explores concepts like currying, lenses, and monads, demonstrating their application in a simple web app.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
media.ccc.de

Safe and Secure Drivers in High-Level Languages

0 rewiews
Explore writing PCIe drivers in modern languages like Rust and Go, focusing on safety, security, and performance. Learn techniques for user-space implementation and hardware isolation.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
media.ccc.de

Treiber in High-Level Programmiersprachen

0 rewiews
Netzwerktreiber-Implementierung in verschiedenen Hochsprachen: Vergleich von Sicherheitsfeatures, Performance und Komplexität für Intel 10 Gbit/s Karten in Rust, Go, OCaml, Haskell, C#, Python und Swift.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
Strange Loop Conference

Building Secure Systems in Haskell

0 rewiews
Explore building secure web applications using Haskell's LIO and Hails framework, focusing on data privacy protection through language-level information flow control and declarative policy specification.
Add to list
24 Lesons
38 minutes
On-Demand
Free-Video
Strange Loop Conference

Side Effects Are a Public API

0 rewiews
Explore techniques for isolating and representing side effects as intents, improving code testability and maintainability in Python and functional programming paradigms.
Add to list
10 Lesons
38 minutes
On-Demand
Free-Video
Strange Loop Conference

Dependent Types in Haskell

0 rewiews
Explore dependent types in Haskell, their influence on GHC, and practical applications through an extended example. Learn about current capabilities, challenges, and surprises in language design.
Add to list
12 Lesons
39 minutes
On-Demand
Free-Video
Strange Loop Conference

Hackett - A Metaprogrammable Haskell

0 rewiews
Explore Hackett, a language combining Haskell's type system with Racket's macro system. Learn about interleaved macroexpansion and typechecking, and discover new possibilities for metaprogramming and DSLs.
Add to list
11 Lesons
34 minutes
On-Demand
Free-Video
Strange Loop Conference

Towards Annex - A Fact Based Dependency System

0 rewiews
Explore a novel approach to dependency management using fact-based systems, functional programming, and datalog principles for improved flexibility, reproducibility, and context-aware artifact queries.
Add to list
13 Lesons
44 minutes
On-Demand
Free-Video
NDC Conferences

Functional Patterns for the Object Oriented

0 rewiews
Explore functional programming patterns in OO languages, comparing Haskell approaches with traditional OO solutions. Learn about lambda expressions, stream processing, tuples, and pattern matching.
Add to list
19 Lesons
52 minutes
On-Demand
Free-Video
Devoxx

Eta Lang - Haskell on JVM

0 rewiews
Explore Eta, a Haskell implementation for JVM, its performance, and integration with Java. Learn about tail call optimizations and potential use cases for combining Haskell/Eta with Java components.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Devoxx

Modern Software Development with Haskell

0 rewiews
Explore Haskell's unique features for writing declarative, compositional, efficient, and safe software in this introduction to advanced purely functional programming.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
Devoxx

Let's Get Lazy - Exploring the Real Power of Streams

0 rewiews
Explore lazy evaluations and Stream API in Java for efficient coding. Learn from Haskell and Scala examples to harness the power of lambdas and achieve optimal performance in your programs.
Add to list
1 Lesons
53 minutes
On-Demand
Free-Video
Devoxx

From Javascript to Haskell - Functional Programming Made Simple

0 rewiews
Demystifying functional programming concepts through live coding, transforming imperative code to functional. Explore key principles like higher-order functions, closures, and currying for clearer, more efficient code.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
Devoxx

What Haskell Taught Us When We Were Not Looking

0 rewiews
Explore Haskell's influence on JVM languages, its unique constructs, and potential future impacts. Discover how functional programming concepts can enhance your coding skills and broaden your programming perspective.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
GOTO Conferences

Hashing Modulo Alpha Equivalence

0 rewiews
Explore efficient hashing techniques for identifying identical subtrees in program syntax, focusing on alpha-renaming robustness and asymptotic efficiency in functional programming languages.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
GOTO Conferences

Let's Get Lazy - Exploring the Real Power of Streams

0 rewiews
Explore the power of lazy evaluations and Streams in Java for efficient programming. Learn how to leverage lambda expressions and avoid unnecessary computations.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
GOTO Conferences

Staging with Class - A Specification for Typed Template Haskell

0 rewiews
Explore multi-stage programming in Haskell, focusing on typed code quotation and its interaction with type classes. Learn about staged type class constraints and their formalization in source and core calculi.
Add to list
17 Lesons
30 minutes
On-Demand
Free-Video
GOTO Conferences

Functional Programming in Education

0 rewiews
Exploring the role of functional programming in tertiary education, suggesting improvements using typed languages like Haskell, and recommending resources for modern programming education.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
GOTO Conferences

Denotational Design - From Meanings To Programs

0 rewiews
Explore denotational design for functional programming libraries, focusing on precise mathematical models to define APIs and guide implementations, illustrated with examples like FRP and image synthesis.
Add to list
17 Lesons
2 hours 21 minutes
On-Demand
Free-Video
GOTO Conferences

Property-based State Machine Testing

0 rewiews
Introduction to property-based state machine testing in Haskell using hedgehog library. Explores techniques for testing web applications, including content creation, deletion, constraints, and authentication.
Add to list
13 Lesons
27 minutes
On-Demand
Free-Video
GOTO Conferences

Teaching New Tricks to Old Programs Part 2

0 rewiews
Explore advanced functional programming techniques for reinterpreting existing code, including hardware circuits, automatic differentiation, and interval analysis, using Haskell and GHC plugins.
Add to list
11 Lesons
31 minutes
On-Demand
Free-Video
GOTO Conferences

Teaching New Tricks to Old Programs Part 1

0 rewiews
Explore new interpretations for functional programs, including hardware circuits and automatic differentiation. Learn techniques for overloading lambda and organizing interpretations in Haskell.
Add to list
12 Lesons
30 minutes
On-Demand
Free-Video
GOTO Conferences

Propagators Part 2

0 rewiews
Explores advanced concepts in propagator algorithms, blending frameworks to optimize termination and consistency in various computational domains like CRDTs, Datalog, and constraint programming.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
Strange Loop Conference

Reviving 1990's Digital Dress-Up Dolls with Smooch

0 rewiews
Explore the revival of 1990s digital dress-up dolls using JavaScript and Haskell. Dive into the Kisekae Set System's specifications, custom image format, and scripting language for a nostalgic journey through digital art history.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video
EuroPython Conference

Functional Programming in Python and Even Haskell Part 1

0 rewiews
Explore functional programming concepts in Python and Haskell, enhancing your coding skills with advanced techniques and paradigms.
Add to list
1 Lesons
2 hours 23 minutes
On-Demand
Free-Video
GOTO Conferences

Full-Stack Haskell - From Prototype to Production

0 rewiews
Explore full-stack Haskell development, from backend reliability to frontend GUIs. Learn about overcoming obstacles, leveraging strong typing, and expanding Haskell's practical applications in professional projects.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
GOTO Conferences

Effective Haskell

0 rewiews
Explore Haskell's power with experts Rebecca Skinner and Emily Pillmore. Learn about GHC, laziness, MTL, and practical applications. Gain insights on embracing failure and finding joy in coding.
Add to list
8 Lesons
44 minutes
On-Demand
Free-Video
GOTO Conferences

GHC Language Extensions

0 rewiews
Explore common GHC language extensions in Haskell, their use cases, and potential risks. Learn about syntactic sugar, type class-related extensions, and how to use them effectively.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
GOTO Conferences

Strongly Typed System F in GHC

0 rewiews
Explore implementing polymorphic strongly typed abstract syntax in Haskell, covering variable binding representations and pushing the boundaries of dependently typed programming in GHC.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
GOTO Conferences

The Reflex Architecture

0 rewiews
Explore Reflex-dom for Haskell web apps using Functional Reactive Programming. Learn state management, widget type signatures, and architectural patterns familiar to Redux and Elm developers.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
EmacsConf and Emacs hangouts

Haskell Code Exploration with Emacs

0 rewiews
Explore Haskell code efficiently with Emacs using offline documentation, local resources, and specialized packages. Learn about literate programming and reindexing techniques for enhanced productivity.
Add to list
8 Lesons
17 minutes
On-Demand
Free-Video
linux.conf.au

Designing Functional Clothes with Haskell

0 rewiews
Learn to create unique clothing patterns using Haskell's "diagrams" library. Explore composable graphics, mathematical structures, and build an open-source fashion design pipeline for functional and stylish apparel.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
code::dive conference

Functional Programming in C++

0 rewiews
Explore functional programming concepts and their implementation in C++, comparing with Haskell. Learn about pure functions, closures, lazy evaluation, and more in this comprehensive talk.
Add to list
57 Lesons
1 hour 23 minutes
On-Demand
Free-Video
code::dive conference

Why Algebraic Data Types Are Important

0 rewiews
Explore type theory, category theory, and logic in functional programming, focusing on algebraic data types and their role in enhancing code reliability and expressiveness.
Add to list
9 Lesons
1 hour 9 minutes
On-Demand
Free-Video
CppNow

Boosting MPL with Haskell Elements

0 rewiews
Explore advanced C++ template metaprogramming techniques inspired by Haskell, including let expressions, monads, list comprehension, and error handling, to enhance Boost.MPL and improve code readability and organization.
Add to list
1 Lesons
1 hour 19 minutes
On-Demand
Free-Video
CppNow

Haskell - The Pseudocode Language for C++ Template Metaprogramming

0 rewiews
Explore functional programming concepts in Haskell to improve C++ template metaprogramming skills. Learn to read and write complex metaprograms using Haskell as pseudocode for C++.
Add to list
1 Lesons
3 hours 18 minutes
On-Demand
Free-Video
CppNow

Haskell - The Pseudocode Language for C++ Template Metaprogramming - Part 2

0 rewiews
Explore functional programming concepts in Haskell to enhance C++ template metaprogramming skills. Learn to write and analyze complex metaprograms using Haskell as pseudocode.
Add to list
1 Lesons
3 hours 18 minutes
On-Demand
Free-Video
CppNow

Haskell Taketh Away - Limiting Side Effects for Parallel Programming

0 rewiews
Exploring how limiting side effects in programming languages enhances parallel programming, with insights from Haskell and C++ on determinism, purity, and embedded domain-specific languages.
Add to list
18 Lesons
1 hour 30 minutes
On-Demand
Free-Video
CppNow

Tacit DSL All the Things

0 rewiews
Explore functional programming concepts in C++ through an extended ranges DSL, unifying various paradigms and libraries for more declarative and composable code.
Add to list
34 Lesons
1 hour 30 minutes
On-Demand
Free-Video
EuroPython Conference

Functional Programming in Python and Even Haskell Part 2

0 rewiews
Explore advanced functional programming concepts and techniques in Python and Haskell, building on part 1 to deepen your understanding and practical skills.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
EuroPython Conference

Functional Programming in Python and Even Haskell - Part 1

0 rewiews
Explore functional programming concepts in Python and Haskell, covering key principles and techniques to enhance your coding skills and problem-solving approach.
Add to list
1 Lesons
1 hour 53 minutes
On-Demand
Free-Video
EuroPython Conference

Functional Programming in Python and Even Haskell - Part 2

0 rewiews
Explore advanced functional programming concepts and techniques in Python and Haskell, building on foundational knowledge to enhance coding skills and problem-solving abilities.
Add to list
1 Lesons
1 hour 16 minutes
On-Demand
Free-Video
EuroPython Conference

What Can Python Learn from Haskell

0 rewiews
Explore functional programming techniques from Erlang and Haskell to enhance Python's performance, robustness, and conciseness in building reliable high-concurrency services.
Add to list
26 Lesons
41 minutes
On-Demand
Free-Video
EuroPython Conference

Through the Lens of Haskell - Exploring New Ideas for Library Design

0 rewiews
Explore Haskell's unique approach to library design, gaining insights to inspire innovative problem-solving in Python. Discover alternative perspectives for tackling common programming challenges.
Add to list
7 Lesons
30 minutes
On-Demand
Free-Video
Scala Days Conferences

Easy Static Checking for Embedded DSLs in Scala with Contextual

0 rewiews
Explore compile-time checking for embedded DSLs in Scala using Contextual, enabling custom error messages and enhanced safety without macros. Learn to create powerful string interpolators.
Add to list
41 Lesons
51 minutes
On-Demand
Free-Video
NDC Conferences

Functional Architecture - The Pits of Success

0 rewiews
Explore how functional programming naturally leads to best practices in system design, contrasting with object-oriented approaches and highlighting benefits like testability and encapsulation.
Add to list
26 Lesons
1 hour
On-Demand
Free-Video
NDC Conferences

One Kata, Three Languages

0 rewiews
Explore FizzBuzz kata implementations in C#, Haskell, and Clojure. Learn functional programming concepts and apply them to improve object-oriented code.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
NDC Conferences

Clean Coders Hate What Happens to Your Code When You Use These Enterprise Programming Tricks

0 rewiews
Explores how common coding practices and design assumptions can lead to unnecessarily complex and bloated code, offering insights to improve code quality and maintainability.
Add to list
24 Lesons
1 hour 11 minutes
On-Demand
Free-Video
NDC Conferences

Let's Get Lazy - The Real Power of Functional Programming

0 rewiews
Explore lazy evaluations in functional programming, focusing on efficiency and avoiding unnecessary computations. Learn to implement lazy techniques in C# using lambdas and the Stream API.
Add to list
20 Lesons
58 minutes
On-Demand
Free-Video
NDC Conferences

Servant - Web APIs at the Type Level

0 rewiews
Explore Servant, a Haskell library for type-level web API design, offering clean HTTP logic separation, automatic verification, and generation of documentation and client code.
Add to list
7 Lesons
24 minutes
On-Demand
Free-Video
NDC Conferences

Dependency Injection Revisited

0 rewiews
Explore functional programming approaches to Dependency Injection, examining non-deterministic behavior control and its application in both functional and object-oriented paradigms.
Add to list
12 Lesons
54 minutes
On-Demand
Free-Video
NDC Conferences

Dependency Injection Revisited

0 rewiews
Explore alternative approaches to Dependency Injection, examining functional programming concepts and their applicability to object-oriented programming. Gain insights into controlling non-deterministic behavior in software development.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
NDC Conferences

Haskell - A Peek Inside the Ivory Tower

0 rewiews
Explore Haskell's unique features as a pure functional language, its strengths and weaknesses, and how it compares to other languages for writing quality, maintainable software.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
Code Sync

Effectful: A New Approach to Effects in Haskell

0 rewiews
Explore Effectful, a new Haskell effects library combining Polysemy-like ergonomics with ReaderT pattern performance. Learn its potential to revolutionize effect handling in Haskell programming.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
GOTO Conferences

Growing a Functional Discipline

0 rewiews
Strategies for adopting functional programming in organizations: reducing risks, fostering learning culture, and transitioning from ad-hoc solutions to domain-driven implementations in Scala and Haskell.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
GOTO Conferences

Cultivating an Engineering Dialect

0 rewiews
Explore strategies for choosing Haskell abstractions, libraries, and extensions to create an effective engineering dialect that balances innovation and accessibility for diverse teams.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
Discover AI

Perfect Reasoning for AI Agents Using ReasonAgain - Symbolic Code Implementation

0 rewiews
Discover how to enhance AI agent reasoning through symbolic programming, exploring ReasonAgain's methodology for improving LLM mathematical and logical capabilities across multiple coding languages.
Add to list
12 Lesons
25 minutes
On-Demand
Free-Video
ACM SIGPLAN

Building Web Apps with Haskell and IHP - Lightning Talk

0 rewiews
Explore full-stack web app development using Haskell and IHP framework through a quick live demonstration.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Deriving as a Library - Type Classes and Language Features

0 rewiews
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

GHC-Specter: A Plugin for Live Inspection of GHC Internal States

0 rewiews
Explore ghc-specter, a GHC plugin for real-time inspection and visualization of GHC's internal states during compilation, enabling interactive debugging and performance analysis.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Severing Ties: The Need for Non-Updateable Thunks

0 rewiews
Explore non-updateable thunks in Haskell to prevent memory leaks and optimize garbage collection in streaming abstractions and control flow scenarios.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

GHC Plugin for Setting Breakpoints in Concurrent Programs

0 rewiews
Explore a GHC plugin for improved breakpoint functionality in concurrent programs, addressing limitations in GHCi's built-in debugger.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Integrating Liquid Haskell with GHC - Challenges and Trade-offs

0 rewiews
Explore challenges and trade-offs of integrating Liquid Haskell with GHC, examining maintenance issues, potential benefits, and implications for Haskell development.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Modal FRP for All: Functional Reactive Programming Without Space Leaks in Haskell

0 rewiews
Explore Modal FRP in Haskell: Learn to prevent space leaks in functional reactive programming and implement a Pong game using this technique.
Add to list
16 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Etna: An Evaluation Platform for Property-Based Testing - Experience Report

0 rewiews
Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023

0 rewiews
Explore efficient loop optimization in Arrowized Functional Reactive Programming, improving performance through novel program transformations while maintaining correctness in Haskell.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Effect Handlers for Programmable Inference - Haskell 2023

0 rewiews
Explore effect handlers for modular inference programming in probabilistic algorithms, revealing high-level structures and enabling easy customization of Metropolis-Hastings and particle filtering methods.
Add to list
11 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

HasTEE: Programming Trusted Execution Environments with Haskell

0 rewiews
Explore HasTEE, a Haskell-embedded DSL for programming Trusted Execution Environments. Learn how it simplifies TEE application development with automatic partitioning and enhanced security features.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Essence of Reactivity

0 rewiews
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
ACM SIGPLAN

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing

0 rewiews
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Haskell Auto-Parallelizer for Distributed Computing

0 rewiews
Explore a Haskell auto-parallelizer for distributed computing, leveraging function purity to create scalable and performant applications on large clusters.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

An Exceptional Actor System in Haskell - Functional Pearl

0 rewiews
Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Haskell Library for Safer Virtual Machine Introspection - Experience Report

0 rewiews
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
GOTO Conferences

I Haskell a Git - Implementing Git in Haskell

0 rewiews
Explore Git's internals through Haskell implementation, gaining insights into version control and functional programming concepts for enhanced software engineering skills.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video