projects
/
web.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
add ghostcell podcast episode
2017-07-19
Ralf Jung
mention boxes
commit
|
commitdiff
|
tree
2017-07-19
Ralf Jung
tweaks
commit
|
commitdiff
|
tree
2017-07-18
Ralf Jung
refactor: reorder examples and validation sections
commit
|
commitdiff
|
tree
2017-07-18
Ralf Jung
example typos and generally improve ref example
commit
|
commitdiff
|
tree
2017-07-18
Ralf Jung
only &UnsafeCell is special
commit
|
commitdiff
|
tree
2017-07-18
Ralf Jung
future work
commit
|
commitdiff
|
tree
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
next