[-] Crazazy@feddit.nl 2 points 1 month ago* (last edited 1 month 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

[-] Crazazy@feddit.nl 2 points 8 months ago

Um ackshually that's a metro, not a train 🤓

[-] Crazazy@feddit.nl 3 points 9 months ago

Disagree on the train part. Getting hit by a train is just getting crushed by gravity but sideways

[-] Crazazy@feddit.nl 3 points 1 year ago

You can easily get through PoE1's main campaign without paying a dime

Someone also posted a video of them essentially getting through the "midgame" of path of exile in 24 hours without paying as well https://youtu.be/JeIDCxQhZM4

However, during that midgame he shows that he really starts having trouble with the lack of stash tabs for trading. It's doable, but that's kind of where you start hitting your limits

All in all, if you play for the main campaign it's essentially just a free game, and if you play without trading the game is still designed to be somewhat doable. Really the only thing you miss out on is trading

[-] Crazazy@feddit.nl 2 points 2 years ago

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

[-] Crazazy@feddit.nl 3 points 2 years ago

Death by:

  • worms
  • spiders
  • your own ignorance
  • acid
  • ukko
  • the connoisseur of wands
  • a little bit of experimentation
  • your own ignorance (it just bears repeating I guess)
[-] Crazazy@feddit.nl 2 points 2 years ago

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

[-] Crazazy@feddit.nl 2 points 2 years ago

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@feddit.nl 3 points 2 years ago

I'm pretty sure the title implies this will be the first STRAND TWO type game

[-] Crazazy@feddit.nl 2 points 2 years ago

Indien niet kun je altijd nog https://mlmym.org/feddit.nl gebruiken

view more: ‹ prev next ›

Crazazy

joined 2 years ago