bdrum

4 ms·

1. 1.▲
   by bdrum 4y ago

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

   Do you know why so many tiny text editors are exists? Thats because of gang of four book that based on text editor example...
3. 3.▲
   by bdrum 4y ago

   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 sense in one line sol
4. 4.▲
   by bdrum 5y ago

   https://tenthousandmeters.com/
5. 5.▲
   by bdrum 5y ago

   I've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...
6. 6.▲
   Attacking the Stack [pdf](cs.ru.nl)

   2 points by bdrum 6y ago|1 comments
7. 7.▲
   by bdrum 6y ago

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