web.git
11 months agomore academic pointers
Ralf Jung [Wed, 25 Jul 2018 14:32:38 +0000 (16:32 +0200)]
more academic pointers

11 months agoadd Coq typeclass index problem draft
Ralf Jung [Wed, 25 Jul 2018 13:21:40 +0000 (15:21 +0200)]
add Coq typeclass index problem draft

11 months agoclarify that what miri does not not a reasonable choice for language semantics
Ralf Jung [Wed, 25 Jul 2018 10:47:56 +0000 (12:47 +0200)]
clarify that what miri does not not a reasonable choice for language semantics

11 months agoadd a link to the edit history of a post
Ralf Jung [Wed, 25 Jul 2018 10:32:05 +0000 (12:32 +0200)]
add a link to the edit history of a post

11 months agoclarify extra-hidden-state-in-memory
Ralf Jung [Wed, 25 Jul 2018 10:22:13 +0000 (12:22 +0200)]
clarify extra-hidden-state-in-memory

11 months agoblog: Assume we will never have a non-empty baseurl
Ralf Jung [Wed, 25 Jul 2018 08:55:56 +0000 (10:55 +0200)]
blog: Assume we will never have a non-empty baseurl

This is just getting too annoying every time I link to another post

11 months agoconst: clarify and typo
Ralf Jung [Wed, 25 Jul 2018 08:47:08 +0000 (10:47 +0200)]
const: clarify and typo

11 months agoclarify
Ralf Jung [Wed, 25 Jul 2018 07:50:04 +0000 (09:50 +0200)]
clarify

11 months agoC is not portable assembly
Ralf Jung [Wed, 25 Jul 2018 06:22:07 +0000 (08:22 +0200)]
C is not portable assembly

11 months agotypo
Ralf Jung [Tue, 24 Jul 2018 21:51:22 +0000 (23:51 +0200)]
typo

11 months agoremove a footnote again
Ralf Jung [Tue, 24 Jul 2018 21:49:54 +0000 (23:49 +0200)]
remove a footnote again

11 months agotypo
Ralf Jung [Tue, 24 Jul 2018 21:41:36 +0000 (23:41 +0200)]
typo

11 months agoclarify the problem in the last section
Ralf Jung [Tue, 24 Jul 2018 21:35:23 +0000 (23:35 +0200)]
clarify the problem in the last section

11 months agomore on pointers in integer variables
Ralf Jung [Tue, 24 Jul 2018 21:26:17 +0000 (23:26 +0200)]
more on pointers in integer variables

11 months agoclarify abstract nature of pointers
Ralf Jung [Tue, 24 Jul 2018 17:49:24 +0000 (19:49 +0200)]
clarify abstract nature of pointers

11 months agolink to compcert
Ralf Jung [Tue, 24 Jul 2018 15:38:36 +0000 (17:38 +0200)]
link to compcert

11 months agoadd thanks
Ralf Jung [Tue, 24 Jul 2018 15:03:13 +0000 (17:03 +0200)]
add thanks

11 months agoforum link
Ralf Jung [Tue, 24 Jul 2018 14:43:16 +0000 (16:43 +0200)]
forum link

11 months agotweak
Ralf Jung [Tue, 24 Jul 2018 14:39:39 +0000 (16:39 +0200)]
tweak

11 months agoPointers and Bytes
Ralf Jung [Tue, 24 Jul 2018 14:36:02 +0000 (16:36 +0200)]
Pointers and Bytes

11 months agotypo
Ralf Jung [Tue, 24 Jul 2018 14:34:29 +0000 (16:34 +0200)]
typo

11 months agomore information on determinism of CTFE
Ralf Jung [Fri, 20 Jul 2018 07:05:58 +0000 (09:05 +0200)]
more information on determinism of CTFE

11 months agoclarify relation of CTFE correctness and const safety
Ralf Jung [Thu, 19 Jul 2018 20:37:57 +0000 (22:37 +0200)]
clarify relation of CTFE correctness and const safety

11 months agoclarify a bit the I/O story
Ralf Jung [Thu, 19 Jul 2018 20:05:51 +0000 (22:05 +0200)]
clarify a bit the I/O story

11 months agothank centril
Ralf Jung [Thu, 19 Jul 2018 18:44:54 +0000 (20:44 +0200)]
thank centril

