jcora

11 ms·

61.
by jcora 8y ago
Man solves all problems by pretending there simply are none
62.
by jcora 8y ago
This can be done, for example ST in Idris which lets you reason about resources (check out linear types). However, if you are thinking more in the direction of "you have to reason about where and how exactly your values and functions a
63.
by jcora 8y ago
That's not what purity refers to! We're talking about a mathematical property of the language itself. The real issue is that people don't understand that `putStrLn "hello"` _is literally just as pure as `2*x`_. They
64.
by jcora 8y ago
You are really not getting this distinction, I'm not sure how much clearer I can make it. You can evaluate `putStrLn "hello"` a billion times without anything "happening" at all, because it is just a function. Maybe
65.
by jcora 8y ago
This is actually not at all pedantic but a very fundamental, if subtle at first glance, point about purity. Once you start doing more advanced monadic programming it stops being subtle at all. Many people, yes "even on HN", are to
66.
by jcora 8y ago
> And no one writes pure functional programs. I mean, because they don't exist. This is, both mathematically and practically speaking, incorrect. People write pure programs all the time. For example, `f x = putStrLn x` is a pure pro
67.
by jcora 8y ago
Do you think people who say things like "universities are useless and haven't thought me anything" ever _saw_ an actual proof?
68.
by jcora 8y ago
No, he meant gamers. That doesn't absolve others from bad behaviour but "gamers", i.e. group-conscious, very online, hardcore players congregating on /v/ and many other such places, are probably _the_ most vitroliti
69.
by jcora 8y ago
This thread seems bizarre to me. There's one guy claiming he "worked himself up to graduate level math" in the last two years of high-school. So either he's a literal IMO-gold-medal-level genius, or people here don&#x2
70.
by jcora 8y ago
Wow look, an ancap in 2018!
71.
by jcora 9y ago
Lmao 'Individuals' on HN (or 20-something CS guy from the U.S.) and their 'unique opinions' are so fucking similar and revolve around a couple of basic platitudes and ideologems Pretty much anything that isn't a spe
72.
by jcora 9y ago
1. We haven't 'figured out' intelligence, far from it, we don't even know what we don't know. Your comment sounds like Lord Kelvin proclaiming that physics is "over" a couple years before people figured ou
73.
by jcora 9y ago
Hey this sounds very interesting! Is it open source / where can I read more?
74.
by jcora 9y ago
You should study ML a bit more, to see just how wrong you are about it
75.
by jcora 9y ago
I'd call this pulling a Dennett: trivializing complexity to something that cannot or just doesn't have to be explained. Being unable to conceive consciousness at this moment doesn't mean there's nothing to conceive of: e
76.
by jcora 9y ago
Uhh Satoshi is Nick Szabo...
77.
by jcora 9y ago
Np mate:) I recommend ghost btw!
78.
Ask HN: High-signal sources for learning Python?
1 points by jcora 9y ago|0 comments
79.
by jcora 9y ago
On mobile the characters on your site are literally like a millimeter wide you should fix that
80.
by jcora 10y ago
Well, you're certainly not interested in productive conversation, goodbye
81.
by jcora 10y ago
I employ a materialist analysis of society in which means of production are owned by the few, and in which the majority of the people have to sell most of their time simply to have food. This is an undeniable fact of reality, and you merely
82.
by jcora 10y ago
> Yeah, I read it, it was a bunch of Marxist buzzwords I tried to keep it buzzword free, if it was understandable, what's the problem? > You also draw a really simplistic and ignorant call to action here... Well this is a critiqu
83.
by jcora 10y ago
> Communism is an economic system of physical goods and services, digital and intellectual things aren't either so I don't think it's useful to equate the two. This is a very confused definition of communism. The proper de
84.
by jcora 10y ago
Yes I am a socialist and as such I employ materialistic and systemic analysis. Just calling it "anti capitalist BS" is a pretty shitty attempt at critique. > but the author's point was Stallman is right expect for one thin
85.
by jcora 10y ago
Nah I was just stupid. Corrected now.
86.
by jcora 10y ago
Hi, I'm the author of this, and I'm very sorry, I honestly just wanted a nice pic of Stallman and found it through Google without thinking much. I've added the credits at the end of the article now, both to Hackaday and Joe w
87.
by jcora 10y ago
Enforcing the GPL requires the state. Which is what I think he was aiming at. But then I don't understand how that's compatible with 1.
88.
by jcora 10y ago
Yeah I think you have the opposite mindset than me. Just letting people do what they want is _not_ fighting for freedom, but fighting for the status quo, because inequality exists. In other words the struggle is real
89.
by jcora 10y ago
I have too been influenced by Stallman but I don't see why anyone should be above critique. I've developed as a person, politically, and think that my criticism may be useful to well-intentioned peopled, that's why I wrote th
90.
by jcora 10y ago
> The insistence that Linux be called GNU/Linux when even Linus calls it Linux is exactly the kind of behaviour that alienates people who would otherwise align with them. I don't agree with this actually, that's why I didn

More ›