kmavm

16 ms·

91.
by kmavm 14y ago
I am 35 and have a wife and family. And it is not my first time at the tech company rodeo either.
92.
by kmavm 14y ago
Because I find it fun. If you don't, that's perfectly cool, too.
93.
by kmavm 14y ago
Hey, my name is Keith Adams, and I'm an engineer at Facebook. I work on the HipHop virtual machine, a dynamic compiler and runtime for the PHP language. It is the hardest challenge I've tackled professionally, and the people I'm working wit
94.
Cbueno's Lauren Ipsum: a fairy tale of computer science(gizmodo.com)
1 points by kmavm 14y ago|0 comments
95.
by kmavm 14y ago
> there are more automobiles worldwide than there are Facebook users. http://www.wolframalpha.com/input/?i=how+many+cars+are+on+th...
96.
by kmavm 15y ago
The HipHop compiler will optimize much, much more effectively if non-trivial eval() is disallowed, as it is in FB's production code. Obviously, since it's an ahead-of-time system, complex code in eval() will run slowly. The HipHop virtual m
97.
by kmavm 15y ago
Which canonical PHP.net implementation? They differ across minor revisions, in intentional and unintentional ways. In the absence of a standard, saying what is and is not PHP is necessarily a practical matter: useful PHP implementations are
98.
by kmavm 15y ago
"Prosaic license"? If the essay was written in iambic pentameter, it certainly escaped me. Anyway, "C++ macro language with striking similarities" has a pretty precise technical meaning, which sane, literate people might actually mistake.
99.
by kmavm 15y ago
1) Great question! Yes, it is super-common. Most of our type inferences on local variables are actually of form "Null-or-X". So we can emit code that skeptically checks for Null, but then goes ahead and assumes X otherwise. 2) I'm not claim
100.
by kmavm 15y ago
"(And strictly speaking, Facebook isn’t written in PHP; it’s written in a C++ macro language with a striking resemblance.)" I'm a Facebook engineer who works on the HipHop compiler and HipHop virtual machine. It's in PHP, absolutely full st
101.
by kmavm 15y ago
I haven't done any work on the type inference stuff, so my understanding is second-hand. My peers who actually know what they're talking about are working on a more complete write-up, so stay tuned. 1. (Type inference.) The compiler's type
102.
by kmavm 15y ago
The HHVM JIT isn't in (much of) production yet, because it isn't fast enough yet. Once we have high confidence it can provide some perf wins, we'll go ahead and move over to it. Even if it were perf neutral, there is some virtue to having d
103.
by kmavm 15y ago
This is a long and deep subject. I wouldn't say that we've "continued on the PHP path." I'd say that we've refused to throw out the precious PHP parts of our application, while not being afraid to use more appropriate languages across Thrif
104.
by kmavm 15y ago
(I work on the HipHop compiler.) You start by compiling PHP source. Simple PHP statements take a lot more space in the binary than intuition suggests. E.g.: if ($a == $b) ... would seem like it should be cmp $rax, $rbx jz ... But!
105.
Canada Commends Facebook’s Privacy Progress(techcrunch.com)
1 points by kmavm 15y ago|0 comments
106.
Interview with Facebook's Andrei Alexandrescu(serversidemagazine.com)
134 points by kmavm 15y ago|24 comments
107.
The Rise and Development of Illumos(youtube.com)
10 points by kmavm 15y ago|0 comments
108.
by kmavm 15y ago
WRT Self: some of Agesen's work on Self work for doing type inference on conventional, ahead-of-time compilation, and they got pretty good results this way! More interestingly, the opportunities the AOT compiler found were different than th
109.
by kmavm 15y ago
Pretty close. Once we've translated to machine code, the interpreter doesn't do type checks; it blindly enters the translation cache for anything that has a translation, and the guards live in the tracelets themselves. The tracelets directl
110.
by kmavm 15y ago
Of course. I have kind of a difficult line to walk here; I would like to be respectful to both the authors of the HPHPc compiler, which is a really impressive achievement, and to the many many efforts past and present at running dynamic lan
111.
by kmavm 15y ago
HHVM is a follow-on effort to the static compiler. We got started long after HPHPc was in production; I started playing around in early 2010, and three of us (Jason, myself, and Drew Paroski) started earnestly putting in full-time work in s
112.
by kmavm 15y ago
This might be getting less interesting to the general audience, so we can take it offline if you have any more questions. I'm my initials (Keith Michael Adams) @ fb.com. The static compiler that preceded HHVM was started in a different time
113.
by kmavm 15y ago
Hey, I work at Facebook on HHVM. I actually view Facebook as the opposite of what you're describing. VMware, for instance, really did have a bimodal engineering organization; some pieces were amazing, but many were so-so. That can have its
114.
by kmavm 15y ago
All engineers, those who work on HHVM like me included, spend their lives in a run-debug cycle trying to "make this darned thing work," whether "this darned thing" is a language runtime or the new photo uploader. The tighter you can make th
115.
by kmavm 15y ago
(I work on HHVM.) We've dipped our toes into the waters of changing the language a bit. Setting the Eval.EnableHipHopSyntax and Eval.EnableHipHopExperimentalSyntax flags in HipHop enables a few differences, the most notable of which is a Py
116.
When Big Companies Are a Good Idea(yosefk.com)
49 points by kmavm 15y ago|15 comments
117.
Anatomy of Facebook(facebook.com)
20 points by kmavm 15y ago|0 comments
118.
Things You Should Do Now(phabricator.com)
2 points by kmavm 15y ago|0 comments
119.
Mike Shaver: Why Facebook?(shaver.off.net)
2 points by kmavm 15y ago|0 comments
120.
by kmavm 15y ago
> VMware was probably based on M Rosenblum's graduate work on SimOS, which was GPL. I worked on VMware's virtual machine monitor from 2000 to 2009. Mendel's students' work on SimOS had nothing at all to do with VMware, full-stop; SimOS

More ›