macOS Tahoe puts the Spotlight where it belongs
macworld.com·2h·
Discuss: Hacker News
🍎Apple
Searchcraft: Advanced Search Developer Tools
searchcraft.io·20h·
Discuss: Hacker News
⎈Kubernetes
Crucial FreeBSD Toolkit
vermaden.wordpress.com·2d·
Discuss: Hacker News
⚙️Operating System Design
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·20h·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
Data Science Weekly – Issue 607
datascienceweekly.substack.com·7h·
Discuss: Substack
👁️System Observability
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·21h·
Discuss: Hacker News
👁️System Observability
Escalated, the AI Browser Wars Have – Quickly
spyglass.org·20h·
Discuss: Hacker News
📦Unikernel Systems
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·16h·
Discuss: Substack
🐫Embedded OCaml
I Built a Real-Time Voice Assistant That Talks Like ChatGPT – From Scratch in Python
youtu.be·7h·
Discuss: r/programming
💻CS
Stop putting nix setup in your checked-in .envrc files
offby1.website·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·17h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
LISTEN: Lightweight Industrial Sound-representable Transformer for Edge Notification
arxiv.org·6h
🔬Unikernels
Red Hat just expanded free access to RHEL for business developers
zdnet.com·1d·
Discuss: Hacker News, r/programming
🔬Unikernels
Design Considerations for an Anthropophilic Computer
web.stanford.edu·1d·
Discuss: Hacker News
💾Retro Computing
Management of over Enthusiastic Infodump over Chat
lizargall.github.io·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Windows BSoD to Watson: The Reliability Journey (2022)
hardcoresoftware.learningbyshipping.com·1d·
Discuss: Hacker News
💾Retro Computing
Homelab Networking help needed for Dell Intel X710-DA2 10 Gb ethernet nic (Dell 540-BBIX 5N7Y5)
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Announcing FOKS, the Federated Open Key Service
blog.foks.pub·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Education 3.0
doc.searls.com·19h·
Discuss: Hacker News
🎮Verification Games