All-around protection: ESR launches iPhone 17 cases, screen protectors, AirPods covers
9to5mac.com·1d
🍎Apple
Ollee Watch: Turn your classic Casio watch into a smartwatch
olleewatch.com·18h·
Discuss: Hacker News
🍎Apple
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·2d·
Discuss: Hacker News
💎Refinement Types
Optimizing 100B ClickHouse Events
replo.computer·2d·
Discuss: Hacker News
👁️System Observability
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·2d·
Discuss: Hacker News
💾Retro Computing
Software Agents work. But only if you do
suriya.cc·5h·
Discuss: Hacker News
🛡️seL4
Pydantic AI Gateway
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Graph rag pipeline that runs entirely locally with ollama and has full source attribution
reddit.com·2d·
Discuss: r/programming
🐫OCaml
Using old parts to make a homelab/server, ideas & thoughts needed!
reddit.com·53m·
Discuss: r/homelab
💾Retro Computing
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·2d
🩹Self-Healing Systems
Shall I avoid buying a HBA from China?
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Demo papers: they're fine I guess
lesswrong.com·2d
🔬Static Analysis
Vibe coding has turned senior devs into ‘AI babysitters,’ but they say it’s worth it
techcrunch.com·2h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Your APIs Are Costing More Than You Think
thenewstack.io·2d
👁️System Observability
Using Haskell in Production
agentultra.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
LiteFS VFS SQLite Extension for Serverless Environments
github.com·3h·
Discuss: Hacker News
🔬Unikernels
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·4d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·4d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
HybridPetya: More proof that Secure Boot bypasses are not just an urban legend
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels