Daniel Lim Wee Soong

1. Me

I am interested in type theory and high-performance systems.

I am especially curious about ways to ergonomically reason about the correctness of a fast program.

During the day, I work on a low-latency trading system at an investment bank.

2. Notes

Some experiments with C++ metaprogramming are underway!

3. Archives

Earlier when I worked in cybersecurity research, I wrote some technical articles.

  1. Out-of-Bounds Write due to an Optimization Bug in WebKit’s JIT Compiler
  2. Out-of-Bounds Write in Apple’s Text Rendering Library
  3. Taint Analysis for Efficient Bug Hunting in Router Firmware
  4. LLDB Scripting Guide