jcora

8 ms·

1.
by jcora 5y ago
Of all mathematicians who would qualify as unsung, von Neumann is the last...
2.
by jcora 5y ago
It seems like it is coupled in Facebook:)
3.
by jcora 5y ago
Sounds snarky but completely correct. Parent should look for a more diverse set of examples for vector spaces. In fact sounds like a good linear algebra course would be a priority over group theory
4.
by jcora 6y ago
It's the other way around. State (and side effects) are explicit in pure programs, and implicit in impure programs.
5.
by jcora 6y ago
No lol it's not possible to learn any math subject in depth in an afternoon, unless you mean "get a surface overview that you'll forget most things about in a couple of weeks". Proper foundations for non-Euclidean geomet
6.
by jcora 6y ago
Just learn haskell
7.
by jcora 6y ago
Do note this won't teach you actual category theory (and shouldn't)
8.
Reinforcement learning, non-Markov environments, and memory(flowing.systems)
4 points by jcora 6y ago|0 comments
9.
A game in a pure language (part 2): state(flowing.systems)
1 points by jcora 6y ago|0 comments
10.
A game in a pure language (part 1): introduction and problems with Idris(flowing.systems)
4 points by jcora 7y ago|0 comments
11.
by jcora 7y ago
No. You can write a compiler for any language in Scheme, but it's disingenuous to say that Scheme has that language's features. There are many languages with way more powerful features than Scheme if you're comparing type sys
12.
by jcora 7y ago
This is not a practical language with dependent types tho lol
13.
by jcora 7y ago
Can lisps place arbitrary code in types and formally verify complex properties of stateful systems--all in the same language? Doubt it. Lisp isn't the epitome of power.
14.
by jcora 7y ago
Actually with dependent types you totally can encode proofs that your logic is correct. But I don't really see that trickling down into mainstream programming anytime soon.
15.
by jcora 7y ago
This is a completely meaningless comparison. Even things that behave waaay more similar than cocaine and coffee in terms of brain chemistry can have even more disparate effects. And I was talking about the effects.
16.
by jcora 7y ago
I'll let you figure out the difference between 'exceptional and prolific writer' and for example 'stressed out social/office worker who others depend on':)
17.
by jcora 7y ago
Yeah absolutely not. You can certainly drink and work, just as it's possible to drive drunk without killing someone. These isolated cases without incident don't really matter in the context of society-wide taboo, however. Coffee a
18.
by jcora 7y ago
Is moldbug your mayor/ceo?
19.
by jcora 7y ago
He's being sarcastic. "but I truly believe the internet is going to change the way we do business."
20.
by jcora 7y ago
What kind of people? Just gullible or something more specific?
21.
by jcora 7y ago
I don't see how you could actually come up with new stuff in PLT without a very heavy math background, specifically in logic. I mean it's not impossible just extremely unlikely.
22.
by jcora 7y ago
I don't know man. I feel like there are places I know more than Rob Pike almost certainly. Like, I don't know, most of functional programming. I seriously doubt he knows what indexed monads are better than me. So, at the point the
23.
by jcora 7y ago
> One big problem with the plan, which a lot of people don't realize, is that your typical university math degree isn't that much more challenging than doing well in high school math. I think this is very US-specific. Here in E
24.
by jcora 7y ago
I use almost no lambdas in my functional code. I don't understand why they're thought to be paragons of FP in non-pure language communities. Maybe because there are no operator sections, currying, and the syntax is more verbose so
25.
by jcora 7y ago
This could be a case where cognitive functions were highly uncorrelated. For example he could've had enormous working memory but extremely low spacial intelligence. In most people these are highly correlated and so IQ can be an informa
26.
by jcora 7y ago
It is always a good idea to read a philosopher through Deleuze's words. If there's one philosopher whose main sticht was distorting others in productive ways, it's Deleuze. It is a pretty up-front distortion ("taking
27.
by jcora 7y ago
Or go all in and actually expose yourself to an entirely different programming paradigm, there is so much more to "FP" that you can only find in Haskell and beyond.
28.
by jcora 7y ago
> Now I present it as a geek thing that is of no relevance to the general public. As you should. Linux shit DOESN'T work, for a defintion of work 99% of us use. It ate away so much of my time, with the various distros, until I reali
29.
by jcora 7y ago
But this is clearly not a property of the particular notation, but lambda-calculus itself (and the way beta-reduction is defined). If you were to make it a constant-time operation in length it literally wouldn't be lambda-calculus. Whi
30.
by jcora 7y ago
This isn't about modelling rather a programming technique, but check out Idris for its dependent typing. It lets you encode state machines in types, which means your programs literally will not typecheck if you try for example to withd

More ›