Hey There! 👋
I’m your host, Nicholas.
Welcome to my little corner of the internet. 🏕️
I waffle on about code & technology.
It ain’t much, but it’s honest work. 😄
Grab a coffee ☕, relax ⛱️ and enjoy your stay!
Featured Posts 📣
-
Generalized CNF for "At Least k, given n variables"
Formula & questionable eyeball proof to convert "at least k" constraints to CNF for easier use with the resolution algorithm.
-
A simple Rust puzzle about borrow checking
Why does some Rust code compile when it "violates" the borrow-checker rules? Hint: Non-lexical-lifetimes. Answering a common misconception from learners new to Rust.
-
FindNUS 🔭
My friend and I built a Lost & Found web-app over summer. I reflect on developing its RESTful API backend and various aspects of backend development.