Francois Garillot

@huitseeker

Dabbling with streams, distributed data, in close proximity to ☕🦀. Co-author 📖

Pacific Northwest
Vrijeme pridruživanja: kolovoz 2011.

Tweetovi

Blokirali ste korisnika/cu @huitseeker

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

  1. proslijedio/la je Tweet

    The output for `fiat-crypto` is now autopublished as a crate:

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

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

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

    PSA: If you have not been fortunate enough to see 's talk on how open-source is facing challenges — contributor burnouts, low bus factors, growing training needs — here's a writeup with all the references and data:

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

    Rust Montreal starting off with talking about how we can confidently use more types! 💪

    Poništi
  5. 19. pro 2019.

    Trait specialization is so challenging to implement, yet so useful as a library designer, e.g. to represent prioritized choices of computational backends for equivalent artithmetic behavior in crypto. I share that ordered wish list.

    Poništi
  6. proslijedio/la je Tweet
    18. pro 2019.
    Odgovor korisniku/ci

    you cry a lot first.. then you refactor, struggle, shout, scarify yourself... then you reach a state in which you know something is broken somewhere but you don't know what and where so you push it anyway and tell everyone it works.

    Poništi
  7. proslijedio/la je Tweet
    1. pro 2019.
    Poništi
  8. proslijedio/la je Tweet
    25. stu 2019.

    Open PhD, postdoc, and intern positions in my group for the RustBelt and Iris projects! Application deadline: December 31, 2019.

    Poništi
  9. proslijedio/la je Tweet
    20. stu 2019.

    is hiring again! Experts in robotics, AI/ML, 🥰welcome. Help find ppl to nerd out with me in Montreal🤖 cc:

    Poništi
  10. 15. stu 2019.
    Poništi
  11. proslijedio/la je Tweet
    12. stu 2019.

    This is pretty cool and important stuff on full working timing attacks on real-life TPMs; paper Intel TPM chips: CVE-2019-11090, ST's TPM chips: CVE-2019-16863. In this case a vulnerability website is entirely appropriate:

    Poništi
  12. 8. stu 2019.
    Poništi
  13. proslijedio/la je Tweet
    5. stu 2019.

    pretty convincingly demolishes the “Libra is architecturally unsound” piece.

    Poništi
  14. 3. stu 2019.

    In Coq, I may have named the occasional rewriting Lemma "History". Prototypal views get named "cortical_electrodes", just in case applying them doesn't get the neural reaction I hoped for.

    Poništi
  15. proslijedio/la je Tweet
    23. lis 2019.
    Odgovor korisniku/ci

    PL *is* HCI!

    Poništi
  16. proslijedio/la je Tweet
    18. lis 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    "Haskell is real," Barack Obama said in his inauguration speech earlier. "Functional programming is real. Typeclasses are real, and strong, and they're my friend."

    Poništi
  17. proslijedio/la je Tweet
    15. lis 2019.

    Are you as excited as we are that will be back at Scale By the Bay this November? This time he'll cover Rust from a perspective of a Scala developer. Don't miss this talk!

    Poništi
  18. proslijedio/la je Tweet
    14. lis 2019.

    Reading this great book on Spark Streaming by my awesome colleague ! thanks Gerard!

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

    rocket engineer: here it is. we built the engine in one sprint intern: did you test it yet? rocket engineer: nah we'll do that once it's launched intern: ... does it have a manual? rocket engineer: *gestures to sharpie scribbles on the rocket* it's self-documenting

    Poništi
  20. proslijedio/la je Tweet
    18. ruj 2019.

    My project "CertiChain: A Framework for Mechanically Verifying Blockchain Consensus Protocols" has been funded by NSOE-TSS. Get in touch if you are interested in a postdoc on verification, program synthesis, and mechanised proofs!

    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:

    ·