A philosophical critique of Veritasium's explanation of Newcomb's paradox, arguing that the nature of the predictor (whether deterministic demon, computer, or psychologist) fundamentally matters to the problem's setup and solution, and that introducing randomness (coin flips) breaks the paradox's assumptions.
A proof-of-concept demonstration of running Nix on Windows through a VM-based approach, featuring tooling to automate VM image download and boot.
NASA's DART spacecraft successfully altered the orbital path of asteroid Didymos around the Sun by impacting its moonlet Dimorphos in September 2022, marking the first human-made change to a celestial body's heliocentric orbit and validating kinetic impact as a planetary defense technique.
Stratum is a columnar SQL engine with git-like branching semantics and copy-on-write structural sharing that beats DuckDB on 35 of 46 single-threaded analytical benchmarks using Java Vector API SIMD execution. It enables zero-copy dataset forking, time-travel queries, and reproducible experiments without data duplication.
This is a consumer product review of Apple's M5 MacBook Air laptop, covering performance benchmarks, hardware specifications, and design changes. It has no security content.
A ranking system that indexes 5M+ GitHub users using composite metrics (CodeRank, Tastemaker scores) to identify influential developers beyond follower counts, enabling discovery queries like 'best Python developers in Berlin' or early adopters of trending projects.
This article is about art history and the tradition of nude statues in Western culture, not security or cybersecurity.
A framework for choosing between MCPs, CLIs, and Skills when building AI agent systems: Skills encode domain-specific processes and validation, CLIs excel for developer workflows with composability, and MCPs provide authentication and access control for background agents running unsupervised at scale.
A proof-of-concept project exploring LLM-driven code generation by having Claude write an entire application stack directly in LLVM intermediate representation rather than high-level languages or binaries.