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.
За ночь из холодильника исчезли два последних творожных сырка -- овернайты, которые мы заслужили.
Сайты (Веб приложения), которые строят граф связей между научными публикациями, ищут по нему и предлагают похожие:
https://www.litmaps.co/
https://www.connectedpapers.com/
https://inciteful.xyz/
https://www.litmaps.co/
https://www.connectedpapers.com/
https://inciteful.xyz/
Litmaps
Litmaps | Your Literature Review Assistant
Litmaps accelerates your entire literature review. Discover important papers faster and transform how you do research with dynamic visualizations.
https://press.princeton.edu/books/hardcover/9780691164069/opt-art
Linear Optimization for producing works of (computational) Art?! WOW, that's crazy in the best way possible! 😃
Linear Optimization for producing works of (computational) Art?! WOW, that's crazy in the best way possible! 😃
press.princeton.edu
Opt Art
A fun and stunningly illustrated introduction to the art of linear optimization
Learning Computer Science With Categories
The first book in Bob Coecke’s series on applied category theory is out, and the pdf is free — legally, even! — until 8 February 2022.
https://golem.ph.utexas.edu/category/2022/01/learning_computer_science_with.html
The first book in Bob Coecke’s series on applied category theory is out, and the pdf is free — legally, even! — until 8 February 2022.
https://golem.ph.utexas.edu/category/2022/01/learning_computer_science_with.html
https://www.youtube.com/watch?v=lG4VkPoG3ko
Odds, Bayes factor and quick-and-accurate probabilistic calculations. Seriously cool and illuminating stuff (even though I knew half of that already).
Odds, Bayes factor and quick-and-accurate probabilistic calculations. Seriously cool and illuminating stuff (even though I knew half of that already).
YouTube
The medical test paradox, and redesigning Bayes' rule
About Likelihood Ratios, also sometimes called Bayes Factors*.
Help fund future projects: https://www.patreon.com/3blue1brown
An equally valuable form of support is to simply share some of the videos.
Special thanks to these supporters: https://3b1b.co/bayes…
Help fund future projects: https://www.patreon.com/3blue1brown
An equally valuable form of support is to simply share some of the videos.
Special thanks to these supporters: https://3b1b.co/bayes…