Allocations Are a Dependency
clipperhouse.com·1d·
Discuss: Hacker News
🔬Static Analysis
Rails Decouples Trix From Action Text Into action_text-trix gem
blog.saeloun.com·6h·
Discuss: Hacker News
🔄Reproducible Builds
Behind the Scenes of MapYourGrid
mapyourgrid.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wayland. (Budgie Desktop, 2023)
buddiesofbudgie.org·6d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Tested on real silicon: Automating RISC-V Hardware-in-the-Loop
collabora.com·3d·
Discuss: Hacker News
🔧Unikernel Development
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
💎Refinement Types
BlazingMQ: A modern, high-performance open message queuing system
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
Dissecting Batching Effects in GPT Inference
le.qun.ch·19h·
Discuss: Hacker News
📚Automata Learning
Show HN: Real-time Collaboration for Django Admin (open-source)
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Visual Studio 2026 Insiders is here! - Visual Studio Blog
devblogs.microsoft.com·3d·
Discuss: Hacker News, r/cpp
🔄Reproducible Builds
Gram: Open-Source platform to create, curate and host MCP servers
github.com·3d·
Discuss: Hacker News
🖥Self-Hosting
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·3d
🧩Parser Combinators
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
Kerberoasting
blog.cryptographyengineering.com·2d·
Discuss: Lobsters, Hacker News
🛡️seL4
Why I'm not trying to freeze and revive a mouse
lesswrong.com·4h
🩹Self-Healing Systems