ISRO successfully conducts hot tests of Gaganyaan propulsion system
thehindu.com·12h·
Discuss: Hacker News
🔍Formal Verification
macOS Tahoe puts the Spotlight where it belongs
macworld.com·2d·
Discuss: Hacker News
🍎Apple
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·1d·
Discuss: Hacker News
🐫OCaml
Towards a Foundational Understanding of Causality
deepcausality.com·18h·
Discuss: Hacker News
🏹Effect Systems
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·3d·
Discuss: Hacker News
❄️Nixified Development
Derek Sivers' useful summary of Seth Godin's "Small is the new big"
sive.rs·6h·
Discuss: Hacker News
🍎Apple
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·2d·
Discuss: Hacker News
🔬Unikernels
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
It's therapy or the cluster...
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·3d·
Discuss: Hacker News
🔤DSLs
AXLearn: Modular Large Model Training on Heterogeneous Infrastructure
arxiv.org·4d
📦Unikernel Systems
Cache Benchmarks
github.com·1d·
Discuss: Hacker News
👁️System Observability
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2d
💻CS
We solved AI API interoperability
supermemory.ai·5d·
Discuss: Hacker News
🐫OCaml
Vibe Coding in BASIC
goto10retro.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Modern Electric Vehicle Infrastructure Security
ocpp.us·5d·
Discuss: Hacker News
🌐NetworkProtocols