Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Compressed data structures for Heegaard splittings
arxiv.org·15h
🕳️Persistent Homology
Dual numbers
funcall.blogspot.com·2h·
Discuss: www.blogger.com
📐Interval Arithmetic
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·1d·
Discuss: Hacker News
🔍Type Inference
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Checking data integrity
eclecticlight.co·12h
✅Checksum Validation
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·12h
🔗Functional Compilers
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Historical highlights?
logicmatters.net·1d
🔀Category Theory
A Poet Completes the Square
denisegaskins.com·6h
⚔️Lean Tactics
Turing, Wagner, Ruth
blog.computationalcomplexity.org·23m·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
2011 N1 = 2024 A2
blog.evanchen.cc·1h
🔬Lean
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
All About Server Side Template Injection (SSTI)
infosecwriteups.com·8h
🛡️WASM Security
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds