Viewing profile — claudionaoto

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 wa…

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 una…

Chinese and Japanese characters have many details. In low resolution (like old terminals) they are almost illegible.

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 pro…

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.

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 th…

There is also SATySFi[1] (another typesetting system in Ocaml), it is active but mainly in japanese. [1] https://github.com/gfngfn/SATySFi

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…

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 …

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 …