Holy moly, @markosaric, you're in some random quiz on some random site:
If anyone else needs to know, it turns out the secret is to set your terminal app to "Open with Rosetta" then build with machine type ta6osx. Thanks @ChrRasmussen for the hint! I'll update the Idris 2 README...
https://www.youtube.com/watch?v=RNCaINCFqhw I _love_ fail panels and fail talks. Go follow @trevoke... Somewhere. He's great.
https://www.youtube.com/watch?v=_VKGOTl3jGg via Bitwalker.
OMG, GG has a YouTube page! That's amazing! https://www.youtube.com/c/GentleGiantOfficial/videos
Massive refactoring of my wiki engine, brought it down to a 4kb rom.
This is how I fell in love with Gentle Giant, many-many years ago.
https://youtu.be/BnSUk0je6oo?t=2036 I've somewhat recently posted a very similar take on centralisation on masto. Feels good to be in a good company. :)
I kind of don't understand framework which make you write more code, not less.
When your children ask ‘why is engineering important?’, show them this video