GNU Midnight Commander
midnight-commander.org·3d·
Discuss: Hacker News
🍏Darwin
Gen Coloring：AI Photo to Coloring Page Generator
gencoloring.ai·1d·
Discuss: Hacker News
📺Vintage Apple
Show HN: Pictures Are For Babies – Deliberate practice for mastering literacy
picturesareforbabies.com·1d·
Discuss: Hacker News
📚Automata Learning
Introducing Shuttle Cobra
shuttle.dev·2d·
Discuss: Hacker News
⎈Kubernetes
Canonical announces it will support and distribute Nvidia CUDA in Ubuntu
canonical.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Communications Is So Big
heidiwaterhouse.com·2d·
Discuss: Hacker News
⚙Operational Semantics
New security stuff in the Linux 6.17
armosec.io·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·3d·
Discuss: Hacker News
📝Term Rewriting
AirPods Pro 3 have a special new ability from an upcoming Apple product
9to5mac.com·6d
📺Vintage Apple
DerivationBuilder, extracting Nix's sandboxing logic for library use (nixcon2025)
cdn.media.ccc.de·2d
❄️Nixified Development
Bayesian Parametric Matrix Models: Principled Uncertainty Quantification for Spectral Learning
arxiv.org·3d
🐫OCaml
Google Chrome is Becoming an AI Browser — Starting Today
omgubuntu.co.uk·1d·
Discuss: Hacker News
🔬Unikernels
TypeScript MCP-MQTT SDK: Extending AI Agents from Web to IoT and Edge
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Internet scale routing with NixOS (nixcon2025)
cdn.media.ccc.de·2d
📡Network Protocol Design
Struggling to find the right people to grow your startup?
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nix
Tesla is looking to redesign its door handles following trapped-passenger report
cnn.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Learning Mechanistic Subtypes of Neurodegeneration with a Physics-Informed Variational Autoencoder Mixture Model
arxiv.org·1d
📚Automata Learning
Compress.lol – WebAssembly-Powered Video Compression
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
[$] Typst: a possible LaTeX replacement
lwn.net·3d·
Discuss: Hacker News
💎Refinement Types