λ Functional Programming - tyler · Scour

Functional Programming in Lean - Functional Programming in Lean 🔧Code Generation

leanprover.github.io·3d·Hacker News

Functional Programmers need to take a look at Zig. ⚡Zig

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

Haskell: Debugging 🐛Fuzzing

wiki.haskell.org·9h·Hacker News

Veryl 0.20.0: logic synthesis and type inference are supported 🔧Code Generation

veryl-lang.org·2h·Hacker News

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 🔧Code Generation

github.com·1d·Hacker News

Lambda Calculus Benchmark for AI 📊LLM Evals

victortaelin.github.io·5d·Hacker News

Why I Still Reach for Lisp and Scheme Instead of Haskell 🔧Code Generation

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

Breaking ten years of API compatibility 🐛Fuzzing

futhark-lang.org·2d·Lobsters

On Lisp: A review of Paul Graham's 1993 book 🔍Parser Design

alexvear.com·3d·Hacker News

Clojure us the future of AI coding, but you won't use it ⚙️Systems Programming

latypoff.com·1d·Hacker News

Tries for Polynomials 🌳Data Structures

doisinkidney.com·3d·Lobsters

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔧Code Generation

pocketcasts.com·2d·Hacker News

Versioned, portable LLM prompts as a spec 🔌LSP Protocol

promptpack.org·1d·Hacker News

Profunctor Equipment 🔨Compilers

bartoszmilewski.com·6d·Hacker News

Multi-agent systems as distributed software 🤖Agent-Based Simulations

fulcrum.inc·1d·Hacker News

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time ⚙️Systems Programming

github.com·3d·Hacker News

Building a Reactive SPA by Using PHP, Twig, and JavaScript via Stimulus: Part One 🧡Svelte

hackernoon.com·2d

Clojure on Fennel part three: parsing 🔨Compilers

andreyor.st·3d·Hacker News

AI Wellbeing: Measuring and improving the functional pleasure and pain of AIs ⌚Quantified Self

ai-wellbeing.org·2d·Hacker News

"Parse, don't Validate" through the years with C++ 🐛Fuzzing

derekrodriguez.dev·4d·Hacker News, r/programming

Log in to enable infinite scrolling