Miltnoid

I used OCaml as my daily driver in grad school and my postdoc, and recommend my students use it. I think the main benefits of OCaml are:

Functional Has mutable references Not lazy

Haskell's type system is just better. But for large, complex systems that require performant code, it can be quite difficult to track the laziness, and sometimes life is just easier if I can use a mutable references.

The author is completely correct that there's a big failure in the lack of a type-class-like system. This is why people ask so much for modular implicits. Core is also a decent standard library (though I don't know why they require sexp_of_t and t_of_sexp on like all their data structures).

So I'd gladly use a different functional language with mutable references and strict evaluation. But there isn't any besides F#, and I have a Mac and don't personally want to figure out .NET on Mac.

Yeah, he was on the dissenting side. But it was still 5-4.

Moving to Austin in August after I finish my degree. Definitely feeling validated with my choice by this graph.

I find it incredibly ironic that the New Yorker doesn't let me read this article in incognito mode.

Yeah, considering it was an open question for 12 years, I'd be pretty surprised if you solved it immediately after hearing the solution. If you were provided hints by the interviewer and got to it with some directions, I most would believe it more.

What's more likely, somebody figured the solution out to a problem that previously took over a decade in under an hour and then felt the need to brag about it to strangers on the internet; or somebody lied online to feel better about themselves. People are certainly more likely to assume the latter.

This is a little tangential, but does anybody find it weird that, even on desktop, the article seems hyperoptimized for mobile? The huge margins made it feel like I was reading on a phone emulator instead of on a desktop.

No way is Lean more evolved than Coq.

I use OCaml for my everyday development. The main thing OCaml really needs is modular implicits.

Use CompCert! (And C instead of C++)

I recently helped make a VS Code extension during a Microsoft internship, and I found the language server interface really easy to use. It really makes it easy to write an extension.

What do you mean by "analytically true"

And so it came to pass that Rudin Revealed both baby Rudin and big Rudin, and it was good.

Yeah, the article talked about "only" becoming Stanford professors... maybe the author doesn't realize how incredibly hard and rare it is to be a professor at a tier 1 research institution, not to mention being as prolific as Cronbach. The kids didn't become Nobel laureates but... so? That's an insane expectation for high achievement.

My research area has actually started doing that. Sure it's a CS discipline, but yeah we have a second component of our conferences where we automate our benchmarks, and other people run those benchmarks and validate the results.