В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

802 membersпожаловаться на группу
2020 February 02

МБ

Михаил Бахтерев in Compiler Development
K R
Други, египтяне пирамиды строили без моторов. Но это не повод считать, что и сейчас это надо делать.

Если вложить очень много сил, то часто и неправильным инструментом можно доделать.
Ага. Этот самый Hotz вложил силы в то, чтобы на Питоне написать интерпретатор Coq, например, чтобы понять, могут они это использовать. Но типы ему не понравились. То есть, он какой-то идейный Питонщик.
источник
23:25пожаловаться#1

А

Алексей in Compiler Development
Михаил Бахтерев
Там ещё Си много. На автопилот у них на Питоне, где они там скорости всякие считают, углы поворота и прочее.
Я что-то не уверен, что типы помогут правильно углы поворотов посчитать.
источник
23:26пожаловаться#2

А

Алексей in Compiler Development
Если только это не какие-нибудь завтипы. Только в проде такое обычно не встречается.
источник
23:27пожаловаться#3

BD

Berkus Decker in Compiler Development
Алексей
Я что-то не уверен, что типы помогут правильно углы поворотов посчитать.
ну как минимум ты градусы и радианы не будешь путать, хех
источник
23:28пожаловаться#4

А

Алексей in Compiler Development
Berkus Decker
ну как минимум ты градусы и радианы не будешь путать, хех
Да там будет double какой-нибудь, а не градусы с радианами.
источник
23:29пожаловаться#5

МБ

Михаил Бахтерев in Compiler Development
Berkus Decker
ну как минимум ты градусы и радианы не будешь путать, хех
Вот-вот... Но тем не менее... Я думаю, не зря тут часы Судного Дня перевели ближе к полуночи. Когда-нибудь критическая масса жабаскрипта и питона нас всех погубит :) Но, блин, люди всё равно предпочитают именно это.
источник
23:30пожаловаться#6

А

Алексей in Compiler Development
Это вообще всё ерунда, которая тестами покрывается. Потом ещё и на полигонах тестируется.
источник
23:31пожаловаться#7

KR

K R in Compiler Development
Алексей
Да там будет double какой-нибудь, а не градусы с радианами.
Да, это и печально.

Большая часть зубодробительных высматривать функций это

Double->Double->Double...,

скобки по вкусу
источник
23:31пожаловаться#8

А

Алексей in Compiler Development
А вот то что там в нейроночках творится - вот это вопрос на миллион долларов
источник
23:31пожаловаться#9

KR

K R in Compiler Development
Алексей
А вот то что там в нейроночках творится - вот это вопрос на миллион долларов
Есть методы доказательств для маленьких сеток.
источник
23:32пожаловаться#10

А

Алексей in Compiler Development
Доказательств чего? Я вот не уверен, что построить формальную модель автопилота легче чем сам автопилот.
источник
23:33пожаловаться#11

kO

kikimych O_O in Compiler Development
Михаил Бахтерев
Ага. Есть такой персонаж - George Francis Hotz. У него многомилионный стартап, который производит подключаемые по CAN автопилоты для автомобилей. И они все эти автопилоты пишут на Питоне. Без типов. http://github.com/openpilot и люди это покупают. И это дичь и жуть. Но такова реальность.
GitHub
openpilot
openpilot has one repository available. Follow their code on GitHub.
Хотц вообще прикольный чел. Но он как бы хакер и надо понимать, что это человек-прототип.
источник
23:36пожаловаться#12

KR

K R in Compiler Development
Алексей
Доказательств чего? Я вот не уверен, что построить формальную модель автопилота легче чем сам автопилот.
Что соответствует формальной модели - не выходит за ограничения

https://www.janestreet.com/tech-talks/abstractions-for-expressive-efficient-parallel-and-distributed-computing/

Вот тут Линдси упоминала
источник
23:36пожаловаться#13

C

Constantine in Compiler Development
https://www.phoronix.com/scan.php?page=news_item&px=HPVM-0.5-Released
Phoronix
University of Illinois Releases HPVM As Heterogeneous Parallel Systems Compiler - Phoronix
Phoronix is the leading technology website for Linux hardware reviews, open-source news, Linux benchmarks, open-source benchmarks, and computer hardware tests.
источник
23:36пожаловаться#14

M

MaxGraey in Compiler Development
Михаил Бахтерев
Вот-вот... Но тем не менее... Я думаю, не зря тут часы Судного Дня перевели ближе к полуночи. Когда-нибудь критическая масса жабаскрипта и питона нас всех погубит :) Но, блин, люди всё равно предпочитают именно это.
Ага всякие GAN и RNN на питонах взбунтуются и создадут Skynet. А вот на хаскеле и Idris такое не произойдет 🙂 Там все по науке
источник
23:36пожаловаться#15

BD

Berkus Decker in Compiler Development
Алексей
Да там будет double какой-нибудь, а не градусы с радианами.
ну с чего же, будет math::angle::Deg и math::angle::Rad и запрещены неявные преобразования, та же история с метрами и футами, ньютонами и паскалями
источник
23:37пожаловаться#16

МБ

Михаил Бахтерев in Compiler Development
MaxGraey
Ага всякие GAN и RNN на питонах взбунтуются и создадут Skynet. А вот на хаскеле и Idris такое не произойдет 🙂 Там все по науке
Осталось убедить датасейнтистов пересесть на Haskell/Idris
источник
23:37пожаловаться#17

KR

K R in Compiler Development
Berkus Decker
ну с чего же, будет math::angle::Deg и math::angle::Rad и запрещены неявные преобразования, та же история с метрами и футами, ньютонами и паскалями
За футы надо сразу бить.
источник
23:37пожаловаться#18

А

Алексей in Compiler Development
Berkus Decker
ну с чего же, будет math::angle::Deg и math::angle::Rad и запрещены неявные преобразования, та же история с метрами и футами, ньютонами и паскалями
а ну тогда ладно
источник
23:37пожаловаться#19

BD

Berkus Decker in Compiler Development
K R
За футы надо сразу бить.
удачи с этим в сша
источник
23:38пожаловаться#20