Empty Name
https://www.academia.edu/328382/I_have_no_future
> One asks (email, 2016) how my opening claim—that I have no preference whether I live or die—is compatible with my fear of death. All that I can say is that this is a truthful report of how I feel
🐳4🏆1
> It is not our selves in our nervous tics and optical flecks that we wish to perpetuate; it is the self [considered simply] as window on the world that we can’t bear to think of shutting
🐳1🏆1
Thirty years ago, Jerome Nriagu argued in a milestone paper that Roman civilization collapsed as a result of lead poisoning.
The present work shows that “tap water” from ancient Rome had 100 times more lead than local spring waters.
https://www.pnas.org/doi/abs/10.1073/pnas.1400097111
The present work shows that “tap water” from ancient Rome had 100 times more lead than local spring waters.
https://www.pnas.org/doi/abs/10.1073/pnas.1400097111
PNAS
Lead in ancient Rome’s city waters | Proceedings of the National Academy of Sciences
It is now universally accepted that utilization of lead for domestic purposes and
water distribution presents a major health hazard. The ancient Ro...
water distribution presents a major health hazard. The ancient Ro...
🏆1
Empty Name
Thirty years ago, Jerome Nriagu argued in a milestone paper that Roman civilization collapsed as a result of lead poisoning. The present work shows that “tap water” from ancient Rome had 100 times more lead than local spring waters. https://www.pnas.or…
мой взгляд на историю примерно такой:
1) Христианство появилось из-за спорыньи в пиве
2) Язычество из-за психоделических грибов
3) Римская империя рухнула из за свинца в трубах
4) Финансовые кризисы происходят из-за кокаина
5) Философия в Древней Греции появилась из-за того, что греки пили много вина под палящим солнцем
6) Скоро в игру вступит мистер Аддералл
1) Христианство появилось из-за спорыньи в пиве
2) Язычество из-за психоделических грибов
3) Римская империя рухнула из за свинца в трубах
4) Финансовые кризисы происходят из-за кокаина
5) Философия в Древней Греции появилась из-за того, что греки пили много вина под палящим солнцем
6) Скоро в игру вступит мистер Аддералл
❤10🤡5🎉1👌1🏆1
охуеть, все это время я искал не там, логики в Потсдаме есть – но они на факультете Computer Science
и все даже лучше, чем я думал – у них есть группа людей, которая ведет "Картезианский семинар" и что они там читают?
категорная квантовая механика (чек), логика высшего порядка (чек), разные теории типов (чек), теория формальных языков (чек)
и все даже лучше, чем я думал – у них есть группа людей, которая ведет "Картезианский семинар" и что они там читают?
категорная квантовая механика (чек), логика высшего порядка (чек), разные теории типов (чек), теория формальных языков (чек)
👏5❤2🏆2
Empty Name
ладно моя идея устарела на год
update – теперь правило большого пальца такое:
надо заниматься теми вещами, по которым еще не нихуя не вышло
надо заниматься теми вещами, по которым еще не нихуя не вышло
🏆1
Empty Name
update – теперь правило большого пальца такое: надо заниматься теми вещами, по которым еще не нихуя не вышло
> Helmut Schwichtenberg, Ludwig-Maximilians-Universität Munchen
Ludwig-Maximilians-Universität Munchen
я должен был быть там
я
должен был ходить на семинар по гомотопической теории типов
я ––
Ludwig-Maximilians-Universität Munchen
я должен был быть там
я
должен был ходить на семинар по гомотопической теории типов
я ––
😁3🏆1
> As a young child I had great trouble sleeping, and I thought about death almost every night
🕊14❤4🏆1
Empty Name
посмотрите на эти усы
PS. No I didn't meet Voevodsky - he showed up at Cornell after I left and I return only for a few months each year
🏆1
Empty Name
охуеть, все это время я искал не там, логики в Потсдаме есть – но они на факультете Computer Science и все даже лучше, чем я думал – у них есть группа людей, которая ведет "Картезианский семинар" и что они там читают? категорная квантовая механика (чек)…
> Currently nobody teaches category theory. We went through that a few years ago in the Cartesian Seminar
🏆2