Lobsters
- Using a SMT solver to find optimal GBA palettes https://blog.catboli.com/smt-solver-gba/ 2 comments formalmethods , graphics
- Using a SMT solver to find optimal GBA palettes https://blog.catboli.com/smt-solver-gba/ 3 comments programming
- Calendar notifications with a Matrix.org bot https://blog.catboli.com/calendar-notifications-with-a-matrix-org-bot/ 3 comments selfhosted
- My Self-Hosted Setup https://blog.catboli.com/my-self-hosted-setup/ 21 comments selfhosted