Cooking using solar evacuated tubes
100r.co·1h·
Discuss: Hacker News
❄️Nixified Development
Rock as Heat Storage
tu-darmstadt.de·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Water Hidden Within Lunar Soil Could Make Life on the Moon Possible
discovermagazine.com·5h·
Discuss: Hacker News
⎈Kubernetes
Benben: An audio player for the terminal, written in Common Lisp
chiselapp.com·6d·
Discuss: Hacker News
🔬Unikernels
Launching RustMailer – My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Solar+storage is so much farther along than you think
volts.wtf·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Weak password allowed hackers to sink a 158-year-old company
bbc.com·13h·
Discuss: Hacker News, r/privacy
🛡️seL4
Why I said "no" for a year: rethinking dev-to-prod environment promotion · Logto blog
blog.logto.io·4d·
Discuss: r/programming
🧱Immutable Infrastructure
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·3d·
Discuss: Hacker News
🎮Verification Games
Exploring the Secrets of layoutPriority in SwiftUI ZStack
fatbobman.com·21h·
Discuss: Lobsters, Hacker News
🍎Apple
How and where will agents ship software?
instantdb.com·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Everyone's racing to build AI tools, what about interaction with AI socially
news.ycombinator.com·9h·
Discuss: Hacker News
🎮Verification Games
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·5d
🐫OCaml
AI Agents Are Creating a New Security Nightmare for Enterprises and Startups
thenewstack.io·2d
🛡️seL4
Used micro PC buying guide for the win10 EOL
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Enhancing Spatial Reasoning in Vision-Language Models via Chain-of-Thought Prompting and Reinforcement Learning
arxiv.org·14h
✓Automated Theorem Proving
Docker Desktop: The Easiest Way to Debug Docker Containers
thenewstack.io·2d
⎈Kubernetes
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Question on how to best reduce idle power consumption (Ryzen 7700X, proxmox system)
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab
Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments
arxiv.org·14h
🎮Verification Games