λ Functional Programming - c13e · Scour

Finite Functional Programming 🐫OCaml

Functional Programming in Lean - Functional Programming in Lean ⚙️Compiler Design

leanprover.github.io·2d·Hacker News

Java sealed classes and exhaustive pattern matching 🛡️Memory Safety

neilmadden.blog·6d

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🐫OCaml

youtube.com·7h

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

github.com·2d·Hacker News

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

·2h

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

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

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

alexvear.com·3d·Hacker News

Why I Still Reach for Lisp and Scheme Instead of Haskell 🔵Lisp

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

Why I still reach for Lisp and Scheme instead of Haskell 🔵Lisp

news.ycombinator.com·12h·Hacker News

I built a free TypeScript quiz website with 125 questions and levels 🔤New Languages

ts-quiz.com·4h·DEV

Tries for Polynomials 📐Formal Methods

doisinkidney.com·2d·Lobsters

Lambda Calculus Benchmark for AI 🧠Local AI

victortaelin.github.io·5d·Hacker News

Build a JSON Parser in Rust from Scratch 🔵Lisp

blog.sheerluck.dev·8h

Breaking ten years of API compatibility 🐫OCaml

futhark-lang.org·1d·Lobsters

A Computational Approach to Early Breast Cancer Detection Using Wolfram ⚡Zig

blog.wolfram.com·22h

"Parse, don't Validate" through the years with C++ ⚙️Compiler Design

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

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🐫OCaml

pocketcasts.com·2d·Hacker News

Yukari Hafner: On Lisp, LLMs, and Community 🔤New Languages

reader.tymoon.eu·21h

How the brain rapidly switches between internal and external processing 🧬Cognitive Neuroscience

medicalxpress.com·47m

Log in to enable infinite scrolling