I fixed my linux system boot
kawhing.github.io·15h·
Discuss: r/programming
💾Retro Computing
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
Binding Application in Idris
andrevidela.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
We solved AI API interoperability
supermemory.ai·2d·
Discuss: Hacker News
🐫OCaml
Qthreads – large numbers of threads conveniently and easily
github.com·5h·
Discuss: Hacker News
❄️Nixified Development
iThermTroj: Exploiting Intermittent Thermal Trojans in Multi-Processor System-on-Chips
arxiv.org·2d
⚙️Operating System Design
Data Science Weekly – Issue 607
datascienceweekly.substack.com·5h·
Discuss: Substack
👁️System Observability
Show HN: Petrichor – a free, open-source, offline music player for macOS
github.com·1d·
Discuss: Hacker News
🍎Apple
Modern Electric Vehicle Infrastructure Security
ocpp.us·3d·
Discuss: Hacker News
🌐NetworkProtocols
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·10h·
Discuss: Hacker News
🔄Reproducible Builds
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·1d·
Discuss: Hacker News
❄️Nix
Lenovo ThinkCentre M75q G2 for home server
i.redd.it·22h·
Discuss: r/homelab
🏠HomeLab
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·18h·
Discuss: Hacker News
🔤DSLs
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·20h·
Discuss: Hacker News
📡Network Protocol Design
Show HN: A generative audio VST plugin using Gemini API, JUCE, and React
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Unikernels
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
AXLearn: Modular Large Model Training on Heterogeneous Infrastructure
arxiv.org·2d
📦Unikernel Systems
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing