GoKawiil - Tech News

11911.

Introduction to Formal Verification with Lean Part 1 (news.ycombinator.com)

2026-07-19 | tags: lean, formal verification, cryptography

11912.

U.S.-Iran Fighting Escalates (feeds.content.dowjones.io)

2026-07-19 | tags: cia, uae, iran

11913.

Opinion | Chinese Election Interference? What About TikTok? (feeds.content.dowjones.io)

2026-07-19 | tags: china, tiktok, trump

11914.

Aptera Announces US-Wide Repair Network for Its Upcoming Solar Electric Car (slashdot.org)

2026-07-19 | by Posted | tags: aptera, solar electric car, repair network

11915.

Aptera Announces Nationwide Repair Network For Its Upcoming Solar Electric Car (slashdot.org)

2026-07-19 | by Posted | tags: aptera, solar electric car, repair network

11916.

Infrared tech is decades old – why does almost every TV remote use it? (engadget.com)

2026-07-19 | by Adnan Ahmed | tags: infrared, zenith radio corporation, bluetooth remotes

11917.

Kodak EC35 is a dirt-cheap point-and-shoot film camera (theverge.com)

2026-07-19 | by Terrence O'Brien | tags: kodak, ec35, snapic a1

11918.

C64 Basic Dungeon Crawler: Goblin Attack (C64 Basic Part 8) (news.ycombinator.com)

2026-07-19 | by Chris Garrett | tags: c64, basic, dungeon crawler

11919.

Creality K2 SE 3D printer price slashed by 17%, now under $250 — grab a competitive entry-level high-speed multicolor device at a bargain price (tomshardware.com)

2026-07-19 | by Jowi Morales | tags: creality, k2 se, 3d printer

11920.

‘Odyssey’ director Christopher Nolan calls AI an obvious ‘Trojan horse’ (techcrunch.com)

2026-07-19 | by Anthony Ha | tags: christopher nolan, the odyssey, trojan horse

11921.

Natural experiments prove phytoplankton carbon removal works (news.ycombinator.com)

2026-07-19 | by Quico Toro | tags: phytoplankton, carbon removal, satellite sensors

11922.

Show HN: I replaced a $120k bowling center system with $1,600 in ESP32s (news.ycombinator.com)

2026-07-19 | tags: esp32, pin detection, bowling system

11923.

AMD's next-gen 10-core 'Medusa Point' APU shows up on Geekbench again, with its best score yet — leaked SKU outpaces every other x86 mobile chip in the single-core test (tomshardware.com)

2026-07-19 | by Hassam Nasir | tags: amd, medusa point, geekbench

11924.

Former Richard Stallman Colleague Now Argues for Open AI Models Too (slashdot.org)

2026-07-19 | by Posted | tags: open source ai, richard stallman, frontier models

11925.

Colman Domingo May Bring ‘The Princess & the Frog’ to Live-Action (gizmodo.com)

2026-07-19 | tags: disney, colman domingo, the princess and the frog

11926.

Terence McKenna's Mega Bad Trip (news.ycombinator.com)

2026-07-19 | tags: terence mckenna, mega bad trip, psychedelics

11927.

Postmortem of a British Startup: Tract (news.ycombinator.com)

2026-07-19 | tags: tract, british startup, land promotion

11928.

Zilog Z80 turns 50 as an open-source replacement heads to drop-in DIP40 silicon — iconic 8-bit CPU launched in July 1976 and was discontinued in 2024 (tomshardware.com)

2026-07-19 | by Luke James | tags: zilog z80, open-source replacement, intel 8080

11929.

Clever hacker fits 537,000 domains in a $5 ESP32 ad-blocking dongle (news.ycombinator.com)

2026-07-19 | by Zak Killian | tags: esp32, pi-hole, dns filtering

11930.

Computing’s Top 30: Achyut Sarma Boggaram (computer.org)

2026-07-19 | tags: ieee computer society, achyut sarma boggaram, computing top 30

11931.

Nonprofit Current AI is racing to build the World Wide Web of AI, free for all (techcrunch.com)

2026-07-19 | by Kate Park | tags: current ai, open-source ai, india ai summit

11932.

Memory chip boss admits RAM prices are 'abnormally high' — SK Group chairman considering building a semiconductor plant in the US to expand supply, calm ‘chipflation’ (tomshardware.com)

2026-07-19 | by Jowi Morales | tags: sk hynix, memory chips, chipflation

11933.

I hate that I don’t hate this song made with Suno (theverge.com)

2026-07-19 | by Terrence O'Brien | tags: suno, holly herndon, benja

11934.

Anker Solix S2000 Review: The Little 2kWh Battery That Could (gizmodo.com)

2026-07-19 | tags: anker, solix s2000, battery

11935.

Are OLED TVs still worth the premium in 2026? (engadget.com)

2026-07-19 | by Jason Schneider | tags: oled, samsung, organic light-emitting diode

11936.

Bananas sprout in Rayleigh Garden UK after 15 years (news.ycombinator.com)

2026-07-19 | by Henry Godfrey-Evans | tags: rayleigh, maricopa county, heat deaths

11937.

‘Phantom Twist’ drone spins so fast that it is nearly invisible — flying device adds motion blur to the real world (tomshardware.com)

2026-07-19 | by Mark Tyson | tags: northwestern university, phantom twist, drone

11938.

OpenStreetMap: Admin_level for All Countries (news.ycombinator.com)

2026-07-19 | tags: openstreetmap, admin_level, boundary

11939.

Big Blue Blues (feeds.content.dowjones.io)

2026-07-19 | tags: ibm, passwords, tech executives

11940.

Samsung cuts hundreds of US consumer electronics jobs ahead of Texas HQ move — 739 roles affected in New Jersey as chip division posts record profit (tomshardware.com)

2026-07-19 | by Luke James | tags: samsung electronics, texas, new jersey