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

Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Dependency hell is NP-complete
research.swtch.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Microsoft and OpenAI's AGI Fight Is Bigger Than a Contract
wired.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·3d·
Discuss: Substack
🎮Verification Games
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·3d·
Discuss: Hacker News
🤖Program Synthesis
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·2d·
Discuss: Substack
🧪Property-Based Testing
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Richard Feynman and the Connection Machine
longnow.org·2d·
Discuss: Hacker News
🔄Finite State Machines
The Lazy Marketer's Guide to Not Writing Terrible AI Prompts
aistackmarketer.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·3d
🔬Static Analysis
Stop Converting Your REST APIs to MCP
jlowin.dev·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
Leverage AI in Technical Due Diligence Engagements
spin.atomicobject.com·4d·
Discuss: Hacker News
👁️System Observability
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·1d
🔄Finite State Machines
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·1d
👁️System Observability
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·1d
🤖Program Synthesis
Designing a CPU with only Memory Chips
hackaday.com·19h
⚙️Operating System Design
I still care about the code
martinfowler.com·3d·
Discuss: DEV, Hacker News
🔬Static Analysis
Rule Learning for Knowledge Graph Reasoning under Agnostic Distribution Shift
arxiv.org·4d
🎮Verification Games
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·1d
💻CS
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap