GoKawiil - Tech News

31.

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days (feeds.nature.com)

2026-09-07 | by Castelvecchi | get Fermat's Enigma Simon Singh book → | tags: anthropic, claude, fermat's last theorem

32.

It took a year to ship WebAssembly in Anubis (news.ycombinator.com)

2026-09-06 | get Programming WebAssembly with Rust book → | tags: anubis, webassembly, proof-of-work

33.

Formalizing Fermat's Last Theorem (news.ycombinator.com)

2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: fermats last theorem, lean proof assistant, imperial college london

34.

The Hunt for AI-Proof Assets Is Leading Investors to Sports, Casinos and Travel (feeds.content.dowjones.io)

2026-09-03 | tags: artificial intelligence, venture capital, sports

35.

Identity Verification Is Broken. The 153 Million Driver’s Licenses Now for Sale Are Proof (gizmodo.com)

2026-09-02 | get YubiKey 5 NFC security key → | tags: driver’s licenses, identity verification, honey pots

36.

Thoma Bravo-Owned Proofpoint in Advanced Talks to Buy Varonis (feeds.content.dowjones.io)

2026-09-02 | tags: proofpoint, thoma bravo, varonis

37.

From Trojan horses to AI-proof exams: how professors are tackling students’ AI use (feeds.nature.com)

2026-09-01 | by Zimmer | get Roaring Spring blue exam books → | tags: large language models, mit, oxford

38.

'Stunning' percolation proof solves decades-old puzzle about phase transitions (news.ycombinator.com)

2026-08-31 | by Leila Sloman | get Grimmett Percolation book → | tags: percolation, transitive graphs, phase transition

39.

Pixel’s Now Playing is about to get its lost feature back, and we saw the proof (androidauthority.com)

2026-08-31 | get Google Pixel 9 smartphone → | tags: pixel, now playing, google

40.

My BC-250 Journey (With 40 CUs Unlocked) (news.ycombinator.com)

2026-08-30 | by Matthew Morgan | get Noctua NF-A12x25 PWM 120mm fan → | tags: asrock bc-250, ethereum proof-of-work, gddr6 bandwidth

41.

SeL4 security proofs now complete on AArch64 (news.ycombinator.com)

2026-08-24 | get Raspberry Pi 4 Model B 4GB → | tags: sel4, proofcraft, arm64

42.

LLMs are proof that Unix won (news.ycombinator.com)

2026-08-21 | by Map Email Bastian Rieck.Me Name Bastian Grossenbacher Rieck | tags: unix, linux, gnu

43.

Proof of Human (YC S23) Is Hiring a Member of Technical Staff (news.ycombinator.com)

2026-08-20 | tags: proof of human, aws, node

44.

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

45.

Mathematics holds the secret to ‘ladder-proof’ knitting (feeds.nature.com)

2026-08-18 | by Patil | tags: knot theory, physical review x, knitting technology

46.

A quick look at zero-knowledge proofs (news.ycombinator.com)

2026-08-14 | by Max Bernstein | tags: zero-knowledge proofs, graph theory, cryptography

47.

A digestion of the proof of Sendov's conjecture (news.ycombinator.com)

2026-08-14 | by Terence Tao | tags: sendov, polynomial, critical points

48.

How Gödel's Proof Works (2020) (news.ycombinator.com)

2026-08-13 | by Natalie Wolchover | tags: gödel, incompleteness theorems, halting problem

49.

How Gödel's Proof Works (news.ycombinator.com)

2026-08-13 | by Natalie Wolchover | tags: gödel, incompleteness theorems, halting problem

50.

Want to Avoid Being Replaced By AI? A Former Microsoft Exec Says This Is How to AI-Proof Your Career. (feeds.feedburner.com)

2026-08-13 | by Sherin Shibu | tags: microsoft, excel, organizational ai

51.

Here’s proof that high component costs are killing cheap phones (androidauthority.com)

2026-08-13 | tags: apple, pixel 11, samsung

52.

Job Seekers Are Racing to AI-Proof Their Résumés (feeds.content.dowjones.io)

2026-08-13 | tags: job seekers, résumés, job descriptions

53.

This font looks perfectly normal to humans but wreaks havoc on AI (feeds.feedburner.com)

2026-08-10 | tags: shieldfont, seneda & abruccio, playtype

54.

Is football AI-proof? Why tech investors wanted a slice of the World Cup (feeds.bbci.co.uk)

2026-08-08 | by Watch Our Pick Of Standout Clips Across The Bbc | tags: fifa, football, sport

55.

Flagship phones are a better deal than mid-rangers in 2026, and here’s the proof (androidauthority.com)

2026-08-07 | tags: counterpoint, flagship, price

56.

F*: A general-purpose proof-oriented programming language (news.ycombinator.com)

2026-08-02 | tags: f* (f star), ocaml, microsoft research

57.

Mathematics Without Mathematicians (news.ycombinator.com)

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

58.

Examining the best options for PCIe SSDs during the RAMpocalypse — capacity trumps raw speed for most tasks (tomshardware.com)

2026-07-30 | by Stewart Bendle | tags: pcie ssd, rampocalypse, tom's hardware

59.

Russian hackers exploit Exchange OWA zero-day for long-term mailbox access (bleepingcomputer.com)

2026-07-29 | tags: exchange, owa, reaper

60.

Many "serious" mathematicians are aghast (news.ycombinator.com)

2026-07-28 | tags: ai mathematics, peer-reviewed journals, scientific revolution