Miltnoid

5 ms·

1.
by Miltnoid 3y ago
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, co
2.
by Miltnoid 4y ago
Yeah, he was on the dissenting side. But it was still 5-4.
3.
by Miltnoid 6y ago
Moving to Austin in August after I finish my degree. Definitely feeling validated with my choice by this graph.
4.
by Miltnoid 7y ago
I find it incredibly ironic that the New Yorker doesn't let me read this article in incognito mode.
5.
by Miltnoid 7y ago
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 be
6.
by Miltnoid 7y ago
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.
7.
by Miltnoid 7y ago
No way is Lean more evolved than Coq.
8.
by Miltnoid 7y ago
I use OCaml for my everyday development. The main thing OCaml really needs is modular implicits.
9.
by Miltnoid 8y ago
Use CompCert! (And C instead of C++)
10.
by Miltnoid 8y ago
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.
11.
by Miltnoid 8y ago
What do you mean by "analytically true"
12.
by Miltnoid 8y ago
And so it came to pass that Rudin Revealed both baby Rudin and big Rudin, and it was good.
13.
by Miltnoid 8y ago
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
14.
by Miltnoid 8y ago
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.
15.
by Miltnoid 8y ago
Mirror: https://web.archive.org/web/20180809104802/https://dev.to/jw...
16.
by Miltnoid 8y ago
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 where accolades are given. The facebook thing shows
17.
by Miltnoid 8y ago
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 program in that field.
18.
by Miltnoid 8y ago
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 grants, donations, masters tuition, and undergraduate t
19.
by Miltnoid 8y ago
Holy shit this has the NIPS format. If this was submitted we are certainly in the dankest timeline.
20.
by Miltnoid 8y ago
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 physiological ones like clinical depression.