🖥 Self-Hosting

Homelab, Server Management, Network Infrastructure, Data Sovereignty

Why Should Choose .LAWYER and .DENTIST Domains for Their Online Identity?
nicenic.net·21h·
Discuss: Hacker News
🍎Apple
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Worms reveal just how cramped cells really are
ucdavis.edu·1d·
Discuss: Hacker News
🔧Unikernel Development
Reverse engineering SkyCards, a flight spotting game
blog.jonlu.ca·1d·
Discuss: Hacker News
📊Runtime Verification
Write Better with Vale
pragprog.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Mirror with No Reflection
simone.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
FedCM: A New Proposed Identity Standard That Could Change How We Log in On
infoq.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
All unimaginery internet futures are in one place.(free) try now
sites.google.com·4d·
Discuss: Hacker News
🔧Unikernel Development
A Short Introduction to Tor
spec.torproject.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·9h·
Discuss: Hacker News
🧩Parser Combinators
Be An Agnostic Programmer
theaxolot.wordpress.com·2d·
Discuss: r/SoftwareEngineering, r/programming
🔬Static Analysis
Immich Installation Help: Host Networking Port Conflict
reddit.com·3d·
Discuss: r/homelab
🐳Containerization
Wearable microfluidic biosensor for profiling of stress hormones in sweat
science.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Learning to fuzz with LibAFL by solving puzzles
github.com·9h·
Discuss: Lobsters, Hacker News
🎮Verification Games
Live(r) Die: Predicting Survival in Colorectal Liver Metastasis
arxiv.org·1d
🐫OCaml
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·5d·
Discuss: Hacker News
🐳Containerization
The short case for Oracle (via ChatGPT)
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Spec-Driven Development Is the Future of Software Engineering
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·1d
🧩Separation Logic