Luyu Cheng

Posts

What I like about Typst

My friend Cui Chen used Typst to create a menu of his private gourmet menu, and I'd like to take this opportunity to express my opinion about Typst.

typst, LaTeX
English

Learning Music with Duolingo

After 100 days of learning music with Duolingo, I am summarizing my feelings in this article.

duolingo, music
Chinese

How to Determine Subtyping Relations Based on Variance Information

While I was a teaching assistant for the COMP3031 course, I wrote this article to explain how to determine whether two types have a subtyping relationship in Scala based on covariance of type declarations.

scala, variance, liskov
English

Learning Scala by Implementing TAPL

scala
English

Thoughts on Data Visualization Authoring

My thoughts on how to produce visualization faster and with good quality after participation in a COVID-19 data visualization project.

visualization, thoughts
Chinese

Draw Text with WebGL

webgl, text-rendering
English

Bottom Type in Haskell

Haskell, type-system, functional-programming
Chinese

Why Monoid Everywhere?

haskell, functional-programming, monoid
Chinese

What are Functors?

haskell, functional-programming, functor
Chinese

Rewrite foldl with foldr, explained

haskell, functional-programming
Chinese

Create New Types in Haskell

haskell, syntax, grammar
Chinese

A New Perspective into Fourier Transformation

fourier-transformation, notes
Chinese

Notes on Support Vector Machine

machine-learning, notes, support-vector-machine
Chinese

First Attempt of CNN on MNIST