Engineers Shake Tallest Steel-Framed Building Ever on an Earthquake Simulator
today.ucsd.edu·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: SonicInfra, Cloud at On-Prem Prices
sonicinfra.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Parklife: Turn a Rack app into a static build
parklife.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
ChatGPT Confessions gone? They are not
digitaldigging.org·13h·
Discuss: Hacker News
❄️Nix
Generative AI. "Slop Generators, are unsuitable for use [ ]"
asahilinux.org·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Medium
schappi.com·1d·
Discuss: Hacker News
🔬Unikernels
Our approach to building the Agent Interaction SDK
linear.app·1d·
Discuss: Hacker News
🛡️seL4
Positron raises $50M+ to make GPUs optional for AI inference. Thoughts?
positron.ai·4d·
Discuss: Hacker News
🔬Unikernels
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·3d·
Discuss: r/programming
🤖Program Synthesis
SLTarch: Towards Scalable Point-Based Neural Rendering by Taming Workload Imbalance and Memory Irregularity
arxiv.org·3d
⚙️PL Implementation
Watermarking Large Language Model-based Time Series Forecasting
arxiv.org·4d
🐫OCaml
2025 One Hertz Challenge: Precise Time Ref via 1 Pulse-Per-Second GPS Signal
hackaday.com·3d
🐫Embedded OCaml
Semantic Numeration Systems as Dynamical Systems
arxiv.org·3d
➡️Category Theory
How To Use AI To Design Intelligent, Adaptable Infrastructure
thenewstack.io·23h
👁️System Observability
Mamba-based Efficient Spatio-Frequency Motion Perception for Video Camouflaged Object Detection
arxiv.org·1d
🐫OCaml
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·3d·
Discuss: Hacker News
🛡️seL4
Reminiscence Attack on Residuals: Exploiting Approximate Machine Unlearning for Privacy
arxiv.org·4d
🧪Property-Based Testing
Turning a Dell PowerEdge T110 II into a personal file/document server – need guidance
reddit.com·3d·
Discuss: r/homelab
💾Retro Computing
The role of LLMs in academic reviewing
sigarch.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Multidimensional Assessment of Takeover Performance in Conditionally Automated Driving
arxiv.org·2d
💻CS