11 months agoclarify conflusion
Ralf Jung [Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)]
clarify conflusion

11 months agonotation
Ralf Jung [Thu, 19 Jul 2018 17:09:50 +0000 (19:09 +0200)]
notation

11 months agolink to forum
Ralf Jung [Thu, 19 Jul 2018 16:17:14 +0000 (18:17 +0200)]
link to forum

11 months agopost on CTFE
Ralf Jung [Thu, 19 Jul 2018 16:11:02 +0000 (18:11 +0200)]
post on CTFE

12 months agoimprove old blog post title
Ralf Jung [Tue, 17 Jul 2018 18:36:16 +0000 (20:36 +0200)]
improve old blog post title

12 months agolink to Servo's copy of the same code
Ralf Jung [Mon, 16 Jul 2018 13:34:54 +0000 (15:34 +0200)]
link to Servo's copy of the same code

12 months agoavoid 'read reads'
Ralf Jung [Mon, 16 Jul 2018 08:47:27 +0000 (10:47 +0200)]
avoid 'read reads'

12 months agofix Arc issue description
Ralf Jung [Fri, 13 Jul 2018 21:47:40 +0000 (23:47 +0200)]
fix Arc issue description

12 months agofix typos
Ralf Jung [Fri, 13 Jul 2018 17:49:34 +0000 (19:49 +0200)]
fix typos

12 months agoextend footnote
Ralf Jung [Fri, 13 Jul 2018 16:25:42 +0000 (18:25 +0200)]
extend footnote

12 months agoadd reddit URL, fix typo
Ralf Jung [Fri, 13 Jul 2018 15:21:38 +0000 (17:21 +0200)]
add reddit URL, fix typo

12 months agonew post on Arc bug
Ralf Jung [Fri, 13 Jul 2018 15:19:49 +0000 (17:19 +0200)]
new post on Arc bug

12 months agoblog post: back at mozilla
Ralf Jung [Wed, 11 Jul 2018 10:42:06 +0000 (12:42 +0200)]
blog post: back at mozilla

12 months agoadd MoSeL paper
Ralf Jung [Sun, 8 Jul 2018 13:23:04 +0000 (15:23 +0200)]
add MoSeL paper

13 months agoprettify iptables rules
Ralf Jung [Sat, 16 Jun 2018 20:13:21 +0000 (22:13 +0200)]
prettify iptables rules

13 months agodescribe my mailman CAPTCHA
Ralf Jung [Sun, 10 Jun 2018 17:30:21 +0000 (19:30 +0200)]
describe my mailman CAPTCHA

13 months agomore consistent update notes
Ralf Jung [Sun, 3 Jun 2018 08:43:17 +0000 (10:43 +0200)]
more consistent update notes

13 months agoactually Mailan 2.1.26 supports reCAPTCHA
Ralf Jung [Sun, 3 Jun 2018 08:43:05 +0000 (10:43 +0200)]
actually Mailan 2.1.26 supports reCAPTCHA

13 months agoadd post on mailman subscritpion spam
Ralf Jung [Sat, 2 Jun 2018 18:19:55 +0000 (20:19 +0200)]
add post on mailman subscritpion spam

13 months agoNew post about the inverse contact sync cloud
Ralf Jung [Mon, 28 May 2018 16:13:40 +0000 (18:13 +0200)]
New post about the inverse contact sync cloud

13 months agofix black bar to the left of the small-screen view
Ralf Jung [Wed, 23 May 2018 12:23:42 +0000 (14:23 +0200)]
fix black bar to the left of the small-screen view

13 months agoadd MPI-SWS imrpint links
Ralf Jung [Wed, 23 May 2018 12:20:48 +0000 (14:20 +0200)]
add MPI-SWS imrpint links

14 months agolink to ansible
Ralf Jung [Fri, 11 May 2018 11:29:34 +0000 (13:29 +0200)]
link to ansible

14 months agoupdate links in LEtiny post
Ralf Jung [Thu, 10 May 2018 23:11:13 +0000 (01:11 +0200)]
update links in LEtiny post

also update upload script

15 months agoimpl !Unpin
Ralf Jung [Tue, 17 Apr 2018 08:00:28 +0000 (10:00 +0200)]
impl !Unpin

