#rustc was also involved

fix some typos

add link to reddit

blog post about MIR and miri and semantics and instrumentation

Capitalize Things

day 1 of my internship

add post on Paris meetup that I forgot to add

link directly to iris-project.org

ESOP papers are final

update papers

we dont actually have an appendix for the refinement paper

papers update: add ICFP talk; add refinement paper

it's ICFP 2016

fix compatibility with latest version of Jekyll

ICFP paper has been accepted :D

mail address visible; new git link

add HOGS

fix frame computation

*oops* typo

add link to RustBelt page

slight color tweaking, to lessen the contrast a little

make the code background color actually (faintly) visible

Argue more why `evil` is the problem

stress privacy a little more

unsafe post: add link to reddit page

add link to the rustonomicon example

final tuning of unsafe blog post, and publish it

use a dedicated email address for the blog stuff

damnit, the Blog root pages had lost their title... so it seems I do need to repeat the blog's name. Oh well.

mention the blog's name in posts' footer

get rid of category "university"

tune spacing

get rid of crazy include-vars-magic and pretitles, at the expense of more layouts

fix page.url stripping off .html suffix

make category code more readable

tune the new blog post; use longer dashes

unsafe post: finish first draft

highligher: sort builtins

posts: add link to reddit page, if it exists

only put the excerpt on the RSS, and add a link to the rest of the post

start working on the unsafe post

"fix" the official Rust highlighter by monkey-patching

split CSS into several files; take some CSS from the default jekyll skeleton

update menu plugin to work with Jekyll 3.0

Rust post: be more explicit about the scope

Rust post: tune wording

fix research page

research: add link to research category of my blog

feed: fix XML, add ID

add categories

more Rust post tuning

Rust post tuning

Rust post: tuning, spell checking, publication

some work on the Rust post

only show a post excerpt in the blog index

first version of rust post

typo

get rid of blog description; more welcome fixes

more uniformity for blog post headers; change link colors a bit

make a research page happen

fix welcome post

start honoring baseurl again; crazy hackery to get page-dependent computed (pre)titles

prepare for having two sites: personal and research

make sure vertical scrollbar is always shown

On branch master
modified:   style.scss
no changes added to commit (use "git add" and/or "git commit -a")

*oops* fix date

publish blog post: Breaking All the Way Out

tuning, tuning, tuning the spaces...

research: re-add missing image

project link can now be found in menu

also upload to MPI server

index typo

upload script

make better use of medium width; more menu space tuning

fix dates of posts

make the page layout general enough to cover posts - also achieves more uniformity

move the link to Breaking All the Way Out to a blogpost

add my research page; make its links absolute; tune spacing

On branch master
deleted:    _posts/2015-10-10-welcome.md
Untracked files:
_posts/2015-10-09-welcome.md
no changes added to commit (use "git add" and/or "git commit -a")

index: English first; redirect: use my fonts

make blog titles clickable; some more style tunes

make the new style also work for blog posts

develop a new style

fix typos and HTML

make sure we extract something sensible as slug from the readmes

write welcome blog post

prepare things for a blog

blog index meta-info

more careful sorting of the menu; readme generator more failure-resistant; add missing readmes

add CS redirect page; tiny projects page change

generate readme pages through a plugin

use the Jekyll pages information to create the menu

change the way we expect the header to look in the README

blog title & description

get the content styled again

re-do the layout: use SCSS, put the boxes differently to have the entire frame as one element, to give it a min-height

port projects file to markdown

try harder not to have spaces in the menu; fix project page title

compute the menu recursively; put it between title and content

a first version of my site proted to jekyll