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

NEHANNのメンバーによるAcrosome、デビュー曲「Hundred Dice Rolls」配信開始
news.jp·16h
🧫Cellular Automata
I’m 37
scotthyoung.com·1d
🧮Programming Language Theory
Interleaving for Retrieval Augmented Generation
maxirwin.com·2d·
Discuss: Hacker News, Hacker News, r/programming
🎲Probabilistic Programming
Ramsey Theory Group Revolutionizes the Automotive Retail Sector with a Secure and Digital-First Sales Platform Proven to Streamline the Sales Process
prnewswire.com·17h
⚖Algorithmic Game Theory
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
📝Lisp
Battling deepfakes: How AI threatens democracy and what we can do about it
theconversation.com·3h
🧫Cellular Automata
The lottery ticket hypothesis: why neural networks work
nearlyright.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Advice on Buhner's core protocol
reddit.com·3d·
Discuss: r/Lyme
🤝Protocol Design
Many Are Focused on the Wrong Questions When It Comes to AI
aclu.org·22h·
Discuss: Hacker News
🤖Sci-Fi
Capturing and Deploying PyTorch Models with torch.export
towardsdatascience.com·18h
🎲Probabilistic Programming
Women with Alzheimer’s have unusually low omega fatty acid levels
alz-journals.onlinelibrary.wiley.com·7h
🎲Probabilistic Programming
Digital Gardens: Where Consciousness Grows
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Getting started with llm-d for distributed AI inference
developers.redhat.com·1d
⚖️Logic Programming
How I Automated AI Prompt Generation to Speed Up Development
reddit.com·1h·
Discuss: r/devops
🧩Theorem Proving
Parametric feedback cooling of librations of a nanodiamond in a Paul trap: Towards matter-wave interferometry with massive objects
arxiv.org·15h
🔐Cryptography
Enhanced Thermal Conductivity Prediction via Multi-Scale Graph Neural Network Fusion
dev.to·21h·
Discuss: DEV
🧫Cellular Automata
Semi-Supervised Anomaly Detection Pipeline for SOZ Localization Using Ictal-Related Chirp
arxiv.org·15h
🎲Probabilistic Programming
MAD: A Benchmark for Multi-Turn Audio Dialogue Fact-Checking
arxiv.org·1d
🎲Probabilistic Programming
From Heuristics to Data: Quantifying Site Planning Layout Indicators with Deep Learning and Multi-Modal Data
arxiv.org·1d
🎲Probabilistic Programming
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.com·3h
🧫Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap