Hacker News Reader

bdrumon Formalising a new proof that the square root of two is irrational

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

bdrumon Lite XL: A lightweight text editor written in C and Lua

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

bdrumon Help us collect modern Python NumPy code solutions

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 solution because as I think you should understand how you want to represent your data and this has strong influence to calling signatures.

bdrumon Ask HN: Great Blogs by Programmers

https://tenthousandmeters.com/

bdrumon Leo Editor

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

bdrumon Attacking the Stack [pdf]

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