Craig Disselkoen

@craigdissel

PhD student @ UC San Diego CSE; former intern @ Mozilla; he/him. Computer security + whatever else I feel like tweeting about

Vrijeme pridruživanja: svibanj 2013.

Tweetovi

Blokirali ste korisnika/cu @craigdissel

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @craigdissel

  1. Prikvačeni tweet
    25. stu 2019.

    Announcing Haybale, a symbolic execution engine for LLVM IR written in . Haybale can analyze programs written in C/C++, Rust, or any other language which compiles to LLVM IR. Working on this has been great fun, and I'm excited to release 0.1.0!

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    2. velj

    For perspective, since China first reported it Dec. 30, the coronavirus has killed 305 people worldwide while car crashes have killed about 125,000.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    24. sij

    We're at 2600 signatures to send the message that taxpayers deserve access to the research they fund!! This one policy can save lives *and* unlock American innovation. Please keep spreading this to your networks!

    Poništi
  4. proslijedio/la je Tweet
    12. sij

    The funny thing about AIDungeon is due to all the GPT-2 pre-training on swaths of random web text, you can create an adventure game about literally anything. Here's one about installing OpenCV from source:

    Poništi
  5. proslijedio/la je Tweet
    16. sij

    Cows make milk. They milk themselves. Other cows check the milk (for free). Cows - get this - PAY THE FARMER to take the milk away. Then the farmer (you won't believe this, honestly) sells the milk *back to the cows.*

    Prikaži ovu nit
    Poništi
  6. 9. sij

    Haybale version 0.2.0 is out! Now with support for: - LLVM 9 - LLVM extractvalue, insertvalue, invoke, resume, and landingpad instructions - C++ exceptions - Rust panics Plus, now analyze C++ and Rust code using demangled function names!

    Poništi
  7. proslijedio/la je Tweet
    27. svi 2016.

    [User requests feature already in product] Junior dev: "lol dumb user" Staff dev: "Closed - fixed" Senior dev: <opens usability bug>

    Poništi
  8. 6. pro 2019.

    Grad students sometimes have fun. Unsolved Problem on My Mind, with apologies to Ariana Grande and Pentatonix

    Poništi
  9. 25. stu 2019.

    Haybale is built using the `llvm-ir` Rust crate which I released last July (see thread below) and the Boolector SMT solver, via the Rust `boolector` safe bindings which I also maintain ().

    Prikaži ovu nit
    Poništi
  10. 25. stu 2019.

    Many more details, introductory examples, etc can be found in the README. As always, feedback is entirely welcome, either in comments here or in issues/PRs on the GitHub repository:

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet

    Hillary had a bad cold and the media was fitting her for a coffin. Trump is rushed to Walter Reed on a Saturday, transparently lies about why, then cancels all his events by 9am on Sunday and no one's talking about his health. This is what institutional misogyny looks like.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    16. stu 2019.
    Prikaži ovu nit
    Poništi
  13. 7. stu 2019.

    Just watched this talk and it was fantastic. Nuggets like "we ran this program as a different user and it was significantly slower" or "we changed one character in a popular benchmark and got 9% speedup". Also the presentation is great - keeps attention and easy to follow

    Poništi
  14. proslijedio/la je Tweet
    3. stu 2019.

    From time to time, I like to point out C's weirdness to my students. This example was taken from 's excellent book, Modern C.

    Poništi
  15. proslijedio/la je Tweet
    18. lis 2019.

    Periodic reminder that your public ssh keys live at github dot com slash username.keys This is fine, but it always throws some people for a loop.

    Poništi
  16. proslijedio/la je Tweet
    6. lis 2019.

    "Hey officer, how did the hackers escape?" No idea, they just ransomware.

    Poništi
  17. proslijedio/la je Tweet
    1. lis 2019.

    its weird to me how, in computers, we have a thing called a "lock" and things called "keys", but they are totally unrelated

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet

    The House has passed 250+ bills this session including gun safety legislation, election security, prescription drugs, DACA protections among others. McConnell has basically let it all die except for must-pass aprops bills

    Poništi
  19. proslijedio/la je Tweet

    “Ramirez’s legal team gave the F.B.I. a list of at least 25 individuals who may have had corroborating evidence. But the FBI interviewed none of them, though we learned many of these potential witnesses tried in vain to reach the F.B.I. on their own.”

    Poništi
  20. 30. kol 2019.

    Some of the best AI-generated "facts" about the Rust programming language

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·