Indie App Spotlight: ‘SUMRY’ turns your Apple Watch activity into workout stories
9to5mac.com·17h
🍎Apple
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
Point, Don't Point
ilovetypography.com·1d·
Discuss: Hacker News
🍎Apple
Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Synthetic magnetic fields steer light on a chip for faster communications
phys.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
On the Bear Blog license change
grizzlygazette.bearblog.dev·1d·
Discuss: Hacker News
🔬Unikernels
Choices (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
📺Vintage Apple
Building a Multilingual Blog with FastHTML
simn.fr·6d·
Discuss: Hacker News
💎Refinement Types
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·3d·
Discuss: Hacker News, r/javascript, r/node
🔄Reproducible Builds
xAI reportedly lays off 500 workers from data annotation team
techcrunch.com·21h·
Discuss: Hacker News
🧗Climbing Tech
🔐 Backup your dotfiles to GitHub Releases (with optional GPG encryption)
reddit.com·3h·
Discuss: r/programming
📦Unikernel Systems
The State of AI Gross Margins in 2025
tanayj.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Pydantic AI Gateway
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Conformal – Type-safe FormData parsing and canonical submission flow
github.com·5d·
Discuss: Hacker News
🐫OCaml
3 Ways Security Teams Can Tame Autonomous AI Agents
thenewstack.io·2d
🩹Self-Healing Systems
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·2d·
Discuss: Hacker News
📊Runtime Verification
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·2d·
Discuss: Hacker News
📊Runtime Verification
Creating larger projects with LLM (as a coder)
medium.com·3d·
Discuss: Hacker News
🛡️seL4
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development