GoKawiil - Tech News

121.

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

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

122.

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

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

123.

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

124.

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

125.

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

126.

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

127.

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

128.

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

129.

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

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

130.

Automatic Textbook Formalization (news.ycombinator.com)

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

131.

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

132.

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

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

133.

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

134.

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

135.

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

136.

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

137.

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

138.

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

139.

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

140.

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

141.

Heisuke Hironaka Has Died (news.ycombinator.com)

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

142.

Even faster asin() was staring right at me (news.ycombinator.com)

2026-03-16 | get ASIN Lookup Tool → | tags: c programming, asin function, minimax approximation

143.

Even Faster Asin() Was Staring Right at Me (news.ycombinator.com)

2026-03-16 | get Asin() Math Function Book → | tags: math, asin, polynomial

144.

Mathematics Distillation Challenge – Equational Theories (news.ycombinator.com)

2026-03-14 | by Terence Tao | get Mathematics Puzzle Book → | tags: polymath projects, lean formalization, equational theories

145.

Our Experience with I-Ready (news.ycombinator.com)

2026-03-14 | get Educational Tech Learning Kit → | tags: i-ready, math, khan academy

146.

Why Mathematica does not simplify sinh(arccosh(x)) (news.ycombinator.com)

2026-03-11 | get Mathematica Wolfram T-Shirt → | tags: mathematica, arccosh, hyperbolic functions

147.

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

148.

Points on a ring: An interactive walkthrough of a popular math problem (news.ycombinator.com)

2026-03-02 | get Math Problem Ring → | tags: circle, math, competition

149.

Woxi: Wolfram Mathematica Reimplementation in Rust (news.ycombinator.com)

2026-02-25 | get Wolfram → | tags: rust, wolfram mathematica, woxi

150.

Show HN: I ported Manim to TypeScript (run 3b1B math animations in the browser) (news.ycombinator.com)

2026-02-25 | get Manim → | tags: manim-web, rust, typescript