Hacker News: jjgreen

New comment by jjgreen in "Has AI made any progress as a mathematical theory-builder,,,,?"

jjgreen — Sat, 24 Oct 2026 10:42:39 +0000

Full title: Has AI made any progress as a mathematical theory-builder, rather than just a problem-solver?

Has AI made any progress as a mathematical theory-builder,,,,?

jjgreen — Sat, 24 Oct 2026 10:42:39 +0000

Article URL: https://mathoverflow.net/questions/516336/has-ai-made-any-progress-as-a-mathematical-theory-builder-rather-than-just-a-pr

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

Points: 3

# Comments: 2

New comment by jjgreen in "Porn showing choking or incest to be banned in UK from early November"

jjgreen — Fri, 16 Oct 2026 10:35:38 +0000

Keeping such a list is forbidden under the Prohibition of Maintaining a List of Things which are not Banned Act, 2025

New comment by jjgreen in "Grace Hopper Celebration Cancelled"

jjgreen — Wed, 14 Oct 2026 22:49:38 +0000

In "Having a specific conference for women in computing is definitely a DEI concern" I take concern to be the noun, Mirriam-Webster (1a) or (2) has something that relates or belongs to one : affair, from the context this would seem to be the definition that fits: DEI relates to such a conference, they're interested in it, rather than definition (1b) an uneasy state of blended interest, uncertainty, and apprehension which would lead to "concerning" but makes no sense in the context, as you note.

The Cambridge Companion to Music and Fascism

jjgreen — Wed, 14 Oct 2026 22:06:57 +0000

Article URL: https://www.prestomusic.com/books/products/9864806--the-cambridge-companion-to-music-and-fascism

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

Points: 2

# Comments: 0

My Interop 2027 Rankings

jjgreen — Wed, 14 Oct 2026 18:44:06 +0000

Article URL: https://meyerweb.com/eric/thoughts/2026/10/14/my-interop-2027-rankings/

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

Points: 2

# Comments: 0

New comment by jjgreen in "[dead]"

jjgreen — Wed, 14 Oct 2026 17:57:06 +0000

I have a witty and thought-provoking comment to add here, unfortunately I'm in the UK, so it would see me sent to prison.

New comment by jjgreen in "Calls for Ban as Reform Politician Use Meta Glasses in Welsh Parliament"

jjgreen — Wed, 14 Oct 2026 16:27:54 +0000

They've found a way to be a bit more creepy, impressive

Font Faces: Stefan Hattenbach

jjgreen — Wed, 14 Oct 2026 14:38:06 +0000

Article URL: https://ilovetypography.com/2026/10/14/font-faces-stefan-hattenbach/

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

Points: 2

# Comments: 0

New comment by jjgreen in "Arena Allocators in C"

jjgreen — Wed, 14 Oct 2026 12:56:10 +0000

New in C23, juicy!

New comment by jjgreen in "Ask HN: Why do people say "I built it" when we should say "Claude built it"?"

jjgreen — Wed, 14 Oct 2026 10:17:31 +0000

Yes, they should.

New comment by jjgreen in "Grace Hopper Celebration Cancelled"

jjgreen — Wed, 14 Oct 2026 09:45:41 +0000

Huh? Someone saying something is a DEI concern does not mean they find it concerning.

New comment by jjgreen in "Linus Torvalds is using AI to develop Linux kernel code now"

jjgreen — Tue, 13 Oct 2026 18:36:13 +0000

NetBSD seems to be benefiting https://www.theregister.com/os-platforms/2026/10/13/netbsd-m...

NetBSD may have found a new role: The AI-free FOSS OS

jjgreen — Tue, 13 Oct 2026 14:40:08 +0000

Article URL: https://www.theregister.com/os-platforms/2026/10/13/netbsd-may-have-found-a-new-role-the-ai-free-foss-os/5302818

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

Points: 4

# Comments: 0

New comment by jjgreen in "11 year old unsoundness bugs found in Rust borrow checker"

jjgreen — Tue, 13 Oct 2026 14:31:04 +0000

Dream on

New comment by jjgreen in "The state of systemd: 2026 edition"

jjgreen — Sat, 10 Oct 2026 14:17:36 +0000

Subscription required

New comment by jjgreen in "Show HN: Academic Ancestry"

jjgreen — Sat, 10 Oct 2026 13:50:20 +0000

Wild, I just discovered that my academic "great grandfather" was G.H. Hardy! Thanks for this, nicely done.

New comment by jjgreen in "Meet Bibi: We're Building a Voice-Controlled Robot"

jjgreen — Sat, 10 Oct 2026 13:09:16 +0000

My own robot, Adolf, met with limited success

New comment by jjgreen in "A simple liters to US and UK gallons converter"

jjgreen — Sat, 10 Oct 2026 11:40:58 +0000

Multiplication as a service!

In the UK, it's rare to hear of gallons; used to be used for petrol, but that's all litres now. And one is unlikely find a gallon in a recipe.

New comment by jjgreen in "What mathematicians should know about the Lean Theorem Prover: reliability & AI"

jjgreen — Sat, 10 Oct 2026 11:22:45 +0000

If they must fold to American prudery, at least Dinde ...