🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

How Far Can You Run Before Sundown?
thefiddler.substack.com·1d·
Discuss: Substack
🎯Interactive Provers
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
RTL generation for custom CPU Mrav
popovicu.com·4h
⚙️Modern Assembly
A Guide to Gen AI / LLM Vibecoding for Expert Programmers
stochasticlifestyle.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Building your first MCP server: How to extend AI tools with custom capabilities
github.blog·1d
⚔️Lean Tactics
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·7h·
Discuss: DEV
🗄️Database Internals
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Optimizing FizzBuzz in Rust
github.com·2h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression
Genome-Scale Metabolic Flux Modeling Optimization via Bayesian Hyperparameter Tuning & Causal Inference
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
✨Effect Handlers
Time-Optimal Directed q-Analysis
arxiv.org·1d
🎯Performance Proofs
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com·1d·
Discuss: Substack
🔌Interface Evolution
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·3d
🔲Cellular Automata
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·1d
💻Local LLMs
Optimizing our way through Metroid
antithesis.com·1d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Diving Deep: Understanding the Mechanics
dev.to·2d·
Discuss: DEV
📏Range Queries
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming