GoKawiil - Tech News

2551.

Tourist Spots ‘Extinct’ Jellyfish Not Seen in 50 Years (gizmodo.com)

2025-10-31 | by Gayoung Lee | related products | tags: cyathiforme, freeman, jelly

2552.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem (news.ycombinator.com)

2025-10-31 | related products | tags: fermat, information, project

2553.

Mezzano, an operating system written in Common Lisp (news.ycombinator.com)

2025-10-31 | related products | tags: demo, implemented, improvements

2554.

HTML-in-Canvas (news.ycombinator.com)

2025-10-31 | related products | tags: canvas, content, drawn

2555.

Best Home Security Systems in 2025: Safeguard Your Home With These Top Options (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: home, image, monitoring

2556.

Tim Cook reportedly tells employees Apple ‘must’ win in AI (techcrunch.com)

2025-10-31 | by Anthony Ha | related products | tags: ai, apple, company

2557.

Fired by video: Atlassian terminates 150 workers using pre-recorded video, sparking criticism (techspot.com)

2025-10-31 | by Skye Jacobs | related products | tags: affected, ai, atlassian

2558.

I want Gemini to be my DJ in YouTube Music (androidauthority.com)

2025-10-31 | related products | tags: automix, gemini, google

2559.

Apple @ Work: Why MDM isn’t enough to succeed with Macs (9to5mac.com)

2025-10-31 | by Bradley C | related products | tags: apple, device, identity

2560.

VSCode extension for syntax highlighting multi-line YAML strings (news.ycombinator.com)

2025-10-31 | related products | tags: embedded, identifier, language

2561.

The Rubik's Cube Perfect Scramble (news.ycombinator.com)

2025-10-31 | related products | tags: arrangements, corner, cube

2562.

The Art of Multiprocessor Programming 2nd Edition Book Club (news.ycombinator.com)

2025-10-31 | related products | tags: discussion, email, november

2563.

The Best Smart Home Gyms, as Recommended by a Fitness Expert (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: equipment, home, studio

2564.

The enforcer that could break up Apple and Google is facing upheaval (theverge.com)

2025-10-31 | by Lauren Feiner | related products | tags: antitrust, case, doj

2565.

Google's Powerful New AI Model Can Solve Your Most Complex Problems. If You Can Afford It (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: ai, deep, gemini

2566.

The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos (news.ycombinator.com)

2025-10-31 | related products | tags: democracy, education, job

2567.

More details emerge on how Windsurf’s VCs and founders got paid from the Google deal (techcrunch.com)

2025-10-31 | by Marina Temkin | related products | tags: company, deal, employees

2568.

Almost All Rain Drops Contain the Same Weird Chemical (futurism.com)

2025-10-31 | related products | tags: chemical, like, pfas

2569.

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU (news.ycombinator.com)

2025-10-31 | related products | tags: coffee, coffeematic, computer

2570.

A Side Effect of Trump's Tariffs: Making Ozempic Way More Expensive (futurism.com)

2025-10-31 | related products | tags: new, news, novo

2571.

‘Foundation’ Just Dropped a Huge, Terrifying Twist (gizmodo.com)

2025-10-31 | by Cheryl Eddy | related products | tags: demerzel, empire, foundation

2572.

Your Windows 11 PC has a secret emergency shutdown feature - here's how to use it (zdnet.com)

2025-10-31 | by Cesar Cadenas | related products | tags: ctrl, emergency, method

2573.

Unemployment rising in remote-friendly occupations (2024) (news.ycombinator.com)

2025-10-31 | related products | tags: high, occupations, remote

2574.

Philz Coffee close to closing deal to sell to private equity firm for $145M (news.ycombinator.com)

2025-10-31 | by Jessica Blough | related products | tags: company, employees, philz

2575.

Horrifying Video Shows Amusement Park Ride Breaking Apart Mid-Ride (futurism.com)

2025-10-31 | related products | tags: amusement, injured, park

2576.

Feds Launch Experiment to Have Medicare Cover GLP-1 Weight Loss Drugs (gizmodo.com)

2025-10-31 | by Ed Cara | related products | tags: coverage, drugs, medicaid

2577.

At 17, Hannah Cairo solved a major math mystery (news.ycombinator.com)

2025-10-31 | by Kevin Hartnett | related products | tags: cairo, problem, said

2578.

Ask HN: Who is hiring? (August 2025) (news.ycombinator.com)

2025-10-31 | related products | tags: com, github, https

2579.

Ask HN: Who wants to be hired? (August 2025) (news.ycombinator.com)

2025-10-31 | related products | tags: boards, com, email

2580.

Supporting the BEAM community with free CI/CD security audits (news.ycombinator.com)

2025-10-31 | by Erlang Solutions Team | related products | tags: audits, beam, erlang