GoKawiil - Tech News

13051.

λProlog: Logic programming in higher-order logic (news.ycombinator.com)

2026-02-20 | get Lambda Prolog → | tags: church's simple theory, higher-order logic, lambda-tree

13052.

A16z partner says that the theory that we’ll vibe code everything is wrong (news.ycombinator.com)

2026-02-20 | by Shubhangi Goel | get Vibe Code → | tags: a16z, ai-assisted coding, enterprise software

13053.

A16Z partner says that the theory that we'll vibe code everything is ' wrong' (news.ycombinator.com)

2026-02-20 | by Shubhangi Goel | get Artificial Intelligence → | tags: a16z, ai-assisted coding, enterprise software

13054.

Microsoft’s Head of Gaming to Retire After 38 Years at Company (feeds.content.dowjones.io)

2026-02-20 | get Xbox Series X → | tags: acquisitions, acquisitions minecraft, activision

13055.

Wikipedia Blacklists Archive.today, Starts Removing 695,000 Archive Links (slashdot.org)

2026-02-20 | get Wikipedia.org → | tags: ars technica, wikipedia, archive today

13056.

Sam Altman thinks AI is being unduly blamed for layoffs (feeds.feedburner.com)

2026-02-20 | get Artificial Intelligence → | tags: openai, artificial intelligence, challenger gray christmas

13057.

Even Sam Altman thinks CEOs are blaming AI for layoffs (feeds.feedburner.com)

2026-02-20 | get Artificial Intelligence → | tags: openai, artificial intelligence, challenger gray christmas

13058.

Android malware is now using Gemini AI to adapt in real time (Updated: Google statement) (androidauthority.com)

2026-02-20 | get Gemini AI → | tags: android malware, google play protect, gemini ai

13059.

Microsoft Xbox chief Phil Spencer retires, replaced by AI executive Asha Sharma (cnbc.com)

2026-02-20 | by Jordan Novet | get Xbox Series X → | tags: xbox, gaming, microsoft

13060.

OpenAI smart speaker could dial up the creepiness with a camera to watch you (androidauthority.com)

2026-02-20 | get Echo → | tags: openai smart speaker, jony ive, google home

13061.

Protect your family’s private data by removing it from the internet (9to5mac.com)

2026-02-20 | by Sponsored Post | get DataGuard → | tags: surfshark, incogni, data brokers

13062.

With Musk Now Focused on the Moon, Will This Plucky Rival Claim Mars? (gizmodo.com)

2026-02-20 | get SpaceX → | tags: claim, claim mars, focused

13063.

Turn Dependabot Off (news.ycombinator.com)

2026-02-20 | get Dependabot → | tags: govulncheck, edwards25519, github actions

13064.

Disney Didn’t Want Tony Gilroy to Say ‘Fascism’ While Promoting ‘Andor’ (gizmodo.com)

2026-02-20 | get Star Wars → | tags: star wars, andor, fascism

13065.

Microsoft Deletes Blog Telling Users To Train AI on Pirated Harry Potter Books (slashdot.org)

2026-02-20 | by Posted | get Microsoft Azure → | tags: microsoft, kaggle, azure

13066.

Google Pixel 10a vs. Pixel 10: Which of Google's latest phones is best for you? (zdnet.com)

2026-02-20 | by Prakhar Khanna | get Camera → | tags: pixel 10a, google pixel, pixel snap

13067.

Optophone (news.ycombinator.com)

2026-02-20 | get Smartphone → | tags: seleinium photosensors, optophone, barr and stroud

13068.

Phil Spencer is exiting Microsoft as AI executive takes over Xbox (news.ycombinator.com)

2026-02-20 | by Pulasthi Ariyasinghe | get Xbox Series X → | tags: xbox, coreai, instacart

13069.

They Bet Against Trump’s Tariffs. Now They Stand to Make Millions (wired.com)

2026-02-20 | by Joel Khalili | get Solar Panels → | tags: scotus, trump tariffs, liberation day

13070.

Microsoft gaming chief Phil Spencer retires, replaced by ex-Instacart exec Asha Sharma (cnbc.com)

2026-02-20 | by Jordan Novet | get Xbox Series X → | tags: xbox, activision blizzard, gamescom

13071.

‘I didn’t get a graduation’: How the Class of 2020 turned its pandemic loss into a running joke on TikTok (feeds.feedburner.com)

2026-02-20 | get Smartwatch → | tags: according tiktok, apparently, apparently stop

13072.

OpenAI Has No Moat, No Tech Edge, No Lock-in and No Real Plan, Analyst Warns (slashdot.org)

2026-02-20 | by Posted | get Chatbot → | tags: argues, distribution, evans

13073.

It’s Called the ‘Fitbit for Farts’—and It’s No Joke (feeds.content.dowjones.io)

2026-02-20 | get Smart fart sensor → | tags: able, able hope, apple

13074.

14 surprising ways to use your iPhone's USB-C port - beyond just charging (zdnet.com)

2026-02-20 | by Elyse Betters Picaro | get Smartwatch → | tags: betters, betters picaro, elyse betters

13075.

OpenAI Flagged a Mass Shooter’s Troubling Conversations With ChatGPT Before the Incident, Decided Not to Warn Police (futurism.com)

2026-02-20 | by Jon Christian | get ChatGPT → | tags: authorities, chatgpt, conversations

13076.

DHS Wants a Single Search Engine to Flag Faces and Fingerprints Across Agencies (wired.com)

2026-02-20 | by Dell Cameron | get Facial Recognition System → | tags: biometric, faces, identity

13077.

‘Starkiller’ Phishing Service Proxies Real Login Pages, MFA (krebsonsecurity.com)

2026-02-20 | get Starkiller → | tags: legitimate, phishing, real

13078.

Meta's Pivot From VR Is Happening. Too Bad Glasses Aren't Ready for This Moment (cnet.com)

2026-02-20 | by See Full Bio | get Virtual Reality → | tags: ar glasses, glasses, horizon

13079.

Why urban planners should strive for ‘the photo album standard’ (feeds.feedburner.com)

2026-02-20 | get Smartphone → | tags: bunch, bunch saturdays, capturing

13080.

Calling Cards made Google Contacts too busy, but a fix is in the works (androidauthority.com)

2026-02-20 | get Contactless → | tags: calling, calling card, card