th0114nd

8 ms·

1.
by th0114nd 6y ago
It’s a short circuiting conjunction. Consider `aliceWantsADrink && bobWantsADrink`. If Alice doesn’t want a drink, she knows it’s not the case that both of them want a drink. Since she says “maybe” instead of “no” she signals to Bob
2.
by th0114nd 6y ago
You should check out xkill, which transforms the mouse into the window killing button
3.
by th0114nd 6y ago
I can’t recall exactly, I want to say 16 vCPUs and 64GB. How well a project can make use of the cores depends on how wide your dependency graph is vs how tall, as the unit of parallelism is a package. The EC2 instance was on continuously, a
4.
by th0114nd 6y ago
Not for correctness, but I was running low on disk
5.
by th0114nd 6y ago
I worked as a Haskell developer for a year and a half. The best productivity boost I had was switching to compiling on an EC2 instance. I saved battery, sped up compiles with greater parallelism than my XPS had cores for, and didn’t have to
6.
by th0114nd 7y ago
> Attention to detail and thoughful design is what Chime is all about. Sorry for the nitpick, but a typo in this particular sentence was too good to pass up.
7.
by th0114nd 7y ago
I don’t think this an entirely fair comparison. STM provides essentially primitive operations, Async just builds a higher level API on top of them for common pattern. Not unlike the relationship between errgroup and go routines. Strategies
8.
by th0114nd 7y ago
It also creates a filter for investment in the patch. If the submitter doesn’t bother to do a second round for trivial revisions, it would have been a waste of time for the maintainer to read the patch deeply.
9.
by th0114nd 10y ago
I didn't read the hobgoblin the same way as the author being purely critical. I read it as a defense: a similarity between commands would make it easier to choose the wrong one. Removing a branch is a more destructive than deleting a f
10.
by th0114nd 12y ago
I'd say it's good in the sense that it is readable provided you are familiar with the syntax for list comprehensions and appendings, and obviously correct if you know quicksort.
11.
by th0114nd 13y ago
(Enough of) Education has been free since at least 2010 in my experience. Employability is not.
12.
by th0114nd 13y ago
Care to elaborate?
13.
by th0114nd 13y ago
Contrast seems too low on osx+chrome, or maybe its just poor eyesight on my part.
14.
by th0114nd 13y ago
I think wishful thinking twisted the title in my head, into reading of a lisp with a type system like Haskell's.
15.
by th0114nd 13y ago
Don't you think an example where the type system has a visible impact would be appropriate? As it is now, none of the examples show anything that doesn't look like vanilla lisp. I think what makes the Haskell type system nice to u
16.
by th0114nd 13y ago
Or current_time >= time_you_set_to_expire...
17.
by th0114nd 13y ago
Or they saw a CNN special report on internet hackers and think they know what it is.
18.
by th0114nd 13y ago
Congratulations on your decision. A lot of the time I feel like I should drop out of school, but don't because status quo just seems easier.
19.
by th0114nd 13y ago
A novice was trying to fix a broken Lisp machine by turning the power off and on. Knight, seeing what the student was doing spoke sternly – “You can not fix a machine by just power-cycling it with no understanding of what is going wrong.” K
20.
by th0114nd 13y ago
Cool. But it's pretty easy to cheat, just resize your paddle to take up the entire screen and you auto-win.
21.
by th0114nd 13y ago
AFAICT, it isn't very intuitive on how to get started. Why am I told how to undo and redo, when I'm not told how to do?
22.
by th0114nd 13y ago
The link to "how-to-read-an-unlabeled-sales-chart.html" has an extra s after unlabeled.
23.
by th0114nd 13y ago
My two cents is that the social scene in Caltech has a high degree of variability with respect to which House you live in.
24.
by th0114nd 13y ago
If you do like his advice, I would not choose Caltech if the option presents itself. I happen to like it, and I don't know if other students are just "whiny for fun," but I hear a lot of complaints about everything under the sun that is ger
25.
by th0114nd 13y ago
I wasn't able to. After a bit of hunting I realized the missing packages were on their site. Some of those make just failed, and on others it would appear as though make install went through but were not afaict installed. I gave up.
26.
by th0114nd 13y ago
Installation is a bit of a pain, at least on OS X. It complains of a bunch of packages missing. Consider having it available through macports.
27.
by th0114nd 14y ago
Measuring time of computation is counting the number of primitive operations. I'd say a language is a collection of capabilities that play nicely. Given one language, we can create a second that is also RE by taking each instruction in the
28.
by th0114nd 14y ago
To say that all languages are equivalent because they are Turing Complete is just not true. That means they can decide the same class of problems, it does not mean they can or do decide them in the same way. In particular some languages are
29.
by th0114nd 14y ago
Why is this something that people do?