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…
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…
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 programming language. It consists mainly…
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 the create programs which are not GPL…
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 Delphi standards.
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…
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…
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…
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 programming language. It consists mainly…
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 the create programs which are not GPL…
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 Delphi standards.
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…