Кот выкатил тяжёлую ортиллерию.

https://cryochamber.bandcamp.com/album/mothership
Pretty cool Vangelis' Blade Runner vibes. 😁

Судя по https://algorithmsbook.com/#outline — очень крутая книга.
#machinelearning #reinforcementlearning #multiagent #uncertainty #optimization #julia

https://www.cut-the-knot.org/proofs/Uncountability.shtml

A proof of uncountability of Reals for those who don't like Diagonal Argument but like Games. 😁

https://www.youtube.com/watch?v=I6CHEavoc9Y

Yay, they've uploaded the recording! A fascinating but puzzling topic. Bayesian priors update is not as simple as LessWrong fans make it sound. 😁

#probability #bayes

Степень прожарки проекта:
- норм
- медиум-норм
- норм с кровью

https://www.trymito.io/

Every Data Analysis platform attempts to expand until it includes a Spreadsheet. Those platforms which cannot so expand are replaced by ones which can.

Or maybe

Any sufficiently complicated Data Analysis platform contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Excel.

(Paraphrasing https://en.wikipedia.org/wiki/Jamie_Zawinski#Zawinski's_Law and https://en.wikipedia.org/wiki/Greenspun%27s_tenth_rule if you didn't recognize them at once. 😊)

Though curious thing about this tool is that it generates Python code that performs transformations you specify in the spreadsheet. Advantages are obvious. Would be super cool if it could synchronize the other way round, but it can't unfortunately.

#datascience #jupyter #python

In other news. Lawrence Paulson started a series of introductory posts to Isabelle/HOL: https://lawrencecpaulson.github.io/2022/05/04/baby-examples.html

WOW this is mind-blowing: http://liamoc.net/holbert/
A browser-based notebook-style theorem prover for higher-order logics. Aimed at educational applications, and as such can switch between more formal tree-like and a book-style natural deduction proofs presentation.

Here's a notebook about MLTT: http://liamoc.net/holbert/?https://gist.githubusercontent.com/brendanzab/1b4732179b15201bf33fed6dbca02458/raw/mltt.holbert

https://blog.rust-lang.org/2022/05/10/malicious-crate-rustdecimal.html

Rust's Crates.io выходит на уровень NPM и PyPi, так сказать. Печально, но это действительно был всего лишь вопрос времени.

Но моё внимание, как обычно, привлёк следующий пассаж:

When the function was called, it checked whether the GITLAB_CI environment variable was set, and if so it downloaded a binary payload into /tmp/git-updater.bin and executed it.

Это про функцию Decimal::new. Да, она должна просто создавать число.

И кому только может понадобиться разделять чистый код и эффекты в системе типов языка? Зачем? Бесполезная бюрократия на ровном месте!

https://www.youtube.com/watch?v=9MqVfzxAp6A

Alan Kay is at his shit again! That's year-old news actually. Some quotes.

> A great group is smarter than the smartest member. A bad group is stupider than the stupidest member.

> "A committee is the only form of life with 10 bellies and no brain!" — Robert Heinlein
Who said C++?!!

> "... If we succeed in making an Intergalactic Network, then our main problem will be learning to communicate with Aliens ..." — J.C.R. Licklider

"A little company named Adobe" was founded by the guys who invented the PostScript. Insane.

If I ever have enough money to invest in a startup, my first question will be "what have you invented?" Adobe was founded by the guys who invented PostScript, Google was founded by the guys who invented PageRank, what the fuck have you invented?!

https://experimentalhistory.substack.com/p/against-all-applications
"Against all applications".
Not in "Appstore Applications" sense but in "Job Applications" sense.

Writing portable code is hard: https://www.chemistryworld.com/news/structures-in-more-than-150-papers-may-be-wrong-thanks-to-nmr-coding-glitch/4010413.article

The error is the result of a simple file sorting problem. On operating systems without default file name sorting, the script fails to match the files containing a conformer’s free energy with its chemical shift – leading to an overall wrong value.

Which meant the script worked fine on Windows while producing incorrect results on GNU/Linux. This jeopardizes some 150 chemistry papers.

https://experimentalhistory.substack.com/p/ideas-arent-getting-harder-to-find

Good news: worthy new ideas are not harder to find in all areas (art, science, business and what not). Though I suspect ideas might become harder to develop to a "competitive state".

Bad news: doing science indeed becomes harder for all sorts of wrong reasons. 😒

https://livebook.dev/
Jupyter-like notebooks for Elixir but with some twists.

It looks like they aim not at Data Analysis but something akin to DevOps tasks automation. Though they have SQL and visualizations too.

Speaking of which their approach to Widgets (they call them Smart Cells) is curious. Smart Cells are basically a UI to generate some Elixir code which gets then executed in a usual way. At any point you can replace the UI with the code and start rewriting it manually however you please.

Integrated package management through Mix API seems nice and much better than separately installing libraries and importing from different places.

In the end they're building 100% source code backed notebook interface. Well they got me hooked to a degree. 😊

Сохранил себе.
#anime #dataset #visualization

https://arxiv.org/abs/2203.17125
"An Affine Type System with Hindley-Milner Style Type Inference"
Gonglin Li

I think I know some folks who might be interested... 😁

Keith M. Foster breaks down original Oregon Trail while porting it to Python: https://keithmfoster.com/the-oregon-trail/

https://www.youtube.com/watch?v=rkZzg7Vowao
A short interview with Leslie Lamport (of LaTeX fame 😁).

Teaching programming via teaching coding is like teaching writing via teaching typing. Which doesn't make much sense.

and some other great quotes. 😁