Isaac Ito

Pinned post from September 1, 2024

Changes

This year so far, there's been a lot of changes in my life. Last year I lost 10 kg (22 lbs), and this year so far I lost further 2 to 3 kg (4 to 6 lbs). I changed my diet from high carb to high fat, low carb. I stopped drinking in June and never drank since then. I used to have bad skin conditions, but it's noticeably getting better. I...

January 22, 2024

Golang

This month I started learning Go in earnest, and so far I like it. I particularly like the overall practical design of the language itself and its supporting frameworks like module system and unit test. Nice!

January 8, 2024

Editable

Unlike Twitter, I can edit my blog here, which is nice.

January 8, 2024

New year, new things.

New year begun, and I am starting to use this Hey World blogging for... well, blogging. Let's see how long I can continue.

October 29, 2023

My interests

Parsing code. PEG Development workflow using Docker. Dev container. Programming languages Unicode, i18n Networking, HTTP routing, REST Web frontend, ProtoBuf/gRPC Formatter Linter Templating Resource embedding Cross compilation All-in-one single binary LPeg. Minimal source set to build Lua for LPeg. Unit test. Coverage. Static code ana...

October 14, 2023

dev container in vs code

Updated on 22 October 2023 This page is a good starting point for me. It gently describes the basic concept of dev container and how to set it up to get started. This article is an overview. https://code.visualstudio.com/docs/devcontainers/containers For more concrete experience of using Dev Container, see this tutorial about how to se...

October 12, 2023

Writing math in blogging system

One of the things I want in blogging system is the ability to render math. If I can write math using single dollar delimiter for inline math and double dollar delimiter for display math, that would be ideal because it is the style supported in vs code and GitHub. This is inline math: $y = x^2$ while the following is the display math. $...

October 12, 2023

Hello hey

I've started using Hey.com today. Let's see how it goes...