The compiler was supposed to end programming too

We built a community-maintained job board for Formal Verification (FVjobs)

Zeen v0.4.0

A new way to think about borrow checking (in reverse)

Built an open-source visual workbench for parsing algorithms

Towards Umka 2.0: Replacing reference counting with mark-and-sweep gives measurable performance gain

Advices for young compiler engineers

Bootstrap time has arrived!

Compiling my favourite language to Web Assembly with no JDK in sight

Do compilers necessarily need to generate assembly from IR before producing object code?