cartesius13

7 ms·

31.
by cartesius13 5y ago
This type of comment is getting so old I wonder what can be done about it. Maybe the reason why we don't have "different things" is because users of these so called safe languages are too busy arguing online about how safe th
32.
by cartesius13 5y ago
Less than 4 percent is still a lot. You need 9 digits to represent the number of users Firefox has
33.
by cartesius13 5y ago
Emacs and vim are way too complicated to just jump directly to the source code. Try something smaller and more manageable. I would personally recommend vis[1]. Also, take a look at https://texteditors.org/ to discover new
34.
Ask HN: What are some good blogs/sites about formal/computer languages?
2 points by cartesius13 5y ago|0 comments
35.
Ask HN: What are the best introductory resources on formal languages?
5 points by cartesius13 5y ago|1 comments
36.
by cartesius13 5y ago
No. That's actually the biggest myth about Gemini that seemingly everyone on HN believes. When talking about this people are usually refering to this section of the spec: "Clients can present links to users in whatever fashion the
37.
by cartesius13 5y ago
HN downvotes are not different from any other social media platform. It doesn't matter what the rules says, people will downvote things they disagree and that's it. It always comes to this and I personally don't see how it co
38.
by cartesius13 5y ago
Absolutely awesome project. I will definitely try to contribute as I can in finding proof games. Though, I want to understand the problem and all the methods and mathematics used a bit better. Do you have any recommendations of resources? H
39.
by cartesius13 5y ago
>the 'Chad' signifier What do you mean by this?
40.
by cartesius13 5y ago
Does anyone have any idea why they ditched Debian to use Arch?
41.
Makedeb – Create Debian Archives from PKGBUILDs(github.com)
35 points by cartesius13 5y ago|1 comments