⚡ functional programming - abnv · Scour

Church Encoding, Parametricity, and the Yoneda Lemma ⛪Church Encoding

blog.wybxc.cc·3d·Lobsters, Hacker News, r/functionalprogramming

K Fragments 📝Rope Editors

beyondloom.com·19h·Hacker News

Lambda Soup – Functional HTML Scraping for OCaml ⚙️TOML Parsers

aantron.github.io·1d·Hacker News

Binary Lambda Calculus λLambda Calculus

esolangs.org·18h·Hacker News

languagedesignnotes 🔬programming language theory

A crash course on the OCaml module language (bobkonf2026) 🐪OCaml

cdn.media.ccc.de·5d

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js 📦Monorepos

gist.github.com·6d·Hacker News, r/functionalprogramming

aeroxy/berean-lint: Unexamined codebases lead to technical debt, which is just spiritual debt with more YAML. berean-lint is a static analysis for the soul. Scans your AST for technical debt, unholy variable names, and spiritual strongholds. 🛡️✨ 📚Self-Documenting Code

github.com·12h·r/rust

Tabulation Tribulations 🔢Algebraic Datatypes

bartoszmilewski.com·1d

Comparing Objective Caml and Standard ML 🔍ML Language

adam.chlipala.net·3d·Hacker News

Geocaml Hacking 🗺️Stack Mapping

digitalflapjack.com·2d

Understanding the Garbage Collector 🗑️Garbage Collection

ocaml.org·5d·Hacker News

Nietzsche, the Madman, and Modernity’s Void 🤔PL Philosophy

psychologytoday.com·1d

Issue 525 🪆Embedded DSLs

haskellweekly.news·3d

remind(1) -- calendar and alarm program ⚡Incremental Parsing

dianne.skoll.ca·1d·Lobsters

Echo Protocol Hit by $77M Admin Key Exploit on Monad (3 minute read) 📡Erlang BEAM

Echo Protocol suffers $76 million exploit in eBTC minting attack on Monad 📡Erlang

·5d

Highest Random Weight in Elixir ⏭️Skip Lists

jola.dev·4d·Lobsters, Hacker News, Hacker News

Echo Protocol's eBTC exploited for $77M in admin key compromise 🛡️Parser Security

cointelegraph.com·6d

Going back in time with the Undoable Monad (bobkonf2026) 🚂Error Monads

cdn.media.ccc.de·5d

Log in to enable infinite scrolling