en • fr

Antoine Amarilli

Description

Name

Antoine Amarilli [ɑ̃.twan.a.ma.ʁi.li]. Handle: a3nm.

Identity

Born 1990-02-07. French national. Appearance as of 2012.

Authentication

OpenPGP key 0xD4330331. OpenID http://a3nm.net/openid.

Contact

Email and XMPP .

Affiliation

PhD student on Uncertainty over Structured and Intensional Data in the DBWeb team of the LTCI lab at Télécom ParisTech, under the supervision of Pierre Senellart (until 2016-08-31).

Credentials

Master parisien de recherche en informatique (awarded September 2012) taken at the fifth year of tertiary education and delivered by the École normale supérieure.

More

Resume

Location

Publication

  1. Microblogging: a3nm@identi.ca
  2. Blogging: a3nm.net/blog (mirror)
  3. Website: a3nm.net (mirror)

Accounts

Associations

Teaching

See my teaching page.

More

Online presence

Production

Academic

Some older drafts are omitted; email requests for them are welcome.

Talks

School

Advances in Holistic Ontology Alignment
Report for my internship with Pierre Senellart about holistic ontology alignment.
kesterel2lustre
A compiler of Kernel Esterel to the Lustre programming language. See the README file. GPLv3 licensed.
Pastis
This is the report for a Scheme polymorphic application toolkit which produces, from any function, a function with the same values but which additionally provides an equivalent rewritten version of itself on standard output. You can also grab the sources. A collaboration with Pablo Rauzy. For the course by David Naccache.
Presentation about CSSV
Slides to present the article by Nurit Dor, Michael Rodeh and Mooly Sagiv: CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C. Homework for Patrick Cousot's class.

Programs

irctk
Connect to an IRC server, write messages on stdout, say what is given on stdin. Useful to write bots. C program, using libircclient. See the README file or the blogpost. GPLv3 licensed.
plint
A French poetry validator for metric, rhyme and rhyme gender. You can also get the code. GPLv3 licensed.
drime
A French rhyme dictionary. You can also get the code and have a look at the README. GPLv3 licensed.
haspirater
A system to find out whether the initial 'h' in a French word is aspirated or not. Can be used as a standalone program or an a Python module. No big dictionary of exceptions, but rules learned from a corpus and stored as a trie: compact, fast, and reasonable for unseen words. See the README file or the blogpost. MIT licensed.
nlsplit
A tool to split natural language text in chunks at reasonable language boundaries. The program takes as argument a maximal size for chunks, reads stdin and produces chunks smaller than the maximal size on stdout. Not NLP research but the obvious heuristics (paragraphs, then sentences, then words, with some refinements). Someone had to write this. See the README file. MIT licensed.
ttyrex
My own quick fork of ttyrec. I use it to log everything that happens in my terminals. BSD licensed.
wikifirc
An IRC bot to display Wikipedia recent changes for specific pages and users in realtime. See the README file. MIT licensed.
a2freq
Quick C program to convert MIDI note numbers or scientific pitch notations to frequencies in hertz, eg. a2freq a4 prints 440.000000. Compile with -lm (see comments). Public domain.
mkdemotiv
Quick Perl script to create demotivational posters from an image and text using Inkscape and ImageMagick. Can be used for batch processing, or as a local alternative to the many existing online tools. Public domain.
continuity
A python3+curses game inspired by Continuity Game. Old-school, quick and dirty, some levels included. See the README file. Public domain.
frhyme
A system to infer the last few phonemes of a French word. Not very clever.

Humor attempts

The Password Security Checker
Check the strength of your passwords!
Falso
A new powerful axiomatic system.
Brain Transplant
A new medical procedure.
Door Safety Instructions
See the club Inutile website for more information.

Misc

Weird legalese
A few weird things found in what we always accept and never read.

In French

Presentation on disconnection proofs
Report and slides to present the article Disconnection proofs for motion planning. For the course by Jean-Paul Laumond.
Presentation on the concurrency of innocence
Slides to present the category theory article Asynchronous games 2: The true concurrency of innocence. For the course by Paul-André Melliès.
Internship about modular attribute grammars
Reports and slides for my internship with Éric Badouel about modular attribute grammars.
Presentation about the equivalence between monadic second-order logic and automata
Report and slides to present and summarize the formal language theory results which show that first-order and monadic second-order logic can respectively define the star-free languages and the regular languages. For the course by Olivier Carton.
Tipe
Source code and report for a program to draw the OpenPGP trust network.
Notes on electrical networks
Useful for students in French "classes préparatoires". See also more resources for "classes préparatoires" students.
The beauty of disorder
A five-hour "dissertation" for the "Concours général de philosophie". Was awarded a "premier accessit".
Poetry
Various poems, not to be taken seriously.
Futurs simples
Old vaguely philosophical science-fiction short story collection.
Competitive exam report report
A report about competitive exam reports. "Classes préparatoires" students may find it funny.
French defective verbs
Extended conjugation tables for French defective verbs

Browse

Misc

Relation