AI finds hundreds of potential antibiotics in snake and spider venom
phys.org·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·14h·
Discuss: Hacker News
💾Retro Computing
Dumb-init, an init system for Docker containers
engineeringblog.yelp.com·2d·
Discuss: Hacker News
⎈Kubernetes
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·12h·
Discuss: Hacker News
💾Retro Computing
MVC Isn't MVC – Collin Donnell
collin.blog·2d·
Discuss: Hacker News
🏹Effect Systems
Recommended Tech and AI Blogs to Follow in 2025
guptadeepak.com·13h·
Discuss: DEV, Hacker News
🧗Climbing Tech
From Engineer to Manager: A Practical Guide to Your First Months in Leadership
humansinsystems.com·22h·
Discuss: Hacker News
🛡️seL4
Are Your Quality Metrics Lying to You?
theproductmindedqa.com·18h·
Discuss: Hacker News
👁️System Observability
Ask HN: DAO governance beyond crypto treasuries?
news.ycombinator.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Juncture – Simplify building Jira integrations
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
On the Gradient Domination of the LQG Problem
arxiv.org·8h
🏹Effect Systems
Wordle-GRPO – A $100 Agent
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Off-site backups?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Prompt2DEM: High-Resolution DEMs for Urban and Open Environments from Global Prompts Using a Monocular Foundation Model
arxiv.org·8h
🛡️seL4
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Power of Certainty: How Confident Models Lead to Better Segmentation
arxiv.org·8h
🔍Formal Verification
[Setup Verification] 7-Drive Hybrid NAS Build — Nextcloud + TrueNAS SCALE + VMs on Proxmox (Lenovo M720q + JMB585)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Balancing Semantic Relevance and Engagement in Related Video Recommendations
arxiv.org·8h
➡️Category Theory
A modular, LLM-agnostic fullstack agent framework
github.com·1d·
Discuss: Hacker News
🐫OCaml