GoKawiil
Tech News
clear
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
View all today's topics →