Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Compressed data structures for Heegaard splittings
arxiv.org·23h
🕳️Persistent Homology
Parsing Protobuf Like Never Before
mcyoung.xyz·20h
🔧Binary Parsers
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Dual numbers
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📐Interval Arithmetic
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Go interfaces and json.Unmarshal
fbrs.io·8h
🔧Binary Parsers
A Poet Completes the Square
denisegaskins.com·14h
⚔️Lean Tactics
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·20h
🔗Functional Compilers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Turing, Wagner, Ruth
blog.computationalcomplexity.org·9h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·2d
🧠Learned Indexing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
2011 N1 = 2024 A2
blog.evanchen.cc·10h
🔬Lean