M.2 SSD Can Self-Destruct by Giving Itself a Burst of Voltage
uk.pcmag.com·4h·
Discuss: Hacker News
💾Retro Computing
Perl 5.42 Released - Still Going Strong
i-programmer.info·5d·
Discuss: r/programming
⚙️PL Implementation
Finding a Job: Build Something Real
blog.stuartspence.ca·20h·
Discuss: Hacker News
🔄Reproducible Builds
Moss Medicines: The Next Revolution in Biotech?
the-scientist.com·21h·
Discuss: Hacker News
🐫OCaml
Full QuickJS Support for Nginx
blog.nginx.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
Learning to never give up by following you're passion
thelabyrinthoftimesedge.com·1d·
Discuss: Hacker News
🎮Verification Games
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·6d·
Discuss: Hacker News
🧪Property-Based Testing
Death by a thousand slops
daniel.haxx.se·14h·
Discuss: Hacker News
🛡️seL4
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·6d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Sysbox Container Runtime
github.com·10h·
Discuss: Hacker News
⎈Kubernetes
RadiomicsRetrieval: A Customizable Framework for Medical Image Retrieval Using Radiomics Features
arxiv.org·20h
🧱Immutable Infrastructure
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·20h
✓Automated Theorem Proving
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·17h·
Discuss: Hacker News
🍎Apple
OnlineBEV: Recurrent Temporal Fusion in Bird's Eye View Representations for Multi-Camera 3D Perception
arxiv.org·20h
➡️Category Theory
Data Science Weekly – Issue 607
datascienceweekly.substack.com·3d·
Discuss: Substack
👁️System Observability
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·3d
✓Automated Theorem Proving
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·5d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Age of Information Optimization in Laser-charged UAV-assisted IoT Networks: A Multi-agent Deep Reinforcement Learning Method
arxiv.org·20h
🖥️Self-hosted Infrastructure
SSSUMO: Real-Time Semi-Supervised Submovement Decomposition
arxiv.org·20h
🔄Finite State Machines
Seeing Like an LLM
strangeloopcanon.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving