Yet another example that TLA+ is math, not programming
(old.reddit.com)
September 2020 Archive
3061.
3062.
3063.
Zen Radio – Relaxation and Meditation Music
(zenradio.com)
3064.
Are aliens hiding in plain sight?
(theguardian.com)
3065.
Make Julia as Pythonic as possible
(discourse.julialang.org)
3066.
3067.
Bringing the Ocean’s Midnight Zone into the Light
(nytimes.com)
3068.
3069.
Blockchain Thinking: The Brain as a Decentralized Autonomous Corporation [pdf]
(ieeexplore.ieee.org)
3070.
Postgres – EnterpriseDB acquires 2nd Quadrant
(enterprisedb.com)
3071.
Is it time to kill the calculus curriculum?
(salon.com)
3074.
3079.
Show HN: More HN
(github.com)
3080.
3082.
Why only fools write code first
(reemer.com)
3083.
3085.
iOS 14 the most secure mobile OS ever
(arstechnica.com)
3086.
Rust programming language exploit mitigations
(rcvalle.blog)
3087.
3088.
Why is Backblaze tracking me?
(blog.gingerlime.com)
3090.
Experiment shows knives manufactured from frozen human feces do not work
(sciencedirect.com)