🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·1d
📄PostScript
Flag this post
How Much Does Game 1 Matter?
thefiddler.substack.com·20h·
Discuss: Substack
✓Automated Theorem Proving
Flag this post
New trend: programming by kicking off parallel AI agents
blog.pragmaticengineer.com·1d
⚙️Proof Engineering
Flag this post
Show HN: Add to Sheets Chrome Extension for Google Sheets – No Code Automations
addtosheets.com·18h·
Discuss: Hacker News
🦋Format Metamorphosis
Flag this post
Claude Code is a Beast – Tips from 6 Months of Hardcore Use
reddit.com·3d·
Discuss: r/ClaudeAI
⚡Proof Automation
Flag this post
[D] Realized I like the coding and ML side of my PhD way more than the physics
reddit.com·4h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.org·1d
🔗Tailscale
Flag this post
How Reliable Are Your AI Agents?
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Autonomous Thermal Management & Radiation Shielding Optimization for Lunar Surface Robotics via Bayesian Reinforcement Learning
dev.to·10h·
Discuss: DEV
✨Effect Handlers
Flag this post
Infrequent Exploration in Linear Bandits
arxiv.org·1d
🧠Machine Learning
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·1d
📝ABNF Parsing
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
🎯Performance Proofs
Flag this post
I Spent Months Trying to "Revive" Our E2E Tests. Now I'm Building My Own AI Tool.
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
💻Programming languages
Flag this post
Your Startup Is Dying While You Debate Django vs FastAPI
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
Flag this post
LRT-Diffusion: Calibrated Risk-Aware Guidance for Diffusion Policies
arxiv.org·2d
🧠Machine Learning
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·1d
✨Effect Handlers
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·3d
🧮Kolmogorov Bounds
Flag this post