Size: a a a

Compiler Development

2020 January 27

SM

Sailor Moon in Compiler Development
Ilmir
Эээээ, "But Turing machines with a tape infinitely progressing in only one direction are just as powerful as Turing machines with a tape infinitely progressing in two directions. Apart from that, multiple threads can be simulated by a scheduler. Anyways, we do not even require a threading library."
не понимаю к чему там про бесконечные тейпы, но симулировать треды вряд ли поможет потому что новый бесконечный стак не получить
источник

AK

Andrei Kurosh in Compiler Development
Ilmir
Именно! Все языки - это сократовские идеи, а их реализации - манифестации этих идей в реальном мире и, как любая манифестация, они не идеальны.
А какой смысл писать спецификацию таким образом, что она физически не может быть точно воплощена?
источник

AT

Alexander Tchitchigin in Compiler Development
Ilmir
Ни одна машина в мире не имеет бесконечной памяти, ergo ни один язык программирования не полон по тьюрингу.
Опять путаем язык и его реализацию? 😉
источник

JC

Julian =) Coffee in Compiler Development
Чтоб могла быть воплощена позже
источник

I

Ilmir in Compiler Development
Alexander Tchitchigin
Опять путаем язык и его реализацию? 😉
Нет, но путаем Сократа и Платона.
источник

I

Ilmir in Compiler Development
Andrei Kurosh
А какой смысл писать спецификацию таким образом, что она физически не может быть точно воплощена?
А какой смысл писать спецификацию так, чтобы она повторяла в точности реализацию? Чтобы была возможна только одна реализация?
источник

AT

Alexander Tchitchigin in Compiler Development
Andrei Kurosh
В итоге получается, что ни одна из реализаций не соответствует спецификации? )
Обсуждали же уже потенциально бесконечную память. Реализация, которая опирается на функцию "дай ещё памяти" вполне соответствует спецификации и является полной по Тьюрингу.
источник

EM

Evgenii Moiseenko in Compiler Development
Ilmir
А какой смысл писать спецификацию так, чтобы она повторяла в точности реализацию? Чтобы была возможна только одна реализация?
Платон, Сократ, теперь ещё и  Бодрийяр с "картой размером с само королевство".
источник

I

Ilmir in Compiler Development
Evgenii Moiseenko
Платон, Сократ, теперь ещё и  Бодрийяр с "картой размером с само королевство".
Спасибо! Добавил в список "к чтению".
источник
2020 January 28

TT

Taras 🦀 Taraskin in Compiler Development
Rustem B.
когда оформлю, выложу))
спасибо)
лично мне интересно посмотреть
источник

M

MaxGraey in Compiler Development
кто бы мог подумать!
источник

M

MaxGraey in Compiler Development
А тем временем в Intel нашли еще одну спекулятивную уязвимость
https://cacheoutattack.com/
источник

M

MaxGraey in Compiler Development
здесь список моделей которые подвержены этому
https://software.intel.com/security-software-guidance/insights/processors-affected-l1d-eviction-sampling
источник

A

Agrailag in Compiler Development
Основатель LLVM присоединился к SiFive
https://3dnews.ru/1002372
источник

TS

Timur Safin in Compiler Development
Я из этого
https://www.sifive.com/blog/with-sifive-we-can-change-the-world не понял зачем он перешёл? Также мутно как и в случае с теслой
источник

C

Constantine in Compiler Development
О как, я почему-то считал, что он всегда работал в Apple🤥
Вот и Brad Fitzpatrick, покидает Google и команду Golang
https://twitter.com/bradfitz/status/1221843479950585857
😞
источник

BD

Berkus Decker in Compiler Development
Неужели в гугле оказалось не так уж not evil?)
источник

AK

Andrei Kurosh in Compiler Development
Он долго работал в Apple, потом сманили в Google на проект, связанный с TensorFlow/MLIR, ну а теперь вот ушел в «команду увлеченных профессионалов»
источник

C

Constantine in Compiler Development
Andrei Kurosh
Он долго работал в Apple, потом сманили в Google на проект, связанный с TensorFlow/MLIR, ну а теперь вот ушел в «команду увлеченных профессионалов»
Как я понял, он в гугле тоже с профессионалами работал, один из них Jeff Dean (Senior Fellow & SVP, Google AI)🤔
источник

AK

Andrei Kurosh in Compiler Development
Constantine
Как я понял, он в гугле тоже с профессионалами работал, один из них Jeff Dean (Senior Fellow & SVP, Google AI)🤔
Да это такое клише из HR-сферы, которое используют когда больше про компанию сказать нечего
источник