(www.theguardian.com)

424 points notamy | 1 comments | 15 Oct 24 03:12 UTC | HN request time: 0s | source

Show context

hettygreen ◴[15 Oct 24 04:46 UTC] No.41845030[source]▶

This article on hackernews reads the same as "Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data" would on conkernews.

qwertox ◴[15 Oct 24 05:13 UTC] No.41845156[source]▶

I'm also pretty disturbed by it being here. Even worse on place #1.

1. HocusLocus ◴[15 Oct 24 05:27 UTC] No.41845224[source]▶

Hijacking page on place#1 to post this:

"Show HN: Two purple Conkers.. and one yellow honker. In Python using PyBangSwackThump With Fleshy Bits"

World conker champion found with steel chestnut, cleared of cheating