Prohibited Spotify SDK Uses
developer.spotify.com·2d·
Discuss: Hacker News
🐳Containerization
Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Show HN: Train – AI Workout App for Smarter, Adaptive Fitness
play.google.com·53m·
Discuss: Hacker News
🧗Climbing Tech
SlateDB: An embedded database built on object storage
slatedb.io·3d·
Discuss: Lobsters, r/programming
🧱Immutable Infrastructure
New bill would give Marco Rubio 'thought police' power to revoke US passports
theintercept.com·14h·
Discuss: Hacker News, r/50501
🛡️seL4
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org·18h·
Discuss: Hacker News
🔧Unikernel Development
Astrophysics Source Code Library
ascl.net·2d·
Discuss: Hacker News
🐫OCaml
Show HN: Root Managed Services
rootmanagedservices.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Pgschema – Declarative schema migration for Postgres
pgschema.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
We SSH into GitHub Actions
blacksmith.sh·5d·
Discuss: Hacker News
🖥Self-Hosting
Operational Intelligence – the new horizon of observability
squaredup.com·20h·
Discuss: Hacker News
👁️System Observability
How to prevent the robot uprising - an introduction to MPC based safe reinforcement learning (mrmcd25)
cdn.media.ccc.de·19h
🩹Self-Healing Systems
Cross-platform gRPC Test tool
reddit.com·3d·
Discuss: r/programming
📺Vintage Apple
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
Homelab Virgin
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·3d
💎Refinement Types
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·2d·
Discuss: Hacker News
💎Refinement Types
LavaMoat – tools for sandboxing your dependency graph
github.com·4d·
Discuss: Hacker News
🛡️seL4
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·2d
🤖Program Synthesis