👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·13h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Monorepo with Bun
dev.to·2h·
Discuss: DEV
🐚Bash Monads
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Superimposed codes
blog.sesse.net·10m
💾Binary codes
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Python Fundamentals: LEGB rule
dev.to·17h·
Discuss: DEV
🎯Gradual Typing
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·19h·
Discuss: Hacker News
🔗Constraint Handling
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
The Little Learner and hotel room hacking
dustycloud.org·1d
⚔️Lean Tactics
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·14h·
Discuss: r/MachineLearning
🧠Learned Compression
To Bind and Loose a Reference
thephd.dev·12h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective
arxiv.org·3d
💻Local LLMs
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Basic facts about GPUs
damek.github.io·5h·
Discuss: Lobsters, Hacker News
🖥️Hardware Architecture