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.…
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,…
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…
No way is Lean more evolved than Coq.
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…
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…
Mirror: https://web.archive.org/web/20180809104802/https://dev.to/jw...
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.
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…
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 physiological ones like clinical depression.
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.…
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,…
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…
No way is Lean more evolved than Coq.
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…
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…
Mirror: https://web.archive.org/web/20180809104802/https://dev.to/jw...
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.
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…
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 physiological ones like clinical depression.