Forwarded from Технологический Болт Генона
> Проблема долгое время оставалась незамеченной так как многолетние uptime не типичны для серверов, которые для поддержания в актуальном состоянии периодически приходится перезапускать для установки обновлений ядра или для перехода на новый выпуск операционной системы.
Время мерятся аптаймами, камунити
> Исправление ошибки публиковать не планируется.
🫡
Ошибка в CPU AMD EPYC 7002 приводит к зависанию после 1044 дней работы
https://www.opennet.ru/opennews/art.shtml?num=59243
Время мерятся аптаймами, камунити
> Исправление ошибки публиковать не планируется.
🫡
Ошибка в CPU AMD EPYC 7002 приводит к зависанию после 1044 дней работы
https://www.opennet.ru/opennews/art.shtml?num=59243
😱4👍2🤡1🖕1
#prog #clojure #article
Серия блогпостов про внутреннее устройство персистентных векторов в Clojure.
Understanding Clojure's Persistent Vectors, pt. 1
Understanding Clojure's Persistent Vectors, pt. 2
Understanding Clojure's Persistent Vectors, pt. 3
Understanding Clojure's Transients
Persistent Vector Performance Summarised
Размер шрифта советую снизить, по умолчанию он чёт крупноват
Серия блогпостов про внутреннее устройство персистентных векторов в Clojure.
Understanding Clojure's Persistent Vectors, pt. 1
Understanding Clojure's Persistent Vectors, pt. 2
Understanding Clojure's Persistent Vectors, pt. 3
Understanding Clojure's Transients
Persistent Vector Performance Summarised
Размер шрифта советую снизить, по умолчанию он чёт крупноват
Hypirion
Understanding Clojure's Persistent Vectors, pt. 1
Ever wondered how Clojure's persistent vector actually works? This is part 1 of a blog series which aims to explain them.
👍4🖕1
#prog #haskell #article
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
GADTs
Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго ранга.
Haskellforall
GADTs
Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov...
🤯5👍3💩1🖕1
Блог*
#prog #haskell #article GADTs Статья, которая показывает с опорой на лемму Йонеды, что GADT чисто технически не является чем-то, увеличивающим выразительность языка, и что GADT могут быть выражены на обычных ADT (не G) при наличии в языке полиморфизма второго…
Хм. В Rust нет ни GADT, ни полиморфизма высшего ранга*, но последнее можно эмулировать при помощи трейтов с обобщёнными методами... Возможно, будет авторский пост.
* строго говоря, есть, но только для лайфтаймов, не для типов.
* строго говоря, есть, но только для лайфтаймов, не для типов.
Telegram
Блог*
#prog #rust #article
Как известно, в Rust (почти) нет higher-ranked polymorphism. Тем не менее, иногда его можно эмулировать довольно простым образом.
leshow.github.io/post/cheat_rank_n
Как известно, в Rust (почти) нет higher-ranked polymorphism. Тем не менее, иногда его можно эмулировать довольно простым образом.
leshow.github.io/post/cheat_rank_n
👍6🤯2🖕1
Forwarded from Рубрика Рандомных Реплик Ромы (ГуРоАл aka NamorNiradnug)
Идея для стартапа: желтые утята для программистов с встроенной ChatGPT.
❤7🤯3🖕1
Forwarded from Tycho (Michael)
ты ей рассказываешь код, а она предлагает, какие ещё классные баги можно в него добавить
😁8❤2🖕1
Forwarded from ☕️ Мерлин заваривает τσάι 🐌
Это как нарисовать узор на берегу моря чтобы волны построили песочный замок
https://btm.qva.mybluehost.iss.one/building-arbitrary-life-patterns-in-15-gliders/
https://btm.qva.mybluehost.iss.one/building-arbitrary-life-patterns-in-15-gliders/
❤5🤩4🤯1🖕1