A thesis week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Proxmox VE (open source server virtualization management solution based on QEMU/KVM and LXC) 9.0
pve.proxmox.com·4d·
Discuss: r/linux
💾Proxmox Storage
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·5d·
Discuss: Hacker News
👑Isabelle
Progress Report: Linux 6.16
asahilinux.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/linux
🖥️Terminal Renaissance
I reviewed this AI film production tool and I'm torn over how easily it let me storyboard and create professional video projects
techradar.com·2d
🎨LUT Compression
Top 5 Reasons Shopify Themes Break (and How to Prevent It)
dev.to·8h·
Discuss: DEV
❄️Nordic Design Philosophy
The DB Grill
db-grill.com·5d·
Discuss: Hacker News
🦀Rusty Databases
Lessons from writing a Kubernetes Security book
medium.com·6d·
Discuss: DEV, Hacker News
📦Container Security
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·3d·
Discuss: Hacker News
🌐WASI
I don't want to host services (but I do)
ergaster.org·5d
🖥️Self-hosted Infrastructure
Integrating Data Tools and Models with MCP
dev.to·2d·
Discuss: DEV
🕸️Neo4j
Uncertainty-aware Predict-Then-Optimize Framework for Equitable Post-Disaster Power Restoration
arxiv.org·2d
🧠Machine Learning
AI-Driven Geospatial Optimization of Rare Earth Element Extraction from Volcanic Ash Deposits
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com·5d
🔄Sync Engine
Starting a simple fisrt homelab server
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab
5 APIs to Strengthen Your Video Editing SaaS
hackernoon.com·3d
🌊Streaming Systems
Machine Learning Fundamentals: model overfitting
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·4d
📏Linear Logic
How to Install & Run OpenAI GPT-OSS Locally?
dev.to·4d·
Discuss: DEV
🏠HomeLab
Beyond Auto-Complete: Supercharge Your Workflow with AWS's Newest AI, Amazon Q
dev.to·4d·
Discuss: DEV
⚙️TLA+