Show HN: An OSS Invoice Generator
oneoffinvoice.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
AI finds hundreds of potential antibiotics in snake and spider venom
phys.org·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·8h·
Discuss: Hacker News
💾Retro Computing
Dumb-init, an init system for Docker containers
engineeringblog.yelp.com·2d·
Discuss: Hacker News
⎈Kubernetes
Recommended Tech and AI Blogs to Follow in 2025
guptadeepak.com·7h·
Discuss: DEV, Hacker News
🧗Climbing Tech
How many professional developers are actually aware of the research from DORA (Formerly DevOps Reports)
dora.dev·1d·
Discuss: r/programming
🔄Reproducible Builds
MVC Isn't MVC – Collin Donnell
collin.blog·2d·
Discuss: Hacker News
🏹Effect Systems
Ask HN: DAO governance beyond crypto treasuries?
news.ycombinator.com·10h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Notes on Astro
boda.sh·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
From Engineer to Manager: A Practical Guide to Your First Months in Leadership
humansinsystems.com·16h·
Discuss: Hacker News
🛡️seL4
Are Your Quality Metrics Lying to You?
theproductmindedqa.com·11h·
Discuss: Hacker News
👁️System Observability
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Prompt2DEM: High-Resolution DEMs for Urban and Open Environments from Global Prompts Using a Monocular Foundation Model
arxiv.org·2h
🛡️seL4
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com·19h·
Discuss: Hacker News
🧪Property-Based Testing
The Power of Certainty: How Confident Models Lead to Better Segmentation
arxiv.org·2h
🔍Formal Verification
Balancing Semantic Relevance and Engagement in Related Video Recommendations
arxiv.org·2h
➡️Category Theory
A modular, LLM-agnostic fullstack agent framework
github.com·1d·
Discuss: Hacker News
🐫OCaml
Transfer Learning and Mixup for Fine-Grained Few-Shot Fungi Classification
arxiv.org·1d
🍎XNU Internals
KG-Attention: Knowledge Graph-Guided Attention at Test-Time via Bidirectional Information Aggregation
arxiv.org·1d
✓Automated Theorem Proving
SLIM: A Heterogeneous Accelerator for Edge Inference of Sparse Large Language Model via Adaptive Thresholding
arxiv.org·2h
🐫OCaml