Articles RSS

Working as a software engineer/tech lead/researcher at AccelByte, Actyx, and UXStream inspires these articles.

Caveat: Anything written here does not represent the view and position of the companies above

page:
2024-03-22

Appreciating 2023: Systems, Types, and Philosophy

Today's work is particularly fun that it inspired me to write this appreciation piece for the past 2023-2024.

2024-01-21

Control, In Itself, For You

When you run a program in your computer, a small slice of space and time in your device is under the programmer's control.

2023-09-08

Distant Now Is Late But It Does Not Matter

Your “now” is some time in my past and my “now” is some time in your past

2023-01-24

Agency

We've dreamt of creating an intelligence. Which aspect of it is so profound?

2022-10-11

Rust: Type Concealment With Any Trait and FnMut

While working on machine-tree I found that Rust has a very powerful arsenal when it comes to dynamic programming and hiding type information.

2022-08-25

TypeScript Type Game: Builder Pattern to Build A Validation Framework

One of the useful arts in type-oriented programming is the utilization of a type system to safeguard business logic. Today, we are going to experiment with TypeScript to find out how deep the type system can be involved in safeguarding business logic.

page: