Antoine Martin

@alarsyo

Model checking, compilers. Rust, C++, CUDA

Paris, France
Vrijeme pridruživanja: ožujak 2012.

Tweetovi

Blokirali ste korisnika/cu @alarsyo

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

  1. proslijedio/la je Tweet
    14. sij

    always fascinated by this "let's try a bunch of memcpys and see which one is fastest" thing linux does while booting

    Poništi
  2. proslijedio/la je Tweet

    👋Hey all I'm finally happy to announce 🥳The initial release of dev-suite, a cross platform collection of tools designed to redistribute distributed work and help remove vendor lock in from large corporations 🎉Plus it's all written in !

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    31. pro 2019.

    If you are a C or C++ programmer somehow still on the fence about whether or not you should take seriously, consider this piece from Cliff Biffle an absolute must-read:

    Poništi
  4. proslijedio/la je Tweet
    6. pro 2019.

    Today we launch an early alpha version of Makepad basic! Play with Rust+Wasm live. Compile and run the makepad desktop application for mac/win/linux yourself with Rust:

    Poništi
  5. proslijedio/la je Tweet
    Poništi
  6. proslijedio/la je Tweet
    Poništi
  7. proslijedio/la je Tweet
    18. stu 2019.

    I just realized that regex substitution follows USB connector physics: - It doesn't work, escape all the parentheses. - It doesn't work, unescape all the parentheses. - It now works.

    Poništi
  8. proslijedio/la je Tweet
    31. lis 2019.

    Zig catching undefined behavior in C code

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    16. lis 2019.

    Syna v0.15.2 was just released with the latest fixes. Keep the feedback, ideas and especially contributions coming: To get started: Thanks to making it possible.

    Poništi
  10. proslijedio/la je Tweet
    16. ožu 2019.

    La liste des finalistes est disponible : Merci encore aux centres qui nous ont accueillis pour les épreuves régionales et félicitations aux finalistes !

    Poništi
  11. proslijedio/la je Tweet
    28. svi 2018.

    Facebook actually put *fake red dots* to try and make you think you have messages even if you don't, so you agree to their tracking more hastily. Read full complaint against Facebook: - with tricks like that, sorry Facebook, you deserve to be hit hard.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    25. svi 2018.

    Because of , USA Today decided to run a separate version of their website for EU users, which has all the tracking scripts and ads removed. The site seemed very fast, so I did a performance audit. How fast the internet could be without all the junk! 🙄 5.2MB → 500KB

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    2. lis 2017.

    ‘No Way To Prevent This,’ Says Only Nation Where This Regularly Happens

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

    Or you could be curious and actually learn how computers work... will always help down the road.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    6. srp 2017.

    Password for the meta-data/fota.zip file present in some Samsung firmwares is "fotatest1234". Doesn't appear very useful, but there you go.

    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:

    ·