💾 Archived View for gemlog.blue › users › jiaming › 1617127408.gmi captured on 2022-04-28 at 20:01:53. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
- 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!