Write about non-euclidean geometry.
Created by finegeometer on Feb 11, 2022, 8:08 PM
State:
XKQHH7LQ3IRUZI7SK4WUKS2XAXXJIWNX6K4RIPRW5QBNLKO4VMKACatari-proofs project now exists
Created by finegeometer on Feb 1, 2022, 12:08 AM
State:
HOACWQN4TASMGFOHGNDUCYM3JUA7JTK33HXQQB6KEBI2Y3WJCJTQCIdea: Algebra teaching tool.
Created by finegeometer on Feb 1, 2022, 12:03 AM
State:
HIE5Y4SASHK377GPYWCK6GT7DYDMM2ZNQ67POLWRYO6PPX5WGG5QCSeparation Logic and Noncommutative Geometry. Is there a connection?
Created by finegeometer on Jan 20, 2022, 9:47 PM
State:
D56FOTPMHV5LIGRUGFSVJZ4QFLN5HZCWWEEIOAHPR3AKNZ6ACQSACUpdate speedrunning_lower_bound.md
Created by finegeometer on Jan 19, 2022, 6:04 PM
State:
WSBC5FCHFUQRHG4F5IR2AGTH3SMGJKTWDYV7PKNDYZHML6YKSC3ACMention a useful paper for reasoning about assembly code.
Created by finegeometer on Jan 13, 2022, 8:25 PM
State:
5APHNOHM4J7TN5BJUC4TYVNFNYNLJOZO4QN4EQRZA5STKQ5BN2NACWrite about the different kinds of non-Euclidean space.
Created by finegeometer on Jan 11, 2022, 5:57 PM
State:
YFIRU26C4Z2WBZ3N4EPUQLUS6GB2VVILEHIRILO2B46SPMTBFE5QCPlanning to write about rendering in 4D or non-Euclidean spaces.
Created by finegeometer on Jan 11, 2022, 3:58 PM
State:
OTHSEFFZ7CHFYI3CZTOBZUQHFURGCUNJLHAVSEXFTBJFSW43LVZACNew topic: Can we prove lower bounds on possible speedrun times?
Created by finegeometer on Jan 5, 2022, 4:27 PM
State:
BW73WZIB4ZM7YA3TBBZ2F5QPTDB4DIBENMIALDLQT5ORUFHSFUXACMore on quantelim.
Created by finegeometer on Jan 4, 2022, 6:30 PM
State:
2XL3M542GNTCTW6MOTOMHNDT63WA6IB22GTBSGGSOM5M2OKG27CACWrite a bit more about quantifier elimination.
Created by finegeometer on Jan 4, 2022, 3:29 AM
State:
OZXCQFJXM3KARQUW2V5EEUYITHE5GKNRWJRIELFM6XC2L4MWUZUQCCreate book. Write about using quantifier elimination for a graphing calculator.
Created by finegeometer on Jan 3, 2022, 6:07 AM
State:
IUMFHMAW6PGJLOYIRQJKCRB3PLNZ77XI3LTTGYZ7P477PZNWMSXQCState:
CHW3GH3ETNMMDHPWBODQ77T5R2TFWT6IQTYDWTCBELN6NREHJOJQC