GoKawiil - Tech News

151.

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

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

152.

FBI arrests 21-year-old accused of infecting 8,000 PCs with malware through fake Steam games (techspot.com)

2026-07-19 | by Kishalaya Kundu | tags: fbi, steam, malware

153.

Sensing warm and cool: how the body detects temperature changes (news.ycombinator.com)

2026-07-17 | tags: thermoreceptors, university of queensland, brain institute

154.

SpaceX stock has cratered nearly 23% since the company joined the Nasdaq-100 (cnbc.com)

2026-07-17 | by Sawdah Bhaimiya | tags: spacex, starship, elon musk

155.

The Future of OLED Screens May Be… Inkjet Printing? (gizmodo.com)

2026-07-17 | tags: oled screens, inkjet printing, laptop components

156.

FBI Arrests Man Accused of Using Steam Games To Drain Victims' Crypto Wallets (slashdot.org)

2026-07-17 | tags: fbi, steam, crypto wallets

157.

Dell XPS 16 review: A sleek, high-end laptop perfect for creatives and professionals (zdnet.com)

2026-07-17 | by Cesar Cadenas | tags: dell, xps 16, oled screen

158.

FBI arrests man accused of using Steam games to drain victims’ crypto wallets (techcrunch.com)

2026-07-17 | by Lorenzo Franceschi-Bicchierai | tags: steam, valve, malware

159.

SpaceX stock sinks after Starship test flight aborted, pacing for a six-day losing streak (cnbc.com)

2026-07-17 | by Sawdah Bhaimiya | tags: spacex, starship, starbase

160.

Florida man arrested for allegedly stealing over $200,000 in crypto using Steam game malware (theverge.com)

2026-07-17 | by Emma Roth | tags: steam, valve, crypto

161.

SpaceX falls further in premarket after Starship test flight aborted (cnbc.com)

2026-07-17 | by Sawdah Bhaimiya | tags: spacex, starship, starbase

162.

Even Microsoft couldn’t make Windows 11 work well on 8GB of RAM (theverge.com)

2026-07-17 | by Antonio G. Di Benedetto | tags: microsoft, surface laptop, windows 11

163.

I tested MSI's latest gaming laptop, and it works just as hard as it plays (zdnet.com)

2026-07-17 | by Cesar Cadenas | tags: msi, cyborg 15, alienware

164.

SpaceX scrubs Starship launch after some of its engines didn't start (arstechnica.com)

2026-07-17 | tags: spacex, starship, starbase

165.

SpaceX aborts Starship test flight, sending stock lower (cnbc.com)

2026-07-16 | by Annie Palmer | tags: spacex, starship, elon musk

166.

US Sanctions First VPN in Crackdown on Ransomware Criminals (cnet.com)

2026-07-16 | by See Full Bio | tags: first vpn, ransomware, europol

167.

New OkoBot framework deploys 20 payloads to steal data, crypto (bleepingcomputer.com)

2026-07-16 | tags: okobot, github, powershell

168.

Teen hackers who live streamed cyber-attack on TfL jailed (news.ycombinator.com)

2026-07-16 | by Joe Tidy | tags: accumulated, accumulated millions, cryptocurrency

169.

Get an RTX 5080 gaming laptop for just $2,199 thanks to this HP Omen Max deal — save $1,500 on AMD Ryzen 9 beast with 32GB of RAM (tomshardware.com)

2026-07-16 | by Stephen Warwick | tags: deals, hardware, image

170.

Lenovo Coupon Codes and Deals in July 2026 (wired.com)

2026-07-16 | by Luke Larsen | tags: discount, laptops, lenovo

171.

I'm a USB-C Maximalist (news.ycombinator.com)

2026-07-14 | by Terence Eden | tags: charger, charging, laptop

172.

Swedish startup unveils foot-long drone-killing interceptor that can exceed 220 mph (techspot.com)

2026-07-13 | by Rob Thubron | tags: air defence, aircraft, defence

173.

Teardown: A Generic 7-Port USB 3.0 Hub That Wasn't (news.ycombinator.com)

2026-07-12 | by View All Posts Lui_Gough | tags: bytes, descriptor, device

174.

Lenovo's Legion 7a gaming laptop now comes with an RTX 5070 12GB GPU option — but it costs $3,375 paired with a Ryzen AI 9 CPU, SKU was previously limited to RTX 5060 (tomshardware.com)

2026-07-12 | by Hassam Nasir | tags: just, laptop, legion

175.

A dock that wakes up reliably (news.ycombinator.com)

2026-07-12 | tags: dock, laptop, monitor

176.

Apple Sues OpenAI, Accusing It of Stealing Company Secrets (slashdot.org)

2026-07-11 | tags: accused, apple, laptop

177.

Kraken is rebuilding its app around agentic trading as crypto exchanges evolve beyond crypto (cnbc.com)

2026-07-10 | by Tanaya Macheel | tags: crypto, kraken, markets

178.

Kraken to launch agentic trading as crypto exchanges evolve beyond crypto (cnbc.com)

2026-07-10 | by Tanaya Macheel | tags: asatryan, crypto, kraken

179.

Successful Companies Go Blind (news.ycombinator.com)

2026-07-10 | by Ian Reppel | tags: apoptosis, cave, fish

180.

Money launderer accused of stealing seized crypto while in prison (bleepingcomputer.com)

2026-07-10 | tags: court, cryptocurrency, fraud