mention boxes

tweaks

refactor: reorder examples and validation sections

example typos and generally improve ref example

only &UnsafeCell is special

future work

ammendments go into the forum

clarify 'elements' of a type

add forum link

forgot to git add

link from previous post

write way too long post on the unsafe code model

add post title to subject in comment emails

typo

wording

wording

Starting working on unsafe guidelines post

tone it down a little

editing

post on UB

https for plv.mpi-sws.org

open some things in new tabs

add forum link

wording

support forum links in blog posts

post on RustBelt paper

seems like 'Publications' is a collective term

add two recently submitted papers

I should really link to RustBelt *oops*

fix rendered email address

add reddit URL

Post on the MutexGuard-Sync-bug

More Capitalization

expand on the MIR-spec part

#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