A student trying to make themselves at homeTue 19 Sep 2017
Using Slack at ICFP 2017Tue 19 Sep 2017
A Blog by Simon ArchipoffFri 15 Sep 2017
I am Simon Archipoff, I am a PhD student at Université de Bordeaux, in computer science.
I wanted to attend to ICFP and several co-located workshop because I have a old and deep interest in functional programming.
I’ll try now to express a feeling that explain my interest.
filter(JustinPombrio, ICFP)Sat 9 Sep 2017
First, an advertisement. I’m graduating in a year, and want to either start as a postdoc or join industry, ideally in or near the US Northeast.
Social events with the ICFP communityFri 8 Sep 2017
ICFP 2017 has multiple social events, which established a potent community spirit at the conference. The two, which are more strongly associated with the main ICFP conference, are the welcome reception, held on the first evening of the main conference, and the banquet, held on the last. …
No Country for Polymaths*Thu 7 Sep 2017
Look at this picture for a moment, remember how you feel and what you think. Later, I will tell you more about it.
“Jules Henri Poincaré**, 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of …
Artificial Intelligence at ICFPThu 7 Sep 2017
I am Adam Ścibior, a third year PhD student at University of Cambridge and Max Planck Institute for Intelligent Systems. I work on probabilistic programming, which puts me at the intersection of the fields of Machine Learning and Programming Languages. I was therefore delighted to see that …
Sometimes people behave badlyMon 4 Sep 2017
Yesterday, Sunday September 3rd, was the first day of workshops around ICFP – the first day of the conference week – and I noticed something strange: someone is using the conference notepads to leave small insulting notes about a specific university they hate.
The anonymous note says, …
Why am I going to ICFP 2017? (1/2)Sat 2 Sep 2017
Walking, running, puntingWed 17 May 2017
RestaurantsWed 17 May 2017
This is a list of restaurant recommendations, either on account of convenience or of quality (and many of both!). Those I have personally enjoyed are indicated with an asterisk. There are almost no nearby restaurants that I would specifically recommend avoiding; so the unasterisked restaurants …