Tailscale says Zero Trust is broken, and that might be a good thing
9to5mac.com·4h
🛡️seL4
Show HN: Tiny Idea – Daily curated profitable business ideas and side hustles
tinyidea.net·4h·
Discuss: Hacker News
🍎Apple
Exploring the context of online images with Backstory
deepmind.google·1d·
Discuss: Hacker News
🍎Apple
Building a (kind of) invisible Mac app
pierce.dev·23h·
Discuss: Hacker News
🍎Apple
Programming an open-source a macOS YouTube Thumbnail Maker Studio
reddit.com·8h·
Discuss: r/programming
🍎XNU Internals
Information Warfare
yuxi.ml·1d·
Discuss: Hacker News
🎮Verification Games
Asynchrony is not Concurrency
kristoff.it·4d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·2d·
Discuss: Hacker News
🍎Apple
Why Facts Don't Change Minds–Structure Does (A Systems Analysis of Belief)
vasily.cc·2h·
Discuss: Hacker News
✓Automated Theorem Proving
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·1d·
Discuss: Hacker News
🛡️seL4
Mentoring junior engineers in the age of coding agents
blog.marcua.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
Own the Browser
browserbase.com·4d·
Discuss: Hacker News
🔬Unikernels
Imperative vs declarative
github.com·6d·
Discuss: r/programming
🔬Static Analysis
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·1d
✓Automated Theorem Proving
Revisiting Graph Contrastive Learning on Anomaly Detection: A Structural Imbalance Perspective
arxiv.org·13h
➡️Category Theory
Competitive Algorithms for Cooperative Multi-Agent Ski-Rental Problems
arxiv.org·13h
🎮Verification Games
Genius, stupid, or well duh....? My setup:
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Where have the IMO gold medallists ended up, part four of three?
xquant.substack.com·5h·
Discuss: Substack
✓Automated Theorem Proving
Chatbots to robots: The rise of 'physical AI'
computerworld.com·1d·
Discuss: Hacker News
🤖Program Synthesis
CROSS-GAiT: Cross-Attention-Based Multimodal Representation Fusion for Parametric Gait Adaptation in Complex Terrains
arxiv.org·13h
🐫Embedded OCaml