The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·4h·
Discuss: Hacker News
🔧Unikernel Development
Which OAuth Flow Should You Use?
nimblesa.com·1d·
Discuss: Hacker News
🛡️seL4
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·5h·
Discuss: Hacker News
👁️System Observability
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·2h·
Discuss: r/programming
🔄Reproducible Builds
Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol
ngerakines.leaflet.pub·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·4h·
Discuss: Hacker News
⚙️PL Implementation
Native ACME Support Comes to Nginx
letsencrypt.org·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: ScamBare Text Checker
scambare.com·18m·
Discuss: Hacker News
🎮Verification Games
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·23h·
Discuss: Hacker News
🐳Containerization
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·1d·
Discuss: r/programming
🧱Immutable Infrastructure
All You Need Is SSH
wrongthink.link·2d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·3d·
Discuss: r/javascript, r/programming
💎Refinement Types
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·12h·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Nanonext: breaking down language barriers in data science
tidyverse.org·3h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·5h·
Discuss: Hacker News
📦Unikernel Systems