GoKawiil - Tech News

91.

Various LLM Smells (news.ycombinator.com)

2026-05-28 | get AI Language Model Scented Candle → | tags: llm, ai-smell, alphaevolve

92.

ATLAS: Autoformalized Textbook Library At Scale (news.ycombinator.com)

2026-05-28 | get Automated Formal Logic Textbook → | tags: lean 4, atlas, autoformalization

93.

Citing 'severe' math deficits, UC faculty demand a return to SAT tests for STEM (news.ycombinator.com)

2026-05-28 | by Staff Writer | get SAT Math Prep Book → | tags: uc berkeley, sat, act

94.

Math-to-Manim (news.ycombinator.com)

2026-05-27 | get Manim Community Edition → | tags: manim, huging face, deepseek

95.

The Global Population Could Crash by 2064, New Model Suggests (gizmodo.com)

2026-05-26 | get Population Data Analytics Software → | tags: population, mathematical model, 2064

96.

Mathematical Patterns in African American HAIRSTYLEs (news.ycombinator.com)

2026-05-24 | tags: african american hairstyles, ethnomathematics, beehive pattern

97.

Alexander Grothendieck Revolutionized 20th-Century Mathematics (news.ycombinator.com)

2026-05-24 | by Konstantin Kakaes | get Grothendieck Mathematical Art Print → | tags: grothendieck, mathematics, paris

98.

Cleve Moler has died (news.ycombinator.com)

2026-05-22 | tags: mathworks, matlab, linpack

99.

OpenAI Claims It Solved an 80-Year-Old Math Problem (slashdot.org)

2026-05-21 | get Mathematics Puzzle Book → | tags: openai, erdos, gpt-5

100.

OpenAI claims it solved an 80-year-old math problem — for real this time (techcrunch.com)

2026-05-20 | by Rebecca Bellan | tags: openai, erdos problems, ai model

101.

Fast Factorial Algorithms (news.ycombinator.com)

2026-05-20 | by Peter Luschny | get Fast Factorial Algorithms Book → | tags: primeswing, factorial algorithms, prime factorization

102.

What Do Gödel's Incompleteness Theorems Mean? (news.ycombinator.com)

2026-05-18 | by Natalie Wolchover | get Gödel's Incompleteness Puzzle Book → | tags: gödel's incompleteness theorems, kurt gödel, formal systems

103.

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth (news.ycombinator.com)

2026-05-18 | get Mathematics Art Book → | tags: leonardo da vinci, étienne ghys, donald knuth

104.

Math Jokes in Alice in Wonderland (news.ycombinator.com)

2026-05-14 | get Alice in Wonderland Math Puzzle Book → | tags: alice in wonderland, charles lutwidge dodgson, mathematics

105.

White matter micro- and macrostructure brain charts for the human lifespan (feeds.nature.com)

2026-05-13 | by Kim | get Brain Anatomy Chart Poster → | tags: brain, features, gamma

106.

What's a mathematician to do? (2010) (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: poincaré conjecture, mathematical understanding, human minds

107.

What's a Mathematician to Do? (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: fermat's last theorem, poincaré conjecture, mathematics

108.

Why Humans Are Obsessed With Numbers Too Big to Understand (gizmodo.com)

2026-05-09 | get Large Number Visualization Book → | tags: richard elwes, ginormous numbers, mathematics

109.

A recent experience with ChatGPT 5.5 Pro (news.ycombinator.com)

2026-05-09 | tags: chatgpt 5.5 pro, large language models, erdos problems

110.

When is your birthday? The math behind hash collisions (news.ycombinator.com)

2026-05-08 | by Math Behind Security | get Hash Collision Debugger Tool → | tags: birthday paradox, hash collisions, probability

111.

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

112.

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

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

113.

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

114.

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

115.

Ti-84 Evo (news.ycombinator.com)

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

116.

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

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

117.

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

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

118.

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

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

119.

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

120.

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