Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·15h
⚔️Lean Tactics
Compiling with Continuations
swatson555.github.io·15h·
Discuss: Hacker News
🔗Functional Compilers
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·1d
🔀Category Theory
The Ternary Manifesto
homepage.cs.uiowa.edu·9h
📝Concrete Syntax
Advent of Code: Libraries
elly.town·19h
🔒Type Safety
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·3h·
Discuss: Hacker News
🎯Gradual Typing
Claude Can (Sometimes) Prove It
galois.com·20h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·3d·
Discuss: Hacker News
🧬Functional Programming
Durable Engines of Discovery
cacm.acm.org·1h
🇳🇴Nordic Computing
ECMAScript TC39 proposal-pattern-matching
github.com·2d·
Discuss: Hacker News
🔤Type Theory
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·15h
🔍Z3 Parsing
Mastering Advanced Python Development Skills 2025
dev.to·1d·
Discuss: DEV
📏Code Metrics
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2d·
Discuss: Hacker News
✨Algebraic Effects
WASM 3.0 Completed
webassembly.org·1h·
Discuss: Lobsters, Hacker News
🧩WASM Components
Adaptive Programming Systems for Humans and AI
gfrison.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Solving a Wooden Puzzle Using Haskell
glocq.github.io·14h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
Python Morsels: Nested list comprehensions
pythonmorsels.com·16h
📝Concrete Syntax