🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
arxiv.org·4h
✨Algebraic Effects
Flag this post
Convert any GitHub repo to coding puzzles
github.com·13h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·12h
📐Error Bounds
Flag this post
From 70K to 2K Tokens: Optimizing SQL Generation with RAG Architecture
dev.to·20h·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Nonmonotonic Logic
cambridge.org·1d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Sometimes Assertions
antithesis.com·13h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Freshman’s dream
johndcook.com·16h
⚔️Lean Tactics
Flag this post
The Janusian Genesis: A Chronicle of Emergent Agency in a Self-Modifying Language Model (AI assisted)
funcall.blogspot.com·1h·
Discuss: www.blogger.com
🔲Cellular Automata
Flag this post
Gambling coin game – math and CS article
joshpearlson.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
BMGQ: A Bottom-up Method for Generating Complex Multi-hop Reasoning Questions from Semi-structured Data
arxiv.org·4h
🧠Computational Logic
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
A moonlit week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·4h
⚡Effectful Programming
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·18h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Claude Agent Skills: A First Principles Deep Dive
leehanchung.github.io·4h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·14h
🕸️Neo4j
Flag this post
Advancing cybersecurity a comprehensive review of AI-driven detection techniques
journalofbigdata.springeropen.com·6h·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·13h·
Discuss: DEV
🔍Concolic Testing
Flag this post