Write about non-euclidean geometry.

Created by  finegeometer  on February 11, 2022

3XUVBCPRK5UPGXLTBETSBZCCRP2U7HKNXZ44H7K7N7Z3H4XZ6IOQC

atari-proofs project now exists

Created by  finegeometer  on January 31, 2022

UDU7MTDRICAF5MVLPY2D5R5HQZQRTB27VLB27WPYORFAHGHZA4EAC

Idea: Algebra teaching tool.

Created by  finegeometer  on January 31, 2022

T4M2T5UD4GYH7TEHC63NFPVH3UCYNU7ZUSZVHZCGM33JOH4DGV5AC

Separation Logic and Noncommutative Geometry. Is there a connection?

Created by  finegeometer  on January 20, 2022

5YV65SPGVEKZA7SETW2DZRXP42F2G5SEVK6A6HG3ODDEAY3ANZKQC

Update speedrunning_lower_bound.md

Created by  finegeometer  on January 19, 2022

WBLPXVTDO5DLSFRCAO7Q5AVZRUQUUOQKG4LLEQCDDGKJNL4TDVSAC

Mention a useful paper for reasoning about assembly code.

Created by  finegeometer  on January 13, 2022

G6QCTDRPPQGIC7CFYDFV62D2IJJGQKGRLKDHDTTSQOESPFLN7KTQC

Write about the different kinds of non-Euclidean space.

Created by  finegeometer  on January 11, 2022

VR2PZTSTDXAPGKXJWWUSWZQ4NQYKHGRQOIKJM2UNANEKHAWAVYLQC

Planning to write about rendering in 4D or non-Euclidean spaces.

Created by  finegeometer  on January 11, 2022

EPZE7HGQEJDGBP75IIFAEVHOCKDMMSZZWJAXEKNKECQS5TCACEOAC

New topic: Can we prove lower bounds on possible speedrun times?

Created by  finegeometer  on January 5, 2022

Z22OYEOI4JVBZ7SXSMLGMFBPJ2F36FSOQLQR5LCAPJVW3KF47P7QC

More on quantelim.

Created by  finegeometer  on January 4, 2022

YV2HUWPVYEGY6WH3C37ZPTXYULZZCG6CPUMAKZ767SFC623DMP3AC

Write a bit more about quantifier elimination.

Created by  finegeometer  on January 3, 2022

SZCENJWWEDSFJJNNFSUG3SC2ATQLKYQFZ5YXSTOADLV3EIOP2KSAC

Create book. Write about using quantifier elimination for a graphing calculator.

Created by  finegeometer  on January 3, 2022

7HRLRQKVDELAMQDBRZJGKX3QCN3YBIZHZJAGMBPWJEIXIAIBZETQC

(no change message)

Created by   on January 3, 2022

OXCU26VFRNMOVIEBIO4CPCR3ARVTB22C6NUF3LY36SKUW4ILDVEAC