λ Functional Programming - krks.gbr · Scour

Functional Algorithms, Verified 🔷Type Systems

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

Reflection On Recursion • 2 🔷Type Systems

inquiryintoinquiry.com·13h

A Gradual Probabilistic Lambda Calculus 🔷Type Systems

arxiv.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 💬LLMs

github.com·5h·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔷Type Systems

pvk.ca·9h·Hacker News

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax 🔷Type Systems

javacodegeeks.com·2d

Binary Lambda Calculus is Hard 🔷Type Systems

aartaka.me·4d·r/functionalprogramming

Structured Software Architecture 🔷Type Systems

programmingsimplicity.substack.com·14h·Substack

Simple System + Rick Feedback 🔷Type Systems

ericnormand.substack.com·2d·Substack

Tim Bradshaw: Rules for Lisp programs 🔷Type Systems

tfeb.org·1d

Slap: Functional Concatenative Language... with a Borrow Checker? 🔷Type Systems

lobste.rs·5d·Lobsters

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔷Type Systems

embedded.com·1d

Idiomatic Lisp and the nbody benchmark 🔷Type Systems

stylewarning.com·6d·Lobsters, Hacker News, r/programming

Swish - Clojure-like Lisp for Swift Video Series 💬LLMs

rodschmidt.com·1d

Giving LLMs a Formal Reasoning Engine for Code Analysis 💬LLMs

yogthos.net·1d·Lobsters, Hacker News

I Accidentally Reinvented Kernel (Programming Language) 🔷Type Systems

fayash.me·4d·Hacker News

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 🔷Type Systems

adambien.blog·2d

Post-Penultimate Conditional Syntax 🔷Type Systems

joel.place·5d·Hacker News

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

pnas.org·1d

Clojure on Fennel part one: Persistent Data Structures 🔷Type Systems

andreyor.st·3d·Lobsters, Hacker News

Loading more...