Neovim as a Terminal Multiplexer and Neovide as a Terminal Emulator
loosh.ch·6d·
Discuss: Hacker News, r/neovim
🍏Darwin
NRC Accepts Cola for Fermi America's Four-Unit AP1000 Nuclear Plant in Texas
powermag.com·10h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Release candidate: Godot 4.5 RC 2
godotengine.org·2d·
Discuss: Hacker News, r/godot
🎮Verification Games
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·2d·
Discuss: Hacker News
🍎Apple
Load Llama-3.2 WebGPU in your browser from a local folder
simonwillison.net·4d·
Discuss: Hacker News
📺Vintage Apple
Write Better with Vale
pragprog.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Choosing a model for a research platform with real data and metrics
maxirwin.com·2d·
Discuss: Hacker News
👁️System Observability
The Origin Story of Merge Queues
mergify.com·2d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
HomeKit Weekly: SwitchBot’s Evaporative Humidifier gets smarter with Matter 1.4 support
9to5mac.com·3h
🩹Self-Healing Systems
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Context Pruning in Conversational Agent
poonai.xyz·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·3d
🩹Self-Healing Systems
What can I do with this?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Dissecting Batching Effects in GPT Inference
le.qun.ch·23h·
Discuss: Hacker News
📚Automata Learning
macOS Tahoe revamps Control Center completely, here’s what’s new
9to5mac.com·1d
📺Vintage Apple
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·1d
📡Network Protocol Design
Managing HTTP Requests as Type-Safe TypeScript Classes
reddit.com·1d·
Discuss: r/programming
💎Refinement Types