Деякі математичні докази, ну я скажу що це просто монстри на терабайти чистого тексту. Взяти хоча б класифікацію скінченних простих груп то там стільки сторінок, що голова йде обертом. І от Walrus міг би стати саме тим сховищем, куди можна скинути всі ці гігантські обчислення. Щоб математики з усього світу ще сто років могли спокійно заходити, скачувати, перевіряти, сперечатися.Але тут є ще один цікавий момент про який трохи ще розкажу.

Це ж не просто хмарка з файлами. Це фактично вічна бібліотека для найскладніших людських думок, де кожен символ захищений від зникнення чи випадкової порчі. Мені здається, що це і є справжній фундамент чистої науки і без «ой, сервер закінчився», без дедлайнів і платних тарифів. Просто ти береш і працюєш із знаннями, з такими що вже пережили декілька поколінь математиків.@Walrus 🦭/acc #walrus $WAL