tikhonj

85 ms·

931.
by tikhonj 10y ago
On a slightly orthogonal note, I think that not only can you think of programming languages this way, but that you should —programming languages and formal logics are ultimately instances of the same general idea. I've found this to b
932.
by tikhonj 10y ago
This seems to play out in practice—in the US, the issues that have the most lobbying and airplay tend to have strong voices on both sides. Sometimes it's companies on one side and activist groups on the other, but often it's a mix
933.
by tikhonj 10y ago
For whatever reason, I think Art Deco ended up supplanting Art Nouveau in US cities. Art Deco didn't have much of an influence on single-family homes either, but it certainly left its mark on everything from small apartments to skyscra
934.
by tikhonj 10y ago
Did I misunderstand, or was the argument in Chicago about replacing a parking lot ? I mean, I see how it would change the lake's shoreline to have a big building there, but it would be replacing a parking lot —pretty much the least v
935.
by tikhonj 10y ago
It's worth noting that thanks to a clever configuration, the X1's 14" screen and keyboard are a bit bigger than the MacBook—enough so that it feels significantly more roomy while only being a little bit bigger. (It barely f
936.
by tikhonj 10y ago
I have an X1 Yoga (a touchscreen equivalent of the X1 Carbon) with an OLED display and it's absolutely gorgeous . It's much better than the ~1 year old Mac Book Pro I have for work. The colors and contrast are incredible—it can e
937.
by tikhonj 10y ago
> What does it mean for control flow to be problematic? The idea is that we're embedding a DSL in Haskell by evaluating Haskell expressions symbolically within the DSL. Instead of doing a computation in Haskell and providing a v
938.
by tikhonj 10y ago
I've found understanding the lambda calculus goes a long way to understanding functional programming—in particular, it does a wonderful job demonstrating just how simple the core ideas underlying languages like Haskell are, contrary to
939.
by tikhonj 10y ago
A fun riff on QuickCheck is QuickSpec[1], a tool that automatically generates laws (invariants) for an API and tests them with QuickCheck. The example in the documentation is pretty good: Given reverse, ++ (list concatenation) and [], it fi
940.
by tikhonj 10y ago
It's also a perfectly apt description of, say, certain areas in academia—one that I'm pretty sympathetic too after seeing postmodern research programs in action! Hell, postmodernism is a bigger idea that eats more people than su
941.
by tikhonj 10y ago
Programming is forgetting because forgetting is abstraction . On the other hand, abstraction is not always about forgetting, and programming is not always about the real world[1]. But that's always been part of the hacker ethic I&#x2
942.
by tikhonj 10y ago
It's a lot more complicated than that. Even a consistent prediction will generally only give you a small edge, and turning a small edge into real money is incredibly difficult. Just like ideas aren't worth much in startups, exec
943.
by tikhonj 10y ago
A lot of these techniques are things that take a bit more up-front effort but pay off over the long (or even medium) term. I think that's why it might make people seem less productive—although of course a lot depends on your perspect
944.
by tikhonj 10y ago
Both of those threads are quite old (101 and 889 days respectively). It's not worth merging old threads with new, and there's nothing wrong with reposting articles that far apart—I'd argue it's actively healthy as long
945.
by tikhonj 10y ago
I'm not sure what you mean by this question. What that lecture covers is essentially how to express an approximation of the operational semantics of a simple language as a logic formula in a very specific kind of logic (ie one of t
946.
by tikhonj 10y ago
Sure, although I'm not sure how much I remember of any given topic :P.
947.
by tikhonj 10y ago
Oh hey, I actually took this class. Funny to see it linked on HN. It was easily the single most valuable class I took in undergrad. There's definitely a lot of useful information there, but I'm not sure how well it's organize
948.
by tikhonj 10y ago
I've contributed a fair amount to Stack Overflow, but it's actually pretty hard in the niches I care about. Not because the questions are hard, but because people answer them so quickly: it's hard to find a question I can a
949.
by tikhonj 10y ago
Equality in general is a surprisingly subtle subject. "When is one thing equal to some other thing?"[1] is a fun article about it. Java's equals method has two core problems in my eyes: it forces every type to define equality
950.
by tikhonj 10y ago
I doubt the breaking point is 40, but 40 seems close. I remember looking through studies on the matter[1] and seeing numbers floating around between 35–45 hours/week. It's hard to generalize because productivity is hard to measu
951.
by tikhonj 10y ago
The part about higher taxes for people renting property out seems to amount to yet another subsidy for home ownership over renting—which is not obviously a good thing. A tax just on properties that are unused (ie not owner-occupied or ren
952.
by tikhonj 10y ago
If you only consider criticism from people deeply invested in a platform, you'll get a really skewed perspective. Put another way: if you try something and find it flawed—why should you put any more time and effort into it? And yet, th
953.
by tikhonj 10y ago
Volume isn't a particularly relevant metric here. Think of it as the resolution HFT firms trade at rather than a measure of the size of their trading activity. It's not a perfect analogy, but the point is that trade volume is
954.
by tikhonj 10y ago
That's only true for a very niche sort of trading (only high-frequency/latency arbitrage type stuff) which makes up a tiny portion of the financial industry[1]—and that tiny portion is certainly not using Julia for production tr
955.
by tikhonj 10y ago
The thing to remember with these questions is that popularity is largely a matter of social dynamics—not the language's intrinsic qualities. I mean, sure, qualities matter to a point , but that point is pretty low: it just has to work
956.
by tikhonj 10y ago
> In other words, we need to increase the supply of these research jobs, and make them more attractive then working in finance. That's a fair summary. My core point was that it's far more a matter of constrained research positi
957.
by tikhonj 10y ago
> Is it though? I think it is. That's certainly my experience with CS. You need some combination of GPA, recommendations from known researchers in the field, research experience/accomplishments and a strong undergraduate school
958.
by tikhonj 10y ago
I mean, just think about how many people have been saying literally that for this election ! If anything, the strongly principled are the ones I'd worry about the most .
959.
by tikhonj 10y ago
This question comes up in most discussions about finance and trading. I think it's the wrong question to ask. Academic research jobs, despite poor pay and conditions, are still some of the hardest positions to get . The demand for tho
960.
by tikhonj 10y ago
It all depends on how you define "boring": • If you mean "familiar" then you're right: something you know is better than something you don't. (But it's not the way to learn or expand your horizons.) • If y

More ›