Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @_protz_
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @_protz_
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Made it to DC. Couldn't get a ticket to attend the impeachment so I'll stick with
@shmoocon instead.Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Denis is wise and is not on Twitter. But I'll be forwarding to him the oh-so-vital "tweet impression statistics" and whatnot.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
The corresponding research article, alas, is only in French: https://hal.inria.fr/hal-02320347v3/document … time to brush up your skills and parler français
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
For all your cryptographic needs (ahem, e.g., HACL*) use a formally verified, constant time-preserving C compiler!
@davidpichardie at#poplpic.twitter.com/kN4JTOxkT9
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks to all who attended and contributed thoughts and conversation to HASE 2020 and made it a great workshop! Now on to
#popl2020pic.twitter.com/pGSpmli8uY
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Too many lambdas in your POPL program? Consider registering for HASE https://popl20.sigplan.org/home/hase-2020 ! You'll even get to meet the mythical "practitioner" in a laid-back, interactive setting with an audience-driven agenda...!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
Now at
#36C3, @hashbreaker and @hyperelliptic talk about EverCrypt and formally verified cryptographic primitives, promoting formally verified crypto as the future for software implementations.pic.twitter.com/rfhtToswbK
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
What to know who will be talking about what? Check out the 2020 list of speakers here: https://www.shmoocon.org/2019/12/19/shmoocon-2020-speaker-line-up/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
New blog post! GitHub strange, or the weird repositories you find when you starting digging into commit data... with a cameo appearance by
@avsmhttps://jonathan.protzenko.fr/2019/12/08/github-investigations.html …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
When someone's bonus or promotion depends on them shipping a "spec" or a feature, it's hard for them to accept feedback that the whole thing is a bad idea and should be dropped.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
Yes, French GDP has grown more slowly than GDP here. Much of that is slower population growth. And you do need to ask, growth for whom. Most French live *better* than their US counterparts 2/ https://voxeu.org/article/economic-growth-us-tale-two-countries …pic.twitter.com/bZHydwLxM1
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Congratulations
@zx2c4! Thrilled to see verified cryptography finally landing in the Linux kernel. It's been a long road, but hopefully follow-ups will be easier.https://twitter.com/EdgeSecurity/status/1199689265891987457 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
Now that Frankenzinc has landed, v1 of the WireGuard patchset has been submitted upstream to Linux: https://lkml.org/lkml/2019/11/27/266 … https://lkml.org/lkml/2019/11/27/179 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
2009, Sept. 19th, commit message "Initial prototype". 10 years later, "Manually sort folders" is still the 4th most used addon for Thunderbird https://addons.thunderbird.net/en-US/thunderbird/addon/manually-sort-folders/statistics/?last=30 … -- the motivation to maintain it is gone but pull requests for fixes keep coming. On to another 10 years I guess?
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
#ePrint EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider: J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, K Bhargavan, B Beurdouche, J Choi, A Delignat-Lavaud, C Fournet, T Ramana https://ia.cr/2019/757Thanks. Twitter will use this to make your timeline better. UndoUndo -
Jonathan Protzenko Retweeted
"This is one of the most gorgeous applications of Formal Methods and automated tools that I've ever seen". Watch Peter Neumann make
@_protz_ blush at: https://youtu.be/VpFY4g4QPnY?t=1040 … Rest of the talk is great too!Thanks. Twitter will use this to make your timeline better. UndoUndo -
The Dagstuhl Summer School on Metaprogramming is coming up! I'm thrilled (albeit slightly stressed out!) that I'll be giving a course there with other such great speakers. Looking forward to seeing applications coming in https://www.cl.cam.ac.uk/events/metaprog/2019/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
