💻 CS

computer science, automata, theory, computation

Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
A.I. Can See You in Ways You Can't See Yourself
nytimes.com·23h·
Discuss: Hacker News
🎮Verification Games
The Machine Stops by Oliver Sacks
newyorker.com·20h·
Discuss: Hacker News
💾Retro Computing
Study finds that AI tools make experienced programmers 19% slower. But that is not the most interesting find...
reddit.com·19h·
Discuss: r/programming
🏹Effect Systems
SimCortex: Collision-free Simultaneous Cortical Surfaces Reconstruction
arxiv.org·2d
💾Retro Computing
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·2d
🔄Finite State Machines
Esports and expertise: what competitive gaming can teach us about mastery
arxiv.org·3d
🎮Verification Games
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·1d
🔍Formal Verification
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·3d
🔠Type-Level Programming
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·2d
➡️Category Theory
Operator-based machine learning framework for generalizable prediction of unsteady treatment dynamics in stormwater infrastructure
arxiv.org·4d
🏹Effect Systems
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·3d
🔄Reproducible Builds
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml
Air-FedGA: A Grouping Asynchronous Federated Learning Mechanism Exploiting Over-the-air Computation
arxiv.org·3d
🖥️Self-hosted Infrastructure
DpDNet: An Dual-Prompt-Driven Network for Universal PET-CT Segmentation
arxiv.org·1d
🤖Program Synthesis
From Autonomy to Agency: Agentic Vehicles for Human-Centered Mobility Systems
arxiv.org·4d
🔄Finite State Machines
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·1d
✓Automated Theorem Proving
Opting Out of Generative AI: a Behavioral Experiment on the Role of Education in Perplexity AI Avoidance
arxiv.org·1d
🎮Verification Games
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·1d
🔄Finite State Machines
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·4d
➡️Category Theory