Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·12h·
Discuss: Hacker News
🔄Reproducible Builds
Peter Thiel and the Antichrist: Silicon Valley Apocalypse Hype
thenerdreich.com·6h·
Discuss: Hacker News
🍎Apple
Ditch those words!
robinrendle.com·8h·
Discuss: Hacker News
⚙Operational Semantics
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·3d·
Discuss: Hacker News
🍎Apple
Overview of the DiskANN Project (2018–present)
harsha-simhadri.org·3d·
Discuss: Hacker News
🔧Unikernel Development
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Creating larger projects with LLM (as a coder)
medium.com·2d·
Discuss: Hacker News
🛡️seL4
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·3d·
Discuss: Hacker News
🐳Containerization
Handling the Loads (2001)
news.slashdot.org·1d·
Discuss: Hacker News
👁️System Observability
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·3d·
Discuss: Hacker News
📊Runtime Verification
Network automation and design at the CCC Internetmanufaktur (mrmcd25)
cdn.media.ccc.de·9h
📡Network Protocol Design
Show HN: Let the internet control your framed e-ink display
github.com·1d·
Discuss: Hacker News
📺Vintage Apple
Possible to replace desktop and media server to one mini?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·4d
🐫Embedded OCaml
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·4d
🎮Verification Games
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·2d
🐫OCaml
The Android Linux Commander
hackaday.com·4d
🐳Containerization
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Dissecting Batching Effects in GPT Inference
le.qun.ch·2d·
Discuss: Hacker News
📚Automata Learning
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·4d
🩹Self-Healing Systems