💻 CS

computer science, automata, theory, computation

Show HN: Binary Translator
binarytranslate.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
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·2h·
Discuss: Hacker News
🔬Unikernels
Finding a Job: Build Something Real
blog.stuartspence.ca·1d·
Discuss: Hacker News
🔄Reproducible Builds
A chatbot coined a phrase I really like. Am I allowed to use it?
jessesingal.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Kimi K2 and when "DeepSeek Moments" become normal
interconnects.ai·17h·
Discuss: Hacker News
🔬Unikernels
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·1d·
Discuss: Hacker News
🤖Program Synthesis
The elite MBAs ditching corporate America
businessinsider.com·1d·
Discuss: Hacker News
💾Retro Computing
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·4h
🎮Verification Games
C-ZUPT: Stationarity-Aided Aerial Hovering
arxiv.org·4h
📦Unikernel Systems
Analysing Health Misinformation with Advanced Centrality Metrics in Online Social Networks
arxiv.org·4h
📡Network Protocol Design
jank is C++
jank-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
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
Taming Modern Point Tracking for Speckle Tracking Echocardiography via Impartial Motion
arxiv.org·4h
👁️System Observability
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·4d·
Discuss: Hacker News
👁️System Observability
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·1d
🐫OCaml
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·1d
➡️Category Theory
scE$^2$TM: Toward Interpretable Single-Cell Embedding via Topic Modeling
arxiv.org·1d
➡️Category Theory