miniblog.

← Back to all posts
Feb 10, 2020 at 00:02
Applying an SMT solver to find missed optimisation opportunities in LLVM's arithmetic tooling: https://blog.regehr.org/archives/1714

Related Posts

Jan 30, 2023 at 06:21
I really like languages that store their runtime stack on the heap, such as Smalltalk. You can write code as if you have tail call optimisation, but you still have normal stack traces for debugging.
Nov 17, 2022 at 18:37
The Self programming language, the optimisation techniques they pioneered, and the emergent design principles: https://youtube.com/watch?v=3ka4KY7TMTU (Stanford talk by one of the creators)
Photo
Oct 30, 2022 at 23:47
Applying different profile guided optimisation techniques to the rust compiler:
Speeding up the Rust compiler without changing its code
…Yes, I know that the title looks like a clickbait. But it’s actually not that far from the truth :)