λ Functional Programming - tyler · Scour

Formal Verification in Any Language for Everybody 🔧Code Generation

dev-log.me·2d·Hacker News·

Quadratic Micropass Type Inference ⚙️Systems Programming

articles.luminalang.com·6d·Hacker News·

What Would You See Changed in Haskell? 🔧Code Generation

blog.haskell.org·23h·Lobsters, Hacker News, r/programming·

Haskell Miso v1.9.0 Released 🪟Tauri

github.com·2h·Hacker News·

Functional programming is the simplest way to scale agentic development 🔧Code Generation

cyrusradfar.com·1d·Hacker News·

Baby’s Second Garbage Collector ⚙️Systems Programming

matheusmoreira.com·10h·Hacker News·

What Category Theory Teaches Us About DataFrames 🗄️Database Internals

mchav.github.io·4d·Lobsters, Hacker News, Hacker News, r/programming·

Relational Schema Migrations Powered by Lisp on DBs (Guile Scheme) + Seeding 🗄️Database Internals

codeberg.org·22h·Hacker News·

Almighty Lisp: Lisp & Emacs Essentials 🔨Compilers

almightylisp.com·1d·Hacker News·

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 🔧Code Generation

pgenie.io·12h·Lobsters·

GEAKG: Generative Executable Algorithm Knowledge Graphs 🔧Code Generation

arxiv.org·2d·Hacker News·

Ayatori: An Experimental Agent Orchestration Engine in Clojure 🤖Agent-Based Simulations

serefayar.substack.com·3d·Substack·

Convert Class Components to Functional Components with React Hooks ⚡Reactive Programming

digitalocean.com·2d·

Implementing Amazon Dynamo in Elixir 🎮Bevy

jitesh117.github.io·6d·Hacker News·

I replaced Firecrawl with 2,700 lines of Elixir ⚙️Systems Programming

news.ycombinator.com·3d·Hacker News·

Dux: Distributed DuckDB-native DataFrames for Elixir 🗄️Database Internals

dux.now·5d·Hacker News·

DavidLiedle/WISP: Lisp in WASM 🌐WebAssembly

github.com·2d·Hacker News·

Google Unveils AppFunctions to Connect AI Agents and Android Apps 📱Progressive Web Apps

infoq.com·4d·Hacker News·

Introducing AURA: Building an Open Agentic harness for production AI 📦PWA Tooling

platformengineering.org·6d·Hacker News·

A Couple Million Lines of Haskell: Production Engineering at Mercury ⚙️Systems Programming

blog.haskell.org·3d·Lobsters, Hacker News, r/programming·

Loading more...