A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Exploring High Efficiency Web Analysis Results（1750584977764000）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
The Analyst’s Gambit
noncommutativeanalysis.wordpress.com·1d
📊Static Analysis
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.org·5d
🔗Combinatory Logic
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·1h
🤖Paleographic AI
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Helen de Cruz (1978-2025), RIP
crookedtimber.org·20h
🏛Digital humanities
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
🔬Lean
Is Mathematics Mostly Chaos or Mostly Order?
quantamagazine.org·1d·
Discuss: Hacker News
🏗️Constructive Mathematics
Show HN: Rancho – An AI tutor that teaches with games and videos
news.ycombinator.com·1d·
Discuss: Hacker News
📐Proof Assistants
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Useful LLM Agent Tools
tersesystems.com·8h
🌀Brotli Internals
higher: Your favourite Haskell type classes for Rust (2023)
github.com·20h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Gettier Problem
en.wikipedia.org·17h·
Discuss: Hacker News
🔲Proof Irrelevance