Media

  1. 28 Oct 2019

    Heard this song this morning -- so very good

  2. 3 Oct 2019
  3. 17 May 2019

    Dear , it'd be great if had a "label" filter

  4. 26 Apr 2019

    Latest video, about "representing types in rustc". This video is part of an experiment. The compiler team's learning WG will try to turn it into a rustc-guide chapter for others to read!

  5. 23 Apr 2019

    New video, starting to dive into how the chalk-engine crate works and its formal foundations

  6. 11 Apr 2019

    A few weeks back, and I had a really interesting conversation with Frederic Wagner about their work on "rayon-adaptive", a really cool new take on work stealing. We recorded it, and you can watch it here if you're interested

  7. 11 Apr 2019

    I love doodle, but it's so annoying that -- at least when calendar sync is enabled -- it "autoselects" all the times you are available. This is paricularly annoying for polls with lots of stuff in other time zones. Any ways to fix this?

  8. 15 Mar 2019

    Did a fun walkthrough today of the way that polonius and rustc are connected, as well as how the datafrog API works. You can watch it here:

  9. 14 Mar 2019

    Recording of the team sync with the Unsafe Code Guidelines group is now live!

  10. 6 Mar 2019

    The latest entry in the rustc lecture series, 's excellent introduction to miri + const evaluation in rustc, is now available on YouTube!

  11. 4 Mar 2019

    Big thank you to for ensuring the bike path is clear after it snows. Also, so beautiful.

  12. 31 Jan 2019

    New video in the rustc lecture series: talks about the Cranelift Compiler.

  13. 7 Nov 2018

    The MA election was not all I hoped for, but I am grateful for these results. Proud to be part of a state that overwhelmingly voted in favor of

  14. 6 Oct 2018

    We don't need anything too fancy.. I think about 33% should do it.

  15. 26 Jun 2018

    You know your PR has too many commits when GitHub is adding "2 hidden items. Load more..." to the list (from ). Sorry =)

  16. 23 Feb 2018

    As far as I can tell, this is the perfect song for my mood:

  17. 25 May 2016

    And now , walking us through the bootloader in intermezzos

  18. 25 May 2016

    Andrew Gallant aka burntsushi speaking to a packed house at the Boston meetup

  19. 22 Oct 2014

    getting dissertation award at

  20. 30 Mar 2014

    Definitely worth watching: (the others in the same class are too --- I've been working my way through)

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·