In this post you’ll find a nice explanation of how tail call optimization works. Surprise-surprise, the optmization also works fine with non-recursive functions.

#compiler #optimize #recursion

A repo with a bunch of links that'll help you to understand how the Kotlin compiler works.

#kotlin #compiler

Arrow announced their Analysis. It's a plugin for Kotlin compiler that is able to analyze flow of your code and to perform deeper-than-usual checks.

#lint #compiler #plugin

First, they tell you that reading assembly is easy. Then they tell you that
- RAX register is 64 bits
- EAX is lower 32 bits of RAX
- AX is lower 16 bits of RAX
- AL is lower 8 bits of RAX
- AH is higher 8 bits of AX
- Writing to them works as expected, but writing to EAX will zero out the rest of RAX
- There are a bunch of different registers, e.g. RAX, RCX, RDX, RBX. Yep, not ABCD, but ACDB. It's the order they're stored in
- (╯°□°)╯︵ ┻━┻

#cpu #assembler #compiler

An interesting example of what's possible with modern compilers. The post is about Dafny lang, it can prove or disprove in compile time certain assertions we add to our code.

#compiler #language #cs