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·15h·
Discuss: Hacker News
🍎Apple
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·2d·
Discuss: Hacker News
💎Refinement Types
OpenStreetMap Foundation – Chairperson's Report
osmfoundation.org·1d·
Discuss: Hacker News
🧗Climbing Tech
Optimizing 100B ClickHouse Events
replo.computer·2d·
Discuss: Hacker News
👁️System Observability
It's time mobile devs started to think seriously about foldable smartphones
theregister.com·10h·
Discuss: Hacker News
🔬Unikernels
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·2h·
Discuss: Hacker News
🛡️seL4
RouterOS rookie here. How do I start without breaking everything?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Pydantic AI Gateway
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·3d
🛡️seL4
Graph rag pipeline that runs entirely locally with ollama and has full source attribution
reddit.com·2d·
Discuss: r/programming
🐫OCaml
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Shall I avoid buying a HBA from China?
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Using Haskell in Production
agentultra.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
LiteFS VFS SQLite Extension for Serverless Environments
github.com·41m·
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·3d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Your APIs Are Costing More Than You Think
thenewstack.io·2d
👁️System Observability
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·1d
🐫OCaml