15 months agoclarify &&T = &Pin<T>
Ralf Jung [Sun, 15 Apr 2018 10:17:06 +0000 (12:17 +0200)]
clarify &&T = &Pin<T>

15 months agofutures 0.2 doesnt seem to be as stable as I thought
Ralf Jung [Wed, 11 Apr 2018 17:15:05 +0000 (19:15 +0200)]
futures 0.2 doesnt seem to be as stable as I thought

15 months agoupdate the update
Ralf Jung [Wed, 11 Apr 2018 08:55:09 +0000 (10:55 +0200)]
update the update

15 months agofix some typos
Ralf Jung [Tue, 10 Apr 2018 17:24:35 +0000 (19:24 +0200)]
fix some typos

15 months agoaddendum re: interior mutability and pinning
Ralf Jung [Tue, 10 Apr 2018 15:12:19 +0000 (17:12 +0200)]
addendum re: interior mutability and pinning

15 months agoadd link to forum; tweak intro
Ralf Jung [Tue, 10 Apr 2018 12:12:28 +0000 (14:12 +0200)]
add link to forum; tweak intro

15 months agotweak intrusive collection post some more and publish it
Ralf Jung [Tue, 10 Apr 2018 11:56:24 +0000 (13:56 +0200)]
tweak intrusive collection post some more and publish it

15 months agopinning post: tweak wording
Ralf Jung [Tue, 10 Apr 2018 11:27:53 +0000 (13:27 +0200)]
pinning post: tweak wording

15 months agotweak style
Ralf Jung [Tue, 10 Apr 2018 11:27:41 +0000 (13:27 +0200)]
tweak style

15 months agoserious revision of the intrusive collections post
Ralf Jung [Tue, 10 Apr 2018 11:27:30 +0000 (13:27 +0200)]
serious revision of the intrusive collections post

15 months agosafe intrusive collections with pinning: first draft
Ralf Jung [Mon, 9 Apr 2018 20:38:33 +0000 (22:38 +0200)]
safe intrusive collections with pinning: first draft

15 months agodon't use Option<NonNull> in the example code
Ralf Jung [Mon, 9 Apr 2018 12:46:12 +0000 (14:46 +0200)]
don't use Option<NonNull> in the example code

15 months agorestructure pinning post a bit
Ralf Jung [Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)]
restructure pinning post a bit

15 months agoclarify changed init signature
Ralf Jung [Fri, 6 Apr 2018 11:13:33 +0000 (13:13 +0200)]
clarify changed init signature

15 months agono multi-defn boxes
Ralf Jung [Fri, 6 Apr 2018 11:09:55 +0000 (13:09 +0200)]
no multi-defn boxes

15 months agoCSS: no background color when printing
Ralf Jung [Fri, 6 Apr 2018 11:09:47 +0000 (13:09 +0200)]
CSS: no background color when printing

15 months agoexplicit ownership: points_to_owned
Ralf Jung [Thu, 5 Apr 2018 15:41:24 +0000 (17:41 +0200)]
explicit ownership: points_to_owned

15 months agomem_own -> points_to
Ralf Jung [Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200)]
mem_own -> points_to

15 months agoadd forum link
Ralf Jung [Thu, 5 Apr 2018 14:04:19 +0000 (16:04 +0200)]
add forum link

15 months agonew blogpost on pinning
Ralf Jung [Thu, 5 Apr 2018 13:31:19 +0000 (15:31 +0200)]
new blogpost on pinning

also capitalize an old post

16 months agoforgot to add POPL to RustBelt publication
Ralf Jung [Sat, 3 Mar 2018 12:20:51 +0000 (13:20 +0100)]
forgot to add POPL to RustBelt publication

17 months agofix subtyping typo
Ralf Jung [Sun, 4 Feb 2018 09:22:03 +0000 (10:22 +0100)]
fix subtyping typo

17 months agouse borrowing terminology in invariants; typos
Ralf Jung [Wed, 31 Jan 2018 16:29:23 +0000 (17:29 +0100)]
use borrowing terminology in invariants; typos

17 months agolink to forum
Ralf Jung [Wed, 31 Jan 2018 10:30:11 +0000 (11:30 +0100)]
link to forum

