Tweetovi

Blokirali ste korisnika/cu @h_poncedeleon

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

  1. We have a second researcher in the family 👩‍🔬

    Poništi
  2. proslijedio/la je Tweet
    19. sij

    Had to verify. And yes. Kernighan and Ritchie really did this. TIL :)

    Prikaži ovu nit
    Poništi
  3. 19. sij

    This is really good! We recently started using the llvm2bpl translation to handle C code and it saved us a lot of development time

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

    So, SHA-1 seems to be fully broken now... Cool work by Gaëtan Leurent and Thomas Peyrin:

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

    This kind of stuff is why artifact evaluation should become the norm

    Poništi
  6. 3. sij

    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 ☹️

    Poništi
  7. proslijedio/la je Tweet
    19. pro 2019.

    Congratulations to all participants and winners of SV-COMP 2020! Score-based quantile plot for Overall is here:

    Poništi
  8. Proud to see our Dartagnan tool there, even if there is much for us to improve in the future

    Poništi
  9. proslijedio/la je Tweet
    16. pro 2019.

    Seems like a great idea! Submit your paper if you want for someone to try to replicate your results.

    Poništi
  10. It's finally oficial ... Happy to announce that I'll joining in January to work with

    Poništi
  11. The logo of our dartagnan tool made it to my farewell present 😅

    Poništi
  12. This article reminds in a way to "who guards the guards" by . A nice approach to find bugs in software model checkers

    Poništi
  13. proslijedio/la je Tweet
    18. stu 2019.

    I want to start this trend in academic papers:

    Poništi
  14. proslijedio/la je Tweet
    15. stu 2019.
    Poništi
  15. I'll definitely read this again before writing the experiment section of my next paper

    Poništi
  16. Happy to announce that I'll be serving as jury member of 2020 representing Dartagnan

    Poništi
  17. proslijedio/la je Tweet
    5. stu 2019.

    Pretty interesting. This isn’t difficult or even awkward for me to read. Brain is a surprising thing.

    Poništi
  18. proslijedio/la je Tweet
    3. stu 2019.
    Odgovor korisniku/ci

    I have an especial hatred of the Pumping Lemma, which prevents me from appreciating its name. I wrote a rant about it once:

    Poništi
  19. proslijedio/la je Tweet
    2. lis 2019.

    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!!!

    Prikaži ovu nit
    Poništi
  20. Sometimes your just enter to a storage room and randomly find a cool paper there

    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:

    ·