🔧 Functional Programming - widget101 · Scour

Mad For Monads 📊Julia

dev.to·3d·DEV·

Formal Verification in Any Language for Everybody ⚙️Query Compilers

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

What Would You See Changed in Haskell? ⚙️Query Compilers

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

Haskell Miso v1.9.0 Released 🌿Jujutsu

github.com·2h·Hacker News·

Almighty Lisp: Lisp & Emacs Essentials 📊Julia

almightylisp.com·1d·Hacker News·

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 💾Databases

pgenie.io·12h·Lobsters·

Quadratic Micropass Type Inference 📊Julia

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

Functional programming is the simplest way to scale agentic development 🤖Copilot

cyrusradfar.com·1d·Hacker News·

Formally verifying digital circuits with category theory in Lean 🐻Polars

matt.hunzinger.me·5d·r/programming·

Perceus: Garbage Free Reference Counting with Reuse (2020) 🧠Memory Management

microsoft.com·6d·Lobsters·

Watch: Claude Code Tutorial 🤖Copilot

aiwithremy.com·3d·

Learning Elixir: Error Handling Basics ✅Data Validation

dev.to·2d·DEV·

DavidLiedle/WISP: Lisp in WASM ⚙️Query Compilers

github.com·2d·Hacker News·

A Couple Million Lines of Haskell: Production Engineering at Mercury 🛡️Memory Safety

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

Recursion 📊Julia

dev.to·3d·DEV·

mahush/funkyposts: Blogging to bridge traditional C++ and functional programming by exploring how functional patterns and architectural ideas can be applied in modern C++. 🤖Copilot

github.com·6d·DEV·

Performance & Recursion ⚙️Query Compilers

dev.to·3d·DEV·

Nubank Morse: A graphical, interactive tool for browsing Clojure data 📋Tokei

github.com·3d·Hacker News·

Scalable Design of Agent 🔌Model Context Protocol

dev.to·5d·DEV·

Recursion 📊Julia

dev.to·3d·DEV·

Loading more...