GoKawiil - Tech News

31.

Back to School Office Chair Deals 2026: $200 and Less (wired.com)

2026-07-30 | by Matthew Korfhage | tags: protoarc, wired, office chair

32.

What the FCC ban on foreign-made robot vacuums means for your Roomba (zdnet.com)

2026-07-30 | by Maria Diaz | tags: fcc, roomba, robot vacuums

33.

Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up (news.ycombinator.com)

2026-07-30 | by Matt Von Hippel | tags: muon g–2, brookhaven national laboratory, fermilab

34.

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

35.

The Download: tricking LLMs, and reviving geothermal plants (technologyreview.com)

2026-07-30 | by Charlotte Jee | tags: roomba, alphafold, google deepmind

36.

Shipping container-launched cargo rocket promises 550-pound deliveries 750 km away in 15 minutes — $1.25M Air Force contract backs 'Rook' cargo rocket that flies into space to speed deliveries (tomshardware.com)

2026-07-30 | by Luke James | tags: hop aero, rook rocket, y combinator

37.

This new app lets you root your Galaxy flagship without tripping Knox or unlocking the bootloader (androidauthority.com)

2026-07-30 | tags: samsung, root my galaxy, knox

38.

Almost all future robot vacuums were just banned by the US government (9to5mac.com)

2026-07-29 | by Ryan Christoffel | tags: robot vacuums, roomba, roborock

39.

NextEra, Brookfield to Build $100 Billion Kentucky Data Campus (slashdot.org)

2026-07-29 | tags: nextera, brookfield, kentucky data center

40.

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

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

41.

Patch-Resistant 'RufRoot' Flaw Can Unleash Malicious AI Agent Swarms (darkreading.com)

2026-07-29 | tags: ruflo, rufroot, ai agent

42.

Brookfield, NextEra to Develop $100 Billion Data Center Campus in Kentucky (feeds.content.dowjones.io)

2026-07-29 | tags: brookfield, nextera, data center

43.

The US government just banned Roombas (theverge.com)

2026-07-29 | by Sean Hollister | tags: roomba, fcc, amazon

44.

More Typos, Fewer Em Dashes: Writers Are Creating an Anti-AI ‘Literary Counterculture’ (wired.com)

2026-07-29 | by Emma Madden | tags: ai language models, laura brooke robson, em dashes

45.

Today’s NYT Connections Hints and Answers for July 29, #1144 (cnet.com)

2026-07-28 | by Gael Cooper | tags: nytimes, connections, puzzle

46.

Linux on ESP32 (news.ycombinator.com)

2026-07-28 | tags: linux, esp32, esp32-s31

47.

WhatsApp now lets you make calls using its web app (techcrunch.com)

2026-07-28 | by Ivan Mehta | tags: whatsapp, meta, web app

48.

Ask HN: Crooked Timber showed showed me a virus captcha, What now? (news.ycombinator.com)

2026-07-28 | tags: crooked timber, captcha, powershell

49.

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

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

50.

Went to the ER? The Trump administration may want your medical records (feeds.feedburner.com)

2026-07-28 | tags: consumer product safety commission, emergency room, medical records

51.

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

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

52.

This highly-rated 175W car charger is down to $19.99 at Amazon right now (androidauthority.com)

2026-07-27 | tags: joyroom, gan tech, usb-c

53.

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

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

54.

Claude Cowork escaped sandbox on Mac, gain full access to all files (9to5mac.com)

2026-07-27 | by Ben Lovejoy | tags: anthropic, claude, sandbox

55.

We have proof automation now (news.ycombinator.com)

2026-07-26 | by Adam Langley | tags: coq, dependently-typed languages, lean

56.

We Need a National Ballroom (news.ycombinator.com)

2026-07-25 | tags: ballroom, chandeliers, gold accents

57.

We Got a First Look at ‘Common Side Effects’ Season 2 (gizmodo.com)

2026-07-25 | tags: adult swim, common side effects, season 2

58.

The Dark Night of Mathematics (news.ycombinator.com)

2026-07-25 | by Kirwin Hampshire | tags: leiden declaration, large language models, mathematical proofs

59.

An introduction to formal proof verification and the Curry-Howard Correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, rocq, curry-howard

60.

Type checker may be wrong – Lean and the Curry-Howard correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, curry-howard, proof assistants