|
@nelhage
@
nelhage
San Francisco
|
|
I do stuff with computers sometimes. livegrep; reptyr; accidentallyquadratic.tumblr.com
pronoun.is/he/him
|
|
|
11.246
Tweetovi
|
841
Pratim
|
2.978
Osobe koje vas prate
|
| Tweetovi |
|
@nelhage
@nelhage
|
9 h |
|
Yeah, I agree that I don't have an enormously strong theory here, just a lot of intuition. Probably worth thinking through whether I can express that intuition better.
|
||
|
|
||
|
@nelhage
@nelhage
|
10 h |
|
To hell with i128, the real power move is doubling the size of all your pointers.
|
||
|
|
||
|
@nelhage
@nelhage
|
10 h |
|
Parser is an amazing gem and we got and get a ton of value out of it, I don't want to shit talk it at all. But yeah the comparison is stark :/
|
||
|
|
||
|
@nelhage
@nelhage
|
13 h |
|
I'm curious how you feel about the SF MUNI here. I've had pretty pleasant experiences using their bike racks, although I can certainly imagine it being better.
|
||
|
|
||
|
@nelhage
@nelhage
|
14 h |
|
ICYMI: re-upping for the weekday morning crew. Some musings on software performance:
blog.nelhage.com/post/reflectio… twitter.com/nelhage/status…
|
||
|
|
||
|
@nelhage
@nelhage
|
15 h |
|
We do. You can find the core AST definitions here: github.com/sorbet/sorbet/…
Vanilla C++ classes with RTTI and `unique_ptr` to children.
|
||
|
|
||
|
@nelhage
@nelhage
|
15 h |
|
shit dude, congrats! That's awesome for you and for Signal both!
|
||
|
|
||
|
@nelhage
@nelhage
|
3. velj |
|
I wrote some thoughts on software performance: blog.nelhage.com/post/reflectio…
|
||
|
|
||
|
@nelhage
@nelhage
|
30. sij |
|
Lazytwitter: Please link me your favorite hot takes or takedowns (or defenses?) of the term "full-stack engineer"
|
||
|
|
||
|
@nelhage
@nelhage
|
30. sij |
|
I think you're maybe thinking of channel9.msdn.com/Blogs/Seth-Jua… ?
|
||
|
|
||
|
@nelhage
@nelhage
|
29. sij |
|
Especially if so, have you read the gg paper? (usenix.org/system/files/a…)
There's a bunch of pieces there, but one of the neat ones is that they parallelize C/C++ build graphs much better than distcc by cleverly distributing the work of _generating the build DAG itself_
|
||
|
|
||
|
@nelhage
@nelhage
|
29. sij |
|
I'm reading between the lines, but I'm inferring that you're going to support dynamic graph generation? That's always felt like one of Bazel's deepest shortcomings to me.
|
||
|
|
||
| @nelhage proslijedio/la je tweet | ||
|
Binyamin Appelbaum
@BCAppelbaum
|
27. sij |
|
Historic preservation, in practice, is not about preserving history. It is about preserving the lifestyle of an affluent urban elite. nytimes.com/2020/01/26/opi…
|
||
|
|
||
|
@nelhage
@nelhage
|
28. sij |
|
Google Flights seems to be showing me JetBlue Blue Basic (their basic economy product) as normal economy, which was a frustrating bait-and-switch. Anyone else seeing that?
|
||
|
|
||
|
@nelhage
@nelhage
|
26. sij |
|
It's hard for me to imagine a better team to have started the project with. @darkdimius knows as much about type system and high-performance compiler implementation as anyone I know, @ptarjan worked on Hack at Facebook, and I had tons of Stripe context.
|
||
|
|
||
|
@nelhage
@nelhage
|
26. sij |
|
Aw, thanks, Avi!
I do want to emphasize that Sorbet was very much a team effort -- me, @darkdimius, and @ptarjan on the core typechecker -- as well as @chofter for managing the project kickoff, and all our other contributors.
|
||
|
|
||
| @nelhage proslijedio/la je tweet | ||
|
Avi Bryant
@avibryant
|
26. sij |
|
1/ For a little over a year, a few years back, @nelhage + Christian Anderson + I were a three-member "Technical Practices Team" tasked with guiding overall technical direction for Stripe. twitter.com/nelhage/status…
|
||
|
|
||
| @nelhage proslijedio/la je tweet | ||
|
Matt Fleming
@fleming_matt
|
24. sij |
|
The surest way to get developers to make code faster is to put it into their workflow. (The thing about kernel developers optimising kernel builds times is 100% true.) twitter.com/nelhage/status… pic.twitter.com/v0iX0oh1ey
|
||
|
|
||
| @nelhage proslijedio/la je tweet | ||
|
John Regehr
@johnregehr
|
24. sij |
|
open question for compiler people:
what should be taught in a modern undergrad compiler class?
I'm revamping / modernizing Utah's version of this and would appreciate feedback
|
||
|
|
||
|
@nelhage
@nelhage
|
24. sij |
|
You weren't the only one with that feedback, so I edited the title :)
|
||
|
|
||