💻 CS

computer science, automata, theory, computation

Should You Always Care about Your Website Size?
platformos.com·10h·
Discuss: Hacker News
📡Network Protocol Design
Classic Atari Games Are Now Playable in Cars
gamespot.com·3h·
Discuss: Hacker News
💾Retro Computing
Smart assistant to be developed to help people with dementia
uu.nl·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Crypto-Betting Site Polymarket Set For US Return After Deal to Buy Tiny Exchange
bloomberg.com·4h·
Discuss: Hacker News
🔠Type-Level Programming
Approximate First Principal Component
30fps.net·4d·
Discuss: Hacker News
💾Retro Computing
Death by AI
davebarry.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com·1d·
Discuss: Hacker News
💾Retro Computing
Please, FOSS world, we need something like ChromeOS
theregister.com·4h·
Discuss: Hacker News
🔬Unikernels
Testing Exaone4 32B Q5
medium.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·4d
🏠HomeLab
The great AI delusion is falling apart
telegraph.co.uk·1d·
Discuss: Hacker News
🎮Verification Games
Situated Software (2004)
web.archive.org·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·5d
✓Automated Theorem Proving
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·5d
✓Automated Theorem Proving
LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
arxiv.org·5d
🔄Finite State Machines
Unleashing Vision Foundation Models for Coronary Artery Segmentation: Parallel ViT-CNN Encoding and Variational Fusion
arxiv.org·3d
🐫OCaml
Less Stress, More Privacy: Stress Detection on Anonymized Speech of Air Traffic Controllers
arxiv.org·6d
🐫Embedded OCaml
SpreadPy: A Python tool for modelling spreading activation and superdiffusion in cognitive multiplex networks
arxiv.org·6d
➡️Category Theory
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·5d
🔬Static Analysis
Biological Processing Units: Leveraging an Insect Connectome to Pioneer Biofidelic Neural Architectures
arxiv.org·5d
➡️Category Theory