💻 CS

computer science, automata, theory, computation

Show HN: Binary Translator
binarytranslate.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Self-Destruct SSD
industrial.teamgroupinc.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
After managing 50+ security breaches, I documented our incident response framework with ready to use forensic scripts
ncse.info·1d·
Discuss: r/programming
📡Network Protocol Design
Round About Four Dimensions – Exploring the Unknown
creativeapplications.net·7h·
Discuss: Hacker News
🔬Unikernels
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·4d·
Discuss: r/programming
🔬Static Analysis
Kimi K2 and when "DeepSeek Moments" become normal
interconnects.ai·23h·
Discuss: Hacker News
🔬Unikernels
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·1d·
Discuss: Hacker News
🍎Apple
Data Science Weekly – Issue 607
datascienceweekly.substack.com·4d·
Discuss: Substack
👁️System Observability
Enhancing ALS Progression Tracking with Semi-Supervised ALSFRS-R Scores Estimated from Ambient Home Health Monitoring
arxiv.org·10h
🔬Static Analysis
A Budget Quasi-Direct-Drive Motor Inpired By MIT’s Mini Cheetah
hackaday.com·1d
🐫Embedded OCaml
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·4d
👁️System Observability
Can LLMs Reliably Simulate Real Students' Abilities in Mathematics and Reading Comprehension?
arxiv.org·1d
🎮Verification Games
F3-Net: Foundation Model for Full Abnormality Segmentation of Medical Images with Flexible Input Modality Requirement
arxiv.org·1d
🔠Type-Level Programming
BioAnalyst: A Foundation Model for Biodiversity
arxiv.org·10h
🔠Type-Level Programming
TGLD: A Trust-Aware Game-Theoretic Lane-Changing Decision Framework for Automated Vehicles in Heterogeneous Traffic
arxiv.org·10h
🤖Program Synthesis
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·10h
🔠Type-Level Programming
PGD-based optimization of 3D bobsleigh track centerlines from 2D centerlines for simulation applications
arxiv.org·1d
🧗Climbing Tech
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·10h
🎮Verification Games
Guys need an urgent help. Can someone run this github repository. We have to submit the results tomorrow.
github.com·2d·
Discuss: r/programming
📦Unikernel Systems