reycharles

11 ms·

61.
by reycharles 11y ago
google.com does the same.
62.
by reycharles 11y ago
Probably POSIX shell doesn't specify any plugin API.
63.
by reycharles 11y ago
> This process is called transpilation and there are tools called transpilers which takes care of it for you. The process is called compilation, and the tools are called compilers!
64.
by reycharles 11y ago
It seems "reads" is used in "invalidate" to remove the cell from "observers" in the cells in "reads".
65.
by reycharles 11y ago
The article doesn't mention line breaks. I have no guess as to how a line break should be interpreted!
66.
by reycharles 11y ago
Here's a video I found of the flickering: https://www.youtube.com/watch?v=MbIe0iUtelQ According to the video description the windmill is 1000 feet (304 m) away, and is 40 stories (132 m) tall. FWIW in Denmark windmills
67.
by reycharles 11y ago
> All else equal, hiring a poor worker is probably perferable to hiring a wealthy one, as the poor worker has more incentives to work really hard. Or conversely, they might just have more incentive to do what it takes to get paid rather
68.
by reycharles 11y ago
The bitcoin piñata recently ended, and they wrote a blog post about it: https://mirage.io/blog/bitcoin-pinata-results
69.
by reycharles 11y ago
I remember them sending me an (unwanted) email because I had contributed to an unrelated Scala project on Github by reporting a bug.
70.
by reycharles 11y ago
Does this affect the Linux client?
71.
by reycharles 11y ago
I think it has to be for "personal use" when you're importing it. It's not for personal use if you intend to sell it, thus it's illegally imported (smuggled). At least that's how it is in Denmark.
72.
by reycharles 11y ago
Note that Jonas is Danish. Danes are often very modest. Even Carlsberg's slogan is "probably the best beer in the world".
73.
by reycharles 12y ago
For what it's worth my XMonad config broke at some point, so I'm running an executable from october 2013. I've tried fixing it, but too much is broken for it to be an easy fix right now.
74.
by reycharles 12y ago
You mention Go as an alternative. I'm curious how Go is any less arcane . http://www.quora.com/Do-you-feel-that-golang-is-ugly/answer/...
75.
by reycharles 12y ago
> All these data structures are explained first as chunks of data with external functions for the operations; then a second time as objects with methods for operations, once object orientation is introduced in week 5 or 6. Curious. Why i
76.
by reycharles 12y ago
Idris has a type class that is pretty much this: https://github.com/idris-lang/Idris-dev/blob/master/libs/pre... Here's an example interaction. There's a difference, though, since + is onl
77.
by reycharles 13y ago
You don't need turing completeness to implement the factorial function, hence it is not a proof of turing completeness.
78.
by reycharles 13y ago
This might as well be titled "Understand mutable variables (and function-scoping)". The post doesn't really explain closures, and the examples really just show what happens when you mutate variables, in this case in a for-loo
79.
by reycharles 13y ago
I'm curious. Isn't the breeze you get when biking enough to cool you down? I live in Denmark and we don't often have that kind of weather, but the breeze that you get when riding your bicycle can be really nice in the summer.
80.
by reycharles 13y ago
That usage of cat is "wrong" in general: cat file | command > out is the same as command < file > out
81.
by reycharles 13y ago
I wonder how true that is if the xml wasn't compressed.
82.
by reycharles 13y ago
The github issue tracker and wiki is not distributed as far as I know, though.
83.
by reycharles 13y ago
If you want to get started with Coq there are two good resources. One is Software Foundations[sf] by Benjamin Pierce. There's also Certified Programming with Dependent Types[cpdt] by Adam Chlipala. I would say [cpdt] is more advanced t
84.
by reycharles 13y ago
> "unusual traffic" coming from the server which wasn't even being used yet.. Does this not sound suspicious to you? Maybe the server was compromised. "Unused" servers usually don't generate 970 Mbps traffic
85.
by reycharles 13y ago
I remember a discussion on HN where this came up. IIRC someone suggested that it was more about the price - for some reason there was / is a surplus of this kind of vehicle. Unfortunately I can't find the thread again. I wouldn&#x
86.
by reycharles 13y ago
Maybe I am misunderstanding something, but it seems like all the HTML is created as a side-effect. How can this possibly be a good idea?
87.
by reycharles 13y ago
Ah, I see. That doesn't matter in big-O notation, though, because log_32(n) = log_2(n) / log_2(32), that is the difference between two bases is a constant factor. I was a bit confused because O(log_32(n)) = O(log(n)) = log(32)+log
88.
by reycharles 13y ago
> [...] since Knuth highly values the reproducibility of the output of all versions of TeX, any changed version must not be called TEX, TeX, or anything confusingly similar. I have heard that to be the reason that some don't want to
89.
by reycharles 13y ago
> So after these revelations of a foreign government spying, the idea is to trust email to the national government? I changed your statement. I don't think it's entirely unreasonable to trust the local government over a for
90.
by reycharles 13y ago
> She was one of the original hackers. I don't think that she was a woman was ever relevant to her, and by the force of her personality, and her efforts, she made it irrelevant to everyone else. For instance, I keep forgetting it. N

More ›