Hacker News: davidrjones1977

New comment by davidrjones1977 in "Earth is now heating up twice as fast as in previous decades"

davidrjones1977 — Thu, 21 May 2026 12:03:28 +0000

And apparently neither will we, until we are boiling.

New comment by davidrjones1977 in "GenTabs"

davidrjones1977 — Tue, 16 Dec 2025 01:23:19 +0000

I wouldn't let these things order a pizza for me, let alone plan my vacation.

New comment by davidrjones1977 in "Show HN: Formalizing Principia Mathematica using Lean"

davidrjones1977 — Fri, 25 Apr 2025 22:44:46 +0000

I believe you are thinking of Cantor, regarding God and subsequent insanity. And it was Russell who knifed Frege. :-)

New comment by davidrjones1977 in "Researchers launch "moonshot" to cure blindness through eye transplants"

davidrjones1977 — Fri, 06 Dec 2024 02:32:28 +0000

Here is the ARPA-H THEA program website, for anyone interested: https://arpa-h.gov/research-and-funding/programs/thea

Dr. Cal Roberts, head of the program, has given an expected timeline of 3-6 years to see successful results. (Not sure if he meant proof of principle or clinical results, but probably the former, if there is an approval process required before wide-scale treatment of patients).

Patients with complete blindness will be given preferential priority over patients with partial blindness when this reaches the clinic.

New comment by davidrjones1977 in "NES Tetris 'Rebirth' Achieved"

davidrjones1977 — Sun, 06 Oct 2024 13:32:59 +0000

35 years after the iconic puzzler's release, someone has finally beat NES Tetris' 255 levels and achieved 'Rebirth'

NES Tetris 'Rebirth' Achieved

davidrjones1977 — Sun, 06 Oct 2024 13:32:59 +0000

Article URL: https://www.gamesradar.com/games/puzzle/35-years-after-the-iconic-puzzlers-release-someone-has-finally-beat-nes-tetris-255-levels-and-achieved-rebirth/

Comments URL: https://news.ycombinator.com/item?id=41757055

Points: 4

# Comments: 1

New comment by davidrjones1977 in "A pilot project in universal algebra to explore new ways to collaborate"

davidrjones1977 — Thu, 26 Sep 2024 22:31:54 +0000

I really love the extent to which Terry Tao has embraced the promise and potential of proof assistants. So many smart and talented people in that community doing so much amazing work. With folks like these pushing the boundaries, the sky is the limit.

New comment by davidrjones1977 in "Why humans have evolved to drink milk"

davidrjones1977 — Thu, 26 Sep 2024 22:21:54 +0000

Because we're mammals? Ohh they mean non-human milk.

New comment by davidrjones1977 in "Linear Algebra Done Right [pdf]"

davidrjones1977 — Sun, 01 Sep 2024 13:47:35 +0000

Linear Algebra Done Wrong: https://www.math.brown.edu/streil/papers/LADW/LADW.html

Celebrating the first NES Tetris game crash

davidrjones1977 — Fri, 22 Dec 2023 13:51:57 +0000

Article URL: https://biggieblog.com/celebrating-the-first-nes-tetris-game-crash/

Comments URL: https://news.ycombinator.com/item?id=38734106

Points: 204

# Comments: 56

New comment by davidrjones1977 in "Where are all the 'godmothers' of AI? Women's voices are not being heard"

davidrjones1977 — Sat, 25 Nov 2023 16:26:37 +0000

https://archive.is/CCft4

An article about the Godmothers of AI and no mention of Fei-Fei Li?

lol