beta

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

Dave Jones of EEVblog debunks the marketing claims of the self-charging nano nuclear diamond battery from NDB Inc. He argues it is no better than existing 100uW betavoltaic batteries, with an added graphene supercapacitor.

Marques Brownlee records an uninterrupted drive using Tesla's Full Self Driving beta (v10.69) on ordinary roads. He shows how it handles everyday traffic and where he needs to intervene.