Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·22h·
Discuss: Hacker News
🔄Reproducible Builds
Peter Thiel and the Antichrist: Silicon Valley Apocalypse Hype
thenerdreich.com·16h·
Discuss: Hacker News
🍎Apple
Removing 95% of podcast ads with transcript segmentation and LLMs
benbowler.com·1d·
Discuss: Hacker News
🍎Apple
Ditch those words!
robinrendle.com·18h·
Discuss: Hacker News
⚙Operational Semantics
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·3d·
Discuss: Hacker News
🍎Apple
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·5d·
Discuss: Lobsters, Hacker News
💎Refinement Types
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·19h
📡Network Protocol Design
Show HN: Let the internet control your framed e-ink display
github.com·1d·
Discuss: Hacker News
📺Vintage Apple
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·5d
🐫Embedded OCaml
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·5d
🎮Verification Games
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·3d
🐫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·5d
🩹Self-Healing Systems
Trusting builds with Bazel remote execution
blogsystem5.substack.com·1d·
Discuss: Substack
🧱Immutable Infrastructure