Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🧬Functional Programming
Parsing Protobuf Like Never Before
mcyoung.xyz·14h
🔧Binary Parsers
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·8h·
Discuss: DEV
📝Concrete Syntax
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·14h
📦Package Managers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·1h·
Discuss: Hacker News
✨Algebraic Effects
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Hazel: A live functional programming environment with typed holes
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·17h
🌳Context free grammars
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Go interfaces and json.Unmarshal
fbrs.io·1h
🔧Binary Parsers
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·15h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
✨Effect Handlers
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·15h
🔧RISC-V Assembler
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Zig Interface Revisited
williamw520.github.io·4h·
Discuss: Hacker News
🧩WASM Components
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects