λ Functional Programming - jinkai_lau · Scour

Finite Functional Programming 🔤Type Systems

Functional Programming in Lean - Functional Programming in Lean 🔍Static Analysis

leanprover.github.io·3d·Hacker News

Functional Programmers need to take a look at Zig. 🗣️New Languages

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

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

youtube.com·17h

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

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

Scaling and democratising structure-based protein function prediction with metagenomic-deepFRI ⚙️MLOps

biorxiv.org·5h

Clojure on Fennel part three: parsing 🗣️New Languages

andreyor.st·3d·Hacker News

Why I still reach for Lisp and Scheme instead of Haskell 🗣️New Languages

news.ycombinator.com·22h·Hacker News

Document type inference 🔤Type Systems

Haskell: Debugging ✅Formal Verification

wiki.haskell.org·6h·Hacker News

Breaking ten years of API compatibility 🗣️New Languages

futhark-lang.org·2d·Lobsters

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

alexvear.com·3d·Hacker News

Functional Programmers need to take a look at Zig 🗣️New Languages

Artificial intelligence-based analysis of visual electrophysiological signals for clinical interpretation support ⚙️MLOps

frontiersin.org·1h

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🔤Type Systems

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

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·18h

applications of (higher) category theory in nLab 🔤Type Systems

ncatlab.org·4d

Yukari Hafner: On Lisp, LLMs, and Community 🗣️New Languages

reader.tymoon.eu·1d

I built a free TypeScript quiz website with 125 questions and levels 🔤Type Systems

ts-quiz.com·14h·DEV

Chad Topaz: "The Phony Math at the Heart of the Supreme Court’s Voting Ruling" #ELB ✅Formal Verification

electionlawblog.org·4h

Log in to enable infinite scrolling