λ Functional Programming - HexadeciBot · Scour

Finite Functional Programming 🧠LLMs

Functional Programming in Lean - Functional Programming in Lean 📡Erlang

leanprover.github.io·3d·Hacker News

Document type inference 🦾Common Lisp

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

youtube.com·19h

Functional Programmers need to take a look at Zig. 📡Erlang

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

Veryl 0.20.0: logic synthesis and type inference are supported 🦾Common Lisp

veryl-lang.org·50m·Hacker News

Java sealed classes and exhaustive pattern matching 📡Erlang

neilmadden.blog·6d

Functional Programmers need to take a look at Zig 🦾Common Lisp

ziggit.dev·11h

Breaking ten years of API compatibility 📡Erlang

futhark-lang.org·2d·Lobsters

Build a JSON Parser in Rust from Scratch 🦾Common Lisp

blog.sheerluck.dev·19h

Why I still reach for Lisp and Scheme instead of Haskell 🦾Common Lisp

news.ycombinator.com·1d·Hacker News

Lambda Calculus Benchmark for AI 📡Erlang

victortaelin.github.io·5d·Hacker News

Haskell: Debugging 📡Erlang

wiki.haskell.org·8h·Hacker News

Artificial intelligence-based analysis of visual electrophysiological signals for clinical interpretation support 🧠ML

frontiersin.org·3h

Why I Still Reach for Lisp and Scheme Instead of Haskell 🦾Common Lisp

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

Functional impact of genetic background on variable expressivity in neurodevelopmental disorders 🧩Psychology

nature.com·47m

std::ilogb,std::ilogbf,std::ilogbl (3) Linux Manual Page 📡Erlang

systutorials.com·23h

applications of (higher) category theory in nLab 🧠LLMs

ncatlab.org·4d

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🦾Common Lisp

pocketcasts.com·2d·Hacker News

How to Move from AI Experimentation to AI Transformation 🕵️AI Agents

·14h

Log in to enable infinite scrolling