λ Functional Programming - matheusfrancisco · Scour

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog ⚙️DataFusion

K Fragments 📋Skip Lists

beyondloom.com·16h·Hacker News

languagedesignnotes 🏗️Compiler Design

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. 🛡️✨ ⚙️Axum

github.com·9h·r/rust

Comparing Objective Caml and Standard ML 🏗️Compiler Design

adam.chlipala.net·3d·Hacker News

Binary Lambda Calculus 🏗️Compiler Design

esolangs.org·15h·Hacker News

Nietzsche, the Madman, and Modernity’s Void ⚙️C++

psychologytoday.com·1d

Going back in time with the Undoable Monad (bobkonf2026) 🌳Persistent Data Structures

cdn.media.ccc.de·5d

The Art of the Open Fire: Discover the Takibism Frying Pan Dish 🏗️Compiler Design

japantrends.com·1d

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js ⚙️DataFusion

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

Lambda Soup – Functional HTML Scraping for OCaml ⚙️DataFusion

aantron.github.io·1d·Hacker News

Per-instance lru_cache using wrapt 🦀Rust

grahamdumpleton.me·23h

Church Encoding, Parametricity, and the Yoneda Lemma 🏗️Compiler Design

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

Geocaml Hacking ⚙️DataFusion

digitalflapjack.com·2d

Highest Random Weight in Elixir 🌸Bloom Filters

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

remind(1) -- calendar and alarm program ⚡Zig

dianne.skoll.ca·1d·Lobsters

Echo Protocol Hit by $77M Admin Key Exploit on Monad (3 minute read) 🌐Network Security

Heisenbugs and Why Observation Breaks Your Code 🔌Embedded Rust

siliconopera.com·2d

Scalendar 🤝Consensus

jvm-bloggers.com·5d

[2605.21337] Multicategorical Semantics for Untyped Effects 🏗️Compiler Design

Log in to enable infinite scrolling