- Coq is cool! customized it abit and proved `add_comm` and `swapsize_eq`

it's kinda like lean but more for mee

- you can do induction of any variable of add_assoc, but one will be easiest

- coq dont do functional extensionality. i wonder why.

- Terjemahan apl web marie.js ke BM senang je~

- `npm run build` simpler than expected

- i wonder how hard a quine will be hmmmm (quite) i gotta make loops and stuff

- ugh lazyness so not worth clogging the sink ever

- live load > dead load?? overestimating how many people?

- no `go-lang` in apt repos? quite easy (yet painful) to install

- yeesh linux PATHs are kinda annoying... (but for my own good i guess?)

- git.sr.ht/~rafael/gembro tmr here i come!