Show HN: Binary Translator
binarytranslate.com·18h·
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
Sharing an OMV folder across VLANs, how vulnerable would this be?
i.redd.it·5h·
Discuss: r/homelab
🏠HomeLab
Light exposure at night predicts incidence of cardiovascular diseases
medrxiv.org·2d·
Discuss: Hacker News
🔠Type-Level Programming
Apple Trace Cache
realworldtech.com·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
The Nuclear Mirage
theenergymix.com·1d·
Discuss: Hacker News
🔬Unikernels
The Bytebot Core – From Linux Container to Agent Control Surface
bytebot.ai·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: I made a private, portable, virtual LLM OS with JavaScript and Gemini
oopisos.neocities.org·2d·
Discuss: Hacker News
🔬Unikernels
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Help Request: Best way to run many chrome profiles in parallel
reddit.com·3h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·3d
🎮Verification Games
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·5d
🤖Program Synthesis
OnlineBEV: Recurrent Temporal Fusion in Bird's Eye View Representations for Multi-Camera 3D Perception
arxiv.org·21h
➡️Category Theory
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
C++ with no classes?
pvs-studio.com·5d·
Discuss: r/cpp, r/programming
🐫OCaml
Ensemble of Weak Spectral Total Variation Learners: a PET-CT Case Study
arxiv.org·21h
💻CS
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3d·
Discuss: Substack
🔍Formal Verification
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·21h
✓Automated Theorem Proving
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·3d
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·3d
✓Automated Theorem Proving