🐿️ 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

Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·9h·
Discuss: Hacker News
🌐NetworkProtocols
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·3d·
Discuss: Hacker News
🐫OCaml
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·22h·
Discuss: Hacker News
📡Network Protocol Design
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·5h
🔍Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·16h·
Discuss: Hacker News
🔬Static Analysis
AI Agent Smart Contract Exploit Generation
arxiv.org·2d
🧪Property-Based Testing
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·1d·
Discuss: Hacker News
🛡️seL4
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·5h
🐫OCaml
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·18h·
Discuss: Hacker News
❄️Nixified Development
User simulators bridge RL with real-world interaction
jessylin.com·12h·
Discuss: Hacker News
🔍Formal Verification
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·5h
🐫OCaml
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·4h·
Discuss: Hacker News, r/programming
🛡️seL4
Speclinter MCP
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·16h·
Discuss: Hacker News
⚙️PL Implementation
Data Science Weekly – Issue 607
datascienceweekly.substack.com·6h·
Discuss: Substack
👁️System Observability
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·1d
🎮Verification Games
Agentic-R1: Distilled Dual-Strategy Reasoning
arxiv.org·2d
🎮Verification Games
Automated Reasoning for Vulnerability Management by Design
arxiv.org·2d
🛡️seL4
Loading...Loading more...
AboutBlogChangelogRoadmap