🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Custom slash commands in Claude Code
boliv.substack.com·28m·
Discuss: Substack
⚔️Lean Tactics
busy beaver function
ncatlab.org·8h
⚔️Lean Theorem
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·18h·
Discuss: Hacker News
⚔️Lean Theorem
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·22h
🔲Cellular Automata
WeakC4, or Distilling an Emergent Object
2swap.github.io·17h·
Discuss: Hacker News
🔲Cellular Automata
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
JavaScript lib for exchanging selective disclosure proofs
github.com·48m·
Discuss: Hacker News
🌳Archive Merkle Trees
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·16h·
Discuss: DEV
✨Effect Handlers
CL-JSON Ambiguity
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🧠Lisp Dialects
Fun OCaml 2025
fun-ocaml.com·50m·
Discuss: Hacker News
🧬Functional Programming
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Knuth’s Twindragon
johndcook.com·5h
📐Mathematical Art
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Invention as Exploration
symmetrybroken.com·1h·
Discuss: Hacker News
🧲Magnetic Philosophy
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·4d
🔲Proof Irrelevance
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·1d
🔗Tailscale
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·9h·
Discuss: Substack
⚡Proof Automation