GoKawiil - Tech News

31.

String theory inspires a brilliant, baffling new math proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

32.

String Theory Inspires a Brilliant, Baffling New Math Proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

33.

Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam (venturebeat.com)

2025-12-11 | related products | tags: competition, mathematical, model

34.

Quanta to publish popular math and physics books by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

35.

Quanta to Publish Popular Math and Physics Titles by Terence Tao and David Tong (news.ycombinator.com)

2025-12-08 | related products | tags: book, books, math

36.

The Math Legend Who Just Left Academia—for an AI Startup Run by a 24-Year-Old (feeds.content.dowjones.io)

2025-12-04 | related products | tags: chase, chase mathematical, epiphany

37.

DeepSeek’s self-correcting AI model aces tough maths proofs (feeds.nature.com)

2025-12-04 | by Basu | related products | tags: answer, final, mathematical

38.

Lie groups are crucial to some of the most fundamental theories in physics (news.ycombinator.com)

2025-12-03 | by Leila Sloman | related products | tags: group, groups, lie group

39.

Understanding ECDSA (news.ycombinator.com)

2025-12-03 | related products | tags: align, cdot, curve

40.

Determination of the spin and parity of all-charm tetraquarks (feeds.nature.com)

2025-12-03 | by Author Notes | related products | tags: angular, distributions, mathcal

41.

Whole-genome landscapes of 1,364 breast cancers (feeds.nature.com)

2025-12-03 | by Kim | related products | tags: copy, mathrm, mutational

42.

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

2025-12-02 | related products | tags: cellular, cellular automata, digital

43.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (news.ycombinator.com)

2025-12-01 | related products | tags: mathematical, mathematical reasoning, reasoning

44.

Interop and MathML Core (news.ycombinator.com)

2025-11-30 | related products | tags: math, mathml, mn mn

45.

Lobsters Interview (news.ycombinator.com)

2025-11-28 | related products | tags: computing, emacs, functions

46.

Building compositional tasks with shared neural subspaces (feeds.nature.com)

2025-11-26 | by Tafazoli | related products | tags: axis, classifier, colour

47.

Consumer confidence falls to lowest level since April as Americans worry about inflation and jobs (feeds.feedburner.com)

2025-11-25 | related products | tags: aftermath, aftermath government, board

48.

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (news.ycombinator.com)

2025-11-23 | related products | tags: calculus, calculus mathematicians, computer

49.

Set theory with types (news.ycombinator.com)

2025-11-22 | related products | tags: mathbb, mathbb mathbb, set theory

50.

American Kids Can't Do Math Anymore (slashdot.org)

2025-11-20 | by Posted | related products | tags: course, math, school

51.

DeepMind’s latest: An AI for handling mathematical proofs (arstechnica.com)

2025-11-19 | related products | tags: deepmind, good, level

52.

Shared and language-specific phonological processing in the human temporal lobe (feeds.nature.com)

2025-11-19 | by Bhaya-Grossman | related products | tags: boundary, features, language

53.

Ford can't find mechanics for $120K: It takes math to learn a trade (news.ycombinator.com)

2025-11-18 | related products | tags: high, math, read

54.

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

2025-11-18 | related products | tags: computation, computation pdf, mathematics

55.

Phi-4 proves that a 'data-first' SFT methodology is the new differentiator (venturebeat.com)

2025-11-17 | related products | tags: domain, math, model

56.

AsciiMath (news.ycombinator.com)

2025-11-15 | related products | tags: ajax, ajax libs, approach

57.

Linear algebra explains why some words are effectively untranslatable (news.ycombinator.com)

2025-11-14 | related products | tags: basis, language, mathbf

58.

Linear Algebra Explains Why Some Words Are Effectively Untranslatable (news.ycombinator.com)

2025-11-14 | related products | tags: basis, language, mathbf

59.

This Is What a Star Looks Like Just 26 Hours After It Explodes (gizmodo.com)

2025-11-12 | related products | tags: aftermath, aftermath unexpectedly, astronomers

60.

Project Euler (news.ycombinator.com)

2025-11-12 | by Colin Hughes | related products | tags: euler, mathematical, mathematics