Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·17h·
Discuss: DEV
🧬Functional Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·56m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·11h
🤖Paleographic AI
Superimposed codes
blog.sesse.net·10h
💾Binary codes
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
HashMap in Java
dev.to·3h·
Discuss: DEV
🌳Trie Structures
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Inference Economics of Language Models
epoch.ai·1d·
Discuss: Hacker News
💻Local LLMs
A survey of Chernoff and Hoeffding bounds
arxiv.org·3d
🎯Performance Proofs
I Sing the Electric Body – On Syntax (2024)
hedgehogreview.com·39m·
Discuss: Hacker News
🔗Concatenative Programming