🎲 A Few Notes on Knutepunkt 2025
mssv.net·3h
🧮Programming Language Theory
FliO is an evolutionarily conserved yet diversified core component of the bacterial flagellar type III secretion system
pnas.org·13h
🧫Cellular Automata
OpenAI Model Earns Gold-Medal Score at International Math Olympiad and Advances Path to Artificial General Intelligence
scientificamerican.com·13h
🧩Theorem Proving
Top Strategies to Improve Reliability in Distributed Systems
blog.bytebytego.com·13h
🌍Distributed Systems
In China’s crippling price wars, an updated law seeks ‘sustainable equilibrium’ - South China Morning Post
news.google.com·7h
⚖Algorithmic Game Theory
Generative AI and Healthy Skepticism
tirkarthi.github.io·13h·
Discuss: Hacker News
🧩Theorem Proving
SSDs
tomshardware.com·7h
💻Operating Systems
Why AI fails at business context, and what to do about it
infoworld.com·3d
🧩Theorem Proving
I need help with my Rust project.
reddit.com·7h·
Discuss: r/rust
🦀Rust
Lil Nas X gripen efter nakenattack mot polis
omni.se·7h
🔢Mathematical Logic
Building a Fraud Detection Pipeline using Python, PostgreSQL, Apache Kafka, PySpark, Grafana and Scikit-learn
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Whole genome sequencing and annotations of <i>Trametes sanguinea</i> ZHSJ
nature.com·15h
🧫Cellular Automata
Think of data modeling as brain of Power BI — without it, everything else is just decoration
threadreaderapp.com·3d
🏗️Software Architecture
3 Stocks Down Over 30% That Look Like Buys
fool.com·9h
⚖Algorithmic Game Theory
What do Speech Foundation Models Learn? Analysis and Applications
arxiv.org·3d
🎲Probabilistic Programming
This Week in Sports Trivia: August 21, 2025
nytimes.com·18h
🧫Cellular Automata
DiffMem: Using Git as a Differential Memory Backend for AI Agents - Open-Source PoC
reddit.com·1d·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Quantum Relational Knowledge Distillation
arxiv.org·3d
🔐Cryptography
沖縄尚学 夏初の決勝進出 末吉6回途中降板も打線奮起 V打の比嘉「沖縄に優勝旗を」
news.jp·9h
🧮Programming Language Theory
Robust Data Fusion via Subsampling
arxiv.org·3d
🎲Probabilistic Programming