GoKawiil - Tech News

1.

I vibed a proof of Conway's conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

2.

I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

3.

Rabbit Hole: Minimum L-seams (news.ycombinator.com)

2026-09-17 | get Fiskars rotary cutter quilting mat set → | tags: mrs perkins quilt, henry e dudeney, squarable numbers

4.

Subnormal floating-point numbers are expensive on Intel processors (news.ycombinator.com)

2026-09-15 | by Https | tags: subnormal numbers, ieee floating-point, intel xeon

5.

What to know about Android’s new Theft Protection tool for your lock screen (androidauthority.com)

2026-09-15 | get Google Pixel 8 unlocked smartphone → | tags: android theft protection, imei numbers, lock screen

6.

Prime Gaps at Most 186 (news.ycombinator.com)

2026-09-03 | get Prime Obsession John Derbyshire book → | tags: prime gaps, prime numbers, lean 4

7.

The 5 Tests Buyers Use Before Pricing Your Business (feeds.feedburner.com)

2026-08-27 | by Bhaskar Ahuja | get Built to Sell John Warrillow book → | tags: business valuation, institutional buyers, ebitda multiple

8.

Baking a Model: A Metaphor for LLM Training (news.ycombinator.com)

2026-08-14 | by Kent Beck | tags: model, numbers, post

9.

Anthropic's Claude tried to solve the Riemann hypothesis and found something new instead (techspot.com)

2026-08-13 | by Skye Jacobs | tags: riemann hypothesis, prime numbers, anthropic

10.

My Rules for Using Spreadsheets (news.ycombinator.com)

2026-08-13 | tags: numbers, macstock, allison sheridan

11.

An unreleased Anthropic model made progress on one of math’s biggest unsolved problems (techcrunch.com)

2026-08-11 | by Russell Brandom | tags: anthropic, riemann hypothesis, ai models

12.

Why Addresses Have Numbers (news.ycombinator.com)

2026-08-10 | by Ali Mujtuba Zaidi | tags: house numbers, address systems, urban planning

13.

The lattice of sets of natural numbers is rich (2021) (news.ycombinator.com)

2026-08-10 | by Joel David Hamkins | tags: power set, natural numbers, lattice

14.

The lattice of sets of natural numbers is rich (news.ycombinator.com)

2026-08-10 | tags: natural numbers, lattice, sets

15.

Voyager 1 FDS Computer Emulator (news.ycombinator.com)

2026-08-08 | tags: add memory, add numbers, assembly

16.

Canadian pleads guilty to Snowflake cloud data-theft attacks (bleepingcomputer.com)

2026-08-05 | tags: accounts, moucka, numbers

17.

The AI Slop Will Continue Until Republicans’ Poll Numbers Improve (gizmodo.com)

2026-07-27 | tags: trump, americans, poll numbers

18.

How real are real numbers? (2004) (news.ycombinator.com)

2026-07-27 | tags: real numbers, mathematics, 2004

19.

What happened to TheNumbers.com (news.ycombinator.com)

2026-07-23 | by Stephen Follows | tags: the numbers, box office grosses, bruce nash

20.

A digestion of the Jacobian conjecture counterexample (news.ycombinator.com)

2026-07-21 | by Terence Tao | tags: jacobian conjecture, complex numbers, polynomial map

21.

What's the most popular number in Hacker News titles? (news.ycombinator.com)

2026-07-15 | tags: number, numbers, small

22.

Don't let an AI chatbot pick your password, ever (zdnet.com)

2026-07-14 | by Charlie Osborne | tags: letters, numbers, password

23.

Steam sales reportedly topped $11 billion during H1 2026 due to shifting trends — staggering growth driven by influx of Chinese players and booming legacy catalogues (tomshardware.com)

2026-07-10 | by Hassam Nasir | tags: alinea, billion, games

24.

Pages, Keynote, and Numbers updates arrive with these new features (9to5mac.com)

2026-06-30 | by Ryan Christoffel | get Apple iWork Productivity Suite → | tags: apple creator studio, pages, keynote

25.

Apple’s productivity apps have a small but useful AI enhancement in macOS 27 (9to5mac.com)

2026-06-22 | by Ben Lovejoy | get Apple Productivity Apps Guide → | tags: apple, siri, macos 27

26.

Hunting Million-Digit Primes from My Loft (news.ycombinator.com)

2026-06-21 | get Prime Number Search Kit → | tags: prime numbers, million-digit primes, number theory

27.

How Terry Tao became an evangelist for AI in math (news.ycombinator.com)

2026-06-08 | by Kevin Hartnett | get AI for Mathematical Research → | tags: lean, numbers, project

28.

My SSN was exposed in a breach at Columbia—a school I have no connection with (arstechnica.com)

2026-06-04 | get Identity Theft Protection Kit → | tags: columbia university, data breach, social security numbers

29.

Racket v9.2 is now available (news.ycombinator.com)

2026-05-28 | by The Unknown Author | get Racket Programming Language Book → | tags: racket, match form, typed racket

30.

Fast Factorial Algorithms (news.ycombinator.com)

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