Recent content by λ the β-Redex Reducer

  1. λ the β-Redex Reducer

    So where are we with the Pyra--really?

    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.
  2. λ the β-Redex Reducer

    Librem 5 phone by Purism

    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...
  3. λ the β-Redex Reducer

    So where are we with the Pyra--really?

    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...
  4. λ the β-Redex Reducer

    Pokemon Netbattle Port?

    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...
  5. λ the β-Redex Reducer

    The Communication Cube

    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.
  6. λ the β-Redex Reducer

    The Communication Cube

    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.
  7. λ the β-Redex Reducer

    So where are we with the Pyra--really?

    30 Sigma sounds pretty cheap.
  8. λ the β-Redex Reducer

    The so-called "untyped λ-calculus": how many types does it really have?

    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.
  9. λ the β-Redex Reducer

    The so-called "untyped λ-calculus": how many types does it really have?

    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...
  10. λ the β-Redex Reducer

    The so-called "untyped λ-calculus": how many types does it really have?

    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...
  11. λ the β-Redex Reducer

    The so-called "untyped λ-calculus": how many types does it really have?

    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...
  12. λ the β-Redex Reducer

    The Communication Cube

    Motors run on fuel. Fuel comes from fuel stations. Fuel is expensive. Save money for fuel.
  13. λ the β-Redex Reducer

    What have you bought recently?

    You do not pollute what you respect.
Back
Top