λ Functional Programming - ghosh.debasish · Scour

Finite Functional Programming 🔤PLT

Functional Programming in Lean - Functional Programming in Lean 🔤PLT

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

Haskell: Debugging ✅Formal Verification

wiki.haskell.org·42m·Hacker News

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🖥️Systems Programming

youtube.com·11h

Why I Still Reach for Lisp and Scheme Instead of Haskell 🔤PLT

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

On Lisp: A review of Paul Graham's 1993 book 🔤PLT

alexvear.com·3d·Hacker News

Document type inference 𝕋Type Theory

github.com·20h

Breaking ten years of API compatibility 🖥️Systems Programming

futhark-lang.org·1d·Lobsters

Why I still reach for Lisp and Scheme instead of Haskell 🔤PLT

news.ycombinator.com·16h·Hacker News

翰墨字典 🔤PLT

hanmozidian.fly.dev·1h

Clojure Deref (Apr 28, 2026) 🦀Rust Async

clojure.org·2d

Clojure on Fennel part three: parsing 🔤PLT

andreyor.st·3d·Hacker News

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·12h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔤PLT

pocketcasts.com·2d·Hacker News

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

latypoff.com·23h·Hacker News

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔤PLT

lispy-gopher-show.itch.io·6d

Yukari Hafner: On Lisp, LLMs, and Community 🔤PLT

reader.tymoon.eu·1d

Hello, Jank 🔤PLT

clojurecivitas.org·19h

RC Rover with 6-DOF Robot Arm (Arduino Controlled) #3Dprinting #3DThursday 🦀Rust

blog.adafruit.com·2h

Log in to enable infinite scrolling