λ Functional Programming - plumenator · Scour

Incremental Lambda Calculus 🦥Haskell

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

A Gradual Probabilistic Lambda Calculus 🦥Haskell

arxiv.org·2d

Functional Algorithms, Verified 🧮Lean

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

🥩 Red Meat Friday: Rules For Lisp Programs 📐PLT

irreal.org·2h

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🔤Type Systems

jointhefreeworld.org·8h·Lobsters, Hacker News

Reflection On Recursion • 2 🔤Type Systems

inquiryintoinquiry.com·1d

Binary Lambda Calculus is Hard 📐PLT

aartaka.me·4d·r/functionalprogramming

Retrospective on binary search and comp{ress,ilat}ion (2015) 🧮Lean

pvk.ca·22h·Hacker News

Tim Bradshaw: Rules for Lisp programs 📐PLT

tfeb.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🌀Idris

github.com·19h·Hacker News

Functional Emotions, Sycophantic Spirals, and Coherence Collapse: A Unified Framework for… 🗣️Multilingualism

medium.com

·2h

Listful Andrew: Counting Words VI: Clojure 🦥Haskell

flandrew.srht.site·1d

Slap: Functional Concatenative Language... with a Borrow Checker? 🦥Haskell

lobste.rs·6d·Lobsters

Soppo language: Go, with the features it's missing 🦥Haskell

soppolang.dev·7h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🧮Lean

yogthos.net·1d·Lobsters, Hacker News

Reducing self-interaction error in transition-metal oxides with different exact-exchange fractions for energy and density 🦥Haskell

link.aps.org·1h

I Accidentally Reinvented Kernel (Programming Language) 🦥Haskell

fayash.me·5d·Hacker News

AI-designed proteins built from scratch can recognize specific compounds ✅Proof Assistants

phys.org·18h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔍Abstract Interpretation

embedded.com·2d

Podcast: Tiger Teams, Evals and Agents: The New AI Engineering Playbook 💻Programming

infoq.com·8h

Loading more...