|
Julien Vanegue
@
jvanegue
New York City, NY, USA
|
|
CTO Office / Head of Software Security Architecture @Bloomberg. 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
@jvanegue
|
11 h |
|
That was back in the days when the network was neighborly
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
2. velj |
|
And your point is?
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
2. velj |
|
Origins don’t matter, diversity and inclusion do.
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
1. velj |
|
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!
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
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! 🇺🇸🇬🇧🇫🇷🇨🇦🇧🇷🇬🇷🏴 twitter.com/jvanegue/statu…
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
28. sij |
|
“Third party integration” sounded like it had some interesting maths in it and made me like 🧐 and then 😵
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
28. sij |
|
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
|
||
|
|
||
| Julien Vanegue proslijedio/la je tweet | ||
|
The Coq proof assistant
@CoqLang
|
27. sij |
|
Hello all! Welcome to Coq's official Twitter!
We will share exciting news and events related to Coq; see github.com/coq/coq for the proper channels for bug reports or technical discussion.
This account is community-managed by @ejgallego, @falsenov, and @Zimm_i48. Have fun!
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
24. sij |
|
I’d love to be proven wrong as always, so please call me up on it :)
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
24. sij |
|
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
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
24. sij |
|
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
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
20. sij |
|
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)
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
20. sij |
|
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.
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
20. sij |
|
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.
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
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, @VillaniCedric will make it big.
|
||
|
|
||
| Julien Vanegue proslijedio/la je tweet | ||
|
Sean Heelan
@seanhn
|
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! seminars.isg.rhul.ac.uk/d/2020-01-30
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
16. sij |
|
Incroyable cette video de @VillaniCedric , merci! youtube.com/watch?v=rLFUnC… "Tout est mathématique", conférence Honoris Causa de Cédric Villani à HEC Paris
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
13. sij |
|
Way to go Ben!
|
||
|
|
||
|
Julien Vanegue
@jvanegue
|
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. pic.twitter.com/jOGNfkiGQf
|
||
|
|
||
| Julien Vanegue proslijedio/la je tweet | ||
|
Thuan Pham
@ThuanpvNus
|
11. sij |
|
"AFLNet: A Greybox Fuzzer for Network Protocols", my joint work with @mboehme_ & Abhik, is accepted as a testing tool paper @icstconference. It was motivated by many requests from AFL users for #stateful #greybox #fuzzing. Stay tuned for preprint & tool (with funder's approval). pic.twitter.com/oZqAmewD2G
|
||
|
|
||