supercasio

6 ms·

1.
CotEditor – Text Editor for macOS (M1 Native)(coteditor.com)
1 points by supercasio 6y ago|0 comments
2.
by supercasio 6y ago
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.
by supercasio 6y ago
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 compute it? that is, will A stop on x?). Although we have an i
4.
by supercasio 6y ago
> 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 understand this. An interesting paper relat
5.
by supercasio 6y ago
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 proved the Church-Turing thesis: that anything computabl
6.
How to compare char* to string literal in C? [closed](stackoverflow.com)
1 points by supercasio 6y ago|0 comments
7.
by supercasio 6y ago
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.
Ask HN: What tool does professional software engineers use to draw UML diagrams?
8 points by supercasio 6y ago|13 comments
9.
by supercasio 6y ago
What? 0.999... = 1 is not dogma. Please don't spread misinformation. And at least read the link before commenting on something.
10.
by supercasio 6y ago
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.
by supercasio 6y ago
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 suggest changing "val" to somethin
12.
Will one day the Pulitzer be given for the best computer program of the year?
1 points by supercasio 6y ago|0 comments
13.
by supercasio 7y ago
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.
by supercasio 7y ago
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 no problem. * I don't know about Eur
15.
by supercasio 7y ago
> 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 be preoccupied if it does not make sense in other langua
16.
Ask HN: Best web mobile framework for forms?
1 points by supercasio 8y ago|0 comments
17.
Beating the Averages (2001)(paulgraham.com)
4 points by supercasio 8y ago|0 comments
18.
by supercasio 8y ago
What do mean by practical? They find problems with the RISC-V MCM and also with the C11 -> Power and ARMv7 compiler mappings.
19.
Memory Model Verification at the Trisection of Software, Hardware, ISA (2017)(arxiv.org)
6 points by supercasio 8y ago|3 comments