bss03

bss03, 1 day ago

Late to the party. Idris had a bash backend (i.e. you could compile Idris to bash), and it’s already bit rotted with new Idris versions.

I hope the language is at least as cool as Idris.

bss03, 3 days ago

I think of the Carlin bit… It’s the American Dream because you have to be asleep to believe in it.

bss03, 14 days ago

I believe it, but I came to the comments to check.

bss03, 14 days ago

In the U.S., laws that disadvantage specific entities are generally considered to not be following the “equal protection” part of the (amended) constitution.

Countries without (their own) laws prohibiting it can (and do) prohibit specific services.

Member states of the WTO (like the U.S.) have agreed to allow themselves to be sued for lost profits based on any (new) laws they pass.

But, I’m no expert – this is just the view from my (potentially misinformed) corner of the world.

bss03, 25 days ago

Same switch point for me, roughly, going from a Pixel 4 with jack to a Pixel 7 without.

There are situations where I prefer BT earbuds over wired buds, and I haven’t tried the adapters, yet, but I still long for a audio jack: it’s a lot quicker to switch my buds from work laptop to personal phone when they are wired.

I will look for a audio jack when buying my next phone… maybe someone will have figured a way to “hack” one into a Fairphone body?