Современная фронтенд-разработка — это лучшее от всех миров: надёжность PHP, скорость Python и время компиляции C++.
😁40😐7🤡6😭4👍1👎1👌1🖕1
#prog #rust #article
Volatile
So the other day on Twitter a person posted a perfectly innocent question.
does Rust’s Cell type have volatile semantics. is Cell
the appropriate type for describing memory that is
modified by peripheral hardware.
do i have to write a volatile cell crate. i do not wish
to write volcel at my job but i will do it if i have to
To which I replied
(1) Cell does not have volatile semantics (2) do not
write a volcel crate there are several crate for a VolatileCell
type already (3) do not use any VolatileCell crate
they literally are all incorrect.
Now before we begin, full disclosure: I have my own volatile handling crate, which could be seen as a “competing” crate with the rest of the “VolatileCell” style crates. It offers an alternate style of abstraction, which is slightly more annoying to use in some cases, but has the main benefit that it’s at least not incorrect.
Volatile
So the other day on Twitter a person posted a perfectly innocent question.
does Rust’s Cell type have volatile semantics. is Cell
the appropriate type for describing memory that is
modified by peripheral hardware.
do i have to write a volatile cell crate. i do not wish
to write volcel at my job but i will do it if i have to
To which I replied
(1) Cell does not have volatile semantics (2) do not
write a volcel crate there are several crate for a VolatileCell
type already (3) do not use any VolatileCell crate
they literally are all incorrect.
Now before we begin, full disclosure: I have my own volatile handling crate, which could be seen as a “competing” crate with the rest of the “VolatileCell” style crates. It offers an alternate style of abstraction, which is slightly more annoying to use in some cases, but has the main benefit that it’s at least not incorrect.
lokathor.github.io
Volatile
github pages
👍3😐1🖕1
Forwarded from Type Driven Thoughts 🦀
And another slide by Graydon Hoare explaining the move semantics from way back, when Rust was only incubating. I like how from beginning they decided to make the terminology not too academic.
❤8😁1🖕1
🌚17🥰2😱2😁1🖕1
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