We establish new, yet intimate relationships between the 2-adic integers /sub 2/Z from arithmetics and digital circuits, both finite and infinite, from electronics.

VERY interesting paper! Sadly didn’t answer all my questions about 2-adic circuits, but it did answer quite a lot.

see: https://www.di.ens.fr/~jv/HomePage/pdf/cirnum.pdf

see: https://scispace.com/pdf/on-circuits-and-numbers-3du2olohli.pdf

via: https://en.wikipedia.org/wiki/Two%27s_complement#Two’s_complement_and_2-adic_numbers

This talk will focus on one such verification approach that takes as input a design under verification (DUV), modest architect-friendly DUV metadata, and a HW-SW contract. The approach automatically generates many simple formal properties that provably compose to imply the contract, and then evaluates them against the DUV to assess contract compliance. The enabling insight is that many important HW-SW contracts decompose into instantiations of a small, finite set of property templates, fillable automatically from the supplied metadata or from the results of evaluating other generated properties. This verification approach eliminates manual property writing, targets full HW-SW contracts rather than coverage metrics, and yields properties simple enough that commercial formal model checkers can produce unbounded proofs for most, even on complex designs.

Over the past decade, I’ve worked to build the perfect family dashboard system for our home, called Timeframe

I need this in my house SOOOOOO BAD!

Our home was recently featured on Smart Home Solver

Beautiful application of calm technology principles.

see: https://www.youtube.com/watch?v=Wkzg8sNkm8Y

via: https://hawksley.org/2026/02/17/timeframe.html

I internet-enabled my Every Day Calendar! Now it talks fluent goals.garden (♥︎ ATProto) and I can update it from anywhere. It’s so simple, I bet you could do it too.

Another volumetric display! This one does away with the wildly spinning arrays of LEDs, instead using projection mapping onto a point cloud etched inside a block of glass.

It runs DOOM.

Cool tapes.

I wanted an integrated, minimal-faff PPE setup with ear protection, eye impact protection, and respiratory protection that I could use for woodworking while wearing my regular eyeglasses. So I paired a 3M Versaflo helmet ($225) with $50 worth of stuff from AliExpress and a bit of 3d-printing