λ Functional Programming - ghosh.debasish · Scour

Functional Algorithms, Verified 📐Theorem Proving

www21.in.tum.de·6d·Lobsters

Reflection On Recursion • 2 𝕋Type Theory

inquiryintoinquiry.com·17h

A Gradual Probabilistic Lambda Calculus 🔤PLT

arxiv.org·2d

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔤PLT

pvk.ca·13h·Hacker News

Tim Bradshaw: Rules for Lisp programs 🔤PLT

tfeb.org·1d

Slap: Functional Concatenative Language... with a Borrow Checker? 🔤PLT

lobste.rs·5d·Lobsters

Listful Andrew: Counting Words VI: Clojure 📦Succinct Data Structures

flandrew.srht.site·18h

Simple System + Rick Feedback 🖥️Systems Programming

ericnormand.substack.com·2d·Substack

Structured Software Architecture 🖥️Systems Programming

programmingsimplicity.substack.com·19h·Substack

Giving LLMs a Formal Reasoning Engine for Code Analysis ✅Formal Verification

yogthos.net·1d·Lobsters, Hacker News

I Accidentally Reinvented Kernel (Programming Language) 🖥️Systems Programming

fayash.me·4d·Hacker News

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🤖Claude

github.com·10h·Hacker News

Swish - Clojure-like Lisp for Swift Video Series 🔤PLT

rodschmidt.com·1d

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 🦀Rust

readytotouch.com·16h·Hacker News

Binary Lambda Calculus is Hard 🔤PLT

aartaka.me·4d·r/functionalprogramming

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety ✅Formal Verification

embedded.com·1d

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects ⚙️Compilers

javacodegeeks.com·1d

Clojure Deref (Apr 7, 2026) 🦀Rust Async

clojure.org·3d

Functional diversity and specialization decoded: Implications for complex particle systems, NeuroAI, and hybrid human–AI ecosystems 🤖AI Agents

pnas.org·2d

Clojure on Fennel part one: Persistent Data Structures 🌲Persistent Data Structures

andreyor.st·3d·Lobsters, Hacker News

Loading more...