Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

From 70K to 2K Tokens: Optimizing SQL Generation with RAG Architecture
dev.to·46m·
Discuss: DEV
🦀Rust Borrowing
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Speedrunning an RL Environment
sidb.in·22h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·8h
Automated Theorem Proving
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·21h·
🧪Binary Fuzzing
Flag this post
Nonmonotonic Logic
cambridge.org·19h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Some Notes from RIPE-91
potaroo.net·1h
🌐DNS over QUIC
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·1d
🔗Constraint Handling
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
λLambda Encodings
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
Neural Networks for Chess
github.com·16h·
Discuss: Hacker News
Homebrew CPUs
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1d·
Automated Theorem Proving
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·23h
🔄Reproducible Builds
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·14h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers
arxiv.org·8h
🌐BGP Security
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·18h
Proof Automation
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·16h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
Amortized Active Generation of Pareto Sets
arxiv.org·1d
🔲Cellular Automata
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·12h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.com·19h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post