#prog #coq
Тем временем
Не знал, что мнение детсадовцев может так влиять на создателей языка.
https://coq.discourse.group/t/renaming-coq/1264
Тем временем
Coq предлагается переименовать из-за количества людей, отказавшихся от изучения/использования языка из-за его названия. Не знал, что мнение детсадовцев может так влиять на создателей языка.
https://coq.discourse.group/t/renaming-coq/1264
coq.discourse.group
Renaming Coq - Announcements - Coq
Dear members of the Coq community,
The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq’s logo and name.
We wish to thank everyone that participated in these di…
The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq’s logo and name.
We wish to thank everyone that participated in these di…
#prog #rust #android
Rust теперь один из основных языков для Android. Это значит, что новые системные компоненты будут разработаны на нём. Хороший день для сообщества Rust.
https://security.googleblog.com/2021/04/rust-in-android-platform.html?m=1
Rust теперь один из основных языков для Android. Это значит, что новые системные компоненты будут разработаны на нём. Хороший день для сообщества Rust.
https://security.googleblog.com/2021/04/rust-in-android-platform.html?m=1
Googleblog
Rust in the Android platform
Posted by Jeff Vander Stoep and Stephen Hines, Android Team Correctness of code in the Android platform is a top priority for the securit...
Forwarded from oleg_log (Oleg Kovalov)
Люблю эту историю раз в полгодика перечитывать. Оно и с жизнью не пересекается (не все так плохо), но чувствуешь, что живешь в этом, от этого и смешно, и грустно.
Хз почему, но в поиске в телеге выдало 0 результатов в подписках и ЛС. Настолько баян или забытый шедевр?)
https://voron-vp.livejournal.com/42033.html
Хз почему, но в поиске в телеге выдало 0 результатов в подписках и ЛС. Настолько баян или забытый шедевр?)
https://voron-vp.livejournal.com/42033.html
Livejournal
Две полоски
Источник JIRA ISSUE #182355 Type: BUG Priority: MEDIUM Created: 21.02.12 18:21 Description: С Дзуйкаку взлетает Зеро с маркировкой авианосца Кага. 21.02.12 18:30 Elena Ivanova [community manager] commented: наблюдательные товарищи пишут в интернете что у…
Forwarded from Telegram Info (Antonio Marreti 🚩)
Telegram запустил два новых веб-клиента
Обе представленные версии поддерживают анимированные стикеры, темный режим, папки для чатов и многое другое.
Больше информации: bugs.telegram.org/c/4002
webz.telegram.org
webk.telegram.org
#web
Обе представленные версии поддерживают анимированные стикеры, темный режим, папки для чатов и многое другое.
Больше информации: bugs.telegram.org/c/4002
webz.telegram.org
webk.telegram.org
#web
#prog #tools
Visual Studio 2022 будет 64-битной.
Wow, it only took 2 decades ©
https://devblogs.microsoft.com/visualstudio/visual-studio-2022/
Visual Studio 2022 будет 64-битной.
Wow, it only took 2 decades ©
https://devblogs.microsoft.com/visualstudio/visual-studio-2022/
Microsoft News
Visual Studio 2022
Announcing Visual Studio 2022, the next major version of Visual Studio. Read about our vision for empowering developers everywhere.
Forwarded from Deleted Account
Media is too big
VIEW IN TELEGRAM
Forwarded from There will be no singularity
Давно не обновлялась моя коллекция экзотических применений SQL (полная версия на github).
Исправляюсь!
8) k8s
https://github.com/Dentrax/kubesql
Experimental tool to query K8s API using plain SQL
9) Geodata
https://www.vtiler.com/
Display your spatial data on a map, no server required. Simply define the SQL query and get a ready-to-use tile endpoint
Исправляюсь!
8) k8s
https://github.com/Dentrax/kubesql
Experimental tool to query K8s API using plain SQL
$ kubesql -q "SELECT namespace FROM context WHERE pod.status.phase = 'Running'"
9) Geodata
https://www.vtiler.com/
Display your spatial data on a map, no server required. Simply define the SQL query and get a ready-to-use tile endpoint
SELECT id, name, line AS geom FROM roads WHERE line && bbox;
Forwarded from oleg_log (Oleg Kovalov)
Не читал еще, но точно интересно, (автор) Марек #тупомашина по статьям и знаниям. Пойду чай заварю.
(бегло пролистав: М1 потужно тащит)
https://blog.cloudflare.com/branch-predictor/
(бегло пролистав: М1 потужно тащит)
https://blog.cloudflare.com/branch-predictor/
The Cloudflare Blog
Branch predictor: How many "if"s are too many? Including x86 and M1 benchmarks!
Is it ok to have if clauses that will basically never be run? Surely, there must be some performance cost to that...