A new board would be nice. Especially if it means the Pyra could emulate somewhat modern consoles like the GameCube better. I would be willing to pay extra for that. Just try to not get too rich. Too much money can be a burden.
The Librem 5 plays Super Tux Kart surprisingly well. Super Tux Kart seems to be one of the packages that has been specifically adapted for the Librem 5. You can also play Super Tux Kart with a Wiimote, though I only tried that on desktop. But the Librem 5 has BlueTooth too so I guess the using...
It is sad but it seems to me as well that the Pyra project is dead.
The Pyra is mistakenly considered to be outdated, the software is buggy, the hardware is buggy, producing it is a lot of work, and it would be at a loss as well. And if there was progress then ED would probably have given some...
No need to port NetBattle. NetBattle is very cool, but there probably are few if any NetBattle players on-line nowadays. I suggest going to https://play.pokemonshowdown.com instead. That website runs on free software, generally works in modern browsers, and virtually always has a lot of players...
If you come after another than you are not first. If you are not first then you are not one of the first. Only those that are first are one of those that are first.
No, the Nintendo DS with Super Mario 64 DS was released before the PSP. And Super Mario 64 DS is just a remake of Super Mario 64, which is a proper console game.
I just saw the terms without types like how many people fail to see the real types in so-called "dynamically typed" languages. We all start ignorant, and there are no royal roads to type theory.
An unsorted sortable list makes sense but an untyped typed λ-calculus does not. Unsorted and sortable are not opposites of each other like typed and untyped are.
Calling a sortable list an "unsortable list" because we intent to not sort it is like calling a typed λ-calculus an "untyped...
Indeed, he did not.
Some people claim that the so-called "untyped" λ-calculus has no types. But it does have types, it has the universal type, which all their data is a member of. But that is old news.
But what occured to me recently is that actually "untyped" λ-calculus has even more types...
Some say that the so-called "untyped λ-calculus" has no types. But of course, Many know that it does have types. It has the universal type, and all terms are members of that type. Ignorance of that type does not mean it does not exist, it just means one is ignorant of it's existence. But even...