Live data from Hacker News

Viewing profile — supercasio

supercasio

HN member
Joined
Fri, Oct 26, 2018, 7:54 PM UTC
HN karma
26
Public activity
19 items

About supercasio

No profile information was provided.

Recent public activity

  1. story
  2. comment
    Comment #24918301

    As many things Apple does, I think this will not work well world wide. As it is the case of DDG. In my country, Google Maps and Google Search blow everything away.

  3. comment
    Comment #24603628

    There are many finite constraints. First, there is no infinite time [1]. The most famous uncomputable problem is the halting problem (given an algorithm A and an input x, can we co…

  4. comment
    Comment #24603596

    > The fact that you might object to considering such procedures algorithms rests on the fact that the "thesis" is providing a definition. Unfortunately, many people don't seem to u…

  5. comment
    Comment #24602846

    The first part of the first paragraph is wrong: > Nearly a century ago, Alonzo Church invented the simple, elegant, and yet elusive lambda calculus. Along with Alan Turing, he then…

  6. story
  7. comment
    Comment #23619903

    I need to collaborate with other people and because of COVID we are doing everything remote. Also modifications would be hard and time consuming with pencil and paper.

  8. story
    Ask HN: What tool does professional software engineers use to draw UML diagrams?

    Hi. I just graduated and am now involved with a (non-commercial) project where we are in the design phase. I am using Visual Paradigm Community Edition to draw sequence diagrams si…

  9. comment
    Comment #23009624

    What? 0.999... = 1 is not dogma. Please don't spread misinformation. And at least read the link before commenting on something.

  10. comment
    Comment #22939506

    It's sad that his page about self-studying CS [1] does not include any book specific to the Theory of Computation and Computational Complexity. [1]: https://teachyourselfcs.com/

  11. comment
    Comment #22928152

    Congratulations, looks like a really nice language. One nitpick: I think "val" looks too much like "var" and this will make it harder do differentiate them by code skimming. I sugg…

  12. story
    Will one day the Pulitzer be given for the best computer program of the year?

    Just came across this quote which I found interesting and decide to share. "I look forward to the day when a Pulitzer Prize will be given for the best computer program of the year.…

  13. comment
    Comment #21623916

    I don't know why but someone edited my comment. The original had 2 footnotes which were combined into one. Now it is ambiguous. Thank you for your disservice.

  14. comment
    Comment #21623868

    I think the name is really bad in Brazilian Portuguese . Here "pika" * is a slang for dick. At the same time, it is still the sound Pikachu makes ("pika pika"). So maybe there is n…

  15. comment
    Comment #19844086

    > This was probaly funny for the writer, but is almost never a good idea, since the image makes no more sense as soon as you switch languages He is writing in English why should he…

  16. story
    Ask HN: Best web mobile framework for forms?

    What is the best web mobile framework for forms? I am looking for something that does not bloat my page

  17. story
  18. comment
    Comment #18313242

    What do mean by practical? They find problems with the RISC-V MCM and also with the C11 -> Power and ARMv7 compiler mappings.

  19. story