🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

A Mental Model for C++ Coroutine
uvdn7.github.io·34m·
Discuss: Hacker News
🏹Effect Systems
Secure Your Keys with Keyand.me
thasso.xyz·10h·
Discuss: Hacker News
🛡️seL4
LLMs and Algorithmic Trading
architect.co·2h·
Discuss: Hacker News
🐫Embedded OCaml
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·9h·
Discuss: Hacker News
➡️Category Theory
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
arxiv.org·2d
🎮Verification Games
The hidden cost of AI reliance
codebytom.blog·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
How to scale RL to 10^26 FLOPs
blog.jxmo.io·21h·
Discuss: Hacker News
🎮Verification Games
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·13h
🔍Formal Verification
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·13h
🎮Verification Games
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·13h
💻CS
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·13h
🎮Verification Games
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Controlling Thinking Speed in Reasoning Models
arxiv.org·3d
🎮Verification Games
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·13h
🔍Formal Verification
Show HN: Torsor- AI Assistants that generate documents for customers instantly
news.ycombinator.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Interleaving Logic and Counting
arxiv.org·3d
🎮Verification Games
Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
arxiv.org·3d
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap