Forwarded from hirrolot
Можешь ещё это почитать (в тему Idris2): https://www.type-driven.org.uk/edwinb/papers/idris2.pdf
Forwarded from Andrei D
олсо сходу нагуглились https://www.bestproducts.com/tech/electronics/g20633756/trackpads-touchpads-for-mac-and-pc/
Best Products
These Best Trackpads Afford Next-Level Precision
Excellent for swiping, clicking, and pinching-to-zoom, these gadgets make for a more streamlined workflow.
Forwarded from The Wacky Yellow Dog
Основное - это Pin'о проблемы. Я ссылок тут не помню, но первое что на ум приходит, это вот эта штука:
https://internals.rust-lang.org/t/unsoundness-in-pin/11311
https://internals.rust-lang.org/t/unsoundness-in-pin/11311
Rust Internals
Unsoundness in `Pin`
Recently, @withoutboats challenged me to demonstrate a hypothetical version of Pin with different guarantees, and show how it would be sound. However, while working on that, I stumbled upon unsoundness in the actual Pin. I haven't seen this reported before…
Forwarded from Deleted Account
Ещё наброшу https://github.com/rust-lang/rust/issues/63818
GitHub
Resolve unsound interaction between noalias and self-referential data (incl. generators, async fn) · Issue #63818 · rust-lang/rust
Self-referential generators violate LLVM's expectations for noalias due to the overlapping bounds of the interior references and the &mut self argument to the Generator::resume function. Or...
Forwarded from Антон
https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf
Прочитай, пожалуйста, прежде чем подобную хуйню писать
Прочитай, пожалуйста, прежде чем подобную хуйню писать
Forwarded from Deleted Account
ДОУ
Елена Денисенко — о карьере программиста и должности Team Lead в 19 лет
19-летний тимлид, сотрудница одной из ТОП-5 аутсорсинговых компаний в Киеве. У нее в подчинении сеньоры от 25 до 40 лет. Сегодня говорим о программировании, научной деятельности и планах на будущее.
Forwarded from Aleksandr Razumov
https://www.youtube.com/watch?v=ql-uncsqoAU&feature=youtu.be
Вот, как и обещал, доклад про го и его упоротую историю
Вот, как и обещал, доклад про го и его упоротую историю
YouTube
Почему Golang такой странный / Филипп Кулин (Дремучий лес)
При поддержке AvitoTech мы впервые публикуем все видео с GolangConf 2019 в открытый доступ. Учитесь, вдохновляйтесь и перенимайте лучшие практики у спикеров, не выходя из дома.
Приглашаем на GolandConf 2020 live!
14-17 октября 2020, онлайн по всему миру.…
Приглашаем на GolandConf 2020 live!
14-17 октября 2020, онлайн по всему миру.…
Αλεχ Zhukovsky:
ну помнишь у тебя arr[11] для массива длины 10 выдавал ошибку компиляции
Ну да, это запросто, оно где-то тут выше валялось
@catting_cat @aikidos
https://scastie.scala-lang.org/XYpWXkS7Txufj5U6uV44NQ
ну помнишь у тебя arr[11] для массива длины 10 выдавал ошибку компиляции
Ну да, это запросто, оно где-то тут выше валялось
@catting_cat @aikidos
https://scastie.scala-lang.org/XYpWXkS7Txufj5U6uV44NQ
Scastie
Scastie - An interactive playground for Scala.
Scastie can run any Scala program with any library in your browser. You don’t need to download or install anything.
Forwarded from Jin Yu ᶠʳᵒᵐ ᵗʰᵉ ᶠᵃˡˡ 🥟🥝
Всем привет😉
Ищу крутого Scala разработчика в иностранную компанию, возможно работать удаленно
+ очень высокая зарплата
пишите в личку 📩
Ищу крутого Scala разработчика в иностранную компанию, возможно работать удаленно
+ очень высокая зарплата
пишите в личку 📩