GoKawiil - Tech News

361.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

362.

OK, what’s going on with LinkedIn’s algo? (techcrunch.com)

2025-12-12 | by Dominic-Madori Davis | get LinkedIn's Algorithm → | tags: algorithm, linkedin, post

363.

Instacart Caught Using AI to Charge Wildly Different Prices for the Same Item (futurism.com)

2025-12-12 | by Joe Wilkins | get Amazon → | tags: algorithms, groceries, instacart

364.

8 Characters We Think Scarlett Johansson Could Play in ‘The Batman Part II’ (gizmodo.com)

2025-12-11 | get Gadgets → | tags: allow, allow indulge, battinson

365.

Spotify joins potential new trend of giving us more control over the algorithms (9to5mac.com)

2025-12-11 | by Ben Lovejoy | get Music Streaming Service → | tags: algorithm, feature, instagram

366.

The new AI paradox: smarter models, worse data (feeds.feedburner.com)

2025-12-11 | get Machine Learning → | tags: advanced systems, ai models, ai promises

367.

Spotify's new playlist feature gives users more control over their recommendation algorithm (engadget.com)

2025-12-10 | get Spotify Playlist → | tags: algorithm, feature, playlist

368.

Instagram now lets you take control of your feed (somewhat) (9to5mac.com)

2025-12-10 | by Ben Lovejoy | get Instagram Stories → | tags: algorithm, feature, instagram

369.

Instagram will let you control which topics its algorithm recommends (engadget.com)

2025-12-10 | get Instagram Algorithm → | tags: algorithm, control, feature

370.

Exclusive: Instagram’s new feature finally gives you (a little) more control of your algorithm (feeds.feedburner.com)

2025-12-10 | get Algorithm → | tags: algorithm, app seemingly, bean

371.

Instagram Will Start Letting You Pick What Shows Up in Your Reels (wired.com)

2025-12-10 | by Reece Rogers | get YouTube → | tags: algorithm, instagram, meta

372.

Instagram’s new ‘Your Algorithm’ tool gives you more control over the Reels you see (techcrunch.com)

2025-12-10 | by Aisha Malik | get Reels Algorithm → | tags: algorithm, instagram, list

373.

Instagram gives you more control over your Reels algorithm (theverge.com)

2025-12-10 | by Jess Weatherbed | get Reels Algorithm → | tags: algorithm, feature, instagram

374.

Your next job interview could be with an AI. Here’s how to nail it (feeds.feedburner.com)

2025-12-08 | get Chatbot → | tags: ago algorithm, algorithm, algorithm decided

375.

Truemetrics (YC S23) Is Hiring (news.ycombinator.com)

2025-12-08 | get Trifacta → | tags: algorithms, experience, features

376.

The Chinese finance whizz whose DeepSeek AI model stunned the world (feeds.nature.com)

2025-12-08 | by Gibney | get DeepSeek AI → | tags: algorithms, deepseek, liang

377.

Kohler's $600 AI toilet camera sparks major privacy concerns (techspot.com)

2025-12-05 | get Smart Toilet Camera → | tags: algorithms, algorithms offer, announced

378.

This $25 Pair of See-Through Headphones Is God-Tier ’90s Nostalgia (gizmodo.com)

2025-12-04 | get Sennheiser → | tags: god tier, headphones, headphones god

379.

Your 'dear algo' Threads posts might actually do something soon (engadget.com)

2025-12-03 | get Instagram → | tags: active, active users, algorithm

380.

Russia blocks Roblox, citing 'LGBT propaganda' as a reason (engadget.com)

2025-12-03 | get Roblox → | tags: calls, country, doesn

381.

Online shoppers in New York are seeing a new warning: "This price was set by an algorithm" (techspot.com)

2025-12-02 | get Algorithm → | tags: adjusting, adjusting prices, advocates

382.

Why I recommend the LG C5 OLED over pricier TV models - especially at nearly 50% off now (zdnet.com)

2025-12-01 | by Chris Bayer | get OLED TV → | tags: lg oled, oled, remote

383.

Algorithms for Optimization [pdf] (news.ycombinator.com)

2025-11-30 | get Machine Learning → | tags: algorithms, algorithms optimization, optimization

384.

Black Friday deal: Save 30% on the LG StanbyMe portable touch-screen display (androidauthority.com)

2025-11-28 | get StanbyMe → | tags: black friday, friday, lg stanbyme

385.

New Evidence Suggests Neanderthals Cannibalized Outsider Women and Children (gizmodo.com)

2025-11-28 | get Neanderthal DNA → | tags: belgian, belgian cave, cannibalism

386.

Shor's algorithm: the one quantum algo that ends RSA/ECC tomorrow (news.ycombinator.com)

2025-11-28 | by Ilias Abousalim | get Quantum Algorithm → | tags: algorithm, quantum, shor

387.

Functional Data Structures and Algorithms: a Proof Assistant Approach (news.ycombinator.com)

2025-11-27 | get Data Structures → | tags: algorithms, assistant, book

388.

RealPage barred from using real-time data to set rents under new DOJ settlement (feeds.feedburner.com)

2025-11-26 | get Software → | tags: algorithm, algorithm year, algorithmic

389.

Kagi Hub Belgrade (news.ycombinator.com)

2025-11-26 | by Vladimir Prelovac | get Kagi Hub → | tags: belgrade, kagi, kagi hub

390.

YouTube is working on a feature that will fix the messy home feed (techcrunch.com)

2025-11-25 | by Lauren Forristal | get Home Feed → | tags: algorithm, custom, custom feed