GoKawiil - Tech News

871.

Trump administration bars former EU official and anti-disinformation and hate researchers from US (theverge.com)

2025-12-23 | by Richard Lawler | get Artificial Intelligence → | tags: ccdh, department, disinformation

872.

Ten former Samsung employees arrested for industrial espionage charges for giving China chipmaker 10nm tech — executives and researchers allegedly leaked DRAM technology to China-based CXMT, resulting in trillions of losses in Korean Won (tomshardware.com)

2025-12-23 | by Jowi Morales | get DRAM → | tags: cxmt, dram, nm dram

873.

Test, don't just verify (news.ycombinator.com)

2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification

874.

Test, don't (just) verify (news.ycombinator.com)

2025-12-23 | get Smartwatch → | tags: bugs, formal, formal verification

875.

Test, Don't (Just) Verify (news.ycombinator.com)

2025-12-23 | get Blockchain → | tags: bugs, formal, formal verification

876.

How a former Forest Service employee changed the future of housing in California (feeds.feedburner.com)

2025-12-23 | get Modular Home → | tags: advocacy, advocacy organization, april

877.

How Last Samurai Standing adds kinetic action to the Battle Royale formula (theverge.com)

2025-12-23 | by Geoffrey Bunting | get Gaming Console → | tags: action, okada, planner

878.

Carnap – A formal logic framework for Haskell (news.ycombinator.com)

2025-12-23 | get Carnap → | tags: background carnap, carnap, carnap class

879.

When clouds flock together (arstechnica.com)

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

880.

Instagram long-form videos and full control of your feed may be on the cards (9to5mac.com)

2025-12-22 | by Ben Lovejoy | get Instagram Reels → | tags: instagram, long, mosseri

881.

CSRF protection without tokens or hidden form fields (news.ycombinator.com)

2025-12-22 | by Miguel Grinberg | get Web Protection → | tags: csrf, header, method

882.

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

883.

Show HN: Rust/WASM lighting data toolkit – parses legacy formats, generates SVGs (news.ycombinator.com)

2025-12-21 | get Lighting Toolkit → | tags: comments

884.

Former Trump advisor Dina Powell McCormick leaves Meta board after eight-month stint (cnbc.com)

2025-12-19 | by Jonathan Vanian | get Facebook → | tags: board, mccormick, meta

885.

Former Patagonia CEO Rose Marcario resigns from Rivian’s board (techcrunch.com)

2025-12-19 | by Sean O'Kane | get Electric Vehicle → | tags: board, foundation, marcario

886.

Scientists Find Bizarre, Lemon-Shaped World Orbiting City-Sized Star (cnet.com)

2025-12-19 | by See Full Bio | get Neutron Star → | tags: bizarre, carbon, clouds

887.

Scientists Find Bizarre, Lemon-Shaped World Orbiting City-Size Star (cnet.com)

2025-12-19 | by See Full Bio | get Neutron Star → | tags: bizarre, carbon, clouds

888.

My perfect MacBook Pro replacement is this powerful Windows laptop I didn't see coming (zdnet.com)

2025-12-19 | by Kyle Kucharski | get Surface → | tags: battery, blade, form

889.

Canada and U.S. will soon launch formal talks on USMCA trade agreement (feeds.feedburner.com)

2025-12-19 | get USMCA → | tags: canada, carney, carney said

890.

TikTok signs a deal forming a new U.S. unit including investors Oracle and Silver Lake (feeds.feedburner.com)

2025-12-19 | get ByteBank → | tags: algorithm, bytedance, deal

891.

Formula 1 is Deploying New Jargon for 2026 (slashdot.org)

2025-12-18 | by Posted | get Formula One → | tags: buckminster, buckminster fuller, fuller

892.

Unprecedented Image Shows 2 Protoplanets Smashing Into Each Other, Forming Giant Dust Cloud (gizmodo.com)

2025-12-18 | get AstroDust → | tags: bringing, bringing cosmic, cloud

893.

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

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

894.

Mistral OCR 3 (news.ycombinator.com)

2025-12-18 | get Mistral OCR 3 → | tags: document, documents, forms

895.

This Former NASA Engineer Grew His Startup to $100M Revenue in Less Than 4 Years: 'Lightning in a Bottle' (feeds.feedburner.com)

2025-12-18 | get Cloud Computing → | tags: compliance, drata, million

896.

Formula 1 is deploying new jargon for 2026 (arstechnica.com)

2025-12-18 | get Formula One → | tags: active, corner, drag

897.

YouTube to pull music data from Billboard’s charts because it doesn’t like its ranking formula (techcrunch.com)

2025-12-17 | by Sarah Perez | get Music database → | tags: album, billboard, music

898.

Show HN: GitForms – Zero-cost contact forms using GitHub Issues as database (news.ycombinator.com)

2025-12-17 | get GitHub Forms → | tags: github, issues, limits

899.

Ford Has Steered Its Former EV Truck and Plant Plans in to a Ditch (news.ycombinator.com)

2025-12-17 | by Stephen Hackett | get Electric Vehicle → | tags: blue, blue oval, electric

900.

Former Neuralink Exec Launches Organ Preservation Effort (wired.com)

2025-12-17 | by Emily Mullin | get Neuralink → | tags: hodak, neuralink, organs