GoKawiil - Tech News

Topics: Today This Week This Month This Year

The math that explains why bell curves are everywhere (news.ycombinator.com)

2026-03-16 | by Joseph Howlett | get Statistics and Probability Book → | tags: bell curve, central limit theorem, biostatistician

2026-03-10 | by Lauren Forristal | get Math Visualizer → | tags: chatgpt, openai, pythagorean theorem

ChatGPT's Latest Homework Help Tool Will Show How Math and Science Concepts Work (cnet.com)

2026-03-10 | by See Full Bio | get Mathematica → | tags: chatgpt, pythagorean theorem, openai

CAP theorem – Partition is a verb (news.ycombinator.com)

2026-03-07 | by Monique Mudama | get Partition Algorithm → | tags: cap theorem, partition tolerance, acid

The Four-Color Theorem 1852–1976 (news.ycombinator.com)

2026-02-21 | get Four Color Theorem → | tags: four-color theorem, augustus de morgan, london mathematical society

Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it (venturebeat.com)

2026-01-27 | get Artificial Intelligence → | tags: code, gross, software

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

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

50 years of proof assistants (news.ycombinator.com)

2025-12-12 | get Virtual Assistant → | tags: isabelle, language, proof

Are you the asshole? Of course not!—quantifying LLMs’ sycophancy problem (arstechnica.com)

2025-10-31 | get science reference book → | tags: false, llms, models

10.

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

11.

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

12.

The math is haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

13.

The Math Is Haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

Today's top topics: google meta apple openai android amazon android authority iran uber horizon worlds