quotient equivalence under an equivalence relation "a" https://en.wikipedia.org/wiki/Quotient_type
Crazazy
joined 2 years ago
I think it's just easy to bait the steam group into having any game you want, have any rating you want. If it's obscure enough
I got introduced to them via Idioteque
Haven't listened to much other stuff of them but that is a nice electronic song
IIRC move 1 space in any diagonal but that might be even before then
"final update you guys, I can quit any time!" - Redigit, consistently for the past 12 years
Checked the build.zig file for ghostty, seems to be for manpage generation. Zig itself doesn't use Haskell though
Spheres of Chaos is an old asteroids based game that really ups the ante on trippyness and cool sounds
I should warn you though that it is very flashy, so epilepsy warning is in order
Honestly all of the mysims games I played were the shit when I was a child. Don't know what I would thing about them today though but
Yeah if you play ssf you sidestep these problems entirely and then the only problem you might have is simply just inventory management (which also only comes up in the lategame)
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
So today Unity announced changes in how they are going to monetize their game engine, and it is, rightfully might I add, poorly recieved
Here is how much youtuber Dani would have to pay unity if they consider his games to gain over $200k in revenue
Now I don't know how much tracking crackers and re-packers remove from the games getting cracked, but if unity were to count cracked games as a valid install (and they will count every install of a game they are aware of), thn piracy could seriously bankrupt indie devs. Like, not just losing them revenue, but actively losing them money. While piracy is already in an ethical grey area, I think that is just a bit too much. So, I want to raise awareness of this, and with it I have 2 questions to ask:
- Do the people that crack games make sure to remove the ability of unity tracking cracked installs?
- If the answer to the previous question is "no", how do we make them aware of the fact that it is probably for the better if they do this?
view more: next ›
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