λ Functional Programming - ghosh.debasish · Scour

Finite Functional Programming 🔤PLT

Functional Programming in Lean - Functional Programming in Lean 🔤PLT

leanprover.github.io·2d·Hacker News

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

alexvear.com·3d·Hacker News

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

youtube.com·9h

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

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

How to Move from AI Experimentation to AI Transformation 🤖AI Agents

·4h

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

pure-systems.org·22h·Lobsters, Hacker News, Hacker News

Clojure on Fennel part three: parsing 🔤PLT

andreyor.st·3d·Hacker News

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

github.com·2d·Hacker News

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

news.ycombinator.com·14h·Hacker News

Breaking ten years of API compatibility 🖥️Systems Programming

futhark-lang.org·1d·Lobsters

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

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

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·10h

Clojure Deref (Apr 28, 2026) 🦀Rust Async

clojure.org·2d

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

reader.tymoon.eu·23h

applications of (higher) category theory in nLab 🔁Category Theory

ncatlab.org·4d

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·21h·Hacker News

Tries for Polynomials 🔧SMT Solvers

doisinkidney.com·2d·Lobsters

Hello, Jank 🔤PLT

clojurecivitas.org·17h

Log in to enable infinite scrolling