https://guzey.com/co-working/#why-co-work-in-the-first-place
Вот, оказывается, зачем нужен gather.town. Может, кому пригодится.
Вот, оказывается, зачем нужен gather.town. Может, кому пригодится.
Alexey Guzey
I no longer believe that it’s possible to achieve extremely high …
Starting March 2021, I’ve been spending the majority of my working time co-working with my friends over video in my virtual gather.town office.
The sessions are usually pre-scheduled, last 2-16 hours, and we do brief check-ins every 30 minutes.
Most people…
The sessions are usually pre-scheduled, last 2-16 hours, and we do brief check-ins every 30 minutes.
Most people…
https://haslab.github.io/formal-software-design/index.html
"Formal Software Design with Alloy 6"
Includes a short section on teaching with Alloy4Fun and primers on relational and temporal logics for the reference.
But didn't read yet.
"Formal Software Design with Alloy 6"
Includes a short section on teaching with Alloy4Fun and primers on relational and temporal logics for the reference.
But didn't read yet.
https://www.pcworld.com/article/559001/the-future-of-esports-is-microsoft-excel-and-its-on-espn.html
Not a joke. The competition indeed took place, and there's a winner.
Not a joke. The competition indeed took place, and there's a winner.
PCWorld
Top Excel experts will battle it out in an esports-like competition this weekend
The finals of the Financial Modeling World Cup (FMWC) take place this weekend, where the top Excel modelers will go head-to-head in an esports battle broadcast live by ESPN3 and YouTube.
https://roganmurley.com/2021/12/11/free-monads.html
Not even mentioning that monads are a fun game in itself! 😁
Not even mentioning that monads are a fun game in itself! 😁
Rogan Murley
Game rules with a Free Monad DSL
How and why I used a Free Monad DSL for my game GALGA.
https://www.youtube.com/watch?v=85fiogkCyLY
Fundamental Computing group of the University of Groningen пиарится и пытается объяснить "простым смертным" чем они занимаются (спойлер: формальной верификацией программ).
Fundamental Computing group of the University of Groningen пиарится и пытается объяснить "простым смертным" чем они занимаются (спойлер: формальной верификацией программ).
YouTube
Fundamental computing: Mathematics and logic for software we can all rely on.
Software has changed our world!
In the Fundamental Computing group of the University of Groningen, we
use mathematics and logic to develop software we can all rely on.
Want to know more?
Get in touch with us: www.rug.nl/fse/fc
Animation: Anne Mérat
In the Fundamental Computing group of the University of Groningen, we
use mathematics and logic to develop software we can all rely on.
Want to know more?
Get in touch with us: www.rug.nl/fse/fc
Animation: Anne Mérat
https://www.youtube.com/watch?v=FihLyzdjN_8
Looks like https://sciml.ai is not just a buzzword — lots of heavy math behind: differential equations, numerical analysis, statistics and static source code analysis.
Looks like https://sciml.ai is not just a buzzword — lots of heavy math behind: differential equations, numerical analysis, statistics and static source code analysis.
YouTube
The Use and Practice of Scientific Machine Learning (Chris Rackauckas) - nextgen_ai Freiburg 2021
Chis Rackauckas' talk on "The Use and Practice of Scientific Machine Learning"
Abstract:
Scientific machine learning (SciML) methods allow for the automatic discovery of mechanistic models by infusing neural network training into the simulation process.…
Abstract:
Scientific machine learning (SciML) methods allow for the automatic discovery of mechanistic models by infusing neural network training into the simulation process.…
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-приложения. 😁