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
Вспоминаются нетленные строки
"Кто-то жрёт таблетки, а кто-то колется"
По молодости мы думали, что это про наркоманов, но оказалось, что это просто про людей среднего возраста и диабетиков...
"Кто-то жрёт таблетки, а кто-то колется"
По молодости мы думали, что это про наркоманов, но оказалось, что это просто про людей среднего возраста и диабетиков...
👍5😢4🤡1
https://p-org.github.io/P/
Another "AWS secret weapon" (after TLA+) and again a formal specification language for distributed systems. State machines based. With contributions from Microsoft Research.
Another "AWS secret weapon" (after TLA+) and again a formal specification language for distributed systems. State machines based. With contributions from Microsoft Research.
p-org.github.io
P: Modular and Safe Programming of Distributed Systems