Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·19h
🔐Cryptography
Links I love
modernmrsdarcy.com·13h
🧮Programming Language Theory
Looking to deepen my knowledge as a cs student
reddit.com·2d·
Discuss: r/compsci
🧮Programming Language Theory
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
🔄Category Theory
The Comprehensive Guide to Knowledge Graphs
agilelab.it·17h·
Discuss: Hacker News
🕸️Graph Theory
Constraint Catalog
sofdem.github.io·22h
🎯Constraint Programming
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Deep Cogito goes big, releasing 4 new open source hybrid reasoning models with self-improving ‘intuition’
venturebeat.com·1d
🧫Cellular Automata
Crackpot index (1998)
math.ucr.edu·23h
📊Information Theory
LLM Inference: Core Bottlenecks Imposed By Memory, Compute Capacity, Synchronization Overheads (NVIDIA)
semiengineering.com·6h
⚖️Logic Programming
I Make My Excel Sheets Smarter With These Conditional Functions
makeuseof.com·1d
💭Prolog
🧭
deltaskelteradventure.bearblog.dev·23h
🧮Programming Language Theory
Teacher’s fraction grading shocks internet
mindyourdecisions.com·1d
🧫Cellular Automata
GITEX GLOBAL 2025
darkreading.com·11h
🛡️IoT Security
Agrell, Per - Discovering local logics / Per Agrell and Jean-Claude Moisdon.
libris.kb.se·3d
🔄Category Theory
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·13h
🔐Cryptography
Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification
arxiv.org·20h
🎲Probabilistic Programming
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1d
🧮Programming Language Theory
Linkage from Montreal
11011110.github.io·1d
📈Complexity Theory
Do Video-Game Characters Matter Morally?
reducing-suffering.org·4h·
Discuss: Hacker News
🧫Cellular Automata