Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @craigdissel
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @craigdissel
-
Prikvačeni tweet
Announcing Haybale, a symbolic execution engine for LLVM IR written in
@rustlang. 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! https://crates.io/crates/haybalePrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
For perspective, since China first reported it Dec. 30, the coronavirus has killed 305 people worldwide while car crashes have killed about 125,000.https://twitter.com/business/status/1223829695252385794 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
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!https://twitter.com/mattmight/status/1219846886984749057 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
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:pic.twitter.com/zJvtjBwcbq
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
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.*
#academicpublishinghttps://twitter.com/DevilleSy/status/1216428583624855552 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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!https://github.com/PLSysSec/haybale …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
[User requests feature already in product] Junior dev: "lol dumb user" Staff dev: "Closed - fixed" Senior dev: <opens usability bug>
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Grad students sometimes have fun. Unsolved Problem on My Mind, with apologies to Ariana Grande and Pentatonixhttps://www.youtube.com/watch?v=gts5bJlh1Lw …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 (https://crates.io/crates/boolector …).https://twitter.com/craigdissel/status/1152061131835363328?s=20 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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:https://github.com/PLSysSec/haybale …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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 followhttps://twitter.com/emeryberger/status/1191458987335655426 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
From time to time, I like to point out C's weirdness to my students. This example was taken from
@gustedt's excellent book, Modern C.pic.twitter.com/rlHrYNrobL
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
"Hey officer, how did the hackers escape?" No idea, they just ransomware.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen 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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Craig Disselkoen 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.”https://www.nytimes.com/2019/09/14/sunday-review/brett-kavanaugh-deborah-ramirez-yale.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Some of the best AI-generated "facts" about the Rust programming languagehttps://twitter.com/tsion/status/1167027963176472577 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.