второй раз когда еду с друзьями в другую страну и кто то из этих долбаебов устраивает засор
неизбежность
неизбежность
кто говорит что философы не могут в быт, пусть посмотрит как я охуенно погладил одежду с утра
супер крутой чел
Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs
и параллельно пишет статьи по философии математики, сам из Принстона
https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs
и параллельно пишет статьи по философии математики, сам из Принстона
https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
изначально эта статья гуглится на сайте Чалмерса, почему так – я хз, учитывая что она по теории типов
https://link.springer.com/chapter/10.1007/978-94-007-4435-6_11
https://link.springer.com/chapter/10.1007/978-94-007-4435-6_11
SpringerLink
Program Testing and the Meaning Explanations of Intuitionistic Type Th
The relationship between program testing and Martin-Löf’s meaning explanations for intuitionistic type theory is investigated. The judgements of intuitionistic type theory are viewed as conjectures which can be tested in order to be corroborated or...
Empty Name
супер крутой чел Dimitris Tsementzis, Head of Machine Learning Products в Goldman Sachs и параллельно пишет статьи по философии математики, сам из Принстона https://www.researchgate.net/scientific-contributions/Dimitris-Tsementzis-2077708905
SpringerLink
A meaning explanation for HoTT
Synthese - In the Univalent Foundations of mathematics spatial notions like “point” and “path” are primitive, rather than derived, and all of mathematics is encoded in terms...
с другой стороны это значит что я на правильном пути так сказать (учитывая что issue буквально прошлогодний)
Dear Arnold,
Please find attached your certificate of admission.
You’ll need the certicate of admission for the application for a student visa at the German embassy. Please apply for a visa as soon as possible. Be aware that you can apply for a so-called National Visa, which is valid for the entire duration of your stay. A National Visa will save you money and additional visits to the Foreigners’ Registration Office in Germany.
Please find attached your certificate of admission.
You’ll need the certicate of admission for the application for a student visa at the German embassy. Please apply for a visa as soon as possible. Be aware that you can apply for a so-called National Visa, which is valid for the entire duration of your stay. A National Visa will save you money and additional visits to the Foreigners’ Registration Office in Germany.
Zulassung im Studiengang: Philosophie, Informatik / Computational Science - ohne Abschluss
кто бы мог подумать что лишние 2.5 кг (помимо еще 2.5) на бицепс ощущаются так тяжело
итак сейчас я скину вам выдержки из интервью математика который получил медаль Филдса
June Huh often finds himself lost.
Every afternoon, he takes a long walk around Princeton University, where he’s a professor in the mathematics department. On this particular day in mid-May, he’s making his way through the woods around the nearby Institute for Advanced Study — “Just so you know,” he says as he considers a fork in the path ahead, “I don’t know where we are” — pausing every so often to point out the subtle movements of wildlife hiding beneath leaves or behind trees.
Huh had no desire to be a mathematician. He was indifferent to the subject, and he dropped out of high school to become a poet.
For a few months in the spring of 2019, all he did was read. He felt an urge to revisit books he’d first encountered when he was younger — including Meditations by the Roman emperor Marcus Aurelius and several novels by the German author Hermann Hesse — so that’s what he did. “Which means I didn’t do any work,” Huh said. “So that’s kind of a problem.”
As a consequence, “I became better and better at ignoring deadlines.”
“I think intention and willpower … are highly overrated,” he said.
He tried his best to avoid math whenever possible. His father once tried to teach him out of a workbook, but rather than try to solve the problems, Huh would copy the solutions from the back. When his father caught on and tore those pages out, Huh went to a local bookstore and wrote down the answers there
When he was 16 years old and in the middle of his first year in high school (which lasts for three years in South Korea), he decided to drop out to write poetry. He was something of a romantic. “I could literally physically cry after listening to good music,” he said. He wrote about nature and about his own experiences.
He planned to complete his masterpiece in the two years before he’d have to attend university. “So that didn’t happen,” he laughed.
“But June is the opposite. … If you talk to him for five minutes about some calculus problem, you’d think this guy wouldn’t pass a qualifying exam. He’s very slow.”
Every afternoon, he takes a long walk around Princeton University, where he’s a professor in the mathematics department. On this particular day in mid-May, he’s making his way through the woods around the nearby Institute for Advanced Study — “Just so you know,” he says as he considers a fork in the path ahead, “I don’t know where we are” — pausing every so often to point out the subtle movements of wildlife hiding beneath leaves or behind trees.
Huh had no desire to be a mathematician. He was indifferent to the subject, and he dropped out of high school to become a poet.
For a few months in the spring of 2019, all he did was read. He felt an urge to revisit books he’d first encountered when he was younger — including Meditations by the Roman emperor Marcus Aurelius and several novels by the German author Hermann Hesse — so that’s what he did. “Which means I didn’t do any work,” Huh said. “So that’s kind of a problem.”
As a consequence, “I became better and better at ignoring deadlines.”
“I think intention and willpower … are highly overrated,” he said.
He tried his best to avoid math whenever possible. His father once tried to teach him out of a workbook, but rather than try to solve the problems, Huh would copy the solutions from the back. When his father caught on and tore those pages out, Huh went to a local bookstore and wrote down the answers there
When he was 16 years old and in the middle of his first year in high school (which lasts for three years in South Korea), he decided to drop out to write poetry. He was something of a romantic. “I could literally physically cry after listening to good music,” he said. He wrote about nature and about his own experiences.
He planned to complete his masterpiece in the two years before he’d have to attend university. “So that didn’t happen,” he laughed.
“But June is the opposite. … If you talk to him for five minutes about some calculus problem, you’d think this guy wouldn’t pass a qualifying exam. He’s very slow.”
всем читать это интервью оно просто гениальное
https://www.quantamagazine.org/june-huh-high-school-dropout-wins-the-fields-medal-20220705/
https://www.quantamagazine.org/june-huh-high-school-dropout-wins-the-fields-medal-20220705/
Quanta Magazine
He Dropped Out to Become a Poet. Now He’s Won a Fields Medal.
June Huh wasn’t interested in mathematics until a chance encounter during his sixth year of college. Now his profound insights connecting combinatorics and geometry have led to math’s highest honor.
This approach doesn’t just apply to Huh’s mathematical work. In 2013, he decided he wanted to learn to cook. As a total beginner, he adopted the strategy of making the same dish — a simple pasta in oil — every day until it was perfect. For six months, that’s exactly what he did. (To date, according to Kim, that’s the only dish he knows how to cook.)
Empty Name
This approach doesn’t just apply to Huh’s mathematical work. In 2013, he decided he wanted to learn to cook. As a total beginner, he adopted the strategy of making the same dish — a simple pasta in oil — every day until it was perfect. For six months, that’s…
это буквально я когда учусь играть на пианино