GoKawiil - Tech News

Topics: Today This Week This Month This Year

Fun with polynomials and linear algebra; or, slight abstract nonsense (news.ycombinator.com)

2026-05-01 | get Polynomial Algebra Puzzle Kit → | tags: linear algebra, polynomials, module theory

Fundamental Theorem of Calculus (news.ycombinator.com)

2026-04-23 | get Calculus Textbook for Beginners → | tags: calculus, riemann integral, fundamental theorem

Laws of Software Engineering (news.ycombinator.com)

2026-04-21 | by Dr. Milan Milanović | get Software Engineering Book → | tags: conway's law, hyrum's law, cap theorem

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

10.

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

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

11.

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

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

12.

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

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

13.

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

14.

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

15.

The math is haunted (news.ycombinator.com)

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

16.

The Math Is Haunted (news.ycombinator.com)

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

Today's top topics: google android authority openai cnet samsung star wars gael cooper pudding pops twin cities leadership