🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Inflight Auctions
jefftk.com·4h
⚙️Cassette Mechanics
Want to deliver value? Focus on flow
blog.scottlogic.com·2d
🌊Stream Processing
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·2d
📼Retro Games
My AI Workflow for Understanding Any Codebase
steipete.me·4d
⚡Proof Automation
The AI-boom's multi-billion dollar blind spot
cnbc.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
How Questions Build Software
akdev.blog·2d·
Discuss: Hacker News
🔍Concolic Testing
The 50-Year Story of the Rise, Fall, and Rebirth of Neural Networks
thenewstack.io·2d
🔲Cellular Automata
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
λLambda Encodings
RAG vs Fine-tuning vs Prompt Engineering: The Complete Enterprise Guide
dev.to·1d·
Discuss: DEV
🌊Stream Processing
RTK – query your Rust codebase and make bindings anywhere
github.com·1d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Another Go variable dumper and interface/types explorer!
reddit.com·2d·
Discuss: r/golang
🔧Binary Parsing
Machine Learning Fundamentals: adam optimizer
dev.to·3d·
Discuss: DEV
📊Quantization
AI Agents Explained: How They Think & Operate
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
What We’ve Learned from 5 Months of Hackbot Activity
hackerone.com·2d
🔓Hacking
In-Context Learning Strategies Emerge Rationally
arxiv.org·5d
🔲Cellular Automata
Flame Graph Performance Truth Analysis（1751071051660200）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Heartbeat of Modern Web Real Time Patterns User Design（1751179314270300）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·3d
💻Local LLMs
An open-source, multi-tenant backend engine in Go. Would you use this?
reddit.com·1d·
Discuss: r/golang
🏠Homelab Orchestration
Did it afraid CONSISTENCY CLARITY GROWTH
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics