Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @h_poncedeleon
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @h_poncedeleon
-
We have a second researcher in the family
pic.twitter.com/oEynH39pxa
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
Had to verify. And yes. Kernighan and Ritchie really did this. TIL :)pic.twitter.com/KyRqgzRTr2
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is really good! We recently started using the llvm2bpl translation to handle C code and it saved us a lot of development timehttps://twitter.com/soarlab/status/1218662697992105985 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
So, SHA-1 seems to be fully broken now... Cool work by Gaëtan Leurent and Thomas Peyrin: https://eprint.iacr.org/2020/014
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
This kind of stuff is why artifact evaluation should become the normhttps://twitter.com/gannimo/status/1213738110149902337 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Conferences tend to open the registration before making available the list of accepted papers. Sometimes it feels like collecting money is more important than promoting research
https://twitter.com/cc2020conf/status/1213058762111700992 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
Congratulations to all participants and winners of SV-COMP 2020! Score-based quantile plot for Overall is here:pic.twitter.com/rsOgBzIZp9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Proud to see our Dartagnan tool there, even if there is much for us to improve in the futurehttps://twitter.com/beyer_dirk/status/1207924562341564417 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
Seems like a great idea! Submit your paper if you want for someone to try to replicate your results.https://twitter.com/MeiNagappan/status/1206475652737585152 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It's finally oficial ... Happy to announce that I'll joining
@FI_CODE in January to work with@johannes_kinderHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The logo of our dartagnan tool made it to my farewell present
pic.twitter.com/h8OYBFAHC6
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This article reminds in a way to "who guards the guards" by
@alastair_d_reid. A nice approach to find bugs in software model checkers https://dl.acm.org/citation.cfm?id=3338932 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hernan Ponce De Leon proslijedio/la je Tweet
Why artifacts fail! https://2019.splashcon.org/getImage/orig/accpub-OOPSLA2019.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'll definitely read this again before writing the experiment section of my next paperhttps://twitter.com/wicko3/status/1194992664468480000 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Happy to announce that I'll be serving as jury member of
#SVCOMP 2020 representing Dartagnanhttps://github.com/hernanponcedeleon/Dat3M …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
Pretty interesting. This isn’t difficult or even awkward for me to read. Brain is a surprising thing.pic.twitter.com/rSbzzC4xkk
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
I have an especial hatred of the Pumping Lemma, which prevents me from appreciating its name. I wrote a rant about it once:https://bosker.wordpress.com/2013/08/18/i-hate-the-pumping-lemma/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hernan Ponce De Leon proslijedio/la je Tweet
HOLY COW. 100K views. 4th most popular Strange Loop video ever and it's only been a couple of weeks! Faculty members, get out to those dev conferences!!!https://www.youtube.com/watch?v=r-TLSBdHe1A …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sometimes your just enter to a storage room and randomly find a cool paper therepic.twitter.com/oS6DmQ7Q3o
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.