17 months agoNew post: Sharing for a lifetime
Ralf Jung [Wed, 31 Jan 2018 10:25:05 +0000 (11:25 +0100)]
New post: Sharing for a lifetime

17 months agoRustbelt post: also link to video
Ralf Jung [Wed, 31 Jan 2018 10:24:53 +0000 (11:24 +0100)]
Rustbelt post: also link to video

17 months agolinks to POPL'18 talk
Ralf Jung [Sun, 21 Jan 2018 13:53:54 +0000 (14:53 +0100)]
links to POPL'18 talk

18 months agoWrite blog post on LE tiny
Ralf Jung [Tue, 26 Dec 2017 18:56:33 +0000 (19:56 +0100)]
Write blog post on LE tiny

19 months agoedits
Ralf Jung [Fri, 15 Dec 2017 16:14:06 +0000 (17:14 +0100)]
edits

19 months agoNew blog post: Interview for people of PL
Ralf Jung [Fri, 15 Dec 2017 16:12:03 +0000 (17:12 +0100)]
New blog post: Interview for people of PL

20 months agoupdate RustBelt paper
Ralf Jung [Mon, 13 Nov 2017 12:48:30 +0000 (13:48 +0100)]
update RustBelt paper

20 months agoRustBelt post: link to final version
Ralf Jung [Sat, 11 Nov 2017 08:58:13 +0000 (09:58 +0100)]
RustBelt post: link to final version

22 months agoUB post: clarify more
Ralf Jung [Tue, 22 Aug 2017 17:13:07 +0000 (19:13 +0200)]
UB post: clarify more

22 months agoUB post: clarify
Ralf Jung [Tue, 22 Aug 2017 17:11:07 +0000 (19:11 +0200)]
UB post: clarify

23 months agopublish internship-ending
Ralf Jung [Sat, 12 Aug 2017 07:08:21 +0000 (00:08 -0700)]
publish internship-ending

23 months agofix ref
Ralf Jung [Sat, 12 Aug 2017 02:28:47 +0000 (19:28 -0700)]
fix ref

23 months agomore forum links
Ralf Jung [Sat, 12 Aug 2017 02:28:02 +0000 (19:28 -0700)]
more forum links

23 months agofix formatting
Ralf Jung [Sat, 12 Aug 2017 02:27:02 +0000 (19:27 -0700)]
fix formatting

23 months agoclarify
Ralf Jung [Sat, 12 Aug 2017 02:23:49 +0000 (19:23 -0700)]
clarify

23 months agoshow how to fix the Arc problem
Ralf Jung [Sat, 12 Aug 2017 02:18:35 +0000 (19:18 -0700)]
show how to fix the Arc problem

23 months agoso long, and thanks for all the fish
Ralf Jung [Sat, 12 Aug 2017 02:10:56 +0000 (19:10 -0700)]
so long, and thanks for all the fish

23 months agospacing
Ralf Jung [Sat, 12 Aug 2017 01:20:01 +0000 (18:20 -0700)]
spacing

23 months agoforum link
Ralf Jung [Fri, 11 Aug 2017 23:04:30 +0000 (16:04 -0700)]
forum link

23 months agonew post on evaluating types-as-contracts
Ralf Jung [Fri, 11 Aug 2017 23:02:09 +0000 (16:02 -0700)]
new post on evaluating types-as-contracts

23 months agomention boxes
Ralf Jung [Wed, 19 Jul 2017 20:55:23 +0000 (13:55 -0700)]
mention boxes

23 months agotweaks
Ralf Jung [Wed, 19 Jul 2017 04:27:31 +0000 (21:27 -0700)]
tweaks

23 months agorefactor: reorder examples and validation sections
Ralf Jung [Tue, 18 Jul 2017 20:34:32 +0000 (13:34 -0700)]
refactor: reorder examples and validation sections

23 months agoexample typos and generally improve ref example
Ralf Jung [Tue, 18 Jul 2017 17:59:37 +0000 (10:59 -0700)]
example typos and generally improve ref example

23 months agoonly &UnsafeCell is special
Ralf Jung [Tue, 18 Jul 2017 16:56:46 +0000 (09:56 -0700)]
only &UnsafeCell is special

23 months agofuture work
Ralf Jung [Tue, 18 Jul 2017 16:51:26 +0000 (09:51 -0700)]
future work