bdrum
Re:Formalising a new proof that the square root of two is irrational
on Thursday January 19, 2023 @03:14AM (#34437917)
Looks very cool, but what I've wondered - there is any other tool like Isabelle?
upd.
https://en.wikipedia.org/wiki/Proof_assistant
Re:A lightweight, simple, fast, feature-filled, text editor written in...
on Wednesday December 28, 2022 @01:58AM (#34158284)
Do you know why so many tiny text editors are exists?
Thats because of gang of four book that based on text editor example...
Re:Help us collect modern Python NumPy code solutions
on Monday March 28, 2022 @08:19AM (#30829676)
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.
Re:Ask HN: Great Blogs by Programmers
on Monday February 07, 2022 @01:05PM (#30248595)
Re:Leo Editor
on Monday September 27, 2021 @02:03AM (#28667541)
I've thought, why so many hand made editors are exist... Then I realized that because of book of gang of four...
Re:Attacking the Stack [pdf]
on Friday March 19, 2021 @04:06PM (#26517678)
There are so many news about different exploits. Let's closer look how it is working.