Registration is open for the Workshop on Homotopy Type Theory and Univalent Foundations:
https://hott-uf.github.io/2024/
Leuven, Belgium, April 2–3, 2024
Online attendance is possible but registration is required anyway,

https://www.pm.inf.ethz.ch/research/verifythis.html

Pretty famous annual VerifyThis competition will be held at ETAPS April 6th and 7th, 2024.
Participants are welcome to register and attend, (some) travel grants are available.

https://www.youtube.com/watch?v=XLtxXkugd5w

Curious. Apparently the "Wolfram Physics Project" isn't really about physics, but about a mathematical formalism capable of describing a wide spectrum of possible (or impossible) "physics". And yet it has some fundamental and generic features that lead to potentially testable consequences in our physics. 😊

Twelve of the sixteen Federal topographic maps covering the river corridor had gross errors. Thirty-five of the ninety-three rapids were unmarked and two dangerous falls were not on the maps at all. Twelve portages were missing and six were marked in the wrong location.

as of 1995 on a single river in Canada. Leading to many drownings over the years.

I think topographic maps have improved immensely across the globe since that time...

Как называется предприниматель, который практикует недеяние?

Пиз-деццкая комната

https://causalml-book.org/

#free #book on #causalinference and CausalML #machinelearning with a lot of Google Colab Notebooks in Python and R using EconML and DoubleML packages.

https://statmodeling.stat.columbia.edu/2024/02/28/a-suggestion-on-how-to-improve-the-broader-impacts-statement-requirement-for-ai-ml-papers/

For ML/AI folks writing papers. Some ideas on improving your "broader societal impact" section.

Дамочка! Недостаточно просто лежать в постели как бревно. При этом ещё нужно спать!

https://dmkpress.com/catalog/computer/mathematics/978-5-93700-271-6/

Не знал, что на русском вообще есть книги про SciLab, а это уже второе издание, сильно переработанное и дополненное. По сути — учебник для ВУЗов, с задачами для самостоятельного решения. Едва ли расскажет что-то новое заядлым пользователям Matlab/Mathematica/Scientific Python, но как введение в предмет с нуля может быть вполне.

#book

Яндекс умеет в юмор! 🤣

https://bobkonf.de/2024/en/program.html

The upcoming (March, 15) BOB conference features a keynote by Andreas Rossberg on formal semantics and its use for specifying WebAssembly (obviously), a tutorial by Andres Löh on Staged Programming in Haskell (with Typed Template Haskell), on Lean by Joachim Breitner and David Thrane Christiansen, on K Framework by Jost Berthold and Georgy Lukyanov, and some other interesting talks.

No live broadcast, but they seem to publish recordings on the talks' pages after the conference.

https://ig.ft.com/ai-animals/

Animals are smarter and more sophisticated than you think. Especially large mammals like elephants and whales. They use elaborate signaling systems aka language.

Now groups of researchers hope to decode the semantics of certain animal languages at least partially, with the help of modern Large Language Models. But first they have to collect and clean huge datasets, which presents gigantic challenge, both logistically and technically.

That kinda shifts your perspective on the elephants in a zoo...

Для ещё более слоупоков, чем я, сообщаю, что Bartosz Ciechanowski ещё год назад выкатил великолепное (как обычно) детальное интерактивное объяснение, как "работают" велосипеды:
https://ciechanow.ski/bicycle/

Кое-какие нюансы для меня были совершенно неизвестны и удивительны (кстати, недавно в чате обсуждали тросы вместо спиц и как это работает), а Бартош даёт ссылки на ещё более детальные научные исследования и эксперименты (с видео на YouTube).

https://arxiv.org/abs/2109.14072
"A Look at Communication-Intensive Performance in Julia"
Amal Rizvi, Kyle C. Hale 2021

We show that if programmers properly balance the computation to communication ratio, Julia can actually outperform C/MPI in a cluster computing environment.

https://msfp-workshop.github.io/msfp2024/
Tenth Workshop on Mathematically Structured Functional Programming
Functionality from Structure

MSFP will be held on Monday 8th July 2024 in affiliation with ICALP/LICS/FSCD in Tallinn, Estonia.

"Hot take": строить корректные неформальные рассуждения, блин, сложнее, чем полностью формальные!

https://jameshfisher.com/2023/06/14/proving-112-and-other-advanced-theorems/

Kinda straightforward overview of a a + b = b + a proof from the Natural Number Game but it features some explanations in terms of JS/TS programming, and thus might be more relatable to some folks.

https://www.mathematik.uni-muenchen.de/~schwicht/pc24.php
Autumn school "Proof and Computation", 15th to 21st September 2024 at Aurachhof in Fischbachau near Munich.

Among the courses
— Thierry Coquand (Gothenburg): Topos theory and constructive mathematics
— Klaus Mainzer (Munich): From Proof and Computation to AI - Logical, Mathematical, and Philosophical Foundations
— Freek Wiedijk (Nijmegen): The De Bruijn criterion versus the Poincare principle
and some more.

Бррр-ометр

Раф в прикуску с рофлами.