λ Functional Programming - beachlorn · Scour

Incremental Lambda Calculus λLambda Calculus

inc-lc.github.io·12h·Hacker News

A Gradual Probabilistic Lambda Calculus λLambda Calculus

arxiv.org·2d

Functional Algorithms, Verified ✓Formal Verification

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

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🔧Scheme

jointhefreeworld.org·11h·Lobsters, Hacker News

Reflection On Recursion • 2 🔤Type Theory

inquiryintoinquiry.com·1d

🎲 Explaining FORTRAN’s FORMAT statement 🎾Racket

ambiguous.name·1h

Binary Lambda Calculus is Hard λLambda Calculus

aartaka.me·5d·r/functionalprogramming

🥩 Red Meat Friday: Rules For Lisp Programs 🔧Scheme

irreal.org·6h

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔗Parser Combinators

pvk.ca·1d·Hacker News

Show HN: Agent Tuning, using recursion to achieve predictable agent output ✨Effect Handlers

github.com·23h·Hacker News

Functional Emotions, Sycophantic Spirals, and Coherence Collapse: A Unified Framework for… ✨Algebraic Effects

medium.com

·5h

Tim Bradshaw: Rules for Lisp programs 🔧Scheme

tfeb.org·2d

Slap: Functional Concatenative Language... with a Borrow Checker? 🔗Parser Combinators

lobste.rs·6d·Lobsters

Soppo language: Go, with the features it's missing 🔧Scheme

soppolang.dev·11h·Hacker News

Listful Andrew: Counting Words VI: Clojure 🎾Racket

flandrew.srht.site·1d

I Accidentally Reinvented Kernel (Programming Language) 🔧Scheme

fayash.me·5d·Hacker News

AI-designed proteins built from scratch can recognize specific compounds 🔗Parser Combinators

phys.org·21h

Giving LLMs a Formal Reasoning Engine for Code Analysis 🐫OCaml

yogthos.net·1d·Lobsters, Hacker News

Podcast: Tiger Teams, Evals and Agents: The New AI Engineering Playbook ✨Effect Handlers

infoq.com·12h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📚Forth

embedded.com·2d

Loading more...