GoKawiil - Tech News

Topic Analysis: Today This Week This Month This Year

31.

The math is haunted (news.ycombinator.com)

2025-10-31 | related products | tags: goal, lean, proof

32.

The Math Is Haunted (news.ycombinator.com)

2025-10-31 | related products | tags: goal, lean, proof

33.

Evaluating publicly available LLMs on IMO 2025 (news.ycombinator.com)

2025-10-31 | related products | tags: best, model, models

34.

Verified dynamic programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | related products | tags: let, maxdollars_spec, memo

35.

Verified Dynamic Programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | related products | tags: let, maxdollars_spec, memo

36.

Proofs Without Words (news.ycombinator.com)

2025-10-31 | related products | tags: arrangement, following, proof

37.

Calculating Oil Storage Tank Occupancy with Help of Satellite Imagery (news.ycombinator.com)

2025-10-31 | by Tankertrackers.Com | related products | tags: oil, rooftop, storage

38.

Writing a Truth Oracle in Lisp (news.ycombinator.com)

2025-10-31 | related products | tags: function, proof, right

39.

Peano arithmetic is enough, because Peano arithmetic encodes computation (news.ycombinator.com)

2025-10-31 | related products | tags: binary, induction, list

40.

Password-spraying attacks target 80,000 Microsoft Entra ID accounts (bleepingcomputer.com)

2025-10-31 | related products | tags: accounts, proofpoint, researchers

‹ prev 1 2

Today's top topics: comments models android complete length success tasks twitter battery android authority