Alexander Chichigin

Кстати про математику. Недавно осознал, что тупо обычные числа имеют очень дофига структуры. Натуральные реализуют сходу три полугруппы/моноида — сложение, умножение, миниму...

https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=14526 PhD in Computational Logic in the Innsbruck University Main tasks: - Dissertation in the field of ...

А если мы конечные наты определим в теории типов при помощи рекурсии-индукции или рекурсии-рекурсии или типа того? Примерно так: 1. 0 — натуральное число 2. suc n — натурально...

Вопрос от @FoxPro2_6 Привет. Наткнулся на вот такой текст на сайте assemblyscript. Кажется между w3c и bytecode alliance есть большие разногласия и не факт что component mode...

Мне что-то вообще непонятно, зачем пытаться выжать из LLM полностью формальные рассуждения, при этом даже не пытаясь ей объяснить, что именно ты от неё хочешь (контекст)? Звуч...

Или немонотонные доказательства не будут композиться? 🤔

@amaka_hahina а что, ты меня забанишь, если я подорвусь разобрать "логическую физику" или как там она у Зиновьева, и обсуждать в чате? 😁

Я, кстати, не понял, что именно считается "спекулятивной оптимизацией"? Inline caches считаются? Девиртуализация + inline?

Я что-то не понимаю, какая проблема топологически сортернуть конечный граф? 🧐

@Yaroslav_Schekin можете, пожалуйста, растолковать где проходит граница между неоднозначной КС грамматикой, для которой мы потом делаем disambiguation на основе информации из ...

Ещё забавный момент: (сильно) не все иррациональные числа представимы в конечном виде, в отличие от рациональных. НО. Непредставимые иррациональные, как и все остальные, явля...

https://www.opennet.ru/opennews/art.shtml?num=59986 Исследователи из Швейцарской высшей технической школы Цюриха разработали систему fuzzing-тестирования Cascade, нацеленную н...

Может быть, кому-либо будет интересно: Greetings! This is just a reminder of the following coming online lecture on Logic and foundations of mathematics by Prof. Richard Zach...

Собственно, кардинальность множества не является ли (дискретной) мерой? Я не шарю.

Спасибо, это я уже посмотрел, как ты мог догадаться. Так в чём конкретно вопрос? Что у тебя может/не может быть бесконечным?

Для начала, вопрос не по существу построений Зиновьева, а забанишь или нет? 😁

С мест сообщают: https://www.opennet.ru/opennews/art.shtml?num=54918

https://www.findaphd.com/phds/project/automated-verification-of-webassembly-programs/?p169824 Fully funded PhD scholarship with Graduate Teaching Assistantship in Automated Ve...

Я тут на днях напрограммировал: https://gist.github.com/gabriel-fallen/5b7d5b7131188d53cfeafd439f47b946 Разъесните, пожалуйста, @napa3um какие автоматы и переходы я там описа...

Следующее заседание состоится в четверг 16 декабря 2021 г. с 14:00 до 15:30 московского времени (18:00-19:30 в Новосибирске) и пройдет онлайн в Zoom, подключиться к конференци...