🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Mathematical Logic

Model Theory, Proof Theory, Completeness, Decidability

Comic for 2025.08.22 - 15th Century
explosm.net·10h
🧫Cellular Automata
Apple Type-C PHY driver RFC posted to kernel mailing list
lore.kernel.org·2h·
Discuss: r/linux
💻Operating Systems
The Rule of Law (Without Liberalism)
thenewdigest.substack.com·22h·
Discuss: Substack
🧮Programming Language Theory
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·18h·
Discuss: Lobsters, Hacker News
🎯Constraint Programming
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·2d
⚡Concurrency
Someone asked an LLM to summarize my newsletter post through an LLM and submitted it to Reddit to gain karma.
bsky.app·3d·
Discuss: Bluesky
🧮Programming Language Theory
Why Semantic Spacetime (SST) is the answer to rescue property graphs
mark-burgess-oslo-mb.medium.com·3d·
Discuss: Lobsters
🧮Programming Language Theory
The Little Review, July 1917 (Vol. 4, No. 3)
gutenberg.org·39m
🧮Programming Language Theory
Some interesting baihe titles (literal)
reddit.com·2h·
Discuss: r/BaiHe
🧮Programming Language Theory
New formula improves accuracy of particle concentration measurements in diverse samples
phys.org·1d
🎲Probabilistic Programming
Antibiotics designed with the help of AI attack bacteria in entirely new ways - Chemistry World
news.google.com·20h
🧫Cellular Automata
Mortal Kombat: Legacy Kollection Final Lineup Confirmed, Includes Version of Ultimate Mortal Kombat 3 That Has Not Been Playable Anywhere Since 1997 - IGN
news.google.com·18h
🔄Category Theory
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com·8h·
Discuss: Hacker News
🧭SMT Solvers
Australia has a problem with 'space creep' and it could be driving the housing crisis
abc.net.au·10h
💭Prolog
AI giants race to scoop up elusive real-world data - Rest of World
news.google.com·1d
⚖Algorithmic Game Theory
🚀 Introducing ShiboScript – A Beginner-Friendly Scripting Language
dev.to·12h·
Discuss: DEV
🧮Programming Language Theory
How I Use AI to Learn Faster Than Ever Before
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Why ChatGPT Prioritizes Engagement Over Truth
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
Why Your AI Chatbot is Dumb — And How to Fix It with AutoGPT Agents
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
How I Successfully Failed at My First AI Operations Project
kill-the-newsletter.com·19h
🧩Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap