tikhonj

87 ms·

961.
by tikhonj 10y ago
I'm currently using Haskell to do supply chain optimization at Target. It's pretty awesome! The language lets us express our models in ways that feel natural. We're both solving some specific problems (ie inventory control, n
962.
by tikhonj 10y ago
I'm guessing you've watched a lot of Star Trek? I figure this is just the human mind's wonderful proclivity towards learning patterns. I was actually thinking about a similar but less subtle example: I use a transit system th
963.
by tikhonj 10y ago
This article seems great at describing how phishing actually works in practice, especially to people without much exposure to technology. I've gone through at least a couple of training emails from IT departments about phishing, and th
964.
by tikhonj 10y ago
I completely disagree. The reason we care about these studies is to make decisions . If a study is flawed... maybe it's flawed. Maybe it shouldn't be relied upon any more than some random opinion blog post. (Maybe even less!) But
965.
by tikhonj 10y ago
By that reasoning, McCarthyism was profoundly liberal: Communism was a direct, unequivocal threat to society, so hounding it out was perfectly justified. (Or even if it wasn't, lots of people strongly believed it was, with justificatio
966.
by tikhonj 10y ago
And a celebrity's Tweet to 10 million followers is speech so large it would be impossible for the vast majority of Americans to rival. Doesn't mean it's not speech, and doesn't mean it shouldn't be protected—legally
967.
by tikhonj 10y ago
I learned English at a young age, and I still think of "red" and "pink" as fundamentally distinct. I think I was taught at some point that pink was "light red" but it seemed weird at the time (when I was a kid)
968.
by tikhonj 10y ago
I just helped a relatively junior developer—sharp but with no real functional programming experience—get started with Elm for a small internal tool. He got something up and running almost entirely. I think I spent around ~1.5 hours helping
969.
by tikhonj 10y ago
Enough text editors exist given just Emacs :). Seriously though, we need more competition and innovation in text editors. Even Emacs isn't perfect.
970.
by tikhonj 10y ago
I work in an open office and grabbing a room with somebody is totally normal—it happens every day, for all sorts of boring reasons. We even have small rooms perfect for this purpose: three or four chairs and no tables or video conferencing
971.
by tikhonj 10y ago
Yes, all the time. I've heard it for physics, I've heard it for CS and I've heard it for programming, all with good reason: the way you teach somebody deeply invested in your field is different than the way you teach somebody
972.
by tikhonj 10y ago
What do you do for Haskell development?
973.
by tikhonj 10y ago
> ...might have been more satisfying if I stayed on the automatic programming track. Hah, my job is sort of in that area now, and it is satisfying. Even if happy users are still a bit harder to come by than one would like... (Working
974.
by tikhonj 10y ago
Or it makes the cost so high that the underlying product becomes impractical. I'm pretty happy to live in a world where I can buy a car for less than $100k, even if that car ends up being much less safe than an S-class.
975.
by tikhonj 10y ago
Imagine a superset of 61a Scheme with a more robust standard library, better tools and some cool facilities for domain-specific languages. It still feels like the Scheme you wrote while having some useful basic features like structs built
976.
by tikhonj 10y ago
Haskell and OCaml are both great. I've had a fair amount of experience with both of them as well as Racket and, while I rather liked Racket, I would definitely order them Haskell > OCaml > Racket. (I did 61A in Scheme too, coinci
977.
by tikhonj 10y ago
This is why it's always important to consider semantics when you define an abstraction—whether it's a DSL or a normal library. Life is a lot easier when your semantics are simple, precise and composable (the semantics of an expres
978.
by tikhonj 10y ago
It's way too hard to have a career in research or even get into a decent PhD program at all for the "finance brain drain" to matter. Research salaries are low, the conditions are hit or miss and yet, somehow, a faculty job
979.
by tikhonj 10y ago
It was actually Jane Street, a quantitative trading firm. The talk was even more interesting because of the context, and because I was learning a lot about finance that whole summer.
980.
by tikhonj 10y ago
I don't know about changing my mind per se , but I definitely got a new perspective on financial regulation after attending a talk by Barney Frank (famous for the Dodd-Frank bill). I don't remember the exact details now, but hear
981.
by tikhonj 10y ago
Conference papers include a copyright notice with the name (and year) of the conference. Papers that aren't published at conferences (preprints, technical reports... etc) don't have any standard format for this. Sometimes (especia
982.
by tikhonj 10y ago
People used COBOL to run large companies too. (Hell, they still do.) Doesn't mean it was particularly good for any definition of good . Even the big companies can't do pretty basic things on the web, like justify text beautiful
983.
by tikhonj 10y ago
The article provides four categories of essays: argument, explanation, definition, description. Personally, I've found it useful to think of almost everything I write as a variation on "argument". Perhaps I'm also de
984.
by tikhonj 10y ago
No, economics still applies because we only have a finite amount of resources—funding, equipment, officers—and we need to distribute them intelligently to cover all the functions we expect from law enforcement. It wouldn't make sense
985.
by tikhonj 10y ago
If you want a fun example of using Z3, I gave a talk recently that walks you through verifying programs in a tiny little imperative language by compiling them to Z3 formulas. It's easier than it sounds! It was recorded [1] and I have e
986.
by tikhonj 10y ago
One of my friends wrote color-identifiers-mode for Emacs[1], which does just that. It supports a bunch of languages and seems reasonably popular. [1]: https://github.com/ankurdave/color-identifiers-mode
987.
Making Movie Monad–a Tutorial Desktop App with Haskell and Electron(lettier.github.io)
2 points by tikhonj 10y ago|0 comments
988.
by tikhonj 10y ago
That's a great way of putting it. Sure, sometimes an intermediate name helps—that's when I reach for `where` or `let`. But much of the time the extra name would just be extra noise that obscures what the code is doing and makes
989.
by tikhonj 10y ago
Pretty similar to the plot of A View to a Kill [1] too (an okay Jame Bond movie set in Silicon Valley back when it was aptly named). [1]: https://en.wikipedia.org/wiki/A_View_to_a_Kill
990.
by tikhonj 10y ago
I'm not an expert on squirrels, but that could be a ground squirrel[1] of some sort. Some varieties of ground squirrel look a lot like chipmunks. [1]: https://en.wikipedia.org/wiki/Ground_squirrel

More ›