GoKawiil - Tech News

3001.

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

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

3002.

HomeKit Weekly: The Amazon Basics Matter plug delivers Apple Home support for under $10 (9to5mac.com)

2026-07-25 | by Bradley C | tags: amazon basics, matter support, homekit

3003.

China is Creating a Herd of 100 Elite Yak Clones (slashdot.org)

2026-07-25 | by Posted | tags: china, yak cloning, gene selection

3004.

Some combinatorial applications of spacefilling curves (news.ycombinator.com)

2026-07-25 | tags: spacefilling curves, sierpinski, traveling salesman

3005.

iPhone 18 won’t debut this fall, here’s why (9to5mac.com)

2026-07-25 | by Michael Burkhardt | tags: apple, iphone 18, iphone 18 pro

3006.

The ‘Lanterns’ Clips at Comic-Con Were Even Better Than the New Trailer (gizmodo.com)

2026-07-25 | tags: comic-con, lanterns, hall h

3007.

The 20 percent rule for solar panels can help you save money in the long run (engadget.com)

2026-07-25 | by Dave Meikleham | tags: solar panels, 20 percent rule, solar system

3008.

Marvel is Whipping Indiana Jones Back Into Comics Adventures (gizmodo.com)

2026-07-25 | tags: marvel, indiana jones, comic books

3009.

Amen Break (news.ycombinator.com)

2026-07-25 | tags: winstons, amen break, gregory coleman

3010.

Yes, airplane mode makes your phone charge faster — but it's not worth it (engadget.com)

2026-07-25 | by Christine Persaud | tags: airplane mode, battery life, smartphone

3011.

‘The Rings of Power’ Season 3 Is ‘the Season We’ve Been Building To’ (gizmodo.com)

2026-07-25 | tags: prime video, lord of the rings, rings of power

3012.

Massachusetts EV Drivers Can Sell Extra Energy to the Grid Under New Program (gizmodo.com)

2026-07-25 | tags: massachusetts, energy grid, spare electrons

3013.

Librarians are hosting viral ‘Avoiding AI’ workshops for people who are fed up with Big Tech (techcrunch.com)

2026-07-25 | by Amanda Silberling | tags: apple intelligence, big tech, ai chatbots

3014.

The Dark Night of Mathematics (news.ycombinator.com)

2026-07-25 | by Kirwin Hampshire | tags: leiden declaration, large language models, mathematical proofs

3015.

How to get more storage on your Android without using a microSD Card (engadget.com)

2026-07-25 | by Adnan Ahmed | tags: android, microsd card, google one

3016.

Trump Threatens New Tariffs Against EU Over Google Fine (slashdot.org)

2026-07-25 | tags: google, tariffs, european union

3017.

Task-centered iproute2 user guide (news.ycombinator.com)

2026-07-25 | tags: iproute2, linux networking, alex kuznetsov

3018.

Google basically confirms the Pixel 11 is getting a price hike (theverge.com)

2026-07-25 | by Terrence O'Brien | tags: pixel 11, google, 9to5 google

3019.

Scanwheel is a drum style mechanical television you can build yourself (news.ycombinator.com)

2026-07-25 | tags: scanwheel, raspberry pi pico, symbol technologies

3020.

From Silicon Valley to DC, the tech world is suddenly obsessed with one concept in AI: Distillation (cnbc.com)

2026-07-25 | by Kif Leswing Jonathan Vanian | tags: google ai, distillation, moonshot ai

3021.

Eye Implant That Restores Vision to the Blind Cleared for Sale (futurism.com)

2026-07-25 | by Frank Landymore | tags: prima, science corporation, cochlear implant

3022.

Computing’s Top 30: Lokesh Lagudu (computer.org)

2026-07-25 | tags: ieee, computing, lokesh lagudu

3023.

Hands-on: The Meirro Pro 6K might be the best Apple Studio Display alternative yet [Video] (9to5mac.com)

2026-07-25 | by Fernando Silva | tags: apple studio display, meirro pro, 6k monitor

3024.

Nvidia and SK Group enter $500 billion AI partnership — plan to supercharge AI infrastructure with next-gen memory and massive AI factories (tomshardware.com)

2026-07-25 | by Anton Shilov | tags: nvidia, sk hynix, sk telecom

3025.

My web version of Mars MIPS, now have builtin C compiler (news.ycombinator.com)

2026-07-25 | tags: mars mips, c compiler, web version

3026.

Bitchat is now on Radicle (news.ycombinator.com)

2026-07-25 | tags: bitchat, radicle, javascript

3027.

Bitchat Is Now on Radicle (news.ycombinator.com)

2026-07-25 | tags: bitchat, radicle, javascript

3028.

An introduction to formal proof verification and the Curry-Howard Correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, rocq, curry-howard

3029.

Type checker may be wrong – Lean and the Curry-Howard correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, curry-howard, proof assistants

3030.

Samsung's new Ultra foldable is impressive, but I'd pay close attention to this model (zdnet.com)

2026-07-25 | by Adam Doud | tags: samsung galaxy z fold 8, samsung galaxy z fold 8 ultra, samsung unpacked