2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Python Fundamentals: arrays
dev.to·11h·
Discuss: DEV
📊APL Heritage
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·13h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
The Probability of a Hash Collision
kevingal.com·7h·
Discuss: Hacker News
🔐Hash Functions
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.org·5d
🧮Kolmogorov Complexity
Useful LLM Agent Tools
tersesystems.com·8h
🌀Brotli Internals
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·19h·
Discuss: Hacker News
🔗Constraint Handling
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·19h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Exploring High Efficiency Web Analysis Results（1750584977764000）
dev.to·1h·
Discuss: DEV
🌊Stream Processing