GoKawiil - Tech News

1.

2-D Mathematical Curves (news.ycombinator.com)

2026-05-05 | by Jan Wassenaar | get Mathematics 3D Curve Model → | tags: mathematical curves, two-dimensional, full-text search

2.

How Many Children Learned Mathematics from Kiselev's Textbooks? (news.ycombinator.com)

2026-05-04 | get Kiselev's Mathematics Textbook → | tags: kiselev, mathematics, textbooks

3.

An Amateur Just Solved a 60-Year-Old Math Problem - by Asking AI (slashdot.org)

2026-05-02 | by Posted | get AI Math Problem Solver Kit → | tags: erdos problems, chatgpt, mathematics

4.

Mathematicians Claim Significant Discovery Using ChatGPT (futurism.com)

2026-05-02 | by Frank Landymore | get ChatGPT Mathematics Puzzle Book → | tags: chatgpt, erdős problems, terence tao

5.

Ti-84 Evo (news.ycombinator.com)

2026-05-01 | get TI-84 Plus CE Graphing Calculator → | tags: ti-84, calculator, math

6.

Because it doesn't have to (news.ycombinator.com)

2026-04-29 | tags: computational complexity, lance fortnow, bill gasarch

7.

Because It Doesn't Have To (news.ycombinator.com)

2026-04-29 | tags: computational complexity, lance fortnow, bill gasarch

8.

Should Schools Get Rid of Homework? (slashdot.org)

2026-04-29 | tags: npr, federal survey, math homework

9.

What can we gain by losing infinity? (news.ycombinator.com)

2026-04-29 | by Gregory Barber | get Infinity Symbol Wall Art → | tags: mathematician, doron zeilberger, infinity

10.

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (news.ycombinator.com)

2026-04-28 | get Tetris 8-bit Puzzle Game → | tags: sphere packing, dimension 8, formalization

11.

“Why not just use Lean?” (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn

12.

"Why not just use Lean?" (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn

13.

Amateur armed with ChatGPT solves an Erdős problem (news.ycombinator.com)

2026-04-25 | by Joseph Howlett | get ChatGPT for Math Assistance → | tags: chatgpt, erdos problems, openai

14.

Scores decline again for 13-year-old students in reading and mathematics (news.ycombinator.com)

2026-04-22 | get Educational Assessment Kit → | tags: naep, reading scores, mathematics scores

15.

Your AI can’t read an invoice. That should worry you more than whether it can pass a math exam (feeds.feedburner.com)

2026-04-21 | get AI Invoice Scanner → | tags: ai models, invoice processing, enterprise software

16.

The ‘Lonely Runner’ Problem Only Appears Simple (wired.com)

2026-04-18 | by Paulina Rowińska | get Mathematics Puzzle Book → | tags: number theory, mathematicians, quanta magazine

17.

Math Is Still Catching Up to the Mysterious Genius of Srinivasa Ramanujan (2024) (news.ycombinator.com)

2026-04-14 | by Jordana Cepelewicz | get Ramanujan Mathematical Notebook → | tags: srinivasa ramanujan, g.h. hardy, singularities

18.

All elementary functions from a single binary operator (news.ycombinator.com)

2026-04-13 | get Mathematical Function Generator Kit → | tags: binary operator, elementary functions, mathematics

19.

Is math big or small? (news.ycombinator.com)

2026-04-12 | get Math Puzzle Book → | tags: thurston, symplectic manifolds, topologists

20.

Automatic Textbook Formalization (news.ycombinator.com)

2026-04-03 | get AI Writing Assistant Software → | tags: lean, repoprover, algebraic combinatorics

21.

3 habits of self-directed learners, according to brilliant polymaths (feeds.feedburner.com)

2026-04-01 | get Self-Directed Learning Book → | tags: benjamin franklin, charles darwin, richard feynman

22.

What Gödel Discovered (2020) (news.ycombinator.com)

2026-03-30 | get Gödel's Incompleteness Theorem Book → | tags: gödel, unification, maxwell

23.

Mathematical methods and human thought in the age of AI (news.ycombinator.com)

2026-03-30 | get AI Math Puzzle Book → | tags: artificial intelligence, human thought, mathematical methods

24.

Learn Something Old Every Day, Part XVIII: How Does FPU Detection Work? (news.ycombinator.com)

2026-03-28 | by Posted On | get FPU Detection Tool → | tags: fpu detection, intel 8086, 286 cpu

25.

The Download: a battery pivot to AI, and rewriting math (technologyreview.com)

2026-03-26 | by Thomas Macaulay | get AI-powered calculator → | tags: ses ai, lithium batteries, axiom math

26.

Epoch confirms GPT5.4 Pro solved a frontier math open problem (news.ycombinator.com)

2026-03-24 | tags: gpt-5.4 pro, frontiermath, ramsey theory

27.

How and why to take a logarithm of an image [video] (news.ycombinator.com)

2026-03-23 | get Digital Image Logarithm Transform → | tags: logarithm, image processing, video

28.

OpenAI is throwing everything into building a fully automated researcher (technologyreview.com)

2026-03-20 | by Will Douglas Heaven | get AI Research Assistant Tool → | tags: openai, gpt-4, reasoning models

29.

Quantum Computers Will Tap Out Before Breaking Encryption, Theory Claims (gizmodo.com)

2026-03-19 | get Quantum Computing Starter Kit → | tags: quantum computers, quantum mechanics, encryption

30.

Being Called ‘The Next Warren Buffett’ Is Supposed to Be an Honor. But Is It Actually a Curse? (feeds.feedburner.com)

2026-03-19 | by Jonathan Small | get Warren Buffett Biography Book → | tags: berkshire hathaway, warren buffett, sam bankman-fried