Телеграмм чат группы compilerdev страница 1401

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

846 membersпожаловаться на группу

2020 May 22

DS

Doge Shibu in Compiler Development

Alexander Tchitchigin

Во-первых, это шутка. Во-вторых, я давно и уже несколько раз высказывался о том, что скоро ИИ реально заменит тупой monkey coding в большом числе типовых (Web CRUD) проектов. В-третьих, TabNine у меня неплохо работал, меня слегка впечатлил и порадовал. 😊

В типовых крудах проблема не в наборе кода, а в шизофреничности бизнес процессов, которые надо закодировать.

источник

09:22пожаловаться #1

AT

Alexander Tchitchigi... in Compiler Development

Вот присобачить такое к агде/идрису/коку и чтобы генерировал реализацию по типам, вот это было бы любопытно.

Они и так умеют генерировать реализацию по достаточно подробным типам — это раз. Isabelle/HOL уже много лет в тихую использует ML для "подкармливания" Sledgehammer — это два.

источник

09:22пожаловаться #2

DS

Doge Shibu in Compiler Development

Alexander Tchitchigin

Они и так умеют генерировать реализацию по достаточно подробным типам — это раз. Isabelle/HOL уже много лет в тихую использует ML для "подкармливания" Sledgehammer — это два.

Умеют, но в ограниченном числе случаев

источник

09:23пожаловаться #3

DS

Doge Shibu in Compiler Development

В той же агде оно только в совсем простых случаях работает

источник

09:23пожаловаться #4

AT

Alexander Tchitchigi... in Compiler Development

В типовых крудах проблема не в наборе кода, а в шизофреничности бизнес процессов, которые надо закодировать.

Это тоже обсуждали. Я думаю, что "где-то на середине" заказчики и ИИ сойдутся — и это будет широко использоваться.

источник

09:24пожаловаться #5

AT

Alexander Tchitchigi... in Compiler Development

Умеют, но в ограниченном числе случаев

ML тоже в ограниченном числе случаев работает. 😉

источник

09:24пожаловаться #6

DS

Doge Shibu in Compiler Development

Alexander Tchitchigin

Во-первых, это шутка. Во-вторых, я давно и уже несколько раз высказывался о том, что скоро ИИ реально заменит тупой monkey coding в большом числе типовых (Web CRUD) проектов. В-третьих, TabNine у меня неплохо работал, меня слегка впечатлил и порадовал. 😊

Хотя прям интересно было бы посмотреть настолько такое можно заиспользовать при автоматизации рефакторингов.

В особенности, когда речь касается языков с динамической типизации или сложных кейсов в статически типизированных (а-ля introduce generic и протолкнуть его через данные типы и функции)

источник

09:30пожаловаться #7

AT

Alexander Tchitchigi... in Compiler Development

Хотя прям интересно было бы посмотреть настолько такое можно заиспользовать при автоматизации рефакторингов.

В особенности, когда речь касается языков с динамической типизации или сложных кейсов в статически типизированных (а-ля introduce generic и протолкнуть его через данные типы и функции)

Вот рефакторинги тоже хотелось бы видеть детерминированные, а не вероятностные...

источник

09:33пожаловаться #8

DS

Doge Shibu in Compiler Development

Alexander Tchitchigin

Вот рефакторинги тоже хотелось бы видеть детерминированные, а не вероятностные...

С ревью результата, само собой

источник

09:34пожаловаться #9

M

MaxGraey in Compiler Development

вот кстати GAN сети в качестве авторевьюверов хорошо бы подошли

источник

09:35пожаловаться #10

AT

Alexander Tchitchigi... in Compiler Development

Кстати про рефакторинги — я ещё не кидал http://coccinelle.lip6.fr/ сюда? Недавно наткнулся и сильно впечатлился.

источник

09:36пожаловаться #11

E

Eugene in Compiler Development

Microsoft открыл код GW-BASIC под лицензией MIT https://opennet.ru/53007/

Microsoft открыл код GW-BASIC под лицензией MIT

Компания Microsoft сообщила об открытии исходных текстов интерпретатора языка программирования GW-BASIC, который поставлялся с операционной системой MS-DOS. Код открыт под лицензией MIT. Код написан на ассемблере для процессоров 8088 и основан на срезе оригинальных исходных текстов, датированных 10 февраля 1983 года.

источник

10:50пожаловаться #12

МБ

Михаил Бахтерев... in Compiler Development

Alexander Tchitchigin

Во-первых, это шутка. Во-вторых, я давно и уже несколько раз высказывался о том, что скоро ИИ реально заменит тупой monkey coding в большом числе типовых (Web CRUD) проектов. В-третьих, TabNine у меня неплохо работал, меня слегка впечатлил и порадовал. 😊

А для какого языка работал? У меня для Си не получилось ничего, хотя, скормил ему кучу утилиток linux

источник

11:57пожаловаться #13

AT

Alexander Tchitchigi... in Compiler Development

Михаил Бахтерев

А для какого языка работал? У меня для Си не получилось ничего, хотя, скормил ему кучу утилиток linux

Гм... Наверное, для Rust, уже не помню в точности.

источник

11:58пожаловаться #14

G

Gymmasssorla in Compiler Development

Михаил Бахтерев

А для какого языка работал? У меня для Си не получилось ничего, хотя, скормил ему кучу утилиток linux

У меня и для Си, и для Rust работал

источник

12:03пожаловаться #15

МБ

Михаил Бахтерев... in Compiler Development

У меня и для Си, и для Rust работал

А как настраивали?

источник

12:04пожаловаться #16

G

Gymmasssorla in Compiler Development

Просто установил

источник

12:05пожаловаться #17

p

polunin.ai in Compiler Development

прикол табнайна что он может неплохо работать для любых языков, включая самописные, поэтому он бесценен

источник

12:08пожаловаться #18

AK

Andrei Kurosh in Compiler Development

прикол табнайна что он может неплохо работать для любых языков, включая самописные, поэтому он бесценен

попугай может выдавать "речь" на любом языке, включая вымышленные, но принимать решения на основе его "высказываний" я бы не стал

источник

12:19пожаловаться #19

АГ

Алексей Герасимов... in Compiler Development

попугай может выдавать "речь" на любом языке, включая вымышленные, но принимать решения на основе его "высказываний" я бы не стал

ну он реально дополняет очень длинные куски кода, особенно однообразного

источник

12:19пожаловаться #20