💻 CS

computer science, automata, theory, computation

The Ancient History of Compression Algorithms
cs4fn.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Notes on Astro
boda.sh·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Assumptions
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔬Static Analysis
Layers of Lawyers and Liars
matthewbutterick.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
A.I. Can See You in Ways You Can't See Yourself
nytimes.com·2d·
Discuss: Hacker News
🎮Verification Games
2039.js – The web framework that runs in the future (literally)
news.ycombinator.com·4h·
Discuss: Hacker News
🔄Finite State Machines
The Cost of Human-Centric Tools in LLM Workflows
joshbeckman.org·52m·
Discuss: Hacker News
👁️System Observability
Ground Truth Ambient Occlusion
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
No Code Is Dead
thenewstack.io·1d
🧱Immutable Infrastructure
A Hybrid Game-Theory and Deep Learning Framework for Predicting Tourist Arrivals via Big Data Analytics and Opinion Leader Detection
arxiv.org·5d
🎮Verification Games
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·3d
✓Automated Theorem Proving
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·3d
✓Automated Theorem Proving
SimCortex: Collision-free Simultaneous Cortical Surfaces Reconstruction
arxiv.org·3d
💾Retro Computing
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·3d
🔄Finite State Machines
Esports and expertise: what competitive gaming can teach us about mastery
arxiv.org·4d
🎮Verification Games
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·2d
🔍Formal Verification
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·4d
🔠Type-Level Programming
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·3d
➡️Category Theory
Operator-based machine learning framework for generalizable prediction of unsteady treatment dynamics in stormwater infrastructure
arxiv.org·5d
🏹Effect Systems