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.
https://raw.githubusercontent.com/XXIIVV/oscean/e7407434f471290979f283a22c3ddbf7a9c5b9e7/src/oscean.tal
https://www.youtube.com/watch?v=kzDCfnBhinw
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.
RT @ValaAfshar@twitter.com
When your children ask ‘why is engineering important?’, show them this video
🐦🔗: https://twitter.com/ValaAfshar/status/1461406363792388106
Hey @sejo, I made a little something for your workshop tomorrow. It's a visualizer for Uxn's 3 bitwise logic opcodes. I think that might be helpful for people who are not familiar with that stuff.
https://www.22decembre.eu/en/2021/04/11/peertube-openbsd-native/
I managed to run #peertube on #OpenBSD without Nginx but only native Base software, eg #relayd and http.
I feel pretty awesome.
Dropping #ecto in favour of using a #genserver with a simple async persistence only for the things that need to be persisted made a credential verification from a 50+ms ordeal into 1-ms ordeal. x50 speedup makes me hopeful about #doauth 0.4 demo making a user account in sub-100ms, compared to sub 1.5s which 0.3 shows.
That's a special feeling to get after several evenings of a massive, paradigm-shifting refactoring.
Goodbye #ecto! I hope I won't see you soon.
That https://doma.dev guy
#lean #elixir #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.