| 2017-06-07 |
Ralf Jung | expand on the MIR-spec part |
commit | commitdiff | tree | snapshot |
| 2017-06-07 |
Ralf Jung | #rustc was also involved |
commit | commitdiff | tree | snapshot |
| 2017-06-07 |
Ralf Jung | fix some typos |
commit | commitdiff | tree | snapshot |
| 2017-06-07 |
Ralf Jung | add link to reddit |
commit | commitdiff | tree | snapshot |
| 2017-06-07 |
Ralf Jung | blog post about MIR and miri and semantics and instrume... |
commit | commitdiff | tree | snapshot |
| 2017-06-07 |
Ralf Jung | Capitalize Things |
commit | commitdiff | tree | snapshot |
| 2017-05-23 |
Ralf Jung | day 1 of my internship |
commit | commitdiff | tree | snapshot |
| 2017-05-23 |
Ralf Jung | add post on Paris meetup that I forgot to add |
commit | commitdiff | tree | snapshot |
| 2017-01-24 |
Ralf Jung | link directly to iris-project.org |
commit | commitdiff | tree | snapshot |
| 2017-01-24 |
Ralf Jung | ESOP papers are final |
commit | commitdiff | tree | snapshot |
| 2016-12-19 |
Ralf Jung | update papers |
commit | commitdiff | tree | snapshot |
| 2016-10-11 |
Ralf Jung | we dont actually have an appendix for the refinement... |
commit | commitdiff | tree | snapshot |
| 2016-10-11 |
Ralf Jung | papers update: add ICFP talk; add refinement paper |
commit | commitdiff | tree | snapshot |
| 2016-07-01 |
Ralf Jung | it's ICFP 2016 |
commit | commitdiff | tree | snapshot |
| 2016-06-14 |
Ralf Jung | fix compatibility with latest version of Jekyll |
commit | commitdiff | tree | snapshot |
| 2016-06-14 |
Ralf Jung | ICFP paper has been accepted :D |
commit | commitdiff | tree | snapshot |
| 2016-05-11 |
Ralf Jung | mail address visible; new git link |
commit | commitdiff | tree | snapshot |
| 2016-03-17 |
Ralf Jung | add HOGS |
commit | commitdiff | tree | snapshot |
| 2016-01-13 |
Ralf Jung | fix frame computation |
commit | commitdiff | tree | snapshot |
| 2016-01-13 |
Ralf Jung | *oops* typo |
commit | commitdiff | tree | snapshot |
| 2016-01-13 |
Ralf Jung | add link to RustBelt page |
commit | commitdiff | tree | snapshot |
| 2016-01-13 |
Ralf Jung | slight color tweaking, to lessen the contrast a little |
commit | commitdiff | tree | snapshot |
| 2016-01-11 |
Ralf Jung | make the code background color actually (faintly) visible |
commit | commitdiff | tree | snapshot |
| 2016-01-11 |
Ralf Jung | Argue more why `evil` is the problem |
commit | commitdiff | tree | snapshot |
| 2016-01-11 |
Ralf Jung | stress privacy a little more |
commit | commitdiff | tree | snapshot |
| 2016-01-10 |
Ralf Jung | unsafe post: add link to reddit page |
commit | commitdiff | tree | snapshot |
| 2016-01-09 |
Ralf Jung | add link to the rustonomicon example |
commit | commitdiff | tree | snapshot |
| 2016-01-09 |
Ralf Jung | final tuning of unsafe blog post, and publish it |
commit | commitdiff | tree | snapshot |
| 2016-01-05 |
Ralf Jung | use a dedicated email address for the blog stuff |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | damnit, the Blog root pages had lost their title..... |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | mention the blog's name in posts' footer |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | get rid of category "university" |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | tune spacing |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | get rid of crazy include-vars-magic and pretitles,... |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | fix page.url stripping off .html suffix |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | make category code more readable |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | tune the new blog post; use longer dashes |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | unsafe post: finish first draft |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | highligher: sort builtins |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | posts: add link to reddit page, if it exists |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | only put the excerpt on the RSS, and add a link to... |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | start working on the unsafe post |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | "fix" the official Rust highlighter by monkey-patching |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | split CSS into several files; take some CSS from the... |
commit | commitdiff | tree | snapshot |
| 2016-01-02 |
Ralf Jung | update menu plugin to work with Jekyll 3.0 |
commit | commitdiff | tree | snapshot |
| 2015-10-13 |
Ralf Jung | Rust post: be more explicit about the scope |
commit | commitdiff | tree | snapshot |
| 2015-10-13 |
Ralf Jung | Rust post: tune wording |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | fix research page |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | research: add link to research category of my blog |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | feed: fix XML, add ID |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | add categories |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | more Rust post tuning |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | Rust post tuning |
commit | commitdiff | tree | snapshot |
| 2015-10-12 |
Ralf Jung | Rust post: tuning, spell checking, publication |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ralf Jung | some work on the Rust post |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ralf Jung | only show a post excerpt in the blog index |
commit | commitdiff | tree | snapshot |
| 2015-10-11 |
Ralf Jung | first version of rust post |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | typo |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | get rid of blog description; more welcome fixes |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | more uniformity for blog post headers; change link... |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | make a research page happen |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | fix welcome post |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | start honoring baseurl again; crazy hackery to get... |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | prepare for having two sites: personal and research |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | make sure vertical scrollbar is always shown |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | *oops* fix date |
commit | commitdiff | tree | snapshot |
| 2015-10-09 |
Ralf Jung | publish blog post: Breaking All the Way Out |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | tuning, tuning, tuning the spaces... |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | research: re-add missing image |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | project link can now be found in menu |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | also upload to MPI server |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | index typo |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | upload script |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | make better use of medium width; more menu space tuning |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | fix dates of posts |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | make the page layout general enough to cover posts... |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | move the link to Breaking All the Way Out to a blogpost |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | add my research page; make its links absolute; tune... |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | index: English first; redirect: use my fonts |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | make blog titles clickable; some more style tunes |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | make the new style also work for blog posts |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | develop a new style |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | fix typos and HTML |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | make sure we extract something sensible as slug from... |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | write welcome blog post |
commit | commitdiff | tree | snapshot |
| 2015-10-08 |
Ralf Jung | prepare things for a blog |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | blog index meta-info |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | more careful sorting of the menu; readme generator... |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | add CS redirect page; tiny projects page change |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | generate readme pages through a plugin |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | use the Jekyll pages information to create the menu |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | change the way we expect the header to look in the... |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | blog title & description |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | get the content styled again |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | re-do the layout: use SCSS, put the boxes differently... |
commit | commitdiff | tree | snapshot |
| 2015-10-07 |
Ralf Jung | port projects file to markdown |
commit | commitdiff | tree | snapshot |
| 2015-10-06 |
Ralf Jung | try harder not to have spaces in the menu; fix project... |
commit | commitdiff | tree | snapshot |
| 2015-10-06 |
Ralf Jung | compute the menu recursively; put it between title... |
commit | commitdiff | tree | snapshot |
| 2015-10-06 |
Ralf Jung | a first version of my site proted to jekyll |
commit | commitdiff | tree | snapshot |
|
projects / web.git / shortlog