hello. i'm alice. i am a mathematician (recently), a programmer (historically), and an entomophile (always). i feel as though i really ought to have a location on the web, for thematic consistency, so this is it. probably i will eventually put blog posts here which are not of general enough interest to be posted elsewhere (ie, about maths).
resume or cv available on request (if you are reading this, you probably have it already).
my lw account is peralice. currently i have one essay up there, which you can find here. you can read about my attempt to win the acx 2026 prediction contest here. i am (as of late january 2026) writing up a summary of some of my attempts to produce a more rigorously justified rating algorithm; this should be on this website soonish. in short, all widely used rating algorithms increase their confidence in the assigned rating even when the events which occur are predicted to be extremely unlikely; i am trying to produce an efficient algorithm which avoids this shortcoming. i also did some work on reed's list colouring conjecture (there isn't a name agreed on by the literature, as far as i know); i might write this up too. there are a couple of gaps and i stopped work on it when i started on my current research topic about eight months ago, but i have some portion of a proof that any graph with vertex list sizes exceeding d + O(log(d)), where d is the maximum vertex-colour degree, is list-colourable (plus some cleaner proofs of things already proven about this conjecture). if you want to work on this before i put a summary of my work up here, contact me and i'll give you what i have. i also believe that any graph with vertex list sizes strictly exceeding d is colourable, but this seems to be very challenging to prove.
v0.08
most styling from html_wysiwyg, with some modifications.
additional styling for this page: