🐿️ 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
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·2h·
Discuss: Substack
🔬Unikernels
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
Preface to a Dictionary of the English Language (1755)
gutenberg.org·1h·
Discuss: Hacker News
🐫OCaml
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🛡️seL4
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·1d
👁️System Observability
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·2d·
Discuss: r/programming
🎮Verification Games
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·1d
🤖Program Synthesis
Designing a CPU with only Memory Chips
hackaday.com·23h
⚙️Operating System Design
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
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·1d
🐫OCaml
I still care about the code
martinfowler.com·3d·
Discuss: DEV, Hacker News
🔬Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap