Viewing profile — 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 …

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

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 …

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

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

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

Mirror: https://web.archive.org/web/20180809104802/https://dev.to/jw...

Top conferences accept papers with a large expected impact, not necessarily papers the authors were really curious about. It's deeper than merely what time is spent on, it's also w…

Yeah 2-3 publications in a year, unless you've been working on them for 2 years before that, is not going to happen. If you can get one good publication, you'll get into nearly any…

I don't know a single reputable program that makes you pay for a PhD. Typically the salaries are subsidized through the school, that gets it's money from taking a cut of stem grant…

Holy shit this has the NIPS format. If this was submitted we are certainly in the dankest timeline.

You might like to think that, but its not an honest representation of the majority of suicides. Most people who kill themselves do it, not for circumstantial reasons, but physiolog…