libera/#sicl - IRC Chatlog
Search
12:53:04
Bike
i would expect boxed arithmetic on anything but bignums to be basically constant time?
12:53:25
Bike
there's like memory caching stuff, but if you worry about that than the entire concept of "constant time" starts getting nebulous
13:01:47
hayley
Memory caching stuff is part of it, e.g. attacks on AES could be done as some parts of lookup tables would be in and out of cache.
13:03:29
hayley
Bike: Since I am fed up with CL+SSL again, and I enjoy unnecessarily complex solutions, I am thinking to compile LLVM code to CL as a safe "FFI" of sorts. Are the bitcode and text formats for IR stable? Is either less annoying to parse?
13:11:25
hayley
Darnit, only the bitcode is stable, but my (possibly very bad) guess is that the text format looks simpler to parse.
13:21:27
hayley
(I am aware of Iota, but it requires a custom Clang, and thus can conveniently generate Lisp code from C++, using the LLVM library to manipulate IR. I think it's possible to use a normal Clang, if the Lisp side can imitate x86-64 or whatever target sufficiently.)
20:00:01
moon-child
hayley: I feel like, if you write AREF, you get what you pay for and have to know what you're doing; main concern is a language-level cost model (or lack thereof)