GoKawiil - Tech News

631.

My Lights Run on Bash (news.ycombinator.com)

2025-10-31 | by Tomasz Kramkowski | get Meta Quest → | tags: light, room, state

632.

My Lights Run on Bash – Tomasz Kramkowski (news.ycombinator.com)

2025-10-31 | by Tomasz Kramkowski | get Meta Quest → | tags: light, room, state

633.

Don't make this thermostat mistake during heatwave: 3 cost-saving tips from an expert (zdnet.com)

2025-10-31 | by Chris Bayer | get digital camera → | tags: home, living, room

634.

Why I recommend this flagship TCL TV over OLED models that cost more (and don't regret it) (zdnet.com)

2025-10-31 | by Chris Bayer | get Chromecast → | tags: qm7k, qm8k, room

635.

New Linux udisks flaw lets attackers get root on major Linux distros (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: attackers, gain, linux

636.

Verified dynamic programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

637.

Verified Dynamic Programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | get computer monitor → | tags: let, maxdollars_spec, memo

638.

Best Internet Providers in Brooklyn, New York (cnet.com)

2025-10-31 | by See Full Bio | get Amazon Echo Dot → | tags: brooklyn, internet, provider

639.

New Linux udisks flaw lets attackers get root on major Linux distros (bleepingcomputer.com)

2025-10-31 | get Amazon Echo Dot → | tags: attackers, gain, linux

640.

Proofs Without Words (news.ycombinator.com)

2025-10-31 | get productivity planner → | tags: arrangement, following, proof

641.

Calculating Oil Storage Tank Occupancy with Help of Satellite Imagery (news.ycombinator.com)

2025-10-31 | by Tankertrackers.Com | get Emotional Intelligence book → | tags: oil, rooftop, storage

642.

Stop Waking Up So Often to Pee in the Middle of The Night. Use These 5 Tips, Instead (cnet.com)

2025-10-31 | by See Full Bio | get computer monitor → | tags: bathroom, day, night

643.

Root raises $9M to launch its social platform with customizable apps (venturebeat.com)

2025-10-31 | by Rachel Kaser | get gaming keyboard → | tags: apps, communities, community

644.

Govee RGBIC Floor Lamp Hits Its Record Low Price, Create 16 Million DIY Colors With This Amazon Steal (gizmodo.com)

2025-10-31 | by Jason Coles | get streaming device → | tags: change, lamp, light

645.

This smart thermostat mistake may be costing you money - here's the best place to install it (zdnet.com)

2025-10-31 | by Chris Bayer | get digital camera → | tags: home, living, room

646.

This Roomba with an auto-empty dock is down to a record-low price (engadget.com)

2025-10-31 | get Microsoft Surface Pro → | tags: brush, company, dock

647.

Writing a Truth Oracle in Lisp (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: function, proof, right

648.

Peano arithmetic is enough, because Peano arithmetic encodes computation (news.ycombinator.com)

2025-10-31 | get Google Nest → | tags: binary, induction, list

649.

Mel Brooks returns from the retirement home to save a galaxy 'very, very, very, very, far away' (techspot.com)

2025-10-31 | by Cal Jeffrey | get Samsung Galaxy → | tags: brooks, pullman, spaceballs

650.

Mel Brooks is returning for Spaceballs 2 (theverge.com)

2025-10-31 | by Jay Peters | get gaming keyboard → | tags: attempt, brooks, film

651.

Ask HN: What is your fallback job if AI takes away your career? (news.ycombinator.com)

2025-10-31 | get computer monitor → | tags: ask, assume, career

652.

Spaceballs 2 Will See Rick Moranis Return as Dark Helmet (news.ycombinator.com)

2025-10-31 | get smartphone → | tags: brooks, like, moranis

653.

‘Spaceballs 2’ Could Also Bring Back Rick Moranis—and More (gizmodo.com)

2025-10-31 | by Germain Lussier | get computer monitor → | tags: brooks, gad, moranis

654.

The First ‘Spaceballs 2’ Teaser Confirms a Crucial Returning Star (gizmodo.com)

2025-10-31 | by Germain Lussier | get streaming device → | tags: brooks, sequel, spaceballs

655.

Password-spraying attacks target 80,000 Microsoft Entra ID accounts (bleepingcomputer.com)

2025-10-31 | get Microsoft Surface Laptop → | tags: accounts, proofpoint, researchers

656.

1972 Unix V2 "Beta" Resurrected (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: 00, jan, root