Formally verified FPGA watchdog for AM broadcast in unmanned tunnels
Formally verified FPGA watchdog for critical AM broadcast proves hardware safety via math, not testing.
![The Stack, a Clay sculpture that writes poems through Wi-Fi [video]](/screenshots/47715650.webp)
ESP32 broadcasts WiFi names as poetry, different for each viewer's device.
Digital art enthusiasts, gallery visitors
I made The Stack, a sculpture built from clay tablets, metal and electronics.
The piece reflects on layers of knowledge in digital art: raw materials, craft, circuits, code, and algorithms. On top of the sculpture sits an ESP32 that broadcasts a new Wi-Fi network name every 15 seconds. On nearby phones and laptops, these names appear in the available network list and form a fragmented poem.
Because devices scan networks differently, each person sees a slightly different sequence.
I was interested in the contrast between clay, one of the oldest supports for storing knowledge, and wireless networks, which are invisible, unstable and easy to overlook. The work is also a reflection on the idea of the stack: the many layers of tools, systems and inherited techniques involved in making digital work.
Formally verified FPGA watchdog for critical AM broadcast proves hardware safety via math, not testing.
100+ AI tools, but every single one exists on ChatGPT or CyberChef.
Stunning 3D archive of 1000+ suspended sculptures at Xiaoxitian temple you can fly through.
Yet another interview prep platform competing with LeetCode and Pramp.
Free browser-based alternative to $6k Ekahau for small offices.
Interview prep for 10+ stacks, but LeetCode and Pramp already solve this.