Creating music online since 2012,
games since 2020.

Past works available over here → Works


Nov 16, 2022

Typeset LaTeX files with TeX Live on macOS and IntelliJ IDEA

So you want to typeset LaTeX locally

Nowadays, we have the luxury of ‘cloud LaTeX services’ like Overleaf, but sometimes you will run into timeout issues because you used a bit too many images.
It will never be a problem if you can just typeset LaTeX locally, so here’s the setup I use for my purposes.
Note that I need a CJK environment, or more specifically, I need to be able to typeset Japanese characters. this post on

Nov 11, 2022

Did you know I sell stock music?

Well, this is a shameless plug but this is my blog, so here goes;

Did you notice that the sidebar on this blog now has an ad?

If you are reading this on smartphones, sorry, sidebar is only available on the desktop version of this website. Try viewing it from tablet or PC!

Don’t worry, this is not a tracking ad. It is a static ad that I’ve placed. Audiostock is a website where I sell some “stock music.” this post on

Nov 10, 2022

The compilation is now on sale at BOOTH!

The compilation I wrote about in this blog is now on sale at pixiv BOOTH!

Fruits Cooktail - 北大DTMサークルNMPASS - BOOTH

2022秋M3にて頒布したアルバム、[Fruits Cooktail]のダウンロード版です。 果物をテーマに部員が作曲したオリジナル楽曲を10曲収録しています。 ロング版のクロスフェードはリンクよりご覧いただけます。 this post on

Oct 30, 2022

New Song Alert!


Skipped loading player: you're on mobile!

You can still listen to this track via official site or app.

Listen on SoundCloud this post on

Jul 19, 2022

Creating Custom Tags in Jekyll, with an actual example

Read the article on is a “service for concise, consistent, and legible badges in SVG and raster format, which can easily be included in GitHub readmes or any other web page.” Quality metadata badges for open source projects

Pixel-perfect   Retina-ready   Fast   Consistent   Hackable   No tracking...

Their service takes query parameters to their API endpoint to generate a badge / shield. For example:


My GitHub

I was planning to use this in this website, when I realized a problem; it is hard to maintain. While it may be rare to change the content of those shields, it would be nice to have a maintainable way to put a shield on my blog. this post on

subscribe via RSS