Posts

This is the part 2 of the CS6120 learning note. This note will introduce natural loops, loop-invariant code motion, and static single assignments.

I have been following and finished the CS6120 from Cornell, a self-guided online course for topics in compilers. It was a great journey following along the course and the exercises. This post is the first part of learning notes of the course, containing introduction to CFGs, and data flow analysis framework, optimizations like reaching definitions, dead code elimination, and local value numbering.

A sketch inspired by La Sagrada Familia

An Android application providing hands-free navigation using spatial audio, empowering visually impaired people to navigate the world at ease. This project is brought to you by 8 UCL Software Systems Engineering students.

A lexer generator macro in swift using swift macros, _RegexParser in the experimental string processing library, and directed graphs.

Is Reed just a dream? Hey my dear friend, I miss you.

Types are fun! Wanna exercise with types? Turns out you can create (static) type mappings in C++! To spicy things up a bit more, let's try to solve the n queen problem with just types!

This website uses vite-plugin-markdown-vue extensively. Let's disassemble the plugin and see how it works! It's surprisingly powerful and fun!

I got two Yubico keys and they are cool!

年轻真好，我还是那个坚定的理想主义者！

You are obsessed with bit operations and want to do everything and want to do everything with & and |. How to subtract one with only bit operations then? Hmm, I wonder...

Hi there! Welcome come to yet another new blog. :)