serious thoughts and empty ideas alt text

standard date format YYYY.MM.DD


Listen to my esoteric alternative universe podcast co-hosted by Benjamin Philippe!

Welcome to my blog, I hope you STEI around and have a pleasant time!

serious thoughts

[2022.07.12] I ♥ Lightweight Formal Methods

In Bornholt et al. [2021], Amazon describes the use of lightweight formal methods as a pragmatic approach to verify the correctness of a given production system. I'm interested in this lightweight property they present, in which a formal specification doesn't have to be fully achieved, but an emphasizing automation and sustainability through property based testing. Also inspired by the classic Quickcheck (Claessen and Hughes [2000]) paper.

[2022.06.28] What is Gradual Verification?

Formal verification is a program correctness and soundness verification method that is near and dear to my heart. However, recently I've been working on a research project involving Gradual Verification! Introduced by Bader et al. [2018], GV seeks to use both static and dynamic program verification and make use of their isolated advantages, inspired by gradual typing. I explain at a somewhat high level what GV is technically, why we should care about it, and current systems tools for GV.

[2022.04.21] A brief explanation of GraphMat and Graphicionado

I've recently been working on graph analytic algorithms, or well the optimization of graph algorithms. While working with my current research group (CAPRA) I've been trying to understand our Calyx compiler infrastructure. What's a better way to learn a language than by using it to implement a very unintuitive research paper? I go into detail about what exactly Graphicionado is —in simple terms— a graph algorithm optimization framework using hardware.

empty ideas

[2022.08.10] Complete beginner tries some music theory [1/35]

This is my first attempt at trying to learn some music theory (as a complete beginner)! I recently got the YAMAHA P71 88-key keyboard because I got tired of playing around with virtual piano. I'll be following Music Theory for the 21st-Century Classroom by Robert Hutchinson, and writing notes on each lecture. Who knows, I might even embed a video or two of my playing.

recently read on wikipedia

Formal verification

The act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.


A structure defined according to a functor F, with specific properties as defined below. For both algebras and coalgebras, a functor is a convenient and general way of organizing a signature.

Thinking, Fast and Slow

The book's main thesis is that of a dichotomy between two modes of thought: "System 1" is fast, instinctive and emotional; "System 2" is slower, more deliberative, and more logical.

news about me



June 2022

Started REUSE at CMU

November 2021

Joined CAPRA research group

August 2021

Entered my first year at Cornell University!


"Tame Cat's Optical Illusion" 2006 -Tokuhiro Kawai (川井徳寛)