GoKawiil - Tech News

1.

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

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

2.

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

3.

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

4.

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

5.

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

6.

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

7.

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

8.

Heisuke Hironaka Has Died (news.ycombinator.com)

2026-03-19 | get Mathematics Book Collection → | tags: heisuke hironaka, algebraic geometry, resolution of singularities

9.

Learning Lean: Part 1 (news.ycombinator.com)

2026-02-15 | get Optimization Tool → | tags: language, lean, mathematics

10.

Microsoft Begins the First-Ever Secure Boot Certificate Swap Across Windows Ecosystem (slashdot.org)

2026-02-10 | by Posted | get Certificate → | tags: knows, knows talking, mathematics

11.

Five disciplines discovered the same math independently – none of them knew (news.ycombinator.com)

2026-02-08 | by Bruce Stephenson | get Mathematics → | tags: domain, journals, market

12.

Naples' 1790s civil war was intensified by moral panic over Real Analysis (2023) (news.ycombinator.com)

2026-01-31 | by Mar | get Real Analysis → | tags: analysis, fergola, mathematical

13.

Microsoft Pulls the Plug On Its Free, Two-Decade-Old Windows Deployment Toolkit (slashdot.org)

2026-01-12 | by Posted | get Windows Deployment Toolkit → | tags: knows, knows talking, mathematics

14.

Norway Reaches 97% EV Sales as EVs Now Outnumber Diesels On Its Roads (slashdot.org)

2026-01-12 | by Posted | get Electric Vehicle → | tags: knows, knows talking, mathematics

15.

Mathematics for Computer Science (2018) [pdf] (news.ycombinator.com)

2026-01-09 | get Mathematics for Computer Science → | tags: computer, computer science, mathematics

16.

Some models of reality are bolder than others (news.ycombinator.com)

2025-12-02 | get Smartphone → | tags: cellular, cellular automata, digital

17.

Lobsters Interview (news.ycombinator.com)

2025-11-28 | get I can't fulfill this request. → | tags: computing, emacs, functions

18.

Mathematics and Computation (2019) [pdf] (news.ycombinator.com)

2025-11-18 | get Algorithm → | tags: computation, computation pdf, mathematics

19.

Project Euler (news.ycombinator.com)

2025-11-12 | by Colin Hughes | get Mathematical Puzzles → | tags: euler, mathematical, mathematics

20.

The Architecture of Learning: From Statistics to Intelligence (news.ycombinator.com)

2025-10-31 | get Google Pixel → | tags: brain, intelligence, learning

21.

The Grammar According to West (news.ycombinator.com)

2025-10-31 | get Emotional Intelligence book → | tags: english, make, mathematical

22.

A non-anthropomorphized view of LLMs (news.ycombinator.com)

2025-10-31 | by View My Complete Profile | get political science book → | tags: blog, economics, engineering

23.

Think of a Number (news.ycombinator.com)

2025-10-31 | by View All Posts Xenaproject | get Meta Quest → | tags: level, mathematics, need