<arigato>
it's a memory model that turns C-level pointers into 128+1-bit values, with an ISA around it that makes actual sense IMHO, both for usage by existing C code and also giving some support for GCs
<arigato>
I found out about it because the GCC Compile Farm just added a prototype 64-bit ARM machine with support for it
<arigato>
the main drawback is that pointers are twice as large, which is bad for things like pypy