Highly-available monitoring with Prometheus and Alertmanager on NixOS
cs-syd.eu·3d
👁️Observatory Systems
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Theorem
Smartphones and the cave
thefoggiest.dev·2d
🧲Magnetic Philosophy
Trucking's uneasy relationship with new tech
bbc.com·1d·
Discuss: Hacker News, Hacker News
🖥️Modern Terminals
How to Learn the Swift Source Code
blog.jacobstechtavern.com·17h·
Discuss: Hacker News
📜Proof Carrying Code
I Watched Gemini CLI Hallucinate and Delete My Files
anuraag2601.github.io·13h·
Discuss: Hacker News, r/webdev
⛏️File Carving
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·3h·
Discuss: Hacker News
⚡Proof Automation
Advanced PDF Optimization Techniques - 1753195
dev.to·17h·
Discuss: DEV
📝Text Compression
How my manager tricked us team into doing things: The Experiment Framework
danielsada.tech·1d·
Discuss: Hacker News
❄️Nix Flakes
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·5d·
Discuss: DEV
⚡SIMD Optimization
Home NAS Server | Linux or Windows?
reddit.com·2d·
Discuss: r/homelab
🔌Operating system internals
Convert HTML and CSS to SVG
github.com·1d·
Discuss: Hacker News
📸PNG Optimization
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·2h·
Discuss: DEV
⚡Proof Automation
I built Clime — a lightweight terminal UI component library for Go
reddit.com·14h·
Discuss: r/golang
📺Terminal UI
Show HN: Stravu – Editable AI text, tables, diagrams (also multi-player AI)
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
My Budget DIY Mini Lab
reddit.com·2d·
Discuss: r/homelab
🏠Homelab
Dell R740 vs Cisco C240 M5 homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Use generative AI in Amazon Bedrock for enhanced recommendation generation in equipment maintenance
aws.amazon.com·1d
🏠Homelab Orchestration
SoilSync
hackster.io·1d
⚙️Cassette Mechanics
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.org·1d
🧠Learned Compression