GoKawiil - Tech News

121.

How Chevron played the long game for Venezuela’s oil reserves (feeds.feedburner.com)

2026-01-12 | get Oil Reserves → | tags: acquired, acquired property, aftermath

122.

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

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

123.

A4 Paper Stories (news.ycombinator.com)

2026-01-07 | get A4 Paper → | tags: dimensions, mathrm, mathrm cm

124.

Two ways to crack a walnut, per Grothendieck (2025) (news.ycombinator.com)

2026-01-04 | get Walnut cracking tool → | tags: approach, grothendieck, mathematician

125.

Six-decade math puzzle solved by Korean mathematician (news.ycombinator.com)

2026-01-04 | by Park Han-Na | get Mathematical Puzzle → | tags: baek, mathematical, mathematician

126.

Bid Farewell to ‘Stranger Things’ With io9’s Finale Episode Spoiler Zone (gizmodo.com)

2026-01-01 | get Streaming device → | tags: abyss, abyss hawkins, aftermath

127.

Feynman's Hughes Lectures: 950 pages of notes (news.ycombinator.com)

2025-12-29 | get Notes → | tags: feynman, lecture, lectures

128.

Behold the Manifold, the Concept that Changed How Mathematicians View Space (wired.com)

2025-12-28 | by Paulina Rowińska | get Manifold → | tags: bernhard, flat, manifolds

129.

Line scan camera image processing (news.ycombinator.com)

2025-12-25 | by Daniel Lawrence Lu | get Line scan camera → | tags: aligned, camera, image

130.

Some Junk Theorems in Lean (news.ycombinator.com)

2025-12-23 | get Lean Theory → | tags: coordinate, equal, langle

131.

Fallout season 2 is streaming one day early (theverge.com)

2025-12-15 | by Jay Peters | get Streaming Device → | tags: aftermath, amazon, fallout

132.

In Defense of Matlab Code (news.ycombinator.com)

2025-12-12 | by Dystr Inc. | get Optimization Toolbox → | tags: code, language, math

133.

Using secondary school maths to demystify AI (news.ycombinator.com)

2025-12-12 | by Jane Waite | get Maths-to-AI → | tags: learning, maths, students

134.

Secondary school maths showing that AI systems don't think (news.ycombinator.com)

2025-12-12 | by Jane Waite | get MathPad → | tags: learning, maths, students

135.

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

2025-12-12 | by Joseph Howlett | get Mathematical proof → | tags: folds, katzarkov, kontsevich

136.

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

2025-12-12 | by Joseph Howlett | get Mathematical proof → | tags: folds, katzarkov, kontsevich

137.

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 | get Nomos → | tags: competition, mathematical, model

138.

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

2025-12-08 | get Math book → | tags: book, books, math

139.

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

2025-12-08 | get Mathematics → | tags: book, books, math

140.

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

2025-12-04 | get Neural Network → | tags: chase, chase mathematical, epiphany

141.

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

2025-12-04 | by Basu | get DeepSeek's Math Solver → | tags: answer, final, mathematical

142.

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

2025-12-03 | by Leila Sloman | get Quantum Computing → | tags: group, groups, lie group

143.

Understanding ECDSA (news.ycombinator.com)

2025-12-03 | get OpenSC → | tags: align, cdot, curve

144.

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

2025-12-03 | by Author Notes | get Quantum Chromodynamics → | tags: angular, distributions, mathcal

145.

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

2025-12-03 | by Kim | get Genomic Atlas → | tags: copy, mathrm, mutational

146.

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

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

147.

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

2025-12-01 | get DeepSeekMath → | tags: mathematical, mathematical reasoning, reasoning

148.

Interop and MathML Core (news.ycombinator.com)

2025-11-30 | get MathML Core → | tags: math, mathml, mn mn

149.

Lobsters Interview (news.ycombinator.com)

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

150.

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

2025-11-26 | by Tafazoli | get Neural Subspace → | tags: axis, classifier, colour