λ Functional Programming - tyler · Scour

A Monadic Implementation of Functional Logic Programs ⚡Reactive Programming

Functional Programming in Lean - Functional Programming in Lean 🔧Code Generation

leanprover.github.io·3d·Hacker News

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

youtube.com·21h

Document type inference 🐛Fuzzing

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

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

Functional Programmers need to take a look at Zig ⚡Zig

ziggit.dev·13h

Lambda Calculus Benchmark for AI 📊LLM Evals

victortaelin.github.io·5d·Hacker News

Haskell: Debugging 🐛Fuzzing

wiki.haskell.org·10h·Hacker News

Why I still reach for Lisp and Scheme instead of Haskell 🔧Code Generation

news.ycombinator.com·1d·Hacker News

Functional Programmers need to take a look at Zig ⚡Zig

lobste.rs·4h·Lobsters

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

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

Java sealed classes and exhaustive pattern matching 🐛Fuzzing

neilmadden.blog·6d

Breaking ten years of API compatibility 🐛Fuzzing

futhark-lang.org·2d·Lobsters

On Lisp: A review of Paul Graham's 1993 book 🔍Parser Design

alexvear.com·3d·Hacker News

Clojure us the future of AI coding, but you won't use it ⚙️Systems Programming

latypoff.com·1d·Hacker News

Cinderella-Man/credence: Credence is a semantic linter for Elixir 🔧Code Generation

applications of (higher) category theory in nLab 🔍Parser Design

ncatlab.org·5d

Tries for Polynomials 🌳Data Structures

doisinkidney.com·3d·Lobsters

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 🧮Memory Allocators

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

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 🔧Code Generation

github.com·1d·Hacker News

Log in to enable infinite scrolling