AlexTCH
313 subscribers
77 photos
4 videos
2 files
906 links
Что-то про программирование, что-то про Computer Science и Data Science, и немного кофе. Ну и всякая чушь вместо Твиттера. :)
Download Telegram
https://lost-stats.github.io/
"LOST is a Rosetta Stone for statistical software"

Or "Rosetta Code". Useful reference either way.

#statistics #datascience
https://econml.azurewebsites.net/spec/spec.html
The EconML Python SDK, developed by the ALICE team at MSR New England, incorporates individual machine learning steps into interpretable causal models.

Pretty cool. Docs feature introduction into the topic and the methods.

#datascience #causalinference #machinelearning
#machinelearning for 4-graders (~10 years old)
https://orangedatamining.com/blog/2022/2022-06-01-blog-minions-new/

Most important points IMO:
- Single simple task: classification with decision trees
- Guide pupils to invent the method themselves on simplified visual and familiar synthetic data
- Show automation on data pupils collected themselves, manually retrace the generated tree
- Discuss issues with data and problems they generate down the line
https://www.singularity-data.com/blog/building-a-cloud-database-from-scratch-why-we-moved-from-cpp-to-rust/

(Another?) Real-World RIIR. Actually pretty sober evaluation of pros and cons after the fact with some sensible advise.
And to entirely different (old) news. Lawrence Paulson is as sharp as ever:
I get the impression (if Twitter is at all reliable) that they see their rivals as set theorists, though I’d be surprised if any set theorists were even aware of their work.
https://lawrencecpaulson.github.io/2022/07/13/Isabelle_influences.html

I hadn’t understood that in intuitionistic type theory, if you wanted a thing, and you didn’t fancy Russell’s “honest toil”, it was perfectly okay to consult your intuition and simply add the thing you wanted. Of course, you had to have the right intuition or your addition would never get the official imprimatur.
He's undeniably old and sarcastic but hits very close to the base. 😏
https://aviatesk.github.io/JET.jl/dev/

(Finally!) A static type-checker for the #julia programming language (based on Abstract Interpretation).
👍2
Another better-than-C++ language from the insides of Google: https://github.com/carbon-language/carbon-lang

They pretty much readily admit it's "worse than Rust" but the "killer feature" is bidirectional interoperability with existing C++ code akin to Java-Kotlin or JavaScript-TypeScript. I guess that puts a bar on how much safety they can attain. 😏

But at least they implement sensible modules/packages system, generics à la Rust, type-level programming without templates metaprogramming craziness.

I wonder how much it differs from D? 🤔

Anyway they already contributed Carbon support into Compiler Explorer (aka Godbolt) so anyone can play with it without even installing: https://carbon.compiler-explorer.com/
🔥1💩1
https://mixtape.scunning.com/

Another book on #causalinference ! Looks like a hot topic. 😄

Judging by the cover it predominantly describes "classical" methods like matching, regression discontinuity, difference-in-differences and alike. They promise examples and exercises in R (and Stata, but who cares about that?).
https://nickchk.com/robustness.html

A short practical guide on robustness tests in #statistics It even has a "checklist" to fill in! 😄 And a list of misconceptions too.
— Добрый день, какая у Вас проблема?
— Голова сегодня не работает...
— Выключите и включите снова!
🤯2👍1🎉1
Почему программисты не боятся дереализации? Потому что мы и так живём в виртуальном мире! 🤣
🤯5😁1😢1🎉1
John Baez gives hour-long lectures on particular natural numbers! Yep, that's our John. 😁

I'm kidding. I'm pretty sure the lectures talk about symmetries, groups and alike. Go watch these and many others: https://www.youtube.com/playlist?list=PLuAO-1XXEh0ZiJlRKz7EuODAdIOjC5-1l
👍1
— ... an algorithm fails...
— ... алгоритм отказывается работать...
— Ну, не то чтобы он отказывался... 😅
Strong JavaScript vibes. Not something I would recommend copying from JS. And no warnings whatsoever. 😒
#julia
https://www.softxjournal.com/
SoftwareX — an (academic) journal publishing papers on (academic) software (artifacts).