🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·3d
🛡️CLI Security
RTL generation for custom CPU Mrav
popovicu.com·1d
⚙️Modern Assembly
Why I Read Technical Books
ratfactor.com·2h·
Discuss: Hacker News
📚MARC Archaeology
Unikernel Cronjobs on AWS
nanovms.com·1h·
Discuss: Hacker News
🌊Streaming Systems
google/highway
github.com·17h
📊RISC-V Vectors
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·2d·
Discuss: Hacker News
🔗Concatenative Programming
Developer's block
underlap.org·18h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Building a Regex Engine
abstractsyntaxseed.com·4d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
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
🚀 Learn Go with 13 Challenges: a practical journey to mastering the language
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Dynamic Templates for Business Ops Managers Announce Process Updates in Seconds
dev.to·1d·
Discuss: DEV
✅Format Verification
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
Fear not, even AI engineers will be replaced by AI
doch88.github.io·8h·
Discuss: Hacker News
🔍Vector Forensics
Writing with LLM is not a shame
reflexions.florianernotte.be·8h·
Discuss: Hacker News
🤖AI Curation
What Claude Code gets right
minusx.ai·3d·
Discuss: Hacker News, Hacker News, Hacker News, r/ClaudeAI
⚡Proof Automation
Collaborative Workflow Optimization via Dynamic Resource Allocation & Cognitive Agent Mediation (DRAM-CAM)
dev.to·4h·
Discuss: DEV
🔩Systems Programming
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·3d
📏Linear Logic
Boosting Laravel Boost
dev.to·10h·
Discuss: DEV
🦀Rust Macros