GoKawiil - Tech News

31.

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

32.

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

33.

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

34.

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

35.

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

36.

Heisuke Hironaka Has Died (news.ycombinator.com)

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

37.

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

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

38.

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

39.

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

40.

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

41.

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

42.

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

43.

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

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

44.

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

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

45.

Lobsters Interview (news.ycombinator.com)

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

46.

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

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

47.

Project Euler (news.ycombinator.com)

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

48.

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

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

49.

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

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

50.

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

51.

Think of a Number (news.ycombinator.com)

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