GoKawiil - Tech News

31.

The Computational Theory of Mind (2015) (news.ycombinator.com)

2026-08-02 | by Rescorla | tags: computational theory of mind, cognitive science, neurophysiological description

32.

Mathematics Without Mathematicians (news.ycombinator.com)

2026-08-02 | by Fernando Borretti | tags: openai, coding theory, mathematics

33.

The Art of Decision-Making (2019) (news.ycombinator.com)

2026-07-31 | by Joshua Rothman | tags: decision theory, edna ullmann-margalit, abbottabad

34.

The Maxwell Conjecture Is False (GPT 5.6 Sol) (news.ycombinator.com)

2026-07-31 | tags: maxwell conjecture, gpt 5.6, artificial intelligence

35.

Are We Stuck with Lean? (news.ycombinator.com)

2026-07-30 | tags: lean, theorem prover, mathlib

36.

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (news.ycombinator.com)

2026-07-29 | tags: theo conjecture, paul erdos, graffiti program

37.

Xenharmlib (music theory library) adds support for Just Intonation (news.ycombinator.com)

2026-07-28 | tags: xenharmlib, just intonation, music theory

38.

Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (news.ycombinator.com)

2026-07-28 | tags: harmony, music, scientific theory

39.

It Seems a Lot Like Dead Internet Has Actually Come True (futurism.com)

2026-07-28 | by Frank Landymore | tags: dead internet theory, bots, openai

40.

The ‘dead internet theory’ is real. And it’s killing the web as we know it (feeds.feedburner.com)

2026-07-28 | tags: dead internet theory, cloudflare, thales

41.

Solving Fermat: Andrew Wiles (news.ycombinator.com)

2026-07-27 | tags: fermats last theorem, andrew wiles, mathematics

42.

The Proof Machine (2016) (news.ycombinator.com)

2026-07-27 | tags: proof assistant, isabelle, propositional logic

43.

The Alice and Bob After Dinner Speech (1984) (news.ycombinator.com)

2026-07-27 | by John Gordon | tags: coding theory, alice and bob, zurich seminar

44.

Multiway Turing Machines (2021 pre-ai) (news.ycombinator.com)

2026-07-26 | tags: turing machines, multiway computation, pre-ai

45.

Turn And Face The Strange (news.ycombinator.com)

2026-07-25 | tags: fly.io, sprites, cloud platform

46.

Towards a Theory of Bugs: The Ruliology of the Unexpected (news.ycombinator.com)

2026-07-24 | tags: ruliology, bugs, unexpected

47.

Four Young Mathematicians Awarded the 2026 Fields Medals (slashdot.org)

2026-07-23 | tags: fields medals, hong wang, kakeya conjecture

48.

A fake Temu-like website claims to give shoppers a dopamine boost—without buying anything (feeds.feedburner.com)

2026-07-22 | tags: temu, fakehaul, skyscribe

49.

Non-Gaussian statistics of the order parameter across a phase transition (feeds.nature.com)

2026-07-22 | by Allemand | tags: order parameter, phase transition, bose gas

50.

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

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

51.

Weak AI Regulation Is Worse Than No Regulation, Researchers Claim (gizmodo.com)

2026-07-21 | tags: ai regulation, game theory, supply chain

52.

The road to epsilon-zero: Nim always ends, even with infinite ordinals (news.ycombinator.com)

2026-07-21 | tags: nim, epsilon-zero, ordinals

53.

Hollywood Sci-fi Studio Lot Now Pitched As Site To Make Real Space-age Weapons (slashdot.org)

2026-07-20 | by Posted | tags: avatar, marvel, northrop grumman

54.

Who's afraid of Chinese models? (news.ycombinator.com)

2026-07-20 | tags: kimi k3, aggregation theory, zero marginal costs

55.

Who's Afraid of Chinese Models? (news.ycombinator.com)

2026-07-20 | tags: kimi k3, aggregation theory, kellogg school

56.

The Fermi Paradox, Percolation, and Inbreeding (news.ycombinator.com)

2026-07-18 | by James Davis Nicoll | tags: fermi paradox, percolation theory, enrico fermi

57.

What does the Riemann zeta function have to do with the distribution of primes? (news.ycombinator.com)

2026-07-17 | tags: riemann zeta function, distribution of primes, euclid primes

58.

Tannakian Reconstruction (news.ycombinator.com)

2026-07-14 | tags: tannakian reconstruction, functor, fiber functors

59.

Mechanistic interpretability researchers applying causality theory to LLMs (news.ycombinator.com)

2026-07-12 | tags: applying, applying causality, causality

60.

Scientists Used AI to Find Hidden Earthquake Signals Along the San Andreas Fault (gizmodo.com)

2026-07-10 | tags: called, called slow, earthquakes