Puck: ‘Was Colbert’s Cancellation Really “Economic” for CBS?’
puck.news·1d
✓Automated Theorem Proving
7 Daily Habits of Good Software Engineers
plakhlani.in·12h·
Discuss: r/programming, r/webdev
🔄Reproducible Builds
Every Tech Leader Needs a Coach in Their Pocket
hagakure.substack.com·2d·
Discuss: Substack
🍎Apple
Hyatt Hotels are using algorithmic Rest "smoking detectors."
threadreaderapp.com·1d·
Discuss: Hacker News
🍎Apple
Review: the NovaCustom V54 is an outstanding Linux laptop with Dasharo coreboot firmware
osnews.com·4d·
Discuss: Hacker News
💾Retro Computing
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🎮Verification Games
KDE Plasma finally gets rounded bottom window corners
neowin.net·1d·
Discuss: Hacker News
💾Retro Computing
LLMs Are Still in Their Infancy, or Why Programmers Aren't Being Replaced
amatriz.net·4h·
Discuss: Hacker News
🐫OCaml
When tech CEOs are like grumpy ducklings
programmablemutter.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Kotlinwind.css
github.com·13h·
Discuss: Hacker News
🐫OCaml
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·2d·
Discuss: Hacker News, r/LocalLLaMA
✓Automated Theorem Proving
Why AI Dev Tools Need Different Growth
nibzard.com·2d·
Discuss: Hacker News
👁️System Observability
Testing Exaone4 32B Q5
medium.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
🔧 Building a Home Lab (Beyond Just Laptop) for Cloud Support Engineer Learning – Need Guidance
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔄Finite State Machines
US tech CEO suspended after Coldplay concert embrace goes viral
bbc.co.uk·1d·
Discuss: Hacker News
🍎Apple
Coldplay kiss-cam flap proves we’re already our own surveillance state
theregister.com·1d·
Discuss: Hacker News
🍎Apple
Need Help Choosing NAS OS For New Build
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4