🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎮 Verification Games

Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools

Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.org·10h
✓Automated Theorem Proving
Three challenges in machine-based reasoning
amazon.science·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Grok 4 Dominates AI Chess Tournament Day 1
chess.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
👁️System Observability
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
🐫OCaml
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How the Lean language brings math to coding and coding to math
amazon.science·20h·
Discuss: Hacker News
✓Automated Theorem Proving
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·10h
✓Automated Theorem Proving
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·10h
✓Automated Theorem Proving
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·10h
🔬Static Analysis
Software books I wish I could read
buttondown.com·1h
🔬Static Analysis
PentestJudge: Judging Agent Behavior Against Operational Requirements
arxiv.org·10h
✓Automated Theorem Proving
DSPy Simba Explained
blog.mariusvach.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·10h
✓Automated Theorem Proving
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·15h·
Discuss: Hacker News
🛡️seL4
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🐫OCaml
Python performance myths and fairy tales
lwn.net·6h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap