re: consumer electronics question, boost+ 

@Darth_Invader hm, its gonna be a few before i have money for a new phone, so maybe i will look into it

re: consumer electronics question, boost+ 

@Darth_Invader i mean, i'm speaking from a few months ago. are you using one right now? what's the current distro situation? is it usable for calls, texts, etc?

re: consumer electronics question, boost+ 

@Darth_Invader ...yes, and it's not really viable yet

re: consumer electronics question, boost+ 

i looked at linux phones but they don't really seem viable yet

Show thread

consumer electronics question, boost+ 

i currently have a google pixel 2

im considering upgrading because of the following grievances:
- security updates are ending
- i cant unlock it and i want to flash grapheneos, or at least a custom rom of some sort
- headphone jack would be nice to have

should i upgrade my phone? if so, to what?

@dankwraith my general rule of thumb is that nobody should use the software that i use unless they are almost exactly like me

hazel :blobcatcomfy: boosted
hazel :blobcatcomfy: boosted

the existence of simpleflips implies the existence of complexflips

hazel :blobcatcomfy: boosted

FOR SEVERAL DAYS MASTODON HAS KNOWN PEACE

BUT ALL IS NOT WELL

CW META IS BREWING IN A DISTANT CORNER OF THE FEDIVERSE

im gonna go down the up escalator and nobody can stop me

hazel :blobcatcomfy: boosted
hazel :blobcatcomfy: boosted

Somebody at Nintendo went to a lot of effort just to make fun of Waluigi for being a cheap knock-off :wah:

@g yea im reading plfa now and im considering harassing a professor here about it since he kinda wrote (part of) it

@g i wanna do cool pl stuff but its all daunting so im just here like

doing recursion research

@g and literally all i did in agda was prove structural isomorphism of two functions

thats the only reason ive ever used it

hazel

@g (the real answer is hazel reads tapl)

Show more
is not alive

"are you a boy or a girl?"
"im dead!"