Viewing profile — bdrum

Looks very cool, but what I've wondered - there is any other tool like Isabelle? upd. https://en.wikipedia.org/wiki/Proof_assistant

Do you know why so many tiny text editors are exists? Thats because of gang of four book that based on text editor example...

I've added a comment to the issue How to plot a data frame https://github.com/Onelinerhub/onelinerhub/issues/1378#issue... Actually concerning visualization tasks I don't see a sen…

https://tenthousandmeters.com/

I've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...

There are so many news about different exploits. Let's closer look how it is working.