I got introduced to them via Idioteque
Haven't listened to much other stuff of them but that is a nice electronic song
Um ackshually that's a metro, not a train ๐ค
How do you find out?
I assume looking at reddit through an incognito window and seeing none of your posts appearing
Would it be fair to say that Neovim attempted with Lua to bridge that gap and also make it a lot more accessible?
I think so? Tbh I'm not very involved in the modern version of neovim but I don't disagree with them moving to lua
I don't think you did, but I'm already aware. I even have some concerns regarding its sandbox ๐ . Would you happen to know more regarding this?
EWW (short for Emacs Web Wowser) is very basic, only really working with the HTML and not so much the css, and definitely not JavaScript. Don't expect anything fancier than a blog post to work :P
wait we're federated with hexbear? I thought they defederated from us because we were too small for them to put us on their federation whitelist ๐ค
Idk I don't tend to look at the clock when I fall asleep, but I do know that whenever I accidentally fall asleep while watching, say, a PBS spacetime video, I pass out for no less then about an hour
Also I have no clue how the other people here figure out how long it takes them to go to sleep, because as far as I know, looking at the clock just keeps you awake for longer
Even worse is when the bash script you downloaded is only there to do some uname checks and then download and execute more code from the internet
You know come to think of it, posting trite Reddit memes as a defense mechanism against anyone taking a certain post too serious is not such a bad idea...
7/10 internet observation, 8/10 with rice
I used to play burnout paradise vanity pack. Haven't gotten into it but it seems to be on a revival since players found an older unreleased (and unfinished) version of Big Surf Island
Crazazy
joined 2 years ago
Oh yeah was a bit sleepy and thought you could just put arbitrary expressions in the numerator instead of just the type.
But consider this: heterogeneous propositional equality type of types x and b under equivalence relation a, which is bound somewhere else in the aether that we can't see in the screenshot
Constructors of this equality type? No fucking clue but I'm sure there exist some to make the need for an equivalence relation make sense