💻 CS

computer science, automata, theory, computation

NYC housing lottery applicants' personal info exposed online in data breach
cbsnews.com·11h·
Discuss: Hacker News
🍎Apple
How to Optimize Performance with Cache Warming?
newsletter.scalablethread.com·1d·
Discuss: r/programming
👁️System Observability
The Big World of Tiny Architecture
archpaper.com·19h·
Discuss: Hacker News
💾Retro Computing
Show HN: SonicInfra, Cloud at On-Prem Prices
sonicinfra.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Noma Security Raises $100M for AI Security Platform
securityweek.com·2d·
Discuss: Hacker News
🍎Apple
How to take down Big Tech
fairyland.substack.com·13h·
Discuss: Substack
🍎Apple
Frozen in transit: Secret Blizzard's AiTM campaign against diplomats
microsoft.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Cisco cbs220 24T 4X
reddit.com·5h·
Discuss: r/homelab
🍎XNU Internals
AI Chatbots Remain Confident – Even When They're Wrong
cmu.edu·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Why your vibe coded app only works in your head
farouq.bearblog.dev·3d·
Discuss: Hacker News
🔬Static Analysis
A Nonlinear MPC Framework for Loco-Manipulation of Quadrupedal Robots with Non-Negligible Manipulator Dynamics
arxiv.org·3d
🏹Effect Systems
Multilingual JobBERT for Cross-Lingual Job Title Matching
arxiv.org·3d
🐫OCaml
Categorical Distributions are Effective Neural Network Outputs for Event Prediction
arxiv.org·3d
➡️Category Theory
Most developers use AI in their daily workflows – but they don't trust it
zdnet.com·3d·
Discuss: Hacker News
👁️System Observability
Need your recommendations—building my first homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Radio Adversarial Attacks on EMG-based Gesture Recognition Networks
arxiv.org·3d
🧪Property-Based Testing
Physics-informed transfer learning for SHM via feature selection
arxiv.org·4d
🔍Formal Verification
Dual Guidance Semi-Supervised Action Detection
arxiv.org·3d
🔄Finite State Machines
AI for Coding: Why Most Developers Are Getting It Wrong
ksred.com·5d·
Discuss: Hacker News
🤖Program Synthesis
AI Needs Open Source: Q&A with Anaconda’s Peter Wang
thenewstack.io·2d
🖥️Self-hosted Infrastructure