mkehrt

23 ms·

271.
by mkehrt 12y ago
It looks like you're right. I had an undergrad senior thesis in 2006 that futzed around with regions and borrowing, and I know I read some papers on their interactions, but I'm not immediately finding anything chasing references.
272.
by mkehrt 12y ago
I'm pretty sure Cyclone used both regions and borrowing in ~2005. But it was a research project and not meant for wide use.
273.
by mkehrt 12y ago
Uh, yes they can, and have been able to for years. What they can't do is download and interpret code.
274.
by mkehrt 12y ago
I expect the actual number is billions, not millions.
275.
by mkehrt 12y ago
Is that ("that was obtained in violation of a duty of confidence") true? I don't think it is. I'm pretty sure you can't trade on information you overhear in a bar, for example.
276.
by mkehrt 12y ago
"Foot traffic at high-end stores"
277.
by mkehrt 12y ago
That's a very specific way of thinking about monads. Sure, they enforce ordering in a language where you may want to do that. But they're also any ADT equipped with a generalized map (that we happen to call >>= or bind) th
278.
by mkehrt 12y ago
Not really. I think you're confusing Haskell's purity, which makes it necessary to write monadic code, with its monad syntax, which makes it easy.
279.
by mkehrt 12y ago
Disagree about monads. What you mean is that IO actions are an awkward way to ensure evaluation order in a lazy language. In Haskell, IO actions form a monad, but this is only reasonable because so many other things form a monad that th
280.
by mkehrt 12y ago
Re Java generics: Nope. They came out of UPenn's featherweight java work, see here: http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf Pierce literally wrote the book on type theory. Swift is written by
281.
by mkehrt 12y ago
So where did Java generics come from, then? Or pretty much anything in Scala? Or Rust or C++11 lambdas or Swift? It's all pretty much exactly the same as done in academic type theory for decades.
282.
by mkehrt 12y ago
Others can disagree, but I find this a lot less bad. Mostly it's because these are essentially fictional tropes at this point, that have been exported as fiction to the west. Zen is clearly different.
283.
by mkehrt 12y ago
Am I the only one who thinks naming your company after a religion is a little unpleasant?
284.
by mkehrt 12y ago
Unrelated to the actual point, but I'm curious. You seem to be loathe to use the word "coder". Why is that? How is it different from programmer? Is there some sort of cultural shibboleth I'm unaware of here?
285.
by mkehrt 12y ago
To hell with running a successful business. I'm interested in my happiness as an employee, and an open plan office is a thousand times better for that. Edit since I'm getting downvotes: All the articles I've seen about the
286.
by mkehrt 12y ago
No, there really isn't a right answer. It may be that it decreases productivity and increases stress, but if it increases employee happiness (regardless of stress), that's a tradeoff that can be made. And the article definitely
287.
by mkehrt 12y ago
Having worked in a place with offices and now being in a place with an open plan, I'll never go back. There's light, there's space, there's people around, I have a better idea of what people are working on, I learn by he
288.
by mkehrt 12y ago
Ugh, pure functional programming language implementations don't generally actually copy everything. Because data structures are often immutable, pointers can be used rather than copying. Just a minor nit.
289.
by mkehrt 12y ago
An interesting essay on different drugs used in different countries, from a doctor: http://slatestarcodex.com/2014/08/16/an-iron-curtain-has-des...
290.
by mkehrt 12y ago
The USCG has several sets of classes of ships, informally known as black, white and red hull. Black does what you say, white does border patrol for drugs and people illegally entering the country, and red is scientific and icebreaking. Se
291.
by mkehrt 12y ago
For the same reason you have a bike lock, or a locker lock--to prevent opportunistic theft. You can prevent people from driveby stealing your stuff, but you're never going to stop a guy with an angle grinder.
292.
by mkehrt 12y ago
Pinboard. It is great.
293.
by mkehrt 12y ago
I'm curious what your objections to the value restriction? It's a tradeoff for allowing impurity, which is of debatable use (I like it), but it's not totally off the wall.
294.
by mkehrt 12y ago
Haskell, Scala, Rust, Java (you can't really consider 8 to be not modern), even C++11. Just off the top of my head. Thank God.
295.
by mkehrt 12y ago
Or we could build a train, which we've had hundreds of years of experience with, using proven technologies we understand, without squeezing people into a tiny pod. The hyperloop is a distraction from actually building useful infrastruc
296.
by mkehrt 12y ago
...hyperloop? hahhahahahahahahaha
297.
by mkehrt 12y ago
HN is (only somewhat, but definitely somewhat, justly) famous for its sexism, hivemindedness and wacky politics. So, uh, what's your point?
298.
by mkehrt 12y ago
My very cursory reading on the subject indicate that polls have shown that Scots truly expect a major economic downturn if they secede; however they may be willing to bear that price if it will free them from a government they feel does not
299.
by mkehrt 12y ago
The problem is that C and POSXIX don't (idiomatically) provide rich enough data types force checking the error condition. The fact that the error is signaled by a random integer (-1) is horrible. In a language with stronger types and
300.
by mkehrt 12y ago
CIE-LAB, or anything that is based on how humans see, rather than the phosphors in old CRTs. HSV/L are just a simple linear transformation of RGB, which corresponds to the phosphors available to produce CRTs, not the vision propertie

More ›