λ Functional Programming - jinkai_lau · Scour

Functional Algorithms, Verified ✅Formal Verification

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

Simple System + Rick Feedback ✍️Prompt Engineering

ericnormand.substack.com·2d·Substack

Reflection On Recursion • 2 🔤Type Systems

inquiryintoinquiry.com·16h

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 🧠LLMs

arxiv.org·3h

Tim Bradshaw: Rules for Lisp programs 🔧Compilers

tfeb.org·1d

Retrospective on binary search and comp{ress,ilat}ion (2015) ✅Formal Verification

pvk.ca·12h·Hacker News

Binary Lambda Calculus is Hard 🔍Static Analysis

aartaka.me·4d·r/functionalprogramming

Listful Andrew: Counting Words VI: Clojure 🔍Static Analysis

flandrew.srht.site·17h

Giving LLMs a Formal Reasoning Engine for Code Analysis ✅Formal Verification

yogthos.net·1d·Lobsters, Hacker News

Show HN: Agent Tuning, using recursion to achieve predictable agent output ✅Formal Verification

github.com·9h·Hacker News

Swish - Clojure-like Lisp for Swift Video Series 🔍Static Analysis

rodschmidt.com·1d

Slap: Functional Concatenative Language... with a Borrow Checker? 🔧Compilers

lobste.rs·5d·Lobsters

Structured Software Architecture 🔤Type Systems

programmingsimplicity.substack.com·17h·Substack

Kotlin 2.x vs Java 21+The Language Choice for New JVM Projects 🔧Compilers

javacodegeeks.com·1d

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 🗄️Vector Databases

readytotouch.com·15h·Hacker News

Clojure Deref (Apr 7, 2026) 🗣️New Languages

clojure.org·3d

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 🔍Static Analysis

adambien.blog·2d

I persisted! The macOS version of “she danced in the wind like a holographic dream before the world died” is here x) 🌐Open Source

nathalielawhead.com·15h

I Accidentally Reinvented Kernel (Programming Language) 🔧Compilers

fayash.me·4d·Hacker News

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

embedded.com·1d

Loading more...