Twitter | Pretraživanje | |
Julien Vanegue
CTO Office / Head of Software Security Architecture . Interested in distributed systems verification tools and techniques to secure design & implem.
6.994
Tweetovi
818
Pratim
5.328
Osobe koje vas prate
Tweetovi
Julien Vanegue 11 h
Odgovor korisniku/ci @randomdross
That was back in the days when the network was neighborly
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 2. velj
Odgovor korisniku/ci @bondor @intoverflow
And your point is?
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 2. velj
Odgovor korisniku/ci @bondor @intoverflow
Origins don’t matter, diversity and inclusion do.
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 1. velj
Odgovor korisniku/ci @jvanegue
We take people from all over the world to work at Bloomberg because we know origins don’t matter. Skills do. Our diversity is our strongest force, and we want more of it. Reach out!
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 1. velj
A French, an English, a Brazilian, an American, a Scottish, a Canadian and a Greek guy all walk into a bar and shout: Wanna work with us?! Put your flag among ours and be welcome. This position is still open! 🇺🇸🇬🇧🇫🇷🇨🇦🇧🇷🇬🇷🏴󠁧󠁢󠁳󠁣󠁴󠁿
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 28. sij
Odgovor korisniku/ci @dinodaizovi @worldwise001
“Third party integration” sounded like it had some interesting maths in it and made me like 🧐 and then 😵
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 28. sij
Odgovor korisniku/ci @Reza_Zadeh
The problem is that most code is not differentiable as soon as you have conditionals restricting the domain of definition of your input variables in a way that makes some input values prematurely terminate the program e.g. if (cond(x)) return -1; leading to losing smoothness
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue proslijedio/la je tweet
The Coq proof assistant 27. sij
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 24. sij
Odgovor korisniku/ci @intoverflow
I’d love to be proven wrong as always, so please call me up on it :)
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 24. sij
Odgovor korisniku/ci @intoverflow
Why? Industry is dominated by legacy systems. Replacing these by proved-by-construction alternative is not happening at this scale. At best we can do property checking, however most systems are not closed and ownership is shared between many entities
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 24. sij
Odgovor korisniku/ci @intoverflow
You’re late in the game: MSR brought model checking and extended static checking for security for more than a decade (MSR RiSE, SLAM, SAGE, HAVOC, etc) Or if formal methods mean Coq / proof by construction, then my counter-prediction is that this is not going to happen in 2020
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 20. sij
Odgovor korisniku/ci @veorq @VillaniCedric
As for EPITA, I think it’s doing good given the network of alumni I meet world-wide. It’s almost 15 years I graduated so asking this to students currently enrolled would be best :) there are also other good/great computer schools and cursus in France (Ensimag, Supelec, ENS etc)
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 20. sij
Odgovor korisniku/ci @veorq @VillaniCedric
Exodus of talent is a problem in France, and has been so for decades. Something must be done to retain entrepreneurship and leverage academic excellence in the private sector.
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 20. sij
Odgovor korisniku/ci @veorq @VillaniCedric
Agreed. FRANCE and the world need leaders rooted in reason, not clivage or special interests. In these times of uncertainty, it is inspiring to see people like Cedric take the public stage. Technology and science must play a deeper role into 21st century’s politics.
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 20. sij
I usually stay away from politics but I’ll make an exception. Hearing Cedric Villani (French congressman since 2017, Fields medal 2010) gives me chills and hope for the French admin. Finally someone smart who can talk to all. If he wants it, will make it big.
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue proslijedio/la je tweet
Sean Heelan 16. sij
I'll be giving a research seminar on exploit generation at Royal Holloway in London at the end of the month (history, state of the art, open problems, + my own research) Come say hi!
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 16. sij
Incroyable cette video de , merci! "Tout est mathématique", conférence Honoris Causa de Cédric Villani à HEC Paris
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 13. sij
Odgovor korisniku/ci @GhostofBendy
Way to go Ben!
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue 12. sij
“Programming Kubernetes” by Hausenblas and Schimanski and “Quantum computing: an applied approach” by Jack Hidary. These books published in 2019 are about to get a preferred location on my shelf. Browsed through both of them and they’re doing a good job at teaching by example.
Reply Retweet Označi sa "sviđa mi se"
Julien Vanegue proslijedio/la je tweet
Thuan Pham 11. sij
"AFLNet: A Greybox Fuzzer for Network Protocols", my joint work with & Abhik, is accepted as a testing tool paper . It was motivated by many requests from AFL users for . Stay tuned for preprint & tool (with funder's approval).
Reply Retweet Označi sa "sviđa mi se"