@akosma The two biggest challenges I've had running workshops are people turning up unprepared (laptop not setup or capable of tasks) and a lack of engagement (their manager told them to go?).
TIL that Ventoy is an open-source tool to create a bootable USB drive for ISO/IMG files. No need to format the disk over and over, just copy the image files to the USB drive and boot it. You can copy many image files at a time, and Ventoy will give you a boot menu to select them. x86 Legacy BIOS, IA32 UEFI, x86_64 UEFI, ARM64 UEFI and MIPS64EL UEFI supported. MBR and GPT partition style supported. OS supported: Win/Linux/Unix/ChromeOS/Vmware/Xen. 1200+ ISO files tested.
“One of my preferred restaurants was “Carlitos”, in the corner of Vergara and Libertador, whose owner and cook was exactly the same Carlos Ciuffardi from Villa Gesell. Once a month my mum took me to the Pumper Nic in the corner of Yrigoyen and Libertador to have a “Mobur” (a sandwich with ham and a fried egg) with “Frenys” (French fries).”
"Tax policy groups have been lobbying to close this loophole for years, and Congress nearly did it in 2022, but Senator Kyrsten Sinema took $2 million from the private equity industry (aka Owners) and saved their $14 billion loophole. It’s well known that our leaders are whores. What’s more surprising, and disappointing, is what cheap whores they are ($2 million for $14 billion)."
"Something happens when one tries to have rational conversations about downsides with people strongly advocating expansion of type-level programming capabilities (…) This happens all the time once extensive type-level programming facilities are available in a language–they immediately get misapplied in ways that makes code harder to understand, excludes beginners and fails to convince those from the outside."
"I don't want F# to be the kind of language where the most empowered person in the discord chat is the person who knows the most category theory or abstract algebra."