Viewing profile — TheAsprngHacker

Please forgive me if I misunderstand the Hong Kong issue, but I thought that it was just the more extreme people who support Hong Kong independence, and the main purpose of the pro…

This is a Rust library for reading and writing the LEB128 integer compression format. LEB128 is a representation of arbitrary-size integers: https://en.wikipedia.org/wiki/LEB128 As…

I said this in my other reply, but if you can implement a language feature as a local rewrite, it does not add expressiveness. Features that add expressiveness must involve some so…

You can have recursion right from Beginning Student Language (which lets you define top-level functions and call them recursively). Structural is taught early, together with lists.…

The approach of incrementally introducing language features is what Matthias Felleisen advocates: https://felleisen.org/matthias/Thoughts/Developing_Developer... Felleisen's argume…

UIP is uniqueness of identity proofs. It's an axiom that says that all proofs of x = y (that two terms are propositionally equal) are the same. Now, UIP is valid if the only way of…

https://utteranc.es/ is a project that allows you to add comments to a page using GitHub issues. Andrej Bauer's blog also uses GitHub issues for comments: http://math.andrej.com/

Interestingly, documentation that's only type signatures is also a frequent gripe I've heard about OCaml. So maybe this is a universal phenomenon. However, some people contrast OCa…

Have you tried OCaml? F# is a derivative of OCaml, and of course the OCaml ecosystem is non-.NET.

The two-party system is not a consequence of the lack of access to money. It is a consequence of the first-past-the-post system, which will always trend towards two parties (as a m…

This blog post seems to discuss what you say: https://rosenzweig.io/blog/my-name-is-cafe-beverage.html

Thank you for the explanation of polarity, I found it helpful. I just remembered that people use the +/- notation to denote covariance and contravariance (such as in OCaml syntax a…

One thing I've never understood is polarity. To my understanding, positive types are defined in terms of their introduction rules and negative types are defined in terms of their e…

Related discussion here: https://news.ycombinator.com/item?id=24104732

Here is the Wikipedia article on this experiment: https://en.wikipedia.org/wiki/The_Third_Wave_(experiment) The Wikipedia article states: > "The Pride of Lakewood", a 2010 episode …

OCaml supports functional programming more idiomatically: for example, it has implicit currying, and it has a single function type instead of several function traits. OCaml is garb…

It is my understanding that website owners (especially owners of small websites) rely on Section 230 in order to host user-submitted content (such as comments), as they cannot feas…

Maybe I missed it, but the article you link doesn't support your comment. The article details an experiment that found that there actually wasn't a hiring bias between white, black…

Thank you for the advice. > People search for names when they know the name already. Until your name is well known in your field, and your ideas are sufficiently differentiated fro…

As I prepare for college, I would like to do more to network myself and build my career. I currently plan to go into academia and specialize in programming language theory. I have …