Prohibited Spotify SDK Uses
developer.spotify.com·1d·
Discuss: Hacker News
🐳Containerization
Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Astrophysics Source Code Library
ascl.net·1d·
Discuss: Hacker News
🐫OCaml
Show HN: Root Managed Services
rootmanagedservices.com·2d·
Discuss: Hacker News
🖥Self-Hosting
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
We SSH into GitHub Actions
blacksmith.sh·4d·
Discuss: Hacker News
🖥Self-Hosting
Awesome Accelerated Schooling
github.com·17h·
Discuss: Hacker News
🔬Unikernels
Cross-platform gRPC Test tool
reddit.com·3d·
Discuss: r/programming
📺Vintage Apple
How to prevent the robot uprising - an introduction to MPC based safe reinforcement learning (mrmcd25)
cdn.media.ccc.de·14h
🩹Self-Healing Systems
Few things, everywhere, all at once: Revolutionizing Movie Streaming, Data Compression, and Society at Large (mrmcd25)
cdn.media.ccc.de·1d
🔧Unikernel Development
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
Pydantic AI Gateway
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·3d
🎮Verification Games
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
arxiv.org·3d
🤖Program Synthesis
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·2d·
Discuss: Hacker News
📊Runtime Verification
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·2d
🖥️Self-hosted Infrastructure
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