Viewing profile — jcora

Of all mathematicians who would qualify as unsung, von Neumann is the last...

It seems like it is coupled in Facebook:)

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 …

It's the other way around. State (and side effects) are explicit in pure programs, and implicit in impure programs.

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". Pro…

Just learn haskell

Do note this won't teach you actual category theory (and shouldn't)

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 feat…

This is not a practical language with dependent types tho lol

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.

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.

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. An…

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':)

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 th…

Is moldbug your mayor/ceo?

He's being sarcastic. "but I truly believe the internet is going to change the way we do business."

What kind of people? Just gullible or something more specific?

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.

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 index…

> 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 ma…

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 sec…