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


Pinhole camera

A simple camera without a lens but with a tiny aperture (the so-called pinhole)—effectively a light-proof box with a small hole in one side. Light from a scene passes through the aperture and projects an inverted image on the opposite side of the box, which is known as the camera obscura effect.


A Norwegian archipelago in the Arctic Ocean. North of mainland Europe, it is about midway between the northern coast of Norway and the North Pole.

Epistemological Letters

A hand-typed, mimeographed "underground" newsletter about quantum physics that was distributed to a private mailing list, described by the physicist and Nobel laureate John Clauser as a "quantum subculture", between 1973 and 1984.

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 (川井徳寛)