| 2017-07-18 |
Ralf Jung | ammendments go into the forum
|
commit | commitdiff | tree |
| 2017-07-18 |
Ralf Jung | clarify 'elements' of a type
|
commit | commitdiff | tree |
| 2017-07-18 |
Ralf Jung | add forum link
|
commit | commitdiff | tree |
| 2017-07-18 |
Ralf Jung | forgot to git add
|
commit | commitdiff | tree |
| 2017-07-18 |
Ralf Jung | link from previous post
|
commit | commitdiff | tree |
| 2017-07-18 |
Ralf Jung | write way too long post on the unsafe code model
|
commit | commitdiff | tree |
| 2017-07-16 |
Ralf Jung | add post title to subject in comment emails
|
commit | commitdiff | tree |
| 2017-07-16 |
Ralf Jung | typo
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | wording
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | wording
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | Starting working on unsafe guidelines post
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | tone it down a little
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | editing
|
commit | commitdiff | tree |
| 2017-07-15 |
Ralf Jung | post on UB
|
commit | commitdiff | tree |
| 2017-07-11 |
Ralf Jung | https for plv.mpi-sws.org
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | open some things in new tabs
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | add forum link
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | wording
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | support forum links in blog posts
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | post on RustBelt paper
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | seems like 'Publications' is a collective term
|
commit | commitdiff | tree |
| 2017-07-08 |
Ralf Jung | add two recently submitted papers
|
commit | commitdiff | tree |
| 2017-06-12 |
Ralf Jung | I should really link to RustBelt *oops*
|
commit | commitdiff | tree |
| 2017-06-11 |
Ralf Jung | fix rendered email address
|
commit | commitdiff | tree |
| 2017-06-09 |
Ralf Jung | add reddit URL
|
commit | commitdiff | tree |
| 2017-06-09 |
Ralf Jung | Post on the MutexGuard-Sync-bug
|
commit | commitdiff | tree |
| 2017-06-09 |
Ralf Jung | More Capitalization
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | expand on the MIR-spec part
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | #rustc was also involved
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | fix some typos
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | add link to reddit
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | blog post about MIR and miri and semantics and instrumentation
|
commit | commitdiff | tree |
| 2017-06-07 |
Ralf Jung | Capitalize Things
|
commit | commitdiff | tree |
| 2017-05-23 |
Ralf Jung | day 1 of my internship
|
commit | commitdiff | tree |
| 2017-05-23 |
Ralf Jung | add post on Paris meetup that I forgot to add
|
commit | commitdiff | tree |
| 2017-01-24 |
Ralf Jung | link directly to iris-project.org
|
commit | commitdiff | tree |
| 2017-01-24 |
Ralf Jung | ESOP papers are final
|
commit | commitdiff | tree |
| 2016-12-19 |
Ralf Jung | update papers
|
commit | commitdiff | tree |
| 2016-10-11 |
Ralf Jung | we dont actually have an appendix for the refinement...
|
commit | commitdiff | tree |
| 2016-10-11 |
Ralf Jung | papers update: add ICFP talk; add refinement paper
|
commit | commitdiff | tree |
| 2016-07-01 |
Ralf Jung | it's ICFP 2016
|
commit | commitdiff | tree |
| 2016-06-14 |
Ralf Jung | fix compatibility with latest version of Jekyll
|
commit | commitdiff | tree |
| 2016-06-14 |
Ralf Jung | ICFP paper has been accepted :D
|
commit | commitdiff | tree |
| 2016-05-11 |
Ralf Jung | mail address visible; new git link
|
commit | commitdiff | tree |
| 2016-03-17 |
Ralf Jung | add HOGS
|
commit | commitdiff | tree |
| 2016-01-13 |
Ralf Jung | fix frame computation
|
commit | commitdiff | tree |
| 2016-01-13 |
Ralf Jung | *oops* typo
|
commit | commitdiff | tree |
| 2016-01-13 |
Ralf Jung | add link to RustBelt page
|
commit | commitdiff | tree |
| 2016-01-13 |
Ralf Jung | slight color tweaking, to lessen the contrast a little
|
commit | commitdiff | tree |
| 2016-01-11 |
Ralf Jung | make the code background color actually (faintly) visible
|
commit | commitdiff | tree |
| 2016-01-11 |
Ralf Jung | Argue more why `evil` is the problem
|
commit | commitdiff | tree |
| 2016-01-11 |
Ralf Jung | stress privacy a little more
|
commit | commitdiff | tree |
| 2016-01-10 |
Ralf Jung | unsafe post: add link to reddit page
|
commit | commitdiff | tree |
| 2016-01-09 |
Ralf Jung | add link to the rustonomicon example
|
commit | commitdiff | tree |
| 2016-01-09 |
Ralf Jung | final tuning of unsafe blog post, and publish it
|
commit | commitdiff | tree |
| 2016-01-05 |
Ralf Jung | use a dedicated email address for the blog stuff
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | damnit, the Blog root pages had lost their title.....
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | mention the blog's name in posts' footer
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | get rid of category "university"
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | tune spacing
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | get rid of crazy include-vars-magic and pretitles,...
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | fix page.url stripping off .html suffix
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | make category code more readable
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | tune the new blog post; use longer dashes
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | unsafe post: finish first draft
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | highligher: sort builtins
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | posts: add link to reddit page, if it exists
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | only put the excerpt on the RSS, and add a link to...
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | start working on the unsafe post
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | "fix" the official Rust highlighter by monkey-patching
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | split CSS into several files; take some CSS from the...
|
commit | commitdiff | tree |
| 2016-01-02 |
Ralf Jung | update menu plugin to work with Jekyll 3.0
|
commit | commitdiff | tree |
| 2015-10-13 |
Ralf Jung | Rust post: be more explicit about the scope
|
commit | commitdiff | tree |
| 2015-10-13 |
Ralf Jung | Rust post: tune wording
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | fix research page
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | research: add link to research category of my blog
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | feed: fix XML, add ID
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | add categories
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | more Rust post tuning
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | Rust post tuning
|
commit | commitdiff | tree |
| 2015-10-12 |
Ralf Jung | Rust post: tuning, spell checking, publication
|
commit | commitdiff | tree |
| 2015-10-11 |
Ralf Jung | some work on the Rust post
|
commit | commitdiff | tree |
| 2015-10-11 |
Ralf Jung | only show a post excerpt in the blog index
|
commit | commitdiff | tree |
| 2015-10-11 |
Ralf Jung | first version of rust post
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | typo
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | get rid of blog description; more welcome fixes
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | more uniformity for blog post headers; change link...
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | make a research page happen
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | fix welcome post
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | start honoring baseurl again; crazy hackery to get...
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | prepare for having two sites: personal and research
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | make sure vertical scrollbar is always shown
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | *oops* fix date
|
commit | commitdiff | tree |
| 2015-10-09 |
Ralf Jung | publish blog post: Breaking All the Way Out
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | tuning, tuning, tuning the spaces...
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | research: re-add missing image
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | project link can now be found in menu
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | also upload to MPI server
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | index typo
|
commit | commitdiff | tree |
| 2015-10-08 |
Ralf Jung | upload script
|
commit | commitdiff | tree |
| next |
projects / web.git / search