https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/
Funny how Rust grows closer and closer to Scala 3. 😄
Funny how Rust grows closer and closer to Scala 3. 😄
Tyler Mandry
Contexts and capabilities in Rust
I recently stumbled on a promising idea to solve what I’ll call the “context problem” in Rust. The idea takes inspiration from features in other languages like implicit arguments, effects, and object capabilities. While this is at the early stages of development…
https://www.youtube.com/watch?v=CDqc9T7BYdo
Отличное эссе, очень интересно смотреть и слушать. Местами чуть перебрали пафоса, ну да чего не сделаешь для красного словца? 😃
Отличное эссе, очень интересно смотреть и слушать. Местами чуть перебрали пафоса, ну да чего не сделаешь для красного словца? 😃
YouTube
Лиготти: наследник Лавкрафта, вдохновитель «Настоящего детектива» и король ужасов (не Стивен Кинг)
По собственным подсчетам Лиготти, у него лишь несколько тысяч преданных фанатов по всему миру, а большинство читателей насилу едва вспомнят его фамилию, хотя хорошо знают Дина Кунца и Рэмси Кэмпбелла. Лиготти никогда не стремился к популярности и не раскручивал…
https://youtu.be/lAU5hx_3xRc
A really nice lecture from Xavier Leroy giving an overview of critical software development and pretty much all of existing approaches to verification. With some entertaining examples from avionics.
And a gem from a question: "Fixing bugs is not research". I'm not sure much changed since 2016...
A really nice lecture from Xavier Leroy giving an overview of critical software development and pretty much all of existing approaches to verification. With some entertaining examples from avionics.
And a gem from a question: "Fixing bugs is not research". I'm not sure much changed since 2016...
YouTube
In search of software perfection - 2016 Milner Award lecture by Dr Xavier Leroy.
2016 Milner Award lecture by Dr Xavier Leroy, a senior research scientist at Inria where he leads the Gallium research team.
In the general public, "software" has become synonymous with "crashes" and "security holes". Yet, there exists life-critical software…
In the general public, "software" has become synonymous with "crashes" and "security holes". Yet, there exists life-critical software…
👍1
Apparently the computational complexity of gradient descent belongs to some obscure class. 😁
https://arxiv.org/abs/2011.01929
https://arxiv.org/abs/2011.01929
Оказывается, для "плоских" (один скрытый слой) нейронок с ReLU (нелинейной, между прочим) активацией, градиентный спуск из случайной точки (случайные начальные веса) доказанно находит глобальный минимум (при использовании квадратичной функции потерь): https://arxiv.org/abs/1810.02054
👍1
https://www.cs.utexas.edu/users/wcook/Drafts/2009/essay.pdf
"On Understanding Data Abstraction, Revisited" by William R. Cook, 2009
A fascinating essay drawing clear lines between Data Abstraction, Type Abstraction, Abstract Data Types and Objects.
For extra fun controversial rhetoric the author argues that in its essence OOP is just Higher-Order Functional Programming and even states that
😁
But I see his point. For me personally that reminds https://www.elegantobjects.org/ which in pursue of "true OOP" embraces many FP mechanisms and techniques. Moreover on a couple of occasions the author mentions that processes could model objects as well which reminds another famous saying that Erlang is the most OO language. 😊
Fun controversy aside the author presents pretty deep analysis explicitly based on seminal works of Luca Cardelli and Peter Wegner, as well as more resent "Types and Programming Languages" presentation. Essay touches on ADT and OO relationships to extendability, flexibility, optimisation, Expression Problem (with excellent bibliography going all the way back to Reynolds) and verification. Significant chunk of the essay is devoted to discussion of actual programming languages' (Java, Smalltalk and Haskell) relationship with both ADTs and Objects, and features that support or hamper their implementation and sound use.
At any rate that was an enriching read from both theoretical and practical perspectives, a bit too brief but therefore even more thought-provoking. 😊
"On Understanding Data Abstraction, Revisited" by William R. Cook, 2009
A fascinating essay drawing clear lines between Data Abstraction, Type Abstraction, Abstract Data Types and Objects.
For extra fun controversial rhetoric the author argues that in its essence OOP is just Higher-Order Functional Programming and even states that
One conclusion you could draw from this analysis is that the untyped λ-calculus was the first object-oriented language.
😁
But I see his point. For me personally that reminds https://www.elegantobjects.org/ which in pursue of "true OOP" embraces many FP mechanisms and techniques. Moreover on a couple of occasions the author mentions that processes could model objects as well which reminds another famous saying that Erlang is the most OO language. 😊
Fun controversy aside the author presents pretty deep analysis explicitly based on seminal works of Luca Cardelli and Peter Wegner, as well as more resent "Types and Programming Languages" presentation. Essay touches on ADT and OO relationships to extendability, flexibility, optimisation, Expression Problem (with excellent bibliography going all the way back to Reynolds) and verification. Significant chunk of the essay is devoted to discussion of actual programming languages' (Java, Smalltalk and Haskell) relationship with both ADTs and Objects, and features that support or hamper their implementation and sound use.
At any rate that was an enriching read from both theoretical and practical perspectives, a bit too brief but therefore even more thought-provoking. 😊
https://www.youtube.com/watch?v=FI7MBhPaL2Q
Pretty inspiring and illuminating talk from Brendan Fong summarising Topos Institute's activities and achievements during 2021, mission and ambitions for the next 5 or so years. 😊
Pretty inspiring and illuminating talk from Brendan Fong summarising Topos Institute's activities and achievements during 2021, mission and ambitions for the next 5 or so years. 😊
YouTube
Topos: 2021 in review
Presentation on Thursday December 9th, 2021, following the final Topos Institute Colloquium of 2021.
For more details on the Colloquium, see: https://topos.site/topos-colloquium/.
For more about the mission and vision of Topos, see: https://topos.institute/.
For more details on the Colloquium, see: https://topos.site/topos-colloquium/.
For more about the mission and vision of Topos, see: https://topos.institute/.
Поскольку "новое быдло" звучит токсично и неполиткорректно, мы говорим "пост-интеллигенция".
https://rudalle.ru/check_image/d7b2e54ffac845e9a5d3bba8cc1961e9
Диаграмма классов типичного Java-приложения. 😁
Диаграмма классов типичного Java-приложения. 😁
https://www.youtube.com/watch?v=hJNF2_dCWkg
В чём разница между растительным и животным протеином, и сколько его надо съесть. Пошёл разводить whey protein.
В чём разница между растительным и животным протеином, и сколько его надо съесть. Пошёл разводить whey protein.
YouTube
Protein is not protein. Here's why
Holiday Season deal! Go to https://nordvpn.com/whativelearned to get a 2-year plan plus 1 additional month with a huge discount!
▼Newsletter signup: https://josepheverettwil.substack.com/
▲Patreon: https://patreon.com/WILearned
▲Twitter: https://twit…
▼Newsletter signup: https://josepheverettwil.substack.com/
▲Patreon: https://patreon.com/WILearned
▲Twitter: https://twit…
https://staceyoniot.com/the-next-big-wi-fi-standard-is-for-sensing-not-communication/
Наконец-то роутер начнёт следить за нами физически! 😒
Наконец-то роутер начнёт следить за нами физически! 😒
Stacey on IoT | Internet of Things news and analysis
The next big Wi-Fi standard is for sensing, not communication - Stacey on IoT | Internet of Things news and analysis
Sometime in 2024, the IEEE will unveil a new 802.11 standard that will bring new capabilities to everyone’s favorite wireless communication standard. But the upcoming 802.11bf standard isn’t for communication — it’s for sensing. The newest version of Wi-Fi…
https://www.kickstarter.com/projects/retrodigital/scp-heretic
С вашей помощью грядёт грандиозный финал "трилогии" короткометражек! Реально удивляет и восхищает, насколько качественные видео эти ребята делали в прошлые два раза за смешные деньги. Страшно подумать, что сделают в этот раз, если соберут всю сумму. Должно быть что-то сравнимое с "Тарков. Рейд" по уровню постановки, картинки и спец. эффектов. Но, конечно, далеко превосходящее в части сеттинга, лора и сюжета! 😁
С вашей помощью грядёт грандиозный финал "трилогии" короткометражек! Реально удивляет и восхищает, насколько качественные видео эти ребята делали в прошлые два раза за смешные деньги. Страшно подумать, что сделают в этот раз, если соберут всю сумму. Должно быть что-то сравнимое с "Тарков. Рейд" по уровню постановки, картинки и спец. эффектов. Но, конечно, далеко превосходящее в части сеттинга, лора и сюжета! 😁
Kickstarter
SCP: HERETIC (Canceled)
A short live-action horror film based on the SCP Universe.