Ciro Santilli @cirosantilli 37

Open source software engine created for and used by Wikipedia.

An easy to prove theorem that follows from a harder to prove theorem.

cat-v.org/ by Rob Pike, co-creator of Go, looong time Unixer, and some kind of leader of a 9p resurrection cult. That one's spicy. E.g.: harmful.cat-v.org/, Ciro's version: good and evil.

Improve article editing which is very buggy and inconvenient!

I'll also look into some more likely easy but very important topic improvements:

Some smart people just brought up to my attention that OurBigBook.com is a bit like: roamresearch.com/ and other graph knowledges. I feel ashemed for not having seen this software and its alternatives before. I was so focused on the "book aspect" of it that I didn't search much in there. I couldn't find an immediate project killer superset from the options in that area, but maybe one exists. We'll see.