Onyx: Functional, Distributed Data Processing for Clojure
Explore Onyx's masterless coordination for distributed data processing in Clojure. Learn about its architecture, consensus mechanisms, and fault tolerance in network partitions and machine failures.
Grisette: Symbolic Compilation as a Functional Programming Library
Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.
Java Class Design: When to Use a Primitive vs Reference Type
Explore Java class design, focusing on primitive vs reference types, immutability, and record types. Gain insights for efficient and effective Java programming.
Efficient Parallel Functional Programming with Effects
Explore techniques for efficient parallel functional programming with unrestricted effects, improving performance while maintaining safety benefits through innovative memory management.
Effectful: A New Approach to Effects in Haskell
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.
A Functional EDSL for Mathematics Visualization That Compiles to JavaScript - Demo
Explore Sylvester, a functional DSL for creating interactive math visualizations using F# and JSXGraph, designed for accessibility and ease of use without requiring web development expertise.
Osiris: An Iris-Based Program Logic for OCaml
Explore Osiris, an Iris-based program logic for OCaml, enabling code verification using Separation Logic. Learn about its features, limitations, and future development plans.
Efficient OCaml Compilation with Flambda 2
Explore Flambda 2's IR and optimization pass for OCaml, focusing on inlining techniques and engineering constraints for efficient compilation of large codebases.
Growing a Functional Discipline
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.
Cultivating an Engineering Dialect
Explore strategies for choosing Haskell abstractions, libraries, and extensions to create an effective engineering dialect that balances innovation and accessibility for diverse teams.
Evolution of Java Platform Features - From Generics to Virtual Threads
Gain insights into Java's evolution through war stories and lessons learned from developing major platform features, as shared by Java Language Architect Brian Goetz.
4 Alternative Transducer Recording Methods and STP Vocal Effect Tutorial
Discover innovative recording techniques using alternative transducers and learn to recreate Stone Temple Pilots' iconic vocal effect from "Dead & Bloated" through practical demonstrations.
Functional Transforms in PyTorch Using Torch.func
Master functional transforms in PyTorch with torch.func module, covering per-sample-gradients, function vectorization, and model ensembles. Learn practical applications and avoid common pitfalls.
JAX vs PyTorch 2 - Converting Stateful to Stateless Operations in Neural Networks
Explore functional programming in JAX through hands-on comparison with PyTorch 2, focusing on neural network implementation and stateless operations for gradient descent.
Full Guide to Kotlin's Inline Keyword - Inline, Crossinline, and Noinline
Master Kotlin's inline keywords to optimize function, class, and variable performance in just 17 minutes.
Building Web Apps with Haskell and IHP - Lightning Talk
Explore full-stack web app development using Haskell and IHP framework through a quick live demonstration.
Deriving as a Library - Type Classes and Language Features
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
Modern DSL Compiler Architecture in OCaml - Experience with Catala
Explore state-of-the-art DSL implementation in OCaml, featuring concrete examples and insights from the Catala compiler for legal algorithms.
Automated Translation of Functional Big Data Queries to SQL
Explore automated translation of functional big data queries to SQL, improving efficiency while maintaining abstraction benefits. Learn about novel column-wise decomposition for query synthesis.
Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
Explore unboxed data constructors in ML languages, enhancing efficiency without compromising safety. Learn static analysis techniques and their implementation in OCaml, including termination detection algorithms.
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Explore type-preserving compilation for algebraic effect handlers, focusing on safety in continuation capture and resumption using stack polymorphism in an Agda-implemented compiler.