λ Functional Programming - tomasvemola · Scour

Functional Algorithms, Verified 📐Type Systems

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

Reflection On Recursion • 2 📐Type Systems

inquiryintoinquiry.com·16h

A Gradual Probabilistic Lambda Calculus 📐Type Systems

arxiv.org·2d

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

pvk.ca·12h·Hacker News

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

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🎮Deterministic Simulation

github.com·9h·Hacker News

Simple System + Rick Feedback 📐Type Systems

ericnormand.substack.com·2d·Substack

Listful Andrew: Counting Words VI: Clojure 🦀Rust

flandrew.srht.site·17h

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects 📐Type Systems

javacodegeeks.com·1d

I Accidentally Reinvented Kernel (Programming Language) 📐Type Systems

fayash.me·4d·Hacker News

Structured Software Architecture 📐Type Systems

programmingsimplicity.substack.com·17h·Substack

Giving LLMs a Formal Reasoning Engine for Code Analysis 📐Type Systems

yogthos.net·1d·Lobsters, Hacker News

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 🦀Rust

readytotouch.com·15h·Hacker News

Binary Lambda Calculus is Hard 📐Type Systems

aartaka.me·4d·r/functionalprogramming

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

adambien.blog·2d

AI-designed proteins built from scratch can recognize specific compounds 🔍Property Testing

phys.org·7h

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

embedded.com·1d

Clojure on Fennel part one: Persistent Data Structures 🦀Rust

andreyor.st·3d·Lobsters, Hacker News

emerge-elixir/emerge: Elxir UI toolkit that runs natively, backed by rust and skia 💧Elixir

github.com·15h

Loading more...