Steffen Smolka
@steffensmallcar
Followers
224
Following
560
Statuses
182
Engineer at #google by day, #ocaml hax0r by night. PhD in programming languages from #cornellcis with @natefoster.
Palo Alto
Joined November 2012
Come work with the #P4 Team! We apply #formalmethods to make @Google 's network #infrastructure more reliable, predictable, and faster to evolve. We have an incredible team, including @dilorenzo_j and @Ali_Kherad. Check out our recent talks to learn more:
2
7
28
@ThePrimeagen If you're gonna go for a shitty generic name, at least have the intellectual honesty to go with "kitchen_sink".
0
0
0
@satnam6502 @clattner_llvm This is the second time I see @dvytin unexpectedly today! First time was at breakfast at Google.
0
0
4
RT @P4lang: Present your P4 related projects, ideas and perspectives at the 2024 P4 Workshop on October 3rd. Deadline to submit proposals f…
0
1
0
1
0
2
0
0
1
@jeanqasaur There are people who are excellent story tellers in writing, but less so on-the-spot in conversation. This could make storytelling hard to assess in an interview.
0
0
0
RT @uhoelzle: Today’s hyperscale data centers rely on ultra-high-bandwidth Ethernet networks that combine many switch chassis into a large,…
0
46
0