Telegram Group & Telegram Channel
Kevin Buzzard — евангелист языка программирования (и формального доказательства математических теорем) Lean.

Слайд из по-видимому знаковой презентации, процитированной в статье о данном математике в Вики.

Уровень аргументации математика первого ранга, логические цепочки утверждений и в целом связность речи поражает:

— Lean лучше, чем Coq (язык-конкурент — прим.)
— А чем лучше-то?
— Да чем Coq!

Манеру устных презентаций также можно оценить по многочисленным видео. Смешные штаны (инвариант), рубленные кричащие реплики (и по содержанию: слоганы), общие манеры... невольно, при всём уважении к заслугам выпускника Кембриджа в теории чисел, на ум приходят аэропортовые таксисты, чуть не хватающие мимо проходящих людей за рукав :)



group-telegram.com/metaprogramming/364
Create:
Last Update:

Kevin Buzzard — евангелист языка программирования (и формального доказательства математических теорем) Lean.

Слайд из по-видимому знаковой презентации, процитированной в статье о данном математике в Вики.

Уровень аргументации математика первого ранга, логические цепочки утверждений и в целом связность речи поражает:

— Lean лучше, чем Coq (язык-конкурент — прим.)
— А чем лучше-то?
— Да чем Coq!

Манеру устных презентаций также можно оценить по многочисленным видео. Смешные штаны (инвариант), рубленные кричащие реплики (и по содержанию: слоганы), общие манеры... невольно, при всём уважении к заслугам выпускника Кембриджа в теории чисел, на ум приходят аэропортовые таксисты, чуть не хватающие мимо проходящих людей за рукав :)

BY Metaprogramming





Share with your friend now:
group-telegram.com/metaprogramming/364

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

But Kliuchnikov, the Ukranian now in France, said he will use Signal or WhatsApp for sensitive conversations, but questions around privacy on Telegram do not give him pause when it comes to sharing information about the war. And while money initially moved into stocks in the morning, capital moved out of safe-haven assets. The price of the 10-year Treasury note fell Friday, sending its yield up to 2% from a March closing low of 1.73%. "For Telegram, accountability has always been a problem, which is why it was so popular even before the full-scale war with far-right extremists and terrorists from all over the world," she told AFP from her safe house outside the Ukrainian capital. "There are several million Russians who can lift their head up from propaganda and try to look for other sources, and I'd say that most look for it on Telegram," he said. Perpetrators of these scams will create a public group on Telegram to promote these investment packages that are usually accompanied by fake testimonies and sometimes advertised as being Shariah-compliant. Interested investors will be asked to directly message the representatives to begin investing in the various investment packages offered.
from us


Telegram Metaprogramming
FROM American