Episode Details

Today's topics:

AI CAD tools benchmarked - A hands-on benchmark pits AI coding assistants against a single OpenSCAD task, revealing that CAD success hinges on geometric judgment, robust exports, and tight visual feedback loops.

Smartphone memory prices surge - IDC data points to LPDDR price spikes as DRAM capacity shifts toward high-margin HBM for AI data centers, threatening sub-$100 phones and slowing shipments in emerging markets.

Faster Transformer training kernels - The CODA paper proposes fusing common Transformer operators into GEMM epilogues to reduce global-memory traffic, improving end-to-end training speed by attacking the memory bottleneck.

Beyond true-false reasoning - An essay critiques “Boolean thinking” and argues for context-aware reasoning, highlighting intuitionistic logic and how controlling premises can steer conclusions in politics and media.

Chess as formal verification - A researcher models chess like a concurrent system, using state and transition invariants to show how formal methods clarify assumptions—and where real rules break simplified models.

Commencement jokes about AI - Steve Wozniak’s commencement line about “actual intelligence” lands well amid broader anxiety over automation, contrasting with other ceremonies where AI remarks drew boos.

Offline file transfer via QR - ShadowCat demonstrates browser-only, offline file transfer using camera-scanned QR frames, offering a resilient option when radios, networks, or trust in connectivity are missing.