jcora

9 ms·

31.
by jcora 7y ago
> because you can also say I don't think you can actually:D I mean for each category of programmer there is a pretty clear line separating common knowledge from things you can't expect people to know. And for pretty much every
32.
by jcora 7y ago
> but I don't understand that is connected to model software on paper I was talking more generally about techniques that allow for sneaking in mathematical thinking in various stages of development, not just modelling. Largely becau
33.
by jcora 7y ago
Math isn't formulas. The part of math that is most useful for programming are algebraic structures. Many "patterns", conventions, frameworks, etc., are just bastardizations of mathematical patterns. What really matters is the
34.
by jcora 7y ago
Absolutely. Killing it would be the most useful improvement.
35.
by jcora 7y ago
Yeah it's had everything for years. I'd rather shoot myself than use those features outside of a modern language where they aren't just bolted on along a billion other things.
36.
by jcora 7y ago
Yeah the issue is whether the language makes it easy to use them on all levels from syntax and features (simple constructors, pattern matching) to use in the stdlib and wider community
37.
by jcora 7y ago
This is an argument for more types, though, not less. Your example is trivially accomplished using dependent types.
38.
by jcora 7y ago
I don't think language use industry-wide is a good metric for how relevant compiler software is. It is entirely imaginable that a very serious compiler that proves the original point exist for a language with very rare industry use.
39.
by jcora 7y ago
I mean they also publish in favor of 'human biodiversity' and then get lauded as a bastion of intellectual discussion by a large amount of people.
40.
by jcora 7y ago
I'm troubled about the revisionism regarding Marx, about what he did or didn't understand. He seems to have been mostly ignored by academic economists (not all) after a single attack by Böhm-Bawerk and everyone just concludes now
41.
by jcora 7y ago
How does Marx not understand opportunity cost?
42.
by jcora 7y ago
Except that they admitted that they didn't really look beyond C++ and Java implementations. Their aversions to modern language design and type theory are pretty obvious. Also, lots of code can be written in a bad language. And a langua
43.
by jcora 7y ago
There is no economic calculation problem: http://flowing.systems/economy/politics/2017/08/16/calculati...
44.
by jcora 7y ago
Okay? You haven't shown that it's a meaningful comparison . What does it mean for nonviolent movements to be "twice as successful"? Nothing, because you can construct any arbitrary measure of movement or success.
45.
by jcora 7y ago
There was also the Great War which they were instrumental at ending, and the Civil War which was propped up by other regimes. Way more bloody than the prelude to the revolution, which also included Tzarist oppression and slaughter of worker
46.
by jcora 7y ago
Look at what happened to Kubernetes. They rewrote original Java code in Go and it's a mess because of Go's limited abstraction capabilities. Sure there's an element of rewriting in a new language and attempts to force idioms,
47.
by jcora 7y ago
> Not only are non violent movements twice as successful(on average) This is a meaningless comparison because they aim at entirely different things. The French revolution was different than the fall of communism. Funny enough, the Octobe
48.
by jcora 7y ago
Sounds like you could've used a harder course then, if you picked something that suited you, you wouldn't be able to get through it without most of these.
49.
by jcora 7y ago
Exactly. If they're intelligent but have ADHD they could feel insistently valued by the academic system and required additional validation via Mensa. ADHD by itself, as far as I know, isn't positively correlated with IQ.
50.
by jcora 7y ago
That's such obvious selection bias. People who join Mensa have something to prove.
51.
by jcora 7y ago
What a novel brave idea, bravo
52.
by jcora 7y ago
Do you think they're good working conditions? Also, a pretty large contigent of the left argues for automation.
53.
by jcora 7y ago
This. I hate this relativism about the merits of languages. There's an entire field of study dedicated to that and just because you can write a web app in all your languages of choice doesn't actually invalidate the vast conceptu
54.
by jcora 7y ago
This just isn't what people mean by "writing an abstraction in the language ".
55.
by jcora 7y ago
Pure functional languages do have state . They don't have _implicit_ state. You can absolutely reason about state with mathematical abstractions, it's just not "free" and there's a learning/comfort curve.
56.
by jcora 7y ago
Yeah, you can write a compiler for a better language. This is disingenuous. Show me Pi types in C.
57.
by jcora 7y ago
> It is not hard at all. proceeds to cause trillion dollar damages because literally Terrence Tao couldn't prove major manually-managed programs are correct
58.
by jcora 7y ago
This sounds horrifying.
59.
by jcora 7y ago
It should be qualified that you should learn languages that are actually conceptually different. You could easily learn 20 languages that are practically identical as far as the actual concepts are concerned. The difference, to you as a pro
60.
by jcora 8y ago
> Many of these fail two courses and are asked to withdraw. Wait, after a single failed course?! That seems... cruel to do to people straight out of high school. I failed linear algebra 1 (sort of by accident). But here in a European cou

More ›