GoKawiil - Tech News

72121.

Three ways formally verified code can go wrong in practice (news.ycombinator.com)

2025-10-31 | get computer monitor → | tags: code, correct, int

72122.

Completing a BASIC language interpreter in 2025 (news.ycombinator.com)

2025-10-31 | by Óscar Toledo Gutiérrez | get computer monitor → | tags: basic, ecs, program

72123.

Emacs agent-shell (powered by ACP) (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: acp, agent, claude

72124.

Edge AI for Beginners (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: ai, deployment, edge

72125.

Free software hasn't won (news.ycombinator.com)

2025-10-31 | get Chromebook → | tags: closed, free, open

72126.

Another ‘Avatar’ Video Game Is On the Way (gizmodo.com)

2025-10-31 | by Justin Carter | get Xbox Series X → | tags: avatar, characters, fighting

72127.

The ‘Fionna & Cake’ Trailer Promises a ‘Bigger and Crazier’ Season 2 (gizmodo.com)

2025-10-31 | by Justin Carter | get Meta Quest → | tags: cake, fionna, multiverse

72128.

‘Halloween Ends’ Almost Had Two Odd, Different Endings (gizmodo.com)

2025-10-31 | by Justin Carter | get streaming device → | tags: ending, halloween, laurie

72129.

‘Reze Arc’ Teases One Final Look Before ‘Chainsaw Man’ Hits Theaters (gizmodo.com)

2025-10-31 | by Isaiah Colbert | get Microsoft Surface Laptop → | tags: anime, arc, film

72130.

Cult Classic ‘Battle Royale’ Has Returned to Theaters (gizmodo.com)

2025-10-31 | by Justin Carter | get Amazon Echo Dot → | tags: battle, days, film

72131.

Do Microcurrent Devices Actually Work? Dermatologists Tell The Truth (cnet.com)

2025-10-31 | by See Full Bio | get Google Nest → | tags: device, devices, home

72132.

Today's NYT Connections Hints, Answers and Help for Oct. 13, #855 (cnet.com)

2025-10-31 | by See Full Bio | get Google Nest Mini → | tags: answers, connections, group

72133.

Sunday Night Football: How to Watch Lions vs. Chiefs Tonight (cnet.com)

2025-10-31 | by See Full Bio | get smartphone → | tags: chiefs, game, nbc

72134.

New Starfleet Academy trailer debuts at NYCC (arstechnica.com)

2025-10-31 | get Google Nest → | tags: academy, braka, caleb

72135.

16 Best Laptops (2025), WIRED-Tested and Approved (wired.com)

2025-10-31 | by Luke Larsen | get laptop → | tags: battery, chips, laptop

72136.

Ohio Seeks to Ban Human-AI Marriage (futurism.com)

2025-10-31 | by Frank Landymore | get Microsoft Surface Laptop → | tags: ai, claggett, having

72137.

OpenAI’s Marketing Efforts Are Embarrassingly Ineffective, New Consumer Research Finds (futurism.com)

2025-10-31 | by Rae Witte | get Emotional Intelligence book → | tags: ad, ads, ai

72138.

I thought ads would be the most annoying part of Spotify’s free plan; instead, it was this (androidauthority.com)

2025-10-31 | get Echo Dot → | tags: free, music, plan

72139.

It’s been decades, but archiving emails in Gmail still sucks (androidauthority.com)

2025-10-31 | get Chromebook → | tags: archived, email, emails

72140.

Gurman: Three new Apple products likely launching ‘this week’ (9to5mac.com)

2025-10-31 | by Michael Burkhardt | get iPhone → | tags: apple, chip, gurman

72141.

Apple has already begun work on an H3 chip and next-generation AirPods: report (9to5mac.com)

2025-10-31 | by Michael Burkhardt | get AirPods → | tags: airpods, apple, chip

72142.

The first products with Apple's M5 chip could make their debut this week (engadget.com)

2025-10-31 | get iPhone → | tags: apple, gurman, m5

72143.

Google Chrome to revoke browser notifications for inactive sites (bleepingcomputer.com)

2025-10-31 | get digital camera → | tags: chrome, feature, google

72144.

Spain dismantles “GXC Team” cybercrime syndicate, arrests leader (bleepingcomputer.com)

2025-10-31 | get Atomic Habits book → | tags: civil, gxc, phishing

72145.

I thought the Bose QuietComfort headphones already hit their peak - then I tried the newest model (zdnet.com)

2025-10-31 | by Jada Jones | get smartphone → | tags: bose, headphones, noise

72146.

Jeep pushed software update that bricked all 2024 Wrangler 4xe models (news.ycombinator.com)

2025-10-31 | get productivity planner → | tags: browser, center, help

72147.

Why it took 4 years to get a lock files specification (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: dependencies, files, install

72148.

Quantification of fibrinaloid clots in plasma from pediatric Long COVID patients (news.ycombinator.com)

2025-10-31 | get computer monitor → | tags: lc, long, microclot

72149.

Show HN: I extracted BASIC listings for Tim Hartnell's 1986 book (news.ycombinator.com)

2025-10-31 | get computer monitor → | tags: bas, basic, chapter

72150.

C++ Reflection and Qt MOC (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: _id, qmetaobject, qwidget