GoKawiil - Tech News

Topics: Today This Week This Month This Year

California Tech CEO and EV Pioneer Arrested, Accused of Murder (slashdot.org)

2026-01-26 | tags: acm sigplan, epigrams, epigrams programming

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: fermat, information, kevin

Ongoing Lean formalisation of the proof of Fermat's Last Theorem (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: fermat, information, project

Today's top topics: apple amazon google openai nvidia android meta android authority chatgpt samsung