Posts

Showing posts from August, 2019

Fortnightnotes: Tesla coils, miscellany

A highlight from this year's Wilderness Festival was Arcadia Spectacular - a small portion of the show was Lords of Lightning . Lords of Lightning - Musical Tesla from Arcadia Spectacular on Vimeo . Looking forward to more Tesla coil action at Wuthering Bytes festival day in a couple of weeks - as ever, a stunning line up of talks on all kinds of science, tech and culture topics. Grab a ticket now and join us in Hebden Bridge for the most authentic tech festival in the UK! An interview with Martin Kleppmann, on formal verification and distributed systems . Formal verification is one of the bits of computer science I think is least well known in the wider 'digital' world; this is regrettable, as it is one approach to tackling some of the problems people encounter with computer systems. It's been great to work slightly with Martin whilst at the Computer Lab in Cambridge. A study finds "older drivers aged 55-75 removed their eyes and attention from the ...