So this Fall

- Commutative algebra

- Dummit Foote Algebra (Because both of my undergrad algebra courses were by a topologist and then an analyst. Neither could really check proofs, so I got some false positives.)

- Compilers

I can only keep one of the algebra's because I have to drive an hour and a half. The renting market is bleh, right now. Sigh.

rating boost counts on masto:

0 boosts - these posts are the backbone of fedi, braver than any us marine

1-3 boosts - ideal number of boosts, sharing stuff w/ ur friends

4-10 boosts - your post got a lil attention! nice job!

10-20 boosts - wow it's really making the rounds. good in moderation

30-60 boosts - they're still boosting that huh. hope they stop soon

60-120 boots - too many boosts, i want off of mr bone's wild ride

120+ boosts - uh oh. oh no. no thank you

- Background
- Logic, Mathematics, Electronics

- Hobbies
- Philosophy, Programming, Video Games

Backup of qoto.org account. Talk to me there @jmw150

I am an mathematical logician. Most of what I like is in algebraic geometry and mathematical logic.

I also like automation. I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Joined Mar 2022