TheAsprngHacker

5 ms·

1.
by TheAsprngHacker 5y ago
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 protest was the "five demands, not one less?" I found
2.
Political theorists have been worrying about mob rule for 2,000 years(economist.com)
22 points by TheAsprngHacker 6y ago|6 comments
3.
by TheAsprngHacker 6y ago
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 understand it, this library is opti
4.
by TheAsprngHacker 6y ago
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 sort of non-local transformation. A language feature adds expr
5.
by TheAsprngHacker 6y ago
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. Structural recursion is explained together with recursive d
6.
by TheAsprngHacker 6y ago
The approach of incrementally introducing language features is what Matthias Felleisen advocates: https://felleisen.org/matthias/Thoughts/Developing_Developer... Felleisen's argument is that all general-purpo
7.
by TheAsprngHacker 6y ago
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 proving an equality is to show that the two terms are
8.
by TheAsprngHacker 6y ago
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/
9.
by TheAsprngHacker 6y ago
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 OCaml and Rust in this regard, contradicting the view
10.
by TheAsprngHacker 6y ago
Have you tried OCaml? F# is a derivative of OCaml, and of course the OCaml ecosystem is non-.NET.
11.
The Ghosts of the ’68 Election Still Haunt Our Politics (2018)(nymag.com)
1 points by TheAsprngHacker 6y ago|0 comments
12.
by TheAsprngHacker 6y ago
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 matter of game theory). See https://en.wikipedia.o
13.
Are Asian Americans the Last Undecided Voters?(newyorker.com)
2 points by TheAsprngHacker 6y ago|0 comments
14.
by TheAsprngHacker 6y ago
This blog post seems to discuss what you say: https://rosenzweig.io/blog/my-name-is-cafe-beverage.html
15.
by TheAsprngHacker 6y ago
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 and Scala syntax). I think it's possible that the a
16.
by TheAsprngHacker 6y ago
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 elimination rules. However, don't types both have i
17.
by TheAsprngHacker 6y ago
Related discussion here: https://news.ycombinator.com/item?id=24104732
18.
by TheAsprngHacker 6y ago
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 of children's animat
19.
by TheAsprngHacker 6y ago
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 garbage collected, if you don't want to think about ownersh
20.
by TheAsprngHacker 6y ago
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 feasibly moderate all the content and they don't want to be
21.
The KyoAni I Felt: The kind touch of K-On and the studio behind it(dosaylazy.github.io)
4 points by TheAsprngHacker 6y ago|0 comments
22.
by TheAsprngHacker 6y ago
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, and Hispanic last names, with the caveat that
23.
by TheAsprngHacker 6y ago
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 from those of your namesakes, they will search for the areas
24.
Ask HN: How to network if I share a name with another person in the same field?
2 points by TheAsprngHacker 6y ago|9 comments
25.
Implementing Swift Generics (2017) [video](youtube.com)
2 points by TheAsprngHacker 6y ago|0 comments
26.
The anime K-ON! helped preserve the small town of Toyosato(crunchyroll.com)
2 points by TheAsprngHacker 6y ago|0 comments
27.
Students report big problems with online AP tests(washingtonpost.com)
1 points by TheAsprngHacker 6y ago|0 comments
28.
by TheAsprngHacker 6y ago
To my understanding: -> is material implication, so it is an operator of the object language. |- is part of the metalanguage that you use to reason about the object language. I am not that knowledgeable in logic, however.
29.
by TheAsprngHacker 6y ago
Sorry. For me, when I see the rules, I just scan over them and figure out what it says. I think it just comes from seeing the notation many times - I guess when I first came across the notation (when learning about Hindley-Milner) it was co
30.
by TheAsprngHacker 6y ago
(I just responded to your other comment pointing out this example right before reading this reply.)

More ›