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

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

File preallocation on macOS in Ruby
tenderlovemaking.com·23h·
Discuss: Hacker News
🔧Compiler Design
CppCon 2025 Clean code! Horrible performance? -- Sandor Dargo
isocpp.org·1d
🏗Computer Architecture
Was Action! The Best 8-Bit Language?
hackaday.com·19h·
Discuss: Hacker News
⚖️Logic Programming
From Pocket-Inferer to SemanticWebBrowser: Incremental development of a user-friendly, deterministic, language-interface-based, web-paradigm-agnostic, IDE-like,...
philpapers.org·4d·
Discuss: r/compsci
🔗Parser Combinators
Notes from Gemini Embedding Paper
shekhargulati.com·1d
🔗Parser Combinators
Children’s brains learn language in ways AI can’t imitate, study finds
nordot.app·1d
🧮Programming Language Theory
How Modren Cpu's Work With AI
forums.anandtech.com·11h
🏗Computer Architecture
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·1d·
Discuss: Hacker News
🌍Distributed Systems
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·11h·
Discuss: r/programming
🏗️Software Architecture
Edtech partners unveil distinctive K-12 AI learning assistant
prnewswire.com·1d
🔌Network Programming
What is physical AI -- and how is it changing manufacturing? - The World Economic Forum
news.google.com·1d
🎲Probabilistic Programming
Discreteness of asymptotic tensor ranks
arxiv.org·17h
🔐Cryptography
Explained, yet misunderstood: How AI Literacy shapes HR Managers' interpretation of User Interfaces in Recruiting Recommender Systems
arxiv.org·1d
🎲Probabilistic Programming
Scaling the system that powers over $700M ARR invoices
medium.com·1d·
Discuss: Hacker News
🏗️Software Architecture
Friction to Flow
dev.to·1d·
Discuss: DEV
🔌Network Programming
AI Quests: Bringing AI literacy to the classroom
blog.google·1d·
Discuss: Hacker News
🧭SMT Solvers
The Future of Document Scanning: A Look at LLM-Powered OCR
dev.to·4d·
Discuss: DEV
🔧Compiler Design
Unlock Business Insights Instantly with Natural Language Analytics
dev.to·13h·
Discuss: DEV
🔧Compiler Design
Understanding the Difference Between Subquery, CTE, and Stored Procedure
dev.to·13h·
Discuss: DEV
🗄️Database Theory
Dynamic Ferrofluidic Soft Robot Assembly via Gradient Magnetic Field Steering and Reinforcement Learning
dev.to·22h·
Discuss: DEV
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap