All posts

2023-11-14 22:28: Politiser le bien-être
2023-10-27 22:31 — updated 2023-11-07 17:45: Figuring out adversarially that someone understands a given language
2023-09-17 18:18: Double-blind reviewing
2023-03-14 12:56: Should conferences still require mandatory attendance?
2022-04-19 21:36: Can you be sure to clear a line at Tetris?
2022-02-08 18:47: New home page
2021-12-05 20:13: Announcing TheoretiCS, a diamond open-access journal
2021-08-15 15:14 — updated 2022-09-06 17:39: Banques et crise climatique : tour d'horizon (et aveu d'incompréhension)
2020-11-15 23:02: Achat de vêtements éthiques neufs pour homme à Paris et environs
2020-11-11 21:12: Some random notes from the "Labos1point5" day (November 6, 2020)
2020-08-03 13:37: Estimating carbon footprints: what is 1 ton of CO2e?
2020-05-18 20:33: No free view? No review!
2020-04-12 16:28: Open access: my policy and my hopes
2020-04-11 21:28: How to estimate your conference's carbon footprint
2019-09-07 00:14: Songflower -- reflowing sheet music to a different paper size
2018-12-23 22:49: Trying out Wayland
2018-08-24 11:51: What's wrong with academia?
2018-08-15 01:23 — updated 2018-12-27 11:05: Finding the members of the theoretical database community with DBLP
2018-07-07 19:53 — updated 2018-08-07 12:45: Indexing encrypted email with notmuch
2018-05-10 01:18 — updated 2022-07-06 07:55: Migrating from cgit to stagit
2018-03-11 20:32: An update on CalDAV and CardDAV with Radicale
2018-02-27 23:38: SWERC 2017 and 2018
2018-01-21 18:13: Modern blockbusters: a dining metaphor
2017-10-25 02:36 — updated 2017-10-29 20:21: Debian on Raspberry Pi 3
2017-03-26 20:54 — updated 2018-09-24 02:32: Automatic git conflict resolution on logs and sets
2016-12-24 12:43: My applications to computer science research positions in France
2016-09-25 13:39: Setting up SVN and git shared hosting on Debian
2016-07-18 22:43: Trying btrfs... and giving up for now
2016-02-25 11:16 — updated 2016-03-01 23:13: A coat-of-arms from pixel art
2016-02-22 14:53: Encrypt email to known GPG users with mutt using crypt_opportunistic_encrypt
2016-02-20 23:19 — updated 2021-06-28 19:52: Self-hosted, server-side MathJax
2016-02-20 15:12 — updated 2024-02-22 14:27: Summary on (hyper)graph tractability parameters
2016-01-18 01:20: A list of open research questions
2015-12-14 21:51: Summarizing my PhD research
2015-11-22 15:18: Lettre ouverte à ma députée sur le vote prorogeant l'état d'urgence
2015-10-12 01:13 — updated 2021-07-03 12:05: Managing disk image files, and compression with lrzip
2015-10-11 12:20: La consultation République Numérique : mes réponses et mes scripts
2015-09-21 11:41: An activist's riddle
2015-09-06 00:20: Mots d'un genre rare pour une terminaison donnée
2015-09-01 15:08: Sandboxing Skype
2015-08-28 00:39: Trois petits chats assistés par ordinateur
2015-08-25 10:18 — updated 2015-09-21 17:13: Wake-on-LAN: suspend and resume machines from the network
2015-08-06 23:05 — updated 2015-08-07 11:33: Minifying files with Delta
2015-06-22 00:16: Mobile apps I use
2015-05-24 02:49: Cruising at -41.8 million feet: Antipodal airports
2015-05-21 22:47 — updated 2020-06-28 21:53: It's a big world after all: Computing the diameter of the flights graph
2015-05-20 10:32: Arbitrary-length unambiguous buffalo sentences
2015-04-11 17:58 — updated 2015-09-06 00:50: Configuring screens with xrandr
2015-03-28 23:59: Google Hash Code 2015
2015-03-24 01:16: Noms et verbes français qui n'existent qu'avec des préfixes
2015-03-21 00:52: Google Hash Code 2014
2015-03-13 22:17: Hash Code 2015 selection round
2015-03-12 01:27 — updated 2015-08-08 20:34: Sandboxing Dropbox
2015-03-11 02:25: Experiments about a better locate using grep
2015-03-01 13:29 — updated 2018-08-31 11:44: Paper submission checklist
2015-01-25 14:38: Google Hash Code 2014
2015-01-12 00:57: Compiling and installing a recent version of Mesa on Debian
2015-01-07 14:04 — updated 2015-08-08 20:38: A local copy of Wikipedia with Kiwix
2015-01-04 16:01: Managing passwords with pass
2015-01-04 01:50: Managing installed packages in Debian
2014-12-27 22:22 — updated 2014-12-28 12:04: Migrating to pelican
2014-12-13 20:35 — updated 2014-12-14 20:37: The strangest and least strange French words according to n-grams
2014-12-11 11:33 — updated 2014-12-12 00:53: High priority free software projects
2014-11-05 23:43 — updated 2015-11-15 15:31: The absurdity of software patents: a personal example
2014-10-28 00:58 — updated 2014-10-29 01:12: Why research feels really hard at first
2014-10-23 00:57 — updated 2014-10-24 22:44: Privacy in public space
2014-08-05 01:29 — updated 2014-08-05 01:36: Quick notes on graphical models
2014-08-03 14:04 — updated 2014-08-03 14:13: Diff current version of Debian config file against original version
2014-07-24 00:41 — updated 2014-07-26 20:16: Customizing your keyboard layout with xkbcomp
2014-07-17 22:35 — updated 2014-07-18 15:15: A cute allocation problem
2014-07-04 11:19 — updated 2014-08-05 09:23: New GPG key
2014-06-29 02:45 — updated 2017-04-13 23:57: SVG rendering in Gecko and Webkit
2014-05-09 15:22 — updated 2014-11-22 14:22: Review of the Lenovo IdeaPad Yoga 13 (59384174)
2014-02-27 23:42 — updated 2014-12-15 01:28: Propositions for EU copyright legislation
2013-12-25 19:24 — updated 2018-03-11 20:44: CalDAV and CardDAV with Radicale and DAVdroid on Android
2013-12-11 00:39 — updated 2014-12-11 01:13: Mobile phones and privacy
2013-10-17 00:12 — updated 2014-03-18 08:25: Ambiguous verbal forms in French: a larger list
2013-06-21 01:15 — updated 2014-12-10 16:07: Even more Kobo hacking
2013-02-24 20:18 — updated 2013-02-24 20:57: Learning the gender of French nouns
2013-01-05 21:51 — updated 2014-10-12 04:57: Portrait of a hacker
2013-01-01 23:08 — updated 2013-02-03 08:29: A fundamental problem with OpenID
2012-11-03 12:16 — updated 2015-01-25 00:43: Shortcomings of the real world
2012-10-23 18:59 — updated 2013-01-31 12:22: Recording all your terminal sessions
2012-09-24 01:08 — updated 2013-02-03 08:31: Installing CyanogenMod on a Galaxy Nexus (GSM)
2012-09-07 18:15 — updated 2014-05-10 23:11: irctk -- an IRC toolkit
2012-06-30 13:28 — updated 2013-02-04 11:00: XOR of integers from 1 to n
2012-06-11 20:00 — updated 2012-10-07 21:01: wikifirc -- filter irc.wikimedia.org on specific pages and users
2012-05-01 22:47 — updated 2012-05-09 15:22: On identity
2012-04-09 22:26 — updated 2013-05-30 23:05: Android from the command-line
2012-04-08 15:15 — updated 2016-02-15 23:12: Forkability of community projects
2012-03-15 15:08 — updated 2012-10-07 21:01: plint -- a French poetry validator
2012-03-04 20:30 — updated 2012-03-07 15:26: RATP, informatique et libertés
2012-02-21 14:01 — updated 2012-02-21 14:28: htmlrebase -- relative link resolution in HTML according to a given base URL
2012-02-15 13:13 — updated 2013-10-17 00:34: Ambiguous verbal forms in French
2012-01-21 00:17 — updated 2014-05-01 13:04: Random notes on the Hercules eCafe EX
2012-01-10 01:39 — updated 2014-08-15 18:08: A list of French words with no rhymes
2012-01-07 11:46 — updated 2012-02-11 02:35: More fnacbook hacking
2012-01-03 23:47 — updated 2012-01-03 23:56: Use, mention, and titles
2012-01-03 00:16 — updated 2012-01-03 00:22: drime -- a better French rhyme dictionary
2011-12-26 14:25 — updated 2017-09-19 14:13: Hacking the fnacbook (aka. Kobo by Fnac)
2011-12-24 21:13 — updated 2018-05-24 09:14: Non-homophonous homographs in French
2011-12-16 12:40 — updated 2011-12-22 10:57: kesterel2lustre -- compile Kernel Esterel to Lustre
2011-10-15 15:49 — updated 2011-10-15 16:31: In praise of ^W
2011-10-10 01:06 — updated 2011-10-10 01:11: nlsplit -- a small tool to split natural language text in natural chunks
2011-09-03 23:18 — updated 2011-09-03 23:44: Imitating GLaDOS with espeak
2011-08-31 00:36 — updated 2011-09-01 02:53: Russian roulette: a mathematical analysis
2011-08-30 02:36 — updated 2014-08-04 00:39: Efficient email management
2011-08-13 13:12 — updated 2014-07-22 16:02: Scanning ISBN bar codes
2011-07-24 21:53 — updated 2016-08-17 15:07: List Wikipedia categories on stdout
2011-06-19 03:36 — updated 2011-08-13 13:10: Unbuffering stdin and stdout
2011-06-15 01:54 — updated 2011-06-17 02:19: Notifications
2011-06-11 04:32 — updated 2011-06-11 04:39: Quick plot of the mtgox bitcoin exchange rate
2011-06-05 21:07 — updated 2011-06-05 21:51: Wikimedia projects by dump size, and average compressed article size
2011-05-30 16:44 — updated 2012-02-18 13:06: Haspirater -- identifying initial aspirated 'h's in French words
2011-05-27 01:53 — updated 2012-07-20 00:51: A review of the TypeMatrix 2030
2011-05-22 14:47 — updated 2012-02-18 13:47: Why are conlangs so obsessed with vocabulary?
2011-05-21 13:06 — updated 2012-10-07 21:01: Encode stdin in UTF-8
2011-05-20 19:13 — updated 2019-08-25 22:55: Internet investigations
2011-05-15 03:11 — updated 2011-05-17 00:46: Curses continuity
2011-05-14 01:00 — updated 2011-05-14 01:06: Playing a note with the PC speaker on Linux
2011-05-08 13:00: Which Creative Commons license?
2011-04-27 00:39 — updated 2011-10-15 15:53: Deduplication attacks
2011-03-05 04:40 — updated 2017-04-11 19:02: Representing fuel efficiency
2011-02-03 19:10 — updated 2011-03-05 04:48: Wikileaks is so depressingly unsecure
2011-01-26 16:52: Microinstitutions
2011-01-25 01:27: Self-documented organizations
2011-01-23 16:29: Unnoticed farewell
2011-01-22 23:30: Simplicity and efficiency
2011-01-21 17:24 — updated 2012-07-07 00:49: De re and de dicto
2011-01-20 12:54 — updated 2011-12-25 01:28: Real-life decentralized killer game generation
2010-12-28 19:14 — updated 2010-12-28 19:21: Identity theft on Facebook
2010-12-28 00:43: A chance to express
2010-12-21 11:32 — updated 2011-01-21 04:15: Canonical choices
2010-12-05 11:32 — updated 2011-12-25 01:27: Publishing the public details of your life
2010-12-04 20:47 — updated 2011-05-14 00:45: Messy is better than nothing
2010-12-03 11:59: Right, wrong or weird
2010-12-01 01:02 — updated 2010-12-01 01:06: You don't need to trust me
2010-11-29 17:43 — updated 2010-12-04 19:57: Stop following me?
2010-11-28 14:35: Why this blog
2010-11-27 18:06 — updated 2010-11-28 05:43: Information and its support
2010-10-26 18:02 — updated 2014-07-17 23:07: Looking for a problem...
2010-10-17 01:58 — updated 2024-07-20 22:46: Learning one's life by heart
2010-10-13 17:40: Leaving computers on
2010-10-13 17:40: Security of radio-controlled watches
2010-10-02 20:19: Weird legalese
2010-09-29 19:11 — updated 2010-12-05 11:41: Proving vs. explaining in mathematics
2010-09-26 14:06 — updated 2011-12-25 01:27: Possible improvements for text entry on keypads
2010-09-24 23:39 — updated 2010-09-30 01:15: Hardware warranty on phones
2010-09-19 12:20: Yet another blog