Toots for Andrev@types.pl account

Written by Andre Videla on 2025-01-30 at 11:37

Writing down how to read bidirectional typechecking rules, is that correct @pigworker ?

=> View attached media

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-30 at 11:08

Given infinite money, time, and technology, I would spend 100% of my life building a space elevator

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-29 at 20:51

Last boost: I'm one of them, I don't know how everyone else does it.

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-29 at 18:44

Making a video game with a great team really highlighted to me that current AI is essentially useless.

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-28 at 16:38

Bakeries bring me infinitely more joy than LLMs, therefore bakers should be paid finitely more than machine learning engineers

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-28 at 16:17

My biggest skill issue is that I still cannot make networking happen. And I still don't know 99.999% of the members of the community I'm working in. And I don't know what to do to fix that

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-26 at 21:29

my last global game jam was 10 years ago, that's one hell of a gap in my resume

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-24 at 14:31

The storm is a great time to realise that those small slits for "ventilation" are actually an insulation nightmare and they should be banned

=> View attached media | View attached media

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-23 at 18:48

I want to see the storm trajectory prediction like they do for typhoons

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-23 at 18:46

Storm Éowyn might actually help Glasgow City Council clean up the street from its endless rubbish and send it to Edinburgh

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-23 at 17:59

This storm can't be that bad right?

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-23 at 09:15

A YouTuber finally said my take: busses are underrated, specially trolley buses. Restore the overhead wires in Glasgow! https://youtu.be/ZouynYJjseg?si=Iu26V7nkSEsFSF7x

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-22 at 10:46

One of my biggest disapointment from "real-life" software after what I've learned at uni is that none of the modern systems have their input methods on a real-time scheduler

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-22 at 10:31

Last Boost: This makes me appreciate even more the Obsidian ecosystem of tools

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-22 at 10:12

HackMD is probably one of the most underrated tools out there

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-22 at 10:07

I'm not german but I still need to open windows wide whenever I enter a closed space

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-21 at 16:29

Reminder that "France" is still called "Realm of the Franks" in German

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-21 at 13:23

Long overdue

=> View attached media

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-21 at 09:11

If I were to live in a country where my newly elected leaders allowed nazi salutes at their events I'd be looking for an immigration strategy right about now

=> More informations about this toot | View the thread

Written by Andre Videla on 2025-01-20 at 18:56

Trying to solve a problem with symlinks

I'm sure it will go away if I keep adding more symlinks

=> More informations about this toot | View the thread

=> This profile with reblog | Go to Andrev@types.pl account