Octocurious https://octocurious.com Last 10 notes on Octocurious Quartz -- quartz.jzhao.xyz Recursively Enumerable Language https://octocurious.com/Recursively-Enumerable-Language https://octocurious.com/Recursively-Enumerable-Language Wed, 17 Jun 2026 00:00:56 GMT Mathematical Logic https://octocurious.com/ref/kleene1967-logic https://octocurious.com/ref/kleene1967-logic Tue, 16 Jun 2026 23:59:51 GMT Quantum Computing https://octocurious.com/Quantum-Computing https://octocurious.com/Quantum-Computing Tue, 16 Jun 2026 23:57:46 GMT Machine Learning https://octocurious.com/Machine-Learning https://octocurious.com/Machine-Learning Tue, 16 Jun 2026 23:57:07 GMT Universe https://octocurious.com/Universe https://octocurious.com/Universe Tue, 16 Jun 2026 23:42:27 GMT Weakly-Initial Set of Covers https://octocurious.com/Weakly-Initial-Set-of-Covers https://octocurious.com/Weakly-Initial-Set-of-Covers Tue, 16 Jun 2026 13:41:54 GMT Quotient Inductive-Inductive Types https://octocurious.com/ref/altenkirch2016-qiit https://octocurious.com/ref/altenkirch2016-qiit Mon, 15 Jun 2026 00:03:29 GMT Product (Category Theory) https://octocurious.com/Product-(Category-Theory) https://octocurious.com/Product-(Category-Theory) Sun, 14 Jun 2026 23:47:57 GMT Ab (Category) https://octocurious.com/Ab-(Category) https://octocurious.com/Ab-(Category) Sun, 14 Jun 2026 23:27:30 GMT Abelian monoid https://octocurious.com/Abelian-monoid https://octocurious.com/Abelian-monoid Sun, 14 Jun 2026 23:24:26 GMT