Neal: Through daunting part of schedule, Lynx just keep on winning
startribune.com·3h
📐Type Theory
How One Wikipedia Editor Unraveled the ‘Single Largest Self-Promotion Operation’ in the Site's History
wired.com·18h
📊Information Theory
5 Essential Tools for Process Optimization to Boost Efficiency
smallbiztrends.com·8h
🏗Computer Architecture
Saturday open line
arktimes.com·6h
⚖Algorithmic Game Theory
I Built LogosDX: A TypeScript ecosystem for cross-runtime JavaScript development
logosdx.dev·18h·
Discuss: r/node
📐Type Theory
How Do We Learn Complex Skills? Understanding Act-R Theory
scotthyoung.com·2d·
Discuss: Hacker News
🧩Theorem Proving
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·3d·
Discuss: Hacker News
📝Lisp
Model intelligence is no longer the constraint for automation
latentintent.substack.com·1d·
Discuss: Substack
🧭SMT Solvers
Profiling django views for SQL queries
engineering.hackerearth.com·10h
🔍Static Analysis
Evolutionary Algorithm Framework in Java
github.com·3d·
Discuss: DEV
⚙Functional Programming
Constructor Theory of Time feels like Object-Oriented Programming
reddit.com·10h·
Discuss: r/compsci
🧮Programming Language Theory
The topological properties of the protein universe
nature.com·3d
🕸️Graph Theory
How to Master AI in 2025?
analyticsvidhya.com·22h
🧩Theorem Proving
麻薬を使って「神秘」を演出も…カルト教団運営ゲーム『United Sects of America』を通じて、人はなぜカルトにハマるのかを考える
news.jp·2h
🧫Cellular Automata
⭐ Exafunction codeium.nvim
waylonwalker.com·10h
📝Lisp
Lit Hub Daily: August 15, 2025
lithub.com·1d
🧮Programming Language Theory
Tasklin, a Python CLI to run multiple AI models
dev.to·1h·
Discuss: DEV
🧩Theorem Proving
Long-Term Client Selection for Federated Learning with Non-IID Data: A Truthful Auction Approach
arxiv.org·2d
⚖Algorithmic Game Theory
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·2d
⚖Algorithmic Game Theory
Fuzzy-Pattern Tsetlin Machine
arxiv.org·3d
⚙Functional Programming