🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Monorepo with Bun
dev.to·1h·
Discuss: DEV
🐚Bash Monads
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·19h·
Discuss: Hacker News
🔗Constraint Handling
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
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Racing Camels in a Quantum Game of Camel Up
sigarch.org·1d
🔐Quantum Security
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
Python Fundamentals: NoneType
dev.to·16h·
Discuss: DEV
💧Liquid Types
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·12h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Microcontrollers: Getting Started
youtube.com·1d
🔌Microcontrollers
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
🔬Lean
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
arxiv.org·3d
🔬Lean
equality in type theory
ncatlab.org·6d
λLambda Formalization