- think about how mathlib defines real numbers
- click around for a bit trying to understand it
- go to the wikipedia page about the construction of the real numbers
- give up
i like terepi and homestuck 👍 ¦ maid of breath ¦ derse dreamer 😔 ¦ pyrope.net/ew ¦ we call it css crimes but the whole point of css is that it is cascading style sheets which we do not have in posts. i mean, there's still cascading sort of (if i change the font on an element its children will have that font too), and, yes, there is the cohost stylesheets i suppose but. hm. ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support
| pronouns |
![terezi's head is seen from behind looking at the sky. on the right, it says terezi.pyrope.net and >:]](https://terezi.pyrope.net/88x31.png "terezi's head is seen from behind looking at the sky. on the right, it says terezi.pyrope.net and >:]")
this account is part of the m,cai ringbug
name-color: #008282
website
terezi.pyrope.net/blog
b.pyrope.net/my fedi (it works for real because it's run by other people!)
critter.cafe/@mehbark