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

“The art of lying and deception”
mleddy.blogspot.com·19h
📊Information Theory
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·9h·
Discuss: r/programming
🧠Memory Management
Inside the revolutionary idea that we can negotiate with cancer
newscientist.com·17h
🧫Cellular Automata
Data and AI sovereignty: A universal business imperative grounded in two unifying rules
nordot.app·19h
⚖Algorithmic Game Theory
we rehired someone who isn’t working out, responding to “dear sirs,” and more
askamanager.org·5h
🧩Theorem Proving
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4d·
Discuss: Hacker News
🧭SMT Solvers
Today in 1498, Michelangelo was commissioned to carve the Pietà sculpture.
threadreaderapp.com·15h
🧩Theorem Proving
How UIUC is teaching AI in their CS 101 Classes
cs124.org·5h·
Discuss: Hacker News
🧩Theorem Proving
The illusion of alignment
ashmann.co·21h
🏗️Software Architecture
We have become an authoritarian state, and our top newsrooms are in denial
presswatchers.org·3h·
Discuss: Hacker News
📊Information Theory
We should have seen ‘seemingly-conscious AI’ coming. It’s past time we do something about it
fortune.com·15h
🤖Sci-Fi
Yaphe, Joshua. - Time and Narrative in Intelligence Analysis. [Elektronisk resurs] : A New Framework for the Production of Meaning.
libris.kb.se·3d
🧮Programming Language Theory
The 5 Secrets to Mastering Back-to-School Parenting
psychologytoday.com·15h
🔄Category Theory
『METAL GEAR SOLID Δ: SNAKE EATER』プレイしながらシステムを紹介するトーク番組公開―「シークレットシアター」の収集方法も実演
news.jp·21h
🧫Cellular Automata
Analysis of Harpy's Constrained Trotting and Jumping Maneuver
arxiv.org·1d
🤖Sci-Fi
Reranking every MLB farm system from 1 to 30
espn.com·21h
🌍Distributed Systems
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·1d
🎲Probabilistic Programming
SeeThrough: a rationally designed skull clearing technique for in vivo brain imaging
nature.com·23h
📊Information Theory
Cross-Attention Multimodal Fusion for Breast Cancer Diagnosis: Integrating Mammography and Clinical Data with Explainability
arxiv.org·2d
🎲Probabilistic Programming
Improving Interpretability in Alzheimer's Prediction via Joint Learning of ADAS-Cog Scores
arxiv.org·1d
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap