λ Functional Programming - c13e · Scour

Finite Functional Programming 🐫OCaml

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

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, r/functionalprogramming

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

youtube.com·18h

Document type inference 🐫OCaml

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

frontiersin.org·2h

Java sealed classes and exhaustive pattern matching 🛡️Memory Safety

neilmadden.blog·6d

Functional Programmers need to take a look at Zig ⚡Zig

ziggit.dev·10h

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

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

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

news.ycombinator.com·23h·Hacker News

Breaking ten years of API compatibility 🐫OCaml

futhark-lang.org·2d·Lobsters

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

alexvear.com·3d·Hacker News

Haskell: Debugging 🐫OCaml

wiki.haskell.org·7h·Hacker News

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

pocketcasts.com·2d·Hacker News

Build a JSON Parser in Rust from Scratch 🔵Lisp

blog.sheerluck.dev·19h

Chad Topaz: "The Phony Math at the Heart of the Supreme Court’s Voting Ruling" #ELB 🧠Active Recall

electionlawblog.org·5h

Lambda Calculus Benchmark for AI 🧠Local AI

victortaelin.github.io·5d·Hacker News

std::_Maybe_unary_or_binary_function (3) Linux Manual Page 🔵Lisp

systutorials.com·1d

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

·13h

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

blog.wolfram.com·1d

Log in to enable infinite scrolling