Search results for query: *

I thought Null was a female.

GPLv3 seems to have better termination, though. As I understand it, with GPLv2 you could lose all your rights immediately just for forgetting to upload the source for a day. While with GPLv3 you can correct your mistake and then get your rights back provisionally and after 60 days of no...

Ah, disodium 5'-ribonucleotides flavour. My favourite. My grandma used to make disodium 5'-ribonucleotides cookies for us during summer break. "Disos" we called them.

How can they keep the flavour a secret? They have to add ingredients on the back, right? Though companies are allowed to hide ingredients of ingredients, which is often used to hide added MSG. So maybe they could work with that.

But tivoisation does not prevent a hacker from hacking, just from using his hacks on the specific hardware. That would be really nice because as it is now people have to disobey copyright in order to preserve certain works because many works cannot survive until 70 years after it's author died...

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...

Good to hear! Why?

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.

30 Sigma sounds pretty cheap.

Ignore, not deny.

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...

Motors run on fuel. Fuel comes from fuel stations. Fuel is expensive. Save money for fuel.

You do not pollute what you respect.