2024-10-31 03:09:40
[ February 3, 2025] CFP for conference or similar: Digital Worlds Workshop https://philevents.org/event/show/129302
During WWII, when someone was sent to a concentration/death camp, the word used to describe it is “deported” to the camp.
The “mass deportations” currently being suggested today use the word “deportations” in the same way.
#HumanRights #deportation
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
Can we create an English dialect that spells “colour”, “flavour”, etc, but that spells “recognizable” and not “recognisable”, “specialization” and not “specialisation”, etc?
The colour and such words with a “u” are way prettier, but the ones with an s instead of a z are just weird. Z is way better
Three online tools to discover the world in a playful way. Thanks to the helpful access to @… that is useful in everyday life, these entertaining online games and history archives could be created.
📍 MapRoulette
https://…
So I've finally had some time to watch #SkeletonCrew. Really enjoyed these first episodes and I hope the series continues that way. But more importantly, let's hope that #StarWars keeps doing these shows about exploring the galaxy and it's countless universes other than to keep everything …
Thank you, @… . It's been decades since I thought about DOS Shell.
Our first PC came with MS-DOS 5 and also Windows 3.1. So even then DOS Shell seemed quaint and antiquated. But in a fun way.
https://
"Hey, gran'kids, did you know there was a time when the AI was just *a part of* the game engine - not the *other* way around? ..." 👴 #DecartEtched #Minecraft #gameinAI
I see that HomeAsaistent is way more powerful than HomeBridge. Can it also add its HA devices and stuff to the HomeKit Home app like HomeBridge can tho?
Hmmm when I imported my Bookmarks.csv here they came upside down (older bookmarks at the top instead of at the bottom)
Is there any way to fix that?
[ May 31, 2030] CFP for publication or other deadline: null https://philevents.org/event/show/101922
[ April 25, 2025 - April 27, 2025] Conference or similar: Digital Worlds Workshop https://philevents.org/event/show/129298