λ Functional Programming - antidmg · Scour

Finite Functional Programming ⚙️Compilers

Functional Programming in Lean - Functional Programming in Lean ⚙️Compilers

leanprover.github.io·2d·Hacker News

On Lisp: A review of Paul Graham's 1993 book ⚙️Compilers

alexvear.com·3d·Hacker News

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 📐System Design

youtube.com·7h

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

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

I built a free TypeScript quiz website with 125 questions and levels 🦀Rust

ts-quiz.com·4h·DEV

Document type inference 🦀Rust

github.com·16h

applications of (higher) category theory in nLab ⚙️Compilers

ncatlab.org·4d

Clojure on Fennel part three: parsing ⚙️Compilers

andreyor.st·2d·Hacker News

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

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

How to Move from AI Experimentation to AI Transformation 🛠️AI Dev Tools

·3h

Breaking ten years of API compatibility 🦀Rust

futhark-lang.org·1d·Lobsters

Clojure community check-in self preview 🦀Rust

clojurecivitas.org·6d

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·8h

Tries for Polynomials ⚙️Compilers

doisinkidney.com·2d·Lobsters

Why I still reach for Lisp and Scheme instead of Haskell 🦀Rust

news.ycombinator.com·12h·Hacker News

"Parse, don't Validate" through the years with C++ 🦀Rust

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

Yukari Hafner: On Lisp, LLMs, and Community ⚙️Compilers

reader.tymoon.eu·22h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 ⚙️Compilers

pocketcasts.com·2d·Hacker News

How the brain rapidly switches between internal and external processing 📐System Design

medicalxpress.com·58m

Log in to enable infinite scrolling