Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·1d·
Discuss: Hacker News
🧩Separation Logic
Bulletproof Host Stark Industries Evades EU Sanctions
krebsonsecurity.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·10h·
📺Vintage Apple
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net·5h·
Discuss: Lobsters
💾Retro Computing
ByteDance's Seedream 4.0 matches (or beats) Google's "Nano Banana"
seedream.best·1d·
Discuss: Hacker News
📺Vintage Apple
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·1d·
Discuss: Hacker News
➡️Category Theory
Explaining, at some length, Techmeme's 20 years of consistency
news.techmeme.com·2h·
Discuss: Hacker News
🍎Apple
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·2d·
Discuss: Hacker News
🐳Containerization
Matrix is email wearing a hoodie
gist.github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
Fclones – Efficient Duplicate File Finder
github.com·3h·
Discuss: Hacker News
❄️Nix
Show HN: @Agent for Gitlab
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
The second wave of MCP: Building for LLMs, not developers
vercel.com·3d·
Discuss: Hacker News
💎Refinement Types
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·5h
💾Retro Computing
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
❄️Nixified Development
Billion-Line Days Demand Billion-Test Nights
momentic.ai·3d·
Discuss: Hacker News
🤖Program Synthesis
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·2d·
🧠Automated Reasoning
Reverse Engineering a Robot Mower’s Fence
hackaday.com·1d
🩹Self-Healing Systems
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·19h
💻CS