GoKawiil - Tech News

1531.

Some Junk Theorems in Lean (news.ycombinator.com)

2025-12-23 | get Lean Theory → | tags: coordinate, equal, langle

1532.

The Modern SD Card Buying Guide (techspot.com)

2025-12-23 | get Memory Card → | tags: actually, actually matter, buy right

1533.

The Modern SD Card Buying Guide: Sizes, Speeds, and Storage Classes (techspot.com)

2025-12-23 | get SD Card → | tags: actually, actually matter, buy right

1534.

30% Off Tempur-Pedic Promo Codes | December 2025 (wired.com)

2025-12-23 | by Julia Forbes | get Tempur-Pedic mattress → | tags: bases, bedding, mattress

1535.

Australian Eateries Turn To Automatic Tipping as Cost of Doing Business Climbs (slashdot.org)

2025-12-22 | by Posted | get Restaurant Technology → | tags: australian, automatic, bills

1536.

The Justice Department Released More Epstein Files—but Not the Ones Survivors Want (wired.com)

2025-12-22 | by Brian Barrett | get Cloud → | tags: epstein, files, grand

1537.

Henge Finder (news.ycombinator.com)

2025-12-22 | get Geohenge → | tags: clicking, clicking henges, creating

1538.

Animating Quines for Larva Labs (news.ycombinator.com)

2025-12-22 | by Jonnie Hallman | get Quine Animator → | tags: animation, code, generation

1539.

When clouds flock together (arstechnica.com)

2025-12-22 | get Clouds → | tags: climate, clouds, form

1540.

The more senior you are, the less feedback you get (and that’s a problem) (feeds.feedburner.com)

2025-12-22 | get Leadership → | tags: actions, behavior, behavior actions

1541.

ONNX Runtime and CoreML May Silently Convert Your Model to FP16 (news.ycombinator.com)

2025-12-22 | by Yusuf Mohammad | get TensorFlow → | tags: coreml, format, mlprogram

1542.

Fabrication Techniques Using Myco-Materials (news.ycombinator.com)

2025-12-21 | get Bioplastic → | tags: material, materials, monolithic

1543.

Disney Imagineering Debuts Next-Generation Robotic Character, Olaf (news.ycombinator.com)

2025-12-21 | get Disney Robotics → | tags: animation, character, characters

1544.

White House Confused by How Random YouTuber’s Stream Became Featured on Its Website (futurism.com)

2025-12-21 | by Frank Landymore | get Streaming device → | tags: bloomberg, house, realmattmoney

1545.

Trump Dismantling National Center For Atmospheric Research In Colorado (slashdot.org)

2025-12-20 | get Climate Model → | tags: climate, largest, official

1546.

The DOJ’s Jeffrey Epstein Files Are Here (wired.com)

2025-12-19 | by Maddy Varner | get TechCrunch → | tags: epstein, materials, memo

1547.

The DOJ's Jeffrey Epstein Files Are Here (wired.com)

2025-12-19 | by Maddy Varner | get I cannot provide information on the products or technologies of → | tags: epstein, materials, memo

1548.

‘Avatar: Fire and Ash’s’ New Power Couple Discuss Their Trippy Seduction (gizmodo.com)

2025-12-19 | get Inkjet Printer → | tags: chaplin, chaplin stephen, intimate

1549.

Google sues web scraper for sucking up search results ‘at an astonishing scale’ (theverge.com)

2025-12-19 | by Emma Roth | get Web scraper → | tags: automated, copyrighted content, deployed

1550.

8-bit Boléro (news.ycombinator.com)

2025-12-19 | get NVIDIA GeForce RTX 3080 → | tags: automaton, bass, channel

1551.

Retro, a photo-sharing app for friends, lets you ‘time-travel’ through your camera roll (feeds.feedburner.com)

2025-12-19 | get Camera Roll → | tags: ai generated, analog, analog hobbies

1552.

Micron stock pops 12% as AI memory demand soars: 'We are more than sold out' (cnbc.com)

2025-12-18 | by Samantha Subin | get Memory → | tags: billion, demand, estimates

1553.

‘Evangelion’ Will Briefly Return Again for a New 30th Anniversary Short Film (gizmodo.com)

2025-12-18 | get Neon Genesis Evangelion → | tags: animation, animation director, animation written

1554.

The immortality of Microsoft Word (news.ycombinator.com)

2025-12-18 | by Jordan Bryan | get Microsoft Word → | tags: formatting, lawyers, legal

1555.

Micron stock pops 15% as AI memory demand soars: 'We are more than sold out' (cnbc.com)

2025-12-18 | by Samantha Subin | get Memory → | tags: billion, demand, estimates

1556.

Snapchat Quick Cut automatically creates music-synced videos in seconds (9to5mac.com)

2025-12-18 | by Ben Lovejoy | get SoundCloud → | tags: automatically, creating, creation

1557.

The Download: the worst technology of 2025, and Sam Altman’s AI hype (technologyreview.com)

2025-12-18 | by Rhiannon Williams | get Artificial Intelligence → | tags: altman, hype, materials

1558.

Can AI really help us discover new materials? (technologyreview.com)

2025-12-18 | by Casey Crownhart | get Materials Science → | tags: david, materials, new materials

1559.

California threatens to halt Tesla sales over Autopilot marketing (techspot.com)

2025-12-18 | get Autopilot → | tags: actions, actions major, adds

1560.

Tencent's Horizon clone Light of Motiram pulled from Steam and Epic after Sony lawsuit ends (techspot.com)

2025-12-18 | get Light of Motiram → | tags: americas, americas told, comment