А вообще, про "Метро" вспомнил в связи с "локативным искусством" (привязанным к местности) — пока не покатался на московском метро, роман как-то не резонировал примерно никак.
https://www.youtube.com/watch?v=CuxfRdjfZG0
Oldie but goodie. Curious highlights.
Climate models have surprisingly low error rates in terms of software bugs. It's nice that people really can and do produce high-quality software without Sales and Marketing pressure. 😏
The models systematically overestimate some parameters but underestimate others. Thus when you see graphs projecting climate into the far future, actual air temperatures are likely to be a bit lower (while deep ocean temperatures will be higher). And the see levels are likely to be higher than predicted which is not very nice.
Oldie but goodie. Curious highlights.
Climate models have surprisingly low error rates in terms of software bugs. It's nice that people really can and do produce high-quality software without Sales and Marketing pressure. 😏
The models systematically overestimate some parameters but underestimate others. Thus when you see graphs projecting climate into the far future, actual air temperatures are likely to be a bit lower (while deep ocean temperatures will be higher). And the see levels are likely to be higher than predicted which is not very nice.
YouTube
Computing the climate: Steve Easterbrook at TEDxUofT
Steve Easterbrook studies how models of complex system behaviour can help us to make wise choices about living sustainably on planet earth.
Steve's teaching and research focusses on the dynamics of complex systems. He conducted the first detailed anthropological…
Steve's teaching and research focusses on the dynamics of complex systems. He conducted the first detailed anthropological…
https://github.com/stan-dev/stanc3
The new(ish, compared to the previous one) (source-to-source) compiler for the Stan language is implemented in OCaml and became the default one quite some time ago. The Readme also has a reference to a discussion "OCaml vs. Rust". Mind that the discussion take place back in 2018 (4 years ago! 😱) and you can appreciate how much Rust has matured during the time.
And Stan is a huge (by impact) project in the area of Bayesian modeling, statistical analysis and inference.
The new(ish, compared to the previous one) (source-to-source) compiler for the Stan language is implemented in OCaml and became the default one quite some time ago. The Readme also has a reference to a discussion "OCaml vs. Rust". Mind that the discussion take place back in 2018 (4 years ago! 😱) and you can appreciate how much Rust has matured during the time.
And Stan is a huge (by impact) project in the area of Bayesian modeling, statistical analysis and inference.
Stan
Stan combines powerful statistical modeling capabilities with user-friendly interfaces, an active community, and a commitment to open-source development.
🤔1
And speaking about statistics...
https://statmodeling.stat.columbia.edu/2022/11/08/dying-children-and-post-publication-review-rectal-suppositories-edition/
Sloppy statistical analysis indeed jeopardizes lives of actual children in Africa. 😞
https://statmodeling.stat.columbia.edu/2022/11/08/dying-children-and-post-publication-review-rectal-suppositories-edition/
Sloppy statistical analysis indeed jeopardizes lives of actual children in Africa. 😞
Attempting to prove any nontrivial theorem about your program will expose lots of bugs: The particular choice of theorem makes little difference!
LOL, so true! 😂
From https://statmodeling.stat.columbia.edu/2022/11/09/simulation-based-calibration-checking-sbc-is-stronger-than-you-thought-and-the-sbc-package-in-r/#comment-2122385
🔥1
Настолько старый и нишевый, что успел подержать первый печатный сборник пирожков. : 🏆
🤡3👍1💯1
https://lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html
A guest post by Martin Kleppmann on Lawrence Paulson's blog. Martin explains the basics of distributed algorithms verification in Isabelle/HOL. As the main tools he employs (heavily parametrized) functions, maps (which are secretly functions too), inductive predicates and inductive proofs with a slightly custom induction principle (and variable generalization).
A guest post by Martin Kleppmann on Lawrence Paulson's blog. Martin explains the basics of distributed algorithms verification in Isabelle/HOL. As the main tools he employs (heavily parametrized) functions, maps (which are secretly functions too), inductive predicates and inductive proofs with a slightly custom induction principle (and variable generalization).
👍3
If for some weird reason you decided to write something a layperson can understand there's a tool to help you: https://splasho.com/upgoer6/
On the other hand you can reverse it and try to come up with the most obscure words no one knew were out there! 😂
On the other hand you can reverse it and try to come up with the most obscure words no one knew were out there! 😂
🎉1
Software Requirements Specification to specification is what meta-irony to irony.
🤡2
https://sillycross.github.io/2022/06/11/2022-06-11/
Not all Intel performance cores are created equal! On the flip side all the efficiency cores seem to be indeed created equal. Hmmm... 🤔
Not all Intel performance cores are created equal! On the flip side all the efficiency cores seem to be indeed created equal. Hmmm... 🤔
sillycross.github.io
Bizarre Performance Characteristics of Alder Lake CPU
TL;DR: Some of the P-cores in Alder Lake CPU can exhibit highly unstable performance behavior, resulting in large noise for any benchmark running on it. UPDATE: A colleague of mine reported that the b
👍1
Чтобы научиться ездить на велосипеде нужны дополнительные колёсики. Такие, которые внутрь принимают.
🤡2
ФИДО снова набирает популярность: https://fidoalliance.org/what-is-fido/ ! 😂
Но я разочарован, что они предлагают использовать биометрию вместо пароля. Rookie mistake.
Но я разочарован, что они предлагают использовать биометрию вместо пароля. Rookie mistake.
FIDO Alliance
FIDO Alliance is focused on providing open and free authentication standards to help reduce the world’s reliance on passwords, using UAF, U2F and FIDO2.
Йа — конкретный дед: то забываю выпить таблетки, то забываю, зачем вообще их пью...
🤡3
Со мною вот что происходит
Ко мне мой старый друг не ходит
А ходят в праздной суете
Разнообразные коте...
Ко мне мой старый друг не ходит
А ходят в праздной суете
Разнообразные коте...
😢1🥱1