GoKawiil - Tech News

181.

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

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

182.

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

183.

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day (news.ycombinator.com)

2026-07-18 | tags: indieweb, adam newbold, self-hosted website

184.

Korean outfit hosting 1.44MB game development contest to honor the floppy disk — entrants must confine entire fileset, including resources, engine, and library, to miniscule storage format (tomshardware.com)

2026-07-18 | by Mark Tyson | tags: floppy disk, game development, 2p_game_arcade

185.

Is the Apple TV 4K still worth buying after the price hike? (engadget.com)

2026-07-17 | by Matt Tate | tags: apple tv 4k, google tv streamer, fire tv cube

186.

Polymarket’s Corporate Structure Is a Mystery—Even to Some of Its Former Employees (wired.com)

2026-07-17 | by Kate Knibbs | tags: polymarket, shayne coplan, prediction market

187.

F1 Is One of the Loudest Sports on Earth. This Is What Audiologists Recommend to Protect Your Hearing at the Belgian Grand Prix (cnet.com)

2026-07-17 | by See Full Bio | tags: formula one, audiologists, belgian grand prix

188.

Apple sends legal letters to former employees now at OpenAI (9to5mac.com)

2026-07-17 | by Chance Miller | tags: apple, openai, trade secrets

189.

Google accidentally leaves a Pixel 11a clue in its Phone app (androidauthority.com)

2026-07-17 | tags: pixel 11, google phone app, pixel 11a

190.

Founders Fund hires former OpenAI exec Ryan Beiermeister (and not because of her ‘Mafia’ skills) (techcrunch.com)

2026-07-16 | by Julie Bort | tags: openai, chatgpt, founders fund

191.

How a former DeepMind researcher raised at a $300M pre-seed valuation before launching a product (techcrunch.com)

2026-07-16 | by Maggie Nye | tags: deepmind, visual ai, nvidia

192.

Ultrahuman’s former hardware VP raises $5.5M for devices that control AI agents, not just record you (techcrunch.com)

2026-07-16 | by Ivan Mehta | tags: aina, control, device

193.

If you want to create a button from scratch, you must first create the universe (news.ycombinator.com)

2026-07-16 | by Marco Campos | tags: button, element, form

194.

Stream 'Stranger Things' Like It's 1983. Netflix Quietly Drops Surprise VHS Edition (cnet.com)

2026-07-15 | by See Full Bio | tags: format, home, netflix

195.

Reelful’s AI turns your camera roll into short-form videos for social media (techcrunch.com)

2026-07-15 | by Aisha Malik | tags: deyneka, reelful, video

196.

Former employees sue over Meta's alleged use of biased AI systems during layoffs (engadget.com)

2026-07-14 | by Ian Carlos Campbell | tags: employees, lawsuit, layoffs

197.

Current and former employees sue Meta, alleging discrimination in using AI to conduct layoffs (cnbc.com)

2026-07-14 | by Jonathan Vanian | tags: allege meta, artificial intelligence, employees

198.

This Luddite Puppet Hopes You’re Not Reading This on Your Smartphone (wired.com)

2026-07-14 | by Manisha Krishnan | tags: form, gowanus, interview

199.

Scientists Find Sugar Deep In Our Galaxy (slashdot.org)

2026-07-14 | tags: center, center milky, form

200.

Just Let Me Write Digits (news.ycombinator.com)

2026-07-14 | by Guillaume Endignoux | tags: agov, case, code

201.

Mathematics formula found on Maya wall rivals insights of ancient masters (feeds.nature.com)

2026-07-14 | by Simms | tags: calculations, calendar, days

202.

Apple says former employee exploited ‘rare’ bug to download confidential files after leaving for OpenAI (techcrunch.com)

2026-07-13 | by Zack Whittaker | tags: access, allegedly, apple

203.

Our First Look at Mike Flanagan’s ‘Carrie’ Contains Zero Pig’s Blood (gizmodo.com)

2026-07-13 | tags: adaptation, adaptation time, creator

204.

Apple lawsuit reveals how many of its former employees now work at OpenAI (9to5mac.com)

2026-07-13 | by Chance Miller | tags: apple, apple employees, confidential

205.

Astronomers Detect Sugar in Interstellar Space for the First Time (gizmodo.com)

2026-07-13 | tags: discovery, discovery suggests, existed

206.

CISA warns of actively exploited RCE flaws in Joomla extensions (bleepingcomputer.com)

2026-07-13 | tags: arbitrary, balbooa, balbooa forms

207.

Oh, There’s the ‘Ghost of Tsushima: Legends’ Trailer (gizmodo.com)

2026-07-11 | tags: adapted, adapted anime, anime

208.

Jektex 0.2.0 – A Jekyll plugin for LaTeX rendering is now ~10x faster (news.ycombinator.com)

2026-07-11 | tags: cache, formula, jektex

209.

Apple is suing OpenAI, alleging former employees stole trade secrets to build AI hardware (techspot.com)

2026-07-11 | by Daniel Sims | tags: apple, cupertino, employees

210.

Former Apple Employees Stole Trade Secrets for OpenAI, Lawsuit Alleges (cnet.com)

2026-07-10 | by See Full Bio | tags: apple, hardware, openai