Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @jubitaneja
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @jubitaneja
-
Prikvačeni tweet
Finally, got my paper accepted at CGO 2020. I'm grateful to my advisor,
@johnregehr for supporting and guiding me throughout this journey. Thanks to @hyperoptimizer for an amazing collaboration. Also, thanks to the anonymous reviewers for their valuable feedback.
https://twitter.com/johnregehr/status/1215744947678105601 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Jubi Taneja proslijedio/la je Tweet
99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!
#googlemapshacks http://www.simonweckert.com/googlemapshacks.html …pic.twitter.com/6KcMm1XgAF
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
Why do I need to bother teaching proof assistants when I can get my graphics colleagues to do it? "Projective Geometry via Interactive Proof Assistants" http://cs.brown.edu/courses/info/csci1951-d/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
here's a fun batch of nops from souper the common cases are -(-x) and (x*2)/2 but there are a few pretty surprising and weird ones hiding in there!https://gist.github.com/regehr/c66e2c14299a8761ebf8635712cf769f …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
The panel is on YouTube! Stay tuned for highlights sometime after POPL. Thanks all for making this great!https://youtu.be/2M2ZWNzpzkE
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
It's official! "Modern Systems Programming with Scala Native" is 100% done and going into print: https://pragprog.com/book/rwscala/modern-systems-programming-with-scala-native … I'm so excited to share
@scala_native with more folks, and for the broader Scala community to see the power of low-level programming in Scala!Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
new blog post stemming from
@jubitaneja's work, this one mentions a few places where the precision of LLVM's demanded bits analysis could be tuned up https://blog.regehr.org/archives/1714Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
We (
@serg_delft) just opened our software testing lecture notes. It currently contains 14 full chapters, 52k words, 63 videos, and 82 exercises. License: CC-BY-NC-SA. Feel free to use it! https://sttp.siteHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
Camera-ready version of our VMCAI paper on exploring multi- and cross-language (think C+Rust) verification with SMACK is out. Check out Jack (JJ) Garzella's (undergraduate that spearheaded this work!) talk tomorrow at VMCAI.
#vmcai20https://soarlab.org/publications/2020_vmcai_gbhr/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
Announcing better support for fuzzing with structured inputs in Rust!
New releases of `cargo fuzz`, `libfuzzer-sys`, and `arbitrary` better support writing fuzz targets that take well-formed instances of custom input types.
Details: https://fitzgeraldnick.com/2020/01/16/better-support-for-fuzzing-structured-inputs-in-rust.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
so as a little side project I've been trying to synthesize abstract transfer functions for the "known bits" domain that LLVM leans heavily on. a fun finding is that I can get a maximally precise function for subtracting known bits!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
Beyond Debug Information: Improving Program Reconstruction in LLDB using C++ Modules https://hdl.handle.net/20.500.12380/300037 … 2019 Raphael Isemann (
@Teemperor)#LLVM#LLDBpic.twitter.com/wzA312Q3tY
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Omg!! I just saw this beautiful ring around the full moon!
pic.twitter.com/Svsa4fI0vs
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
For 2020 I'm doing a 1 C++ Best Practice per retweet thread! I wrote my first blog article about C++ best practices in 2007. In many ways I've been repeating myself over and over again for the last 13ish years. And very little of what I say is novel. Thread follows:
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jubi Taneja proslijedio/la je Tweet
as educators we often don't do a great job teaching debugging. this is my favorite book on the topic: https://www.amazon.com/Debugging-Indispensable-Software-Hardware-Problems/dp/0814474578/ … cc
@pgbovinePrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
So courageous! As a beginner in research, time to take lesson for the lifetime.https://twitter.com/RetractionWatch/status/1212843055809732612 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
And, the one subject that I have been married to in this decade is COMPILERS. Learning bit-by-bit where somedays are 0 and some are 1.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I have met SO many people in this decade who helped me grow personally and technically. Thank you so much everyone who has been part of my life!
Looking forward to another exciting year and a decade.
Happy New Year!!
Prikaži ovu nitHvala. 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.