🧮 Functional Programming - martin · Scour

Incremental Lambda Calculus 🔧Functional programming

inc-lc.github.io·7h·Hacker News

Functional Algorithms, Verified 🔧Functional programming

www21.in.tum.de·6d·Lobsters

A Gradual Probabilistic Lambda Calculus 🔧Functional programming

arxiv.org·2d

🥩 Red Meat Friday: Rules For Lisp Programs 🔧Functional programming

irreal.org·55m

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp λHaskell

jointhefreeworld.org·6h·Lobsters, Hacker News

Reflection On Recursion • 2 λHaskell

inquiryintoinquiry.com·1d

Binary Lambda Calculus is Hard λHaskell

aartaka.me·4d·r/functionalprogramming

Retrospective on binary search and comp{ress,ilat}ion (2015) 🌳BSP Trees

pvk.ca·20h·Hacker News

Tim Bradshaw: Rules for Lisp programs 🔧Functional programming

tfeb.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🗺️Pathfinding Algorithms

github.com·17h·Hacker News

Structured Software Architecture ⚡Algebraic Effects

programmingsimplicity.substack.com·1d·Substack

Slap: Functional Concatenative Language... with a Borrow Checker? λHaskell

lobste.rs·6d·Lobsters

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 🎨Procreate

readytotouch.com·23h·Hacker News

Swish - Clojure-like Lisp for Swift Video Series λHaskell

rodschmidt.com·1d

I Accidentally Reinvented Kernel (Programming Language) λHaskell

fayash.me·5d·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🗺️Pathfinding Algorithms

yogthos.net·1d·Lobsters, Hacker News

Listful Andrew: Counting Words VI: Clojure λHaskell

flandrew.srht.site·1d

Post-Penultimate Conditional Syntax 🔧Functional programming

joel.place·5d·Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety ⚡Algebraic Effects

embedded.com·2d

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax ⚡Algebraic Effects

javacodegeeks.com·3d

Loading more...