GoKawiil - Tech News

841.

How to put all your incoming messages in one unified dashboard (it’s easy!) (feeds.feedburner.com)

2026-07-27 | tags: slack, microsoft teams, notification dashboard

842.

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

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

843.

Plasma Tunnels Reveal How Dying Satellites Fall to Earth (news.ycombinator.com)

2026-07-26 | by Tereza Pultarova | tags: space debris, plasma wind tunnels, satellite reentry

844.

Mike Flanagan Is Ready to Make ‘The Mist’ His Own (gizmodo.com)

2026-07-26 | tags: mike flanagan, the mist, horror adaptation

845.

Angels in Coptic Magic I: Introduction (news.ycombinator.com)

2026-07-26 | by Roxanne Bélanger Sarrazin | tags: coptic magic, pseudo-dionysus, angels hierarchy

846.

AI-Equipped Garbage Trucks Could Soon Start Spying On People in the US (slashdot.org)

2026-07-26 | by Posted | tags: garbage trucks, city detect, code violations

847.

Champagne and Bullets belongs on the Mount Rushmore of bad movies (theverge.com)

2026-07-26 | by Terrence O'Brien | tags: champagne, film, hart

848.

Using ThinkPad T480 as a mobile phone (news.ycombinator.com)

2026-07-26 | by Maroš Grego | tags: thinkpad t480, quectel eg25-g, libreboot

849.

Hugging Face CEO calls for ‘radical transparency’ after ‘unprecedented’ OpenAI hack (techcrunch.com)

2026-07-26 | by Anthony Ha | tags: hugging face, openai, autonomous agent

850.

Mike Flanagan Promises His ‘Carrie’ Will Subvert All Your Expectations (gizmodo.com)

2026-07-26 | tags: mike flanagan, carrie, prime video

851.

Open-source 3D-printed portable MRI machine built for under $70,000 — DIY medical equipment costs less than 7% of a full-sized MRI machine’s $1.1 million starting price (tomshardware.com)

2026-07-26 | by Jowi Morales | tags: open-source imaging initiative, osi2 one, 3d-printed mri

852.

Meta Desperately Trying to Ban Creeps Misusing Its AI “Pervert Glasses” (futurism.com)

2026-07-26 | by Victor Tangermann | tags: meta, pervert glasses, adam mosseri

853.

GitHub, PyPI add time-based defenses against supply chain attacks (bleepingcomputer.com)

2026-07-26 | tags: github, pypi, dependabot

854.

GitHub, PyPI add time-absed defenses against supply chain attacks (bleepingcomputer.com)

2026-07-26 | tags: github, pypi, dependabot

855.

The vertical video takeover is here (theverge.com)

2026-07-26 | by David Pierce | tags: youtube, snapchat, vertical video

856.

Thanatos Rising (news.ycombinator.com)

2026-07-26 | by George Makari | tags: brinsley schwarz, elvis costello, league of nations

857.

Show HN: What 180k words look like as a temporal knowledge graph (Oz series) (news.ycombinator.com)

2026-07-26 | tags: synaptale, knowledge graph, temporal data

858.

Here are the best MacBook deals right now: July 2026 Buyer’s Guide (9to5mac.com)

2026-07-26 | by Michael Burkhardt | tags: macbook air, macbook neo, apple

859.

Firefox's New Tab Page Will Get Widgets - Including an AI-Powered Daily Crossword (slashdot.org)

2026-07-26 | by Posted | tags: firefox, particle, ai crossword

860.

Firefox' New Tab Page Will Get Widgets - Including an AI-Powered Daily Crossword (slashdot.org)

2026-07-26 | by Posted | tags: firefox, new tab page, widgets

861.

‘Carrie’ Shows Off Its New Take on the Hell of High School in First Teaser Trailer (gizmodo.com)

2026-07-26 | tags: carrie, prime video, mike flanagan

862.

Fly.io CEO Kurt Mackey is stepping down (news.ycombinator.com)

2026-07-25 | tags: fly.io, kurt mackey, sprites

863.

The Teenage Mutant Ninja Turtles Have One ‘Last Ronin’ Adventure in Them (gizmodo.com)

2026-07-25 | tags: teenage mutant ninja turtles, last ronin, summer 2027

864.

Amazon Cracks Down On Use of AI Images By Sellers (slashdot.org)

2026-07-25 | by Posted | tags: amazon, ai images, youtube

865.

LLM Usage in Debian: Three Proposals (news.ycombinator.com)

2026-07-25 | tags: debian, large language models, lintian

866.

General Resolution: LLM Usage in Debian (news.ycombinator.com)

2026-07-25 | tags: debian, large language models, lintian

867.

Running a 28.9M parameter LLM on an $8 microcontroller (news.ycombinator.com)

2026-07-25 | tags: esp32-s3, gemma models, per-layer embeddings

868.

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

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

869.

Three Theses on the Literacy Crisis (news.ycombinator.com)

2026-07-25 | by Trevor Aleo | tags: atlantic, literacy, reading

870.

OpenAI agent goes rogue and hacks popular AI community — left escape plans for future models inside the company's infrastructure (tomshardware.com)

2026-07-25 | by Anton Shilov | tags: openai, hugging face, autonomous ai