λ Functional Programming - nmarshall · Scour

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

Tries for Polynomials ∀Lean4

doisinkidney.com·2d·Lobsters

Build a JSON Parser in Rust from Scratch ⚠️Unsafe Rust

blog.sheerluck.dev·16h

Haskell: Debugging 🦀Rust Macros

wiki.haskell.org·4h·Hacker News

Functional Programmers need to take a look at Zig. ⚙️Zig

pure-systems.org·1d·Lobsters, Hacker News, Hacker News

Multi-agent systems as distributed software 🌐Distributed Systems

fulcrum.inc·23h·Hacker News

On Lisp: A review of Paul Graham's 1993 book 🔗Dependent Types

alexvear.com·3d·Hacker News

Why I Still Reach for Lisp and Scheme Instead of Haskell ⚙️LLVM

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Breaking ten years of API compatibility 🔄C to Rust Translation

futhark-lang.org·1d·Lobsters

applications of (higher) category theory in nLab 🔗Dependent Types

ncatlab.org·4d

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 🏗️Cranelift

github.com·1d·Hacker News

Lambda Calculus Benchmark for AI 🏗️AI Infrastructure

victortaelin.github.io·5d·Hacker News

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔗Dependent Types

pocketcasts.com·2d·Hacker News

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time 🦀Rust Macros

github.com·3d·Hacker News

Clojure us the future of AI coding, but you won't use it 🤖AI Coding Tools

latypoff.com·1d·Hacker News

Versioned, portable LLM prompts as a spec 🧩Low-code

promptpack.org·1d·Hacker News

Profunctor Equipment 🔗Linkers

bartoszmilewski.com·6d·Hacker News

composition ✍️Creative Writing

anglesmorts.org·1d

Haskell Data Pipelines ☁️Serverless Rust

github.com·6d·Lobsters, Hacker News

Stop Making Sense 🔗CoT Prompting

notes.seantaylor.work·1d

Log in to enable infinite scrolling