Re:3500 packages uploaded to PyPI, pointing to a malicious URL
by mcguire on Tuesday March 02, 2021 @01:39PM
(#26318726)
Can you believe how much work it is to even get repeatable builds out of these systems and people?
[ Parent
| on HN ]
Re:3500 packages uploaded to PyPI, pointing to a malicious URL
by carapace on Tuesday March 02, 2021 @04:17PM
(#26320884)
Random tangent: I was poking around your blog and found the entry "1985 Dijkstra interview"[1] and I was struck by this line:
> The net effect of it seems to be that a full system for really acceptable programming will be at the same time a full system that will suffice for the description of constructive mathematics.
He said that in '85!? Wow.
[1] https://maniagnosis.crsr.net/2007/10/1985-dijkstra-interview...
Re:3500 packages uploaded to PyPI, pointing to a malicious URL
by a1369209993 on Tuesday March 02, 2021 @05:38PM
(#26322094)
> a full system for [knowably-non-buggy] programming will be at the same time a full system that will suffice for the description of constructive mathematics.
That's basically the Curry-Howard correspondence[0], which was first explicitly stated in 1980.
0: https://en.wikipedia.org/wiki/Curry-Howard_correspondence