Synthetic Fuels from Offshore Wind Park
kit.edu·6h·
Discuss: Hacker News
🐫OCaml
The Seven Keys: A Hacker Fable
medium.com·1d·
Discuss: r/programming
🔬Unikernels
Hitachi Develops "Metaverse Platform for Nuclear Power Plants"
hitachi.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·4d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Analyzing Live Social Data: Exploring Social Trends on Bluesky
materialize.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Rust is a great fit for the agentic era
kerkour.com·1d·
Discuss: Hacker News
🔬Static Analysis
Tuist Server is now Source Available
tuist.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Clustered PostgreSQL
arch.dog·6d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Tell HN: Humanloop acquired, sunsetting Sept 8th
news.ycombinator.com·10h·
Discuss: Hacker News
🍎Apple
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·48m·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: A Raycast-compatible launcher for Linux
github.com·4d·
Discuss: Hacker News, r/linux
🍎XNU Internals
Biological Processing Units: Leveraging an Insect Connectome to Pioneer Biofidelic Neural Architectures
arxiv.org·1d
➡️Category Theory
Chip4Mac68000 – A Chip8 emulator for the original Macintosh
github.com·2d·
Discuss: Hacker News
💾Retro Computing
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
🎮Verification Games
Google plugs AI into nuclear reactor biz – what could possibly go wrong?
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Local Lens – MCP that captures logs and network reqs for debugging
github.com·2d·
Discuss: Hacker News
👁️System Observability
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.org·3d
🐫OCaml
RAID 51 - hear me out ...
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Found a pair of open-source tools for building Voice AI Agents
reddit.com·1d·
Discuss: r/programming
🎮Verification Games