I don't think it's right to say that Rust itself features higher-order separation logic, in the same way that the ML module system doesn't actually have translucent sums. The less ambitious part is that you just write `unsafe` and don't prove anything!
This actually applies to Pathfinder too. It’s in many ways a scaled-back version of “Massively Parallel Vector Graphics” (though I developed it independently and only later realized the connection). It seems to outperform MPVG, ironically, because it’s so scaled-back.
-
-
Which way did you scale back?
-
MPVG does everything on GPU using compute and CUDA; Pathfinder uses the standard GPU pipeline and punts some work to CPU. (This also allows more parallelism—might as well use the CPU since it’s there!) Also, MPVG uses a complicated hierarchy of tiles; PF is a uniform grid.
- 1 more reply
New conversation -
-
-
Almost all of practical software is about simplifying assumptions, which get very little kudos even outside of academia :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.