Julien Girard @rhapsodos@scholar.social

A cool review on the question of gender: https://sillyolyou.wordpress.com/2019/07/30/mapping-the-gender-debate/

Previous post obtained more boost and favs that I could possibly hope for. Please do the same for my publications thanks.

(actually don't, smash the publish or perish mindset)

Me since the beginning of my PhD thesis

Not quite dead yet, but a post-mortem of the Human Brain Project: https://www.theatlantic.com/science/archive/2019/07/ten-years-human-brain-project-simulation-markram-ted-talk/594493/

A recently released report from the ethical board of Axon (a company selling law-enforcement products) is highly critical on facial recognition software: https://static1.squarespace.com/static/58a33e881b631bc60d4f8b31/t/5d13d7e1990c4f00014c0aeb/1561581540954/Axon_Ethics_Board_First_Report.pdf

An interesting reading to see how ethics are handled within a company.
I am happy with the board conclusions too, I just hope it will have more impact than just a consultative one.

Just finished the hackathon on constraint programming we started two days ago with my team at Constraint Programming Summer School! https://school.a4cp.org/summer2019/schedule.html

We ranked 3rd, 2nd and 2nd on 13 teams. The goal was to propose a modelling and search algorithm to solve a almost real roadwork schedule problem. I really liked the hackathon format, which helped me to get onto the details real quick (I am a slow learner and terrible with theory)

Code if you want to check: https://github.com/GirardR1006/hackathon_acp

Yes, eclipse does not launch properly on my Ubuntu 18.04 release, it's time to do path hunting and jdk gathering. I love my job

Soon taking off to Wien for a one-week summer school on constraint programming 🛫

Hello fellows,

tomorrow, fine labmates of mine will present formal methods and their practical use during the french hacker festival "Pas Sage En Seine". Schedule is here (in french again): https://programme.passageenseine.fr/

They will be speaking about symbolic execution, automated design principles and other really cool stuff, for a non-scientific audience. If you happen to be in the neighborhood, just come here! There will be plenty of other cool talks as well.

Why do we want to verify our deep learning algorithm? To have guarantees that our programs actually perform the way we want them to do and to identify failure cases. On a wider scale, the aim is to better align our human goals and standards (economical, ethical) with the actual behaviour of our algorithms. Algorithms are human creations and can embbed all our biases, including unwanted (racist biases among others).
Being able to verify that our algorithm is not racist is actually a big topic

I totally forgot to mention, but I helped to organize a spring school bridging formal methods and deep learning. The aim was to provide an insight on how deep learning can help existing verification techniques, and how to adapt our verification tools for deep learning. We had some really cool presentations with talented speakers, and I hope it will spark some really interesting coopérations ;)

Video recordings and materials should be available soon here: https://formal-paris-saclay.fr/

Will probably begin to use Gnu Linear Programming Kit soon, any good resources to learn it over here?

Help me I'm addicted to TIKZ

Spent the afternoon trying to hunt for VRAM leaks in my torch code, failed miserably. What a cool day!

https://qz.com/547641/theres-an-awful-cost-to-getting-a-phd-that-no-one-talks-about/

First pic of a black hole, coming from EU funded teams

https://twitter.com/UEFrance/status/1115966656189214721

And a cool video to understand what we actually see:
https://www.youtube.com/watch?v=zUyH3XhpLTo