Douglas Creager

@dcreager

Computer scientist, formal methodist, PL dilettante, frozen pizza connoisseur. Managing the Semantic Code team . Co-organizer .

Southborough, MA
dcreager.net
Joined June 2007
382 Photos and videos Photos and videos

Tweets

You blocked @dcreager

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @dcreager

  1. Pinned Tweet
    Feb 4

    The video for my talk about 's Code Navigation feature is live! Check it out if you want to learn more about how it works, and what our future plans look like.

    3 retweets 11 likes
    Undo
  2. Retweeted
    12 hours ago

    🚨LIFE HACK: Run Terminal full screen in GitHub codespaces and then just open vim!

    Vim in Codespaces in GitHub in Safari
    3 replies 2 retweets 32 likes
    Undo
  3. Retweeted
    Jul 29

    See what , , and I had to say about the latest programming language rankings. RedMonk SlackChat: June 2020 Programming Language Rankings

    7 retweets 12 likes
    Undo
  4. Jul 29

    Some really great database optimization tips in here!

    Recommended Read: Some SQL Tricks of an Application DBA
    1 reply 3 likes
    Undo
  5. Jul 26

    I love a thread that makes me say “oh snap” and also “I agree with most of this”

    Hot Takes on Programming Languages and Concepts Sunday A thread
    Show this thread
    2 replies 6 likes
    Undo
  6. Retweeted
    Jul 24

    If you are thinking about how to go about handling design docs internally, you might be interested in the path we chose :) so far it's working great!

    We wrote up our process for Requests for Discussion after some folks requested it. Here it is!
    8 replies 23 retweets 108 likes
    Undo
  7. Jul 24

    “meatbags”

    I’m Canadian. It doesn’t feel like it’s mine. I prefer “friends,” with my team at least, and I don’t have many opportunities to address a larger group.
    1 reply 5 likes
    Undo
  8. Retweeted
    Jul 22

    The Scottish Programming Languages and Verification Summer School is still most definitely a thing. It's free. It's virtual. It's here:

    1 reply 35 retweets 68 likes
    Undo
  9. Jul 22

    Spread the word, all you fanatics!

    Second academic I've met who was (pleasantly!) surprised by the existence of "Papers We Love". Is it simply unknown within the academic CS community? You'd think they'd be all over it!
    6 retweets 8 likes
    Undo
  10. Retweeted
    Jul 22

    What a great initiative! "Papers We Love is a repository of academic computer science papers and a community who loves reading them."

    Replying to @ProfPaulRalph
    I suspect there are, but I don't know for certain. There's also the "Papers We Love" meetups, which are very popular:
    8 retweets 15 likes
    Undo
  11. Retweeted
    Jul 22

    I am very excited to announce that a sneak preview of our latest draft titled "Matchmaker Paxos: A Reconfigurable Consensus Protocol" is now available online. Here's a thread on why I'm excited by this research direction [1/n]

    8 replies 129 retweets 405 likes
    Show this thread
    Show this thread
    Undo
  12. Retweeted
    Jul 22

    - Next steps for single ownership and RAII. (C++/Vale/Rust)

    1 retweet 2 likes
    Undo
  13. Jul 21

    I just had a disturbing thought. Is pâté de campagne just the same thing as livermush?

    1 reply
    Undo
  14. Retweeted
    Jul 21

    What's your favorite piece of code you wrote purely for your own use?

    58 replies 4 retweets 31 likes
    Show this thread
    Show this thread
    Undo
  15. Retweeted
    Jul 21

    sorry the point goes to Velveeta... both for their response and for their epic twitter handle

    Today will go down as the day I got drawn into an epic Twitter battle between a Microsoft employee and a "cheese" company.
    Show this thread
    7 replies 17 retweets 169 likes
    Undo
  16. Jul 21

    This is a great writeup about NEL! If you want to learn more, we have an paper that goes into more detail about NEL's rationale and design:

    A dive into serverless deployment of Network Error Logging from hooman will probably enjoy :)
    1 retweet 6 likes
    Undo
  17. Retweeted
    Jul 20

    Syntax highlighting is a waste of an information channel: A very spicy title with a not-so-spicy (and relevant) actual take

    39 replies 160 retweets 605 likes
    Show this thread
    Show this thread
    Undo
  18. Retweeted
    Jul 19

    The social distancing markers at ’s in Cambridge are in Smoots!

    3 replies 32 retweets 155 likes
    Show this thread
    Show this thread
    Undo
  19. Retweeted
    Jul 16

    Good morning this is happening in 5 hou- wait this is happening in five hours um oh gosh goodness gracious uh well come to and watch me wax non-poetic about C and text! RANTS INCLUDED AT NO ADDITIONAL CHARGE!!!

    Deep C Diving Session from C++ on Sea Website.
    It's happening! There's a talk about C, how to make a text API in it, and how to make it extensible and not require crazy gymnastics from you or your compiler using 15 year old techniques! Also, we roast YouTube Armchair Commentators 🔥⛺️!
    Show this thread
    5 retweets 21 likes
    Undo
  20. Jul 12

    Tidal flats are great for social distancing

    4 likes
    Undo

@dcreager hasn't Tweeted yet.

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

    ·