RE: https://types.pl/@wren6991/116429669022240311
The software work always has been, and always will be, held by duct tape
Andre Videla
@Andrev@types.pl
mastodon
4.6.0-alpha.5+glitch
Researching types, correctness, and purpose. I sleep a lot
0
Followers
0
Following
Joined April 25, 2022
website:
Posts
@Andrev@types.pl
·
2d ago
4
0
0
@Andrev@types.pl
·
2d ago
Very nice path
3
0
0
@Andrev@types.pl
·
4d ago
"there are just as many people who are put off by gas chambers than people who endorse them, so we can't really say if it's worth banning or not"
11
0
2
@Andrev@types.pl
·
Apr 13, 2026
@amy "the expected utility of angering the basilisk goes to negative infinity but keeping it happy has 0 cost so we should all preach the basilisk, I'm an atheist of course"
6
2
0
@Andrev@types.pl
·
Apr 10, 2026
Things seem to only happen when people want them to happen. The converse is that things never change because people aren't wanting enough to change them
1
1
0
@Andrev@types.pl
·
Apr 10, 2026
I don't remember it but I definitely has a nightmare because I woke up with this song in my head which makes me relive incessant childhood trauma https://www.youtube.com/watch?v=WPiEbYSF9kE
2
1
0
@Andrev@types.pl
·
Apr 09, 2026
There is only one sport that fills me with enjoyable chemicals and it's Starcraft II
1
0
0
@Andrev@types.pl
·
Apr 09, 2026
Oh no I just confused the flag of denmark with norway
3
2
0
@Andrev@types.pl
·
Apr 09, 2026
I get a LinkedIn notification, I set it up so that only important ones show up so I need to checkit was something important and it's been dealt withmight as well look at the main feedfirst post: AI generated garbage from tweag
And that's why this app remains closed
And that's why this app remains closed
3
0
0
@Andrev@types.pl
·
Apr 09, 2026
I am fully juiced up
4
1
0
@Andrev@types.pl
·
Apr 08, 2026
What's great about having faults is that knowing about them makes it feasible to work on them and improve.
What's extra scary is that this suggests that there are faults that are currently undetected, undetectable, and unactionable. And because they are undetectable they scope is also unknowable.
The act of being is very hard
What's extra scary is that this suggests that there are faults that are currently undetected, undetectable, and unactionable. And because they are undetectable they scope is also unknowable.
The act of being is very hard
2
1
0
@Andrev@types.pl
·
Apr 08, 2026
since when are ANC headphones on pedestrians a problem for cyclists????
I except entitled assholes I don't see who this helps
I except entitled assholes I don't see who this helps
0
1
0
@Andrev@types.pl
·
Apr 05, 2026
@jonmsterling At some point in the past I was working on video games for mobile.
One of the biggest barrier to the user experience was the absolute bonkers android API and its effect on latency.
We were making rythm games that are extremely latency-dependent. 10ms here and there are the difference between a perfect score and a failed run.
Between unreliable audio drivers, unpredictable GC and undecypherable layers of abstraction, even through the NDK, the android experience was always third-rate. Pro players only ever used iphones or iPads.
Managers at google can't understand why their OS is unsuitable for the high end users, but gamers can always tell the difference.
One of the biggest barrier to the user experience was the absolute bonkers android API and its effect on latency.
We were making rythm games that are extremely latency-dependent. 10ms here and there are the difference between a perfect score and a failed run.
Between unreliable audio drivers, unpredictable GC and undecypherable layers of abstraction, even through the NDK, the android experience was always third-rate. Pro players only ever used iphones or iPads.
Managers at google can't understand why their OS is unsuitable for the high end users, but gamers can always tell the difference.
0
2
0
@Andrev@types.pl
·
Apr 04, 2026
Please leave your clanker at home if you're contributing to the Idris compiler
5
0
0
@Andrev@types.pl
·
Apr 04, 2026
with very little ceremony, Idris' LLM policy has been merged https://github.com/idris-lang/Idris2/commit/f4bbebd34045b6a521a27d6eeba10973ea9e876e
29
2
11
@Andrev@types.pl
·
Mar 31, 2026
8
0
5
@Andrev@types.pl
·
Mar 30, 2026
@samir @RosaCtrl @Profpatsch I agree with this assessment this is also why I don't eat kimchi very much.
I realise I'm not really helping my case
I realise I'm not really helping my case
0
2
0
@Andrev@types.pl
·
Mar 30, 2026
0
2
0
@Andrev@types.pl
·
Mar 30, 2026
@RosaCtrl @samir @Profpatsch Maybe I can redeem myself by helping with making the bread but I still won't eat them
0
2
0
@Andrev@types.pl
·
Mar 30, 2026
0
2
0
@Andrev@types.pl
·
Mar 30, 2026
0
2
0
@Andrev@types.pl
·
Mar 30, 2026
@samir @Profpatsch Samir is what happens when you turn the brain on
0
0
0
@Andrev@types.pl
·
Mar 30, 2026
@Profpatsch @samir we are mutually dual: brit moved to Switzerland, Swiss moved to the UK
1
2
0
@Andrev@types.pl
·
Mar 13, 2026
@jesper I'm sorry this is so hard to deal with and I wish you the best. Thank you both for fighting the good fight
3
0
0