👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Automating Boundary Filling in Cubical Type Theories
arxiv.org·13h
🔶Cubical Type Theory
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·17h
💧Liquid Types
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·6h
⚗️Algebraic Coding
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·23h·
Discuss: Substack, r/programming
🎯Proof Tactics
Footnotes, Gödel exercises, Purcell
logicmatters.net·4d
👑Isabelle
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·4h
📝Concrete Syntax
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Challenges of Pseudocode Expansion
funcall.blogspot.com·10h·
Discuss: www.blogger.com
🔗Lisp
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·58m·
Discuss: blog.computationalcomplexity.org
🎯Performance Proofs
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·2h·
Discuss: DEV
⚡Proof Automation
Proofs of the Pythagorean Theorem
cut-the-knot.org·4h·
Discuss: Hacker News
🎯Proof Tactics
On This Day in Math - August 4
pballew.blogspot.com·12h·
Discuss: www.blogger.com
📜Manuscript Algebras
Extensions and Shadows (9)
sites.psu.edu·3h
✨Effect Handlers
Org Workbench
irreal.org·1d
🔄Archival Workflows
Introductory Computer Science and Software Engineering Topics
albertyw.com·15h
🛠Language Design
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·23h
🔢Bitwise Algorithms
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.io·21h·
Discuss: Hacker News
🔲Cellular Automata
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·3h·
Discuss: DEV
🚚Data Migration
Unpacking Qualys Agentic AI: Technical Insights into Its Architecture and Capabilities
blog.qualys.com·4h
⚙️TLA+
What if Infinity Didn’t Exist?
scientificamerican.com·5h
🔲Proof Irrelevance