💻 CS

computer science, automata, theory, computation

The mathematics of the perfect penalty shootout
bbc.com·6h·
Discuss: Hacker News
🎮Verification Games
Decentralized Microfrontend Architecture - (my approach for my project)
positive-intentions.com·1d·
Discuss: r/programming, r/reactjs
🖥️Self-hosted Infrastructure
Open Sesame: Poems with Entropy
benwr.net·3d·
Discuss: Lobsters, Hacker News
🐫OCaml
The Ideological Spiral
cognition.cafe·9h·
Discuss: Hacker News
➡️Category Theory
Rust is a great fit for the agentic era
kerkour.com·3d·
Discuss: Hacker News
🔬Static Analysis
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·1d·
Discuss: Substack
👁️System Observability
Tests that AIs Often Fail and Humans Ace Could Pave the Way for Artificial General Intelligence
scientificamerican.com·1d·
Discuss: Hacker News
🎮Verification Games
OpenAI Quietly Turns to Google to Stay Online
gizmodo.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·6d·
Discuss: Hacker News
➡️Category Theory
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.com·20h·
Discuss: r/homelab
🧱Immutable Infrastructure
Will A.I. Become the New McKinsey? (Ted Chiang, 2023)
newyorker.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Multiplicative Modular Nim (MuM)
arxiv.org·5d
🐫OCaml
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·3d
🎮Verification Games
Talk me into a return or recommend a case
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Machine Learning for Evolutionary Graph Theory
arxiv.org·6d
➡️Category Theory
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·2d
🐫Embedded OCaml
Last Layer Hamiltonian Monte Carlo
arxiv.org·5d
✓Automated Theorem Proving
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·4d
🎮Verification Games
Illuminating the Three Dogmas of Reinforcement Learning under Evolutionary Light
arxiv.org·4d
✓Automated Theorem Proving
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·4d
🐫OCaml