λ Functional Programming - gruggiero · Scour

Incremental Lambda Calculus ✅TLA+

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

Functional Algorithms, Verified 📐Formal Methods

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

A Gradual Probabilistic Lambda Calculus ✅TLA+

arxiv.org·2d

🥩 Red Meat Friday: Rules For Lisp Programs ✅TLA+

irreal.org·3h

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📐Formal Methods

jointhefreeworld.org·8h·Lobsters, Hacker News

Reflection On Recursion • 2 📐Formal Methods

inquiryintoinquiry.com·1d

Binary Lambda Calculus is Hard 🧮Algebraic Data Types

aartaka.me·4d·r/functionalprogramming

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

pvk.ca·23h·Hacker News

Tim Bradshaw: Rules for Lisp programs 📐Formal Methods

tfeb.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 💻AI Coding

github.com·19h·Hacker News

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects 🔴Scala

javacodegeeks.com·2d

Simple System + Rick Feedback 📝Prompt Engineering

ericnormand.substack.com·3d·Substack

Giving LLMs a Formal Reasoning Engine for Code Analysis ✅TLA+

yogthos.net·1d·Lobsters, Hacker News

Slap: Functional Concatenative Language... with a Borrow Checker? 🔴Scala

lobste.rs·6d·Lobsters

Listful Andrew: Counting Words VI: Clojure ✅TLA+

flandrew.srht.site·1d

Structured Software Architecture 📐Design Systems

programmingsimplicity.substack.com·1d·Substack

I Accidentally Reinvented Kernel (Programming Language) ✅TLA+

fayash.me·5d·Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·2d

Clojure on Fennel part one: Persistent Data Structures 🔴Scala

andreyor.st·3d·Lobsters, Hacker News

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 💻AI Coding

arxiv.org·14h

Loading more...