Haiku Activity & Contract Report, September 2025
haiku-os.org·16h
🖥️Terminal Renaissance
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·2d
🧮Algebraic Archives
GitHub's Ubuntu Runners Have 1,681 Packages and 9 High Vulns
bomfather.dev·1d·
Discuss: Hacker News
❄️Nix Flakes
We saved 76% on our cloud bills while tripling our capacity by migrating to Hetzner from AWS and DigitalOcean
digitalsociety.coop·10h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Self-improving language models are becoming reality with MIT's updated SEAL technique
venturebeat.com·20h·
Discuss: Hacker News
💻Local LLMs
Software can be finished
rosswintle.uk·1d·
Discuss: Hacker News
🔄Reproducible Builds
Study reveals global patterns and drivers of soil microbial succession
phys.org·1d
🦴Database Paleontology
We Benchmarked DuckDB, SQLite, and Pandas on 1M Rows: Here’s What Happened
kdnuggets.com·4d
💾SQLite
Nitro: Tiny but flexible init system and process supervisor
github.com·20h·
Discuss: Lobsters, Hacker News
🔌Operating system internals
British govt agents demand action after UK mega-cyberattacks surge 50%
theregister.com·8h·
Discuss: Hacker News
🚨Incident Response
Mall Customer Segmentation using ML — A Step-by-Step Tutorial
dev.to·1d·
Discuss: DEV
🧠Machine Learning
How I Built a Mini C Compiler to Understand How Compilers Work
github.com·22h·
Discuss: DEV
📝Compiler Design
Updated Homelab Fall 2025 (issues resolved??)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Enhanced MALDI-TOF Peptide Identification via Graph Neural Network Calibration
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Upgrades people, Upgrades
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
HoMer: Addressing Heterogeneities by Modeling Sequential and Set-wise Contexts for CTR Prediction
arxiv.org·15h
📊Feed Optimization
Concise Reasoning in the Lens of Lagrangian Optimization
arxiv.org·15h
💻Local LLMs
RV-HATE: Reinforced Multi-Module Voting for Implicit Hate Speech Detection
arxiv.org·15h
🚀SIMD Text Processing
So excited to replace all these external drives - where do I start my research?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Reliable Active Learning from Unreliable Labels via Neural Collapse Geometry
arxiv.org·15h
🧠Machine Learning