int3

9 ms·

61.
by int3 6y ago
Writing, speaking, community building are the obvious ones
62.
by int3 6y ago
Gilbert Strang's linalg lectures on MIT OCW are amazing.
63.
by int3 6y ago
I'm currently doing MITx's Fundamentals of Statistics MOOC, which seems fairly similar to this one. The course material doesn't require too much understanding of real analysis, though the instructor does make cursory acknowle
64.
by int3 6y ago
"Basic" is ill-defined, but I think sloonz is right about it only requiring calc + linalg, which most CS / Eng majors will have taken.
65.
by int3 6y ago
It's still way more of a meritocracy than many other disciplines. In what other field can you get an upper-echelon salary via non-credentialed routes like open-source projects and blogs? Btw, you don't need to create an OSS projec
66.
by int3 8y ago
It's a backend engine; it doesn't support languages out-of-the-box. That said, it's extensively used by the open-source Android bytecode optimizer [Redex]( https://github.com/facebook/redex ), so there&#x2
67.
by int3 8y ago
Signed Constant Domain: https://github.com/facebook/redex/blob/master/service/consta... Constant Array Domain: https://github.com/facebook/redex/blob/master/servi
68.
by int3 8y ago
For a bit more context, see this blogpost we made: https://code.fb.com/open-source/sparta/
69.
by int3 8y ago
I made something like this many years back: http://int3.github.io/metajs/
70.
by int3 8y ago
Huh, I had no idea the guy who wrote the light transport thesis also built Adwords.
71.
by int3 8y ago
> If we pay everyone enough to make a living wage, then it should cost the same for me to grab my own menu, utensils and water bottles as it would for a server to do so. I don't see how that follows. The opportunity cost per unit ti
72.
by int3 8y ago
> (paradoxically, if, a week later they say they need another 5 million, giving them that at that time is OK as long as you think you still have ½% chance of getting all your money back, but you shouldn’t give them 15 million up front wh
73.
by int3 9y ago
Type inference is a special case of abstract interpretation: https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-t... (Not that I've read that paper in detail, mind you...)
74.
by int3 9y ago
If the reviewers are giving crappy code reviews, what makes you think they would be better at mentorship?
75.
by int3 10y ago
The papers there start from 2014 and continue up to the present.
76.
by int3 11y ago
I'd like to start with formalizing my knowledge of the basics -- hypothesis testing and confidence intervals. I do some performance tuning work, and it seems like a good idea to understand if my changes are making statistically signifi
77.
by int3 11y ago
What books would y'all recommend for someone who has taken a couple of college-level proof courses but never took anything on probability and statistics?
78.
by int3 11y ago
It is only a terrible answer without basic income, which was the other point I was trying to make.
79.
by int3 11y ago
Fair enough. But experience can be garnered outside companies, and the Internet is making that easier, too: OSS development, nonprofit / pro bono work, etc.
80.
by int3 11y ago
Interesting points. > The problem is that we are eating entry-level jobs, and in turn, creating an artificial scarce supply of "experienced" workers. On the other hand, it is easier than ever to get cheap, basic education in a
81.
by int3 11y ago
Is rustc able to run typechecking without doing codegen?
82.
Covariance, Contravariance, and Super Type Constraints(hhvm.com)
32 points by int3 11y ago|9 comments
83.
by int3 11y ago
Haskell's typeclasses automatically do dictionary passing for you; OCaml modules require you to specify the dictionary yourself. See http://okmij.org/ftp/Computation/typeclass.html
84.
by int3 11y ago
... the interviewee misunderstood the question. The interviewer understood it just fine.
85.
by int3 12y ago
Another approach would be to translate the compiled output of javac into ASM method calls: https://github.com/int3/java2asm It's fairly unpolished at the moment, though.
86.
by int3 12y ago
Nice! I did something similar a while back: http://int3.github.io/metajs/
87.
by int3 12y ago
I tried evil-mode myself and came to a similar conclusion re integration. And for package management there's vundle, neobundle, and pathogen. And after my recent discovery of vimproc, I'm now motivated to resume writing plugins!
88.
by int3 12y ago
If two weeks is sufficient, why aren't more people finding these things? Isn't there a big incentive to make sure that e.g. popular web frameworks are secure?
89.
by int3 13y ago
Interesting approach. One criticism: The paper mentions that compile times max out at 1.1ms "for the most complex function" in the benchmark (AES), and therefore it is sufficient to just compile everything. However, those benchmar
90.
by int3 13y ago
Technically these are still unhygienic macros, because it relies on the programmer's carefulness to avoid accidental capture. Hygienic macros prevent capture by default. Still, nice work :) It'll be great to eventually have both t

More ›