GoKawiil - Tech News

1.

The extended predicative Mahlo universe in Martin-Löf type theory (news.ycombinator.com)

2026-05-03 | tags: mahlo universe, martin-löf, type theory

2.

What if Dark Matter Doesn’t Actually Exist? (gizmodo.com)

2026-05-03 | get Dark Matter Science Book → | tags: dark matter, cosmology, physics

3.

Is the ‘dead internet’ theory coming true? New Stanford research calculates exactly how far we are—and it’s alarming (feeds.feedburner.com)

2026-05-01 | get AI Content Detection Tool → | tags: stanford, ai-generated websites, dead internet theory

4.

Using group theory to explore the space of positional encodings for attention (news.ycombinator.com)

2026-05-01 | get Group Theory for Positional Encodings → | tags: group theory, positional encodings, attention

5.

Fun with polynomials and linear algebra; or, slight abstract nonsense (news.ycombinator.com)

2026-05-01 | get Polynomial Algebra Puzzle Kit → | tags: linear algebra, polynomials, module theory

6.

Monad Tutorials Timeline (news.ycombinator.com)

2026-04-30 | tags: haskell, monads, category theory

7.

IBM CEO Arvind Krishna on his first job and the lessons he learned from it (feeds.feedburner.com)

2026-04-29 | get IBM ThinkPad Laptop → | tags: ibm, arvind krishna, university of illinois

8.

Dead Internet Theory Is 17% of the Way to Becoming Reality, Study Finds (gizmodo.com)

2026-04-28 | get AI Content Detection Tool → | tags: dead internet theory, websites, research

9.

It’s primetime for conspiracy theorist video creators (theverge.com)

2026-04-28 | by Charles Pulliam-Moore | get Conspiracy Theory Documentary Kit → | tags: white house correspondents’ dinner, conspiracy theory videos, youtube

10.

Is my blue your blue? (news.ycombinator.com)

2026-04-27 | get Blue Light Blocking Glasses → | tags: color perception, blue, visual science

11.

There Will Be a Scientific Theory of Deep Learning (news.ycombinator.com)

2026-04-24 | get Deep Learning Scientific Book → | tags: deep learning, scientific theory, artificial intelligence

12.

RFK Jr.’s rejection of germ theory debunked in Senate hearing (arstechnica.com)

2026-04-23 | get Germ Theory Science Book → | tags: germ theory, robert f. kennedy jr., senate hearing

13.

The 'Missing-Scientist' Story Is Unbelievably Dumb (slashdot.org)

2026-04-22 | get Science News Magazine → | tags: slashdot, atlantic, conspiracy theory

14.

A Powerful New 'QR Code' Untangles Math's Knottiest Knots (news.ycombinator.com)

2026-04-22 | by Erica Klarreich | get QR Code Knot Puzzle → | tags: qr code, knot theory, topology

15.

A Renaissance gambling dispute spawned probability theory (news.ycombinator.com)

2026-04-21 | by Jack Murtagh | tags: probability theory, blaise pascal, pierre de fermat

16.

The Theory of Interstellar Trade [pdf] (news.ycombinator.com)

2026-04-20 | get Interstellar Trade Board Game → | tags: interstellar trade, pdf, theory

17.

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

18.

Category Theory Illustrated – Orders (news.ycombinator.com)

2026-04-18 | get Category Theory Illustrated Book → | tags: category theory, linear order, set theory

19.

MAGA Is Increasingly Convinced the Trump Assassination Attempt Was Staged (wired.com)

2026-04-17 | by David Gilbert | tags: trump, butler, conspiracy theory

20.

Sam Vimes 'Boots' Theory of Socio-Economic Unfairness (news.ycombinator.com)

2026-04-15 | by Rhianna Pratchett | get Vimes' Boots Mug → | tags: discworld, sam vimes, boots theory

21.

Foolish Pollsters Are Now Just Asking AI What Voters Would Say in Response to Questions and Publishing It at Face Value (futurism.com)

2026-04-11 | by Victor Tangermann | get AI Polling Assistant Tool → | tags: aru, ai simulation, digital theory lab

22.

Canva doubles down on AI and marketing automation with Simtheory, Ortto acquisitions (techcrunch.com)

2026-04-08 | by Aisha Malik | get Ortto Marketing Automation Tool → | tags: simtheory, ortto, marketing automation

23.

Six (and a half) intuitions for KL divergence (news.ycombinator.com)

2026-04-07 | get KL Divergence Cheat Sheet → | tags: kl-divergence, information theory, machine learning

24.

Category Theory Illustrated – Types (news.ycombinator.com)

2026-04-03 | get Category Theory Illustrated Book → | tags: category theory, type theory, programming languages

25.

New Theory Says We’ve Been Overcomplicating the Big Bang (gizmodo.com)

2026-04-02 | get Cosmology Science Book → | tags: big bang, quantum physics, lens

26.

How Reverse Game Theory Could Solve the Housing Shortage (news.ycombinator.com)

2026-03-30 | by Hennyge Wichers | get Game Theory Strategy Board Game → | tags: reverse game theory, housing shortage, kingsbury pride peach

27.

Anthony Leggett obituary: physicist who brought quantum theory to the macro world (feeds.nature.com)

2026-03-30 | by Stamp | get Quantum Mechanics T-Shirt → | tags: quantum theory, superfluids, condensed-matter physics

28.

Why are executives enamored with AI, but ICs aren't? (news.ycombinator.com)

2026-03-27 | get AI Enthusiast T-Shirt → | tags: executives, individual contributors, non-determinism

29.

Study Challenges Popular Theory on Why Primordial Bugs Were So Darn Huge (gizmodo.com)

2026-03-26 | get Antique Insect Specimen Kit → | tags: primordial bugs, insect size, ancient insects

30.

The L.A. verdict could haunt social media platforms (feeds.feedburner.com)

2026-03-25 | get Meta Quest 2 VR Headset → | tags: california court, social media addiction, lawsuits