danharaj

70 ms·

661.
by danharaj 8y ago
Shockingly, very few things protect you from people saying bad things about you on the Internet.
662.
by danharaj 8y ago
The hours I spend at work, on the other hand...
663.
by danharaj 8y ago
Like many tools, speech can be dangerous because speech can be useful.
664.
by danharaj 8y ago
> It only becomes political when there is the desire to use the legislative and judicial systems to subvert end users ability to enjoy, enhance and repair the products they have bought. I mean, even if one were to accept all your promise
665.
by danharaj 8y ago
Pronounced System F Omega. https://en.wikipedia.org/wiki/System_F#System_F%CF%89
666.
by danharaj 8y ago
No one in an office job knows if anyone else is doing anything useful. Or even if they're doing anything useful.
667.
by danharaj 8y ago
Try Hosking's The First Socialist Society: A History of the Soviet Union from Within. Mind, it's just an intro. And its not a happy book. But one doesn't need to exaggerate or parrot shallow condemnations of a part of the wor
668.
by danharaj 8y ago
> The Soviet leaders were omnipotent enough to plunge half of the developed world into 70 years of darkness and decay. Please read a history book.
669.
by danharaj 8y ago
Do you understand how repugnant you sound implying that some men need to use businesswomen as captive audience for their sex drives or they won't get sex? Let me remind you that a work setting is nothing like Tinder , nothing like a
670.
by danharaj 8y ago
Are you saying that everything illegal is immediately prosecuted upon discovery? That's a little unrealistic, don't you think?
671.
by danharaj 8y ago
That's not Occam's razor. The razor applies to theories with identical predictions and tells you to pick the simplest one. I'm not sure how you got your inference from Occam's razor.
672.
by danharaj 8y ago
I do, but that sentence is weird.
673.
by danharaj 8y ago
It's explained. Later in the article.
674.
by danharaj 8y ago
Parameterization of types, off the top of my head.
675.
by danharaj 8y ago
Like, 5 lines later: > For example, we can rebuild optional fields:
676.
by danharaj 8y ago
Well the common technical problem is that of representing program fragments along with their equalities so that they can be utilized in the case I linked, and pruned in the case you suggested. It's just a musing though. I look forward
677.
by danharaj 8y ago
Thanks! This looks like a really interesting part of PL theory that I haven't looked at before. The problem you describe immediately reminds me of Equality Saturation; I wonder if it's been applied in this space: http:/&#x2F
678.
by danharaj 8y ago
> I'm not sure this can be reduced to cut-elimination, because the question "What terms have this type?" can be asked for non-terminating programs as well -- indeed it becomes much more interesting. Oh please share some re
679.
by danharaj 8y ago
Oh, it's more common a question than you suggest. If I am writing a block of code and I come to some hole in context, for example `foo (bar _) baz`, and I know what type of thing has to go in that hole, then the very next thing I ask i
680.
by danharaj 8y ago
Type inference is just one part of it. That's taking a term and asking "what type could this have?" Another thing you can do is turn it around and ask "what terms have this type?". That question also gets complicate
681.
by danharaj 8y ago
The main issue is that designing a good type system is a dark art. The more powerful a type system, the easier it is to manipulate terms but the harder it is to reason about types. That's the fundamental tradeoff. Being able to specify
682.
by danharaj 8y ago
I don't think I've ever heard anyone say "celebrate Asian culture". Precisely because it's a barely meaningful agglomeration. Now if we examine the context in which "European culture" is celebrated... hm,
683.
by danharaj 8y ago
What the hell is European culture? German culture, Italian culture, Romanian culture, sure. But...?
684.
by danharaj 8y ago
That's not a book of scholarship. Read an actual historical account of the gulag system. Trust me, its depressing enough without literary embellishment. And then compare it to the atrocities that established western capitalism. Fairly,
685.
by danharaj 8y ago
If that's your conclusion, you didn't RTFA. Why so defensive?
686.
by danharaj 8y ago
This is a moving target; I haven't been in school for a while. Here's two: The complicity of US corporations in the holocaust. The way the US protected people who committed atrocities to gain a scientific advantage after WW2.
687.
by danharaj 8y ago
No they won't, it'll be whitewashed in textbooks and only those who study history will know. There's already so many so-called black marks that are worse and already quietly overlooked.
688.
by danharaj 8y ago
Zizek!? Time for some memes.
689.
by danharaj 8y ago
The history book you read was so whitewashed it may as well been bleached.
690.
by danharaj 8y ago
> there's at least one boss who behaves randomly Phantoon, bane of speedrunners.

More ›