Warning: mkdir(): No space left on device in /var/www/group-telegram/post.php on line 37

Warning: file_put_contents(aCache/aDaily/post/metaprogramming/-364-365-): Failed to open stream: No such file or directory in /var/www/group-telegram/post.php on line 50
Metaprogramming | Telegram Webview: metaprogramming/364 -
Telegram Group & Telegram Channel
Telegram Group » Brazil » Metaprogramming » Telegram Webview » Post 364
Metaprogramming
Kevin Buzzard — евангелист языка программирования (и формального доказательства математических теорем) Lean.

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

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

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

Манеру устных презентаций также можно оценить по многочисленным видео. Смешные штаны (инвариант), рубленные кричащие реплики (и по содержанию: слоганы), общие манеры... невольно, при всём уважении к заслугам выпускника Кембриджа в теории чисел, на ум приходят аэропортовые таксисты, чуть не хватающие мимо проходящих людей за рукав :)
www.group-telegram.com/br/metaprogramming.com/364
644 views



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: |

Now safely in France with his spouse and three of his children, Kliuchnikov scrolls through Telegram to learn about the devastation happening in his home country. The channel appears to be part of the broader information war that has developed following Russia's invasion of Ukraine. The Kremlin has paid Russian TikTok influencers to push propaganda, according to a Vice News investigation, while ProPublica found that fake Russian fact check videos had been viewed over a million times on Telegram. Elsewhere, version 8.6 of Telegram integrates the in-app camera option into the gallery, while a new navigation bar gives quick access to photos, files, location sharing, and more. Meanwhile, a completely redesigned attachment menu appears when sending multiple photos or vides. Users can tap "X selected" (X being the number of items) at the top of the panel to preview how the album will look in the chat when it's sent, as well as rearrange or remove selected media. Multiple pro-Kremlin media figures circulated the post's false claims, including prominent Russian journalist Vladimir Soloviev and the state-controlled Russian outlet RT, according to the DFR Lab's report.
from br



Warning: filemtime(): stat failed for aCache/aDaily/post/metaprogramming/-364-365- in /var/www/group-telegram/post.php on line 310

Warning: filemtime(): stat failed for aCache/aDaily/post/metaprogramming/-364-365- in /var/www/group-telegram/post.php on line 311

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

 Metaprogramming TG
Webview: 364
Metaprogramming.Telegram Webview
Metaprogramming Telegram TG Channel
Telegram Updated:
Telegram Metaprogramming
FROM American