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

Five TU Delft researchers receive ERC Starting Grants
tudelft.nlΒ·1d
🎲Probabilistic Programming
Fir is getting useful
osa1.netΒ·1d
πŸ”§Compiler Design
How many dimensions is this?
lcamtuf.substack.comΒ·2dΒ·
Discuss: Substack
🧫Cellular Automata
On Becoming an Engineer at Dropbox
nikrad.ioΒ·2dΒ·
Discuss: Hacker News
πŸ”ŒNetwork Programming
Line Graphs of Non-Word-Representable Graphs are Not Always Non-Word-Representable
arxiv.orgΒ·1d
πŸ•ΈοΈGraph Theory
Useful Python Libraries You Might Not Have Heard Of: Freezegun
towardsdatascience.comΒ·1d
πŸ“Lisp
Hierarchical Multi-Interest Co-Network For Coarse-Grained Ranking
arxiv.orgΒ·1d
πŸ”—Parser Combinators
Ask Wirecutter: Why Can’t My Partner See How Right I Am?
nytimes.comΒ·1d
πŸ”ŒNetwork Programming
How I Teach Kindergartners and Ph.D. Students About the Brain
psychologytoday.comΒ·1d
🧫Cellular Automata
Detecting Rug Pulls in Decentralized Exchanges: Machine Learning Evidence from the TON Blockchain
arxiv.orgΒ·2d
🎲Probabilistic Programming
We can now read AI's personality like a brain scan - and change it with basic arithmetic.
threadreaderapp.comΒ·1d
🎲Probabilistic Programming
Entropy-Driven Curriculum for Multi-Task Training in Human Mobility Prediction
arxiv.orgΒ·2d
🎲Probabilistic Programming
Equivariant U-Shaped Neural Operators for the Cahn-Hilliard Phase-Field Model
arxiv.orgΒ·2d
🧫Cellular Automata
Disciplined AI Software Development: Structured Method for Generative Programming
github.comΒ·1dΒ·
Discuss: r/programming
πŸ—οΈSoftware Architecture
I Started Talking to My Computer Instead of Typing. It Changed How I Think.
kill-the-newsletter.comΒ·3d
πŸ”§Compiler Design
Senators Grilled R.F.K. Jr. On Vaccines
nytimes.comΒ·22h
βš™Functional Programming
Flaw or Artifact? Rethinking Prompt Sensitivity in Evaluating LLMs
arxiv.orgΒ·2d
πŸ”—Parser Combinators
A new generative AI approach to predicting chemical reactions improves accuracy and reliability
phys.orgΒ·1d
🎲Probabilistic Programming
MIDOG 2025: Mitotic Figure Detection with Attention-Guided False Positive Correction
arxiv.orgΒ·1d
🎲Probabilistic Programming
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.orgΒ·2d
πŸ”—Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap