Some fun research based upon my misunderstanding of the ugly shirt as described by William Gibson in Zero History. Multiple iterations of 'an' ugly shirt already exist, as is the research into counter surveillance very wide, with both facial recognition disruption, counter illumination and so on. But what if we take this idea a bit further into the realm of 'global conspiracy'. Which would also be fitting for a Gibson novel.

A brief history of passwords, authentication mechanisms, biometrics, password strengths and some practices (best and worse). Subjects like Duress passwords, plausible deniability and what the law has to say about this are discussed as well. Previous talks: Network Hacking 101/201/301, and RFC1925-Festival Edition. There will be memes!

You might wonder how small you can go still have an interactive and self-hosted computing system, or what happens when you don't have an internet connection for months. Uxn is one attempt to answer these questions. It is a computing stack developed by Rek Bella and Devine Lu Linvega (collectively Hundred Rabbits), who travel around the world on their sailboat. I haven't sailed in about 20 years, but I find these solarpunk perspectives interesting. Uxn is stack-based processor, usually implemented as an emulator running on whatever hardware is available. Uxntal is programming language, somewhere between Assembly and Forth. Varvara is the set of peripherals usually attached to an Uxn processor. I made my own, slightly different thing based on a Raspberry Pi Pico / RP2040.

Formal logic is cool because it can be applied not just to technical topics like mathematics or programming, but really any topic where "reasoning" is involved. Typically, a basic course in logic will teach you about propositional logic as a basis, and then move on to predicate logic as a more powerful tool. But in between those two forms of logic exists a third in terms of expressivity: modal logic, which allows talking about the *ways* in which statements might be true or false. This makes modal logic useful to analyze individual programs or distributed systems, but also fun stuff like board game strategies. And because modal logic is still simpler than predicate logic, it is easier to work with and in many cases even allows for algorithmic checking - which also powers formal verification tools like TLA+ and Alloy. This talk should be accessible for those without any background in formal logic - I will go over the basics before diving deeper into modal logic. All you'll need is some familiarity with programming and a willingness to look at weird maths symbols. :>

I'll be talking about the basic components of an FPV drone, exploring the history a little bit and delving into projects such as Betaflight, ELRS, Bluejayz and AM32. I will also provide some tips for people looking to get into the FPV hobby.

Join me in exploring how to start small personal projects, and how the same patterns are used in bigger projects like hackerspaces and big hacker camps.

An overview of the UX and internals.