🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

How Far Can You Run Before Sundown?
thefiddler.substack.com·2d·
Discuss: Substack
🎯Interactive Provers
RTL generation for custom CPU Mrav
popovicu.com·21h
⚙️Modern Assembly
Learning Through Doing: From one language to another
blog.scottlogic.com·2d
🦀Rust Borrowing
google/highway
github.com·13h
📊RISC-V Vectors
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·3d·
Discuss: Hacker News
📝Concrete Syntax
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·2d·
Discuss: Hacker News
🔗Concatenative Programming
Developer's block
underlap.org·14h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Debugging the Draft
codingfearlessly.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Optimizing our way through Metroid
antithesis.com·2d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
Building a Regex Engine
abstractsyntaxseed.com·4d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
vibe.forem.com·4d·
Discuss: DEV
🦀Rust Macros
You Suck at "Vibe Coding" Because You Suck at Coding
news.ycombinator.com·23m·
Discuss: Hacker News
🌳Incremental Parsing
🚀 Learn Go with 13 Challenges: a practical journey to mastering the language
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·3d·
Discuss: Hacker News
⚡Proof Automation
Sapir-Whorf does not apply to Programming Languages
buttondown.com·3d·
Discuss: Hacker News
💻Programming languages
Accelerate intelligent document processing with generative AI on AWS
aws.amazon.com·1d
🤖Archive Automation
Dynamic Templates for Business Ops Managers Announce Process Updates in Seconds
dev.to·23h·
Discuss: DEV
✅Format Verification
Fear not, even AI engineers will be replaced by AI
doch88.github.io·4h·
Discuss: Hacker News
🔍Vector Forensics
The Prompt to Make AI Write Like a Human
jsdev.space·2d·
Discuss: Hacker News
🎙️Whisper
What Claude Code gets right
minusx.ai·3d·
Discuss: Hacker News, Hacker News, Hacker News, r/ClaudeAI
⚡Proof Automation