λ Functional Programming - ColonelPhantom · Scour

Functional Algorithms, Verified 📐Lean 4

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

A Gradual Probabilistic Lambda Calculus ⚙Programming Language Design

arxiv.org·18h

Reflection On Recursion • 1 📐Lean 4

inquiryintoinquiry.com·2d

Swish - Clojure-like Lisp for Swift Video Series 🔵Lisp

rodschmidt.com·5h

Clojure on Fennel part one: Persistent Data Structures 🔒STM

andreyor.st·1d·Lobsters, Hacker News

Tim Bradshaw: Rules for Lisp programs ⚙Programming Language Design

tfeb.org·11h

🐍 Functionally Zen ⚙Programming Language Design

testdouble.com·6d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety ⚙Programming Language Design

embedded.com·10h

techascent/tech.ml.dataset: A Clojure high performance data processing system ⚙Programming Language Design

github.com·2d·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 📐Lean 4

yogthos.net·58m·Lobsters

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

pnas.org·13h

The Value of Immutability with Object First 🔒STM

securityboulevard.com·2d

Binary Lambda Calculus is Hard ⚙Programming Language Design

aartaka.me·3d·r/functionalprogramming

Rethinking microbiome health through functional dynamics 🎩Haskell

cell.com·8h

Simple System + Rick Feedback 📐Lean 4

ericnormand.substack.com·1d·Substack

Extending nonlocal kinetic energy density functionals to isolated systems via a density-functional-dependent kernel λPLT

link.aps.org·5h

Slap: Functional Concatenative Language... with a Borrow Checker? ⚙Programming Language Design

lobste.rs·4d·Lobsters

Controlled transfer-reduction of functional groups with ethanol by their interaction strength with the oxygen vacancies 🔒STM

nature.com·13h

I Built a Lisp for AI Agents 🔵Lisp

stacker.news·2d·Hacker News

From SoC to System-in-Package: Transforming Automotive Compute with Multi-Die Integration 🔒STM

semiwiki.com·5h

Loading more...