claudionaoto

14 ms·

1.
by claudionaoto 1y ago
That is false. Lula was freed because a hacker leaked the messages between the judge and the prosecutor, showing the judge's active collaboration with the prosecution. The trial was annulled. The case restarted, and they found that the
2.
by claudionaoto 2y ago
Dart? Version 1 was a lot like Javascript/Typescript in one spec (a dynamic language with optional unsound typing). Version 2 uses sound typing, but you can still let variables unannoted (and the compiler will infer type "dynamic&
3.
by claudionaoto 4y ago
Chinese and Japanese characters have many details. In low resolution (like old terminals) they are almost illegible.
4.
by claudionaoto 4y ago
https://github.com/gfngfn/SATySFi SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly
5.
by claudionaoto 5y ago
I think you're confusing something, Lotus Notes was not a word processor. In USA, the most popular word processor before MS Word was WordPerfect.
6.
by claudionaoto 5y ago
I think this is a important point, for what I understand from some old posts, there are basically three versions of Gnat: - FSF: Is GPL but contains an exception that allows you the create programs which are not GPL (basically the same
7.
by claudionaoto 5y ago
There is also SATySFi[1] (another typesetting system in Ocaml), it is active but mainly in japanese. [1] https://github.com/gfngfn/SATySFi
8.
by claudionaoto 5y ago
I think it is the Computational thinking course (MIT 18.S191 Fall 2020) https://www.youtube.com/playlist?list=PLP8iPy9hna6Q2Kr16aWPO... He is one of the professors (Grant Sanderson).
9.
by claudionaoto 6y ago
Oberon is case-sensitive and all keywords are all caps. I was curious to see it because I like Object Pascal/Delphi, that was the most distracting part of the language coming from Delphi standards.
10.
by claudionaoto 7y ago
Meyer did not know that the type system was unsound. This was discovered later by Luca Cardelli. Meyer said that he would correct it but it seems that existing libraries used this covariant feature too much and they instead made some ugly h