z1mm32m4n

13 ms·

61.
by z1mm32m4n 9y ago
Some context for those who don't go/didn't go CMU: 15-251 Great Theoretical Ideas in CS is the freshman spring semester discrete math & theoretical CS (a follow up to the discrete math course they take freshman fall). The
62.
by z1mm32m4n 9y ago
The confusion here is because Pest is not, in fact, a parser. It's a parser generator: you can use it to generate parsers (maybe even a parser for Rust), but it is not in itself a parser. A better title would be "Pest - Fast, mode
63.
by z1mm32m4n 9y ago
That being said, think about the other lines in the accountants books that could be better funded if universities didn't have to pay for journal subscriptions. That funding could go towards hiring more professors, paying professors bet
64.
by z1mm32m4n 9y ago
This is a great comment outlining some of Haskell's strengths. Definitely, ADTs should exist in every language claiming their static type system as a feature. Just one thing that stands out to me: > "Anything can be anything or
65.
by z1mm32m4n 9y ago
Oh wow this is going to be a joy to read, thanks! Only a couple pages in and it already looks well-written and thorough. Also there's this: "This paper is literate Haskell and our examples compile under GHC 8.0." A 26 page, t
66.
by z1mm32m4n 9y ago
I would guess they view these sorts of topics as "gateway drugs" into American culture, culminating with free speech and open criticism.
67.
by z1mm32m4n 9y ago
> A new, more type-safe type reflection mechanism Does this mean GHC does not erase types at runtime? Or perhaps what do they mean by "reflection" here; I only know it in the context of Java, where it more or less felt like an
68.
by z1mm32m4n 9y ago
I have a separate bank account for Venmo that I keep capped at a few hundred dollars. Getting robbed a few hundred is much better than a few thousand, and for the convenience of Venmo (especially on a college campus) it's a fine risk f
69.
by z1mm32m4n 9y ago
Surprised to see that this doesn't use ncurses at all. I was really hoping to see something that brought the painlessness of using React to building an ncurses textual interface. Seeing that it doesn't use ncurses, I'm suspic
70.
by z1mm32m4n 9y ago
> Some parts of the city are really beautiful and nice places to be, lots of great parks and so on It's hard to understate this point. Compared with San Francisco, Pittsburgh is much more visibly green. There are trees everywhere, g
71.
by z1mm32m4n 9y ago
Ah, didn't realize the original question was limited to comments on dynamic typing. Regardless, that's a clever article, and an interesting tradeoff.
72.
by z1mm32m4n 9y ago
There's no amount of union types that will save you if you want to write a polymorphic, type safe map/filter/reduce function. These functions need to be generic over containers. At best, with this union type hack what you&#x2
73.
by z1mm32m4n 9y ago
That's not true. When the language is lazy, you can't give a different type to one expression that's lazy and one expression that's strict. You can write hacks into the language that tell the compiler to evaluate certain
74.
by z1mm32m4n 9y ago
I've not found an elegant way to express in Haskell what can be expressed trivially with modules and functors in SML/OCaml.
75.
by z1mm32m4n 9y ago
This also refers to text with "display: none" and "opacity: 0", which used to be (still is?) a way to trick search engines into ranking your site higher.
76.
by z1mm32m4n 9y ago
I'm sure I'm biased, but I'm a huge fan of how they taught our first two semesters where I went to school. Semester 1 freshman year was imperative programming in C (learning pointers, bits, the stack and heap, memory, ...). S
77.
by z1mm32m4n 9y ago
One thing that came up often in my PL theory classes: "cutting edge" features of popular programming languages lag cutting edge features of research languages by about 30 years. The interesting consequence is: if you want to look
78.
by z1mm32m4n 9y ago
At this point, couldn't you keep the list of domains/n's in a plain text file? You still don't have the master password.
79.
by z1mm32m4n 9y ago
That's what the incrementing variable is for. Of course, you have to then remember how many times you've changed your password for any given site.
80.
by z1mm32m4n 9y ago
I have an Ergodox and I love it. I don't use hyper keys, but the sheer configurability of the keyboard has meant that I never feel limited by my keyboard (compare that with the new MacBook Pro keyboards which don't even have ESC k
81.
by z1mm32m4n 9y ago
I second this. Frank's material is always thorough and approachable. He's designed and taught many courses at CMU, and his lecture notes for them are never less than impeccable.
82.
by z1mm32m4n 9y ago
Another solution to the problem of coloring `ls` output is to use the `dircolors` command, which configures the colors `ls` uses in it's output. Piggybacking on `ls` has other benefits: if you change `ls` colors, it'll get picked
83.
by z1mm32m4n 9y ago
> The `Payment` example in the post is effectively an implementation of algebraic datatypes. Algebraic data types are what we call "initial": they're characterized by how they're built up structurally. The 'Payme
84.
by z1mm32m4n 9y ago
Out of curiosity (as someone who never had the chance to see Usenet at its prime), what are Usenets strengths and weaknesses?
85.
by z1mm32m4n 9y ago
> You have to struggle/agonize over it. You have to immerse yourself in it. You have to think about it all the time. We see these ideas echoed over and over by intensely successful people. For example, it's the same one Richa
86.
by z1mm32m4n 9y ago
Probably some people are wondering why they might consider β simpler than \beta in a plain text environment. Many editors have shortcuts for entering a wide range of Unicode characters. For example with Vim digraphs[1], you can type β <C
87.
by z1mm32m4n 9y ago
One thing that hasn't been suggested yet is the lack of point of sale support for cryptocurrencies. Companies like Coinbase and Stripe have already made it relatively straightforward to accept Bitcoin online. Think if companies like Sq
88.
by z1mm32m4n 9y ago
Everyone's code breaks eventually. Even the people who spend 8, 10, or 12 hours in the chair. The solution is not to require that everyone spend 8 hours at work. Rather, it's to require that the code be explained and discussed in
89.
by z1mm32m4n 9y ago
This echoes a lot of the same sentiments that Paul Graham puts forth in his essay "How to Make Wealth"[1]. Basically, the claim is "money is not wealth" (or as put above, money is not value). Money is a tool, used for th
90.
by z1mm32m4n 9y ago
The author fails to include and rebut a crucial point in the EU commision's original article. He equates the monopolistic wrongdoing with showing adds. The EU instead says that it was Google showing adds for its own service. - First, G

More ›