2025 Lasker Award Winners
laskerfoundation.org·12h·
Discuss: Hacker News
🐫OCaml
Anyone good at problem solving ? I need to synchronise my e-commerce stock with my suppliers
nourl.com·22h·
Discuss: r/programming
🩹Self-Healing Systems
Release candidate: Godot 4.5 RC 2
godotengine.org·2d·
Discuss: Hacker News, r/godot
🎮Verification Games
Choosing a model for a research platform with real data and metrics
maxirwin.com·2d·
Discuss: Hacker News
👁️System Observability
Load Llama-3.2 WebGPU in your browser from a local folder
simonwillison.net·4d·
Discuss: Hacker News
📺Vintage Apple
How to Get Reddit Content Cited by ChatGPT (A Data-Driven GEO Guide)
tryzenith.ai·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Performance Improvements in .NET 10
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·6d·
Discuss: Hacker News
🔧Unikernel Development
Building the AI-powered local smart home
home-assistant.io·2d·
Discuss: Hacker News
🏠HomeLab
Intel Linux Graphics Driver Seeing 2~5% Faster Shader Compilation Times, Up To ~20%
phoronix.com·21h·
Discuss: Hacker News
🔧Unikernel Development
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·4d
🩹Self-Healing Systems
Trusting builds with Bazel remote execution
blogsystem5.substack.com·20h·
Discuss: Substack
🧱Immutable Infrastructure
What can I do with this?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Managing HTTP Requests as Type-Safe TypeScript Classes
reddit.com·1d·
Discuss: r/programming
💎Refinement Types
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·7h·
Discuss: Hacker News
🩹Self-Healing Systems
macOS Tahoe revamps Control Center completely, here’s what’s new
9to5mac.com·1d
📺Vintage Apple
Too Many options - help needed
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·2d
📡Network Protocol Design
Will this build run 24/7 reliably (trading bot)
reddit.com·2d·
Discuss: r/homelab
🔄Reproducible Builds