Viewing profile — supercasio
supercasio
HN member- Joined
- Fri, Oct 26, 2018, 7:54 PM UTC
- HN karma
- 26
- Public activity
- 19 items
- HN profile
- View on Hacker News ↗
About supercasio
No profile information was provided.
Recent public activity
- story
-
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.
-
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…
-
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…
-
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…
- story
-
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.
-
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…
-
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.
-
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/
-
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…
-
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.…
-
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.
-
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…
-
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…
-
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
- story
-
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.
- story