[snaky]

> if there's a "true low level language" for today I'd like to hear about it

"Steel Bank Common Lisp: because sometimes C abstracts away too much" https://www.pvk.ca/Blog/2014/03/15/sbcl-the-ultimate-assembl...

ATS - C plus everything you could get from modern types, including type-safe pointer arithmetics https://www.youtube.com/watch?v=zt0OQb1DBko

Compiling Haskell to hardware http://conal.net/blog/posts/haskell-to-hardware-via-cccs

[ori_b]

I don't see how these get past the limitations of assembly (and C) language mentioned in the post above. None of those links seem to indicate anything about exposing the cache hierarchy or out of order execution to developers.