GoKawiil - Tech News

Topics: Today This Week This Month This Year

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (news.ycombinator.com)

2026-05-17 | by A. Jesse Jiryu Davis | get TLA Specification Guide → | tags: tla+, leslie lamport, temporal logic

All of DOGE’s work could be undone as lawsuit against Musk proceeds (arstechnica.com)

2026-03-24 | get Dogecoin T-Shirt → | tags: doge, elasticsearch, elon musk

The passive in English (2011) (news.ycombinator.com)

2026-01-25 | by Geoffrey K. Pullum | get Language Tool → | tags: clause, form, participle

2026-01-06 | get NBA → | tags: basketball, basketball players, clause

Open Source Initiative Estimates the 'Top Open Source Licenses in 2025' (slashdot.org)

2025-12-27 | by Posted | get Linux → | tags: clause, license, pageviews

English Has Become Easier To Read (slashdot.org)

2025-12-17 | by Posted | get E-reader → | tags: clause, gotten, logical

A Clausewitzian lens on modern urban warfare (news.ycombinator.com)

2025-10-31 | by John Spencer | get Microsoft Surface Laptop → | tags: clausewitz, political, urban

A Clausewitzian Lens on Modern Urban Warfare (news.ycombinator.com)

2025-10-31 | by John Spencer | get Microsoft Surface Laptop → | tags: clausewitz, political, urban

Microsoft and OpenAI's AGI Fight Is Bigger Than a Contract (wired.com)

2025-10-31 | by Steven Levy | get Emotional Intelligence book → | tags: clause, contract, microsoft

10.

OpenAI’s Unreleased AGI Paper Could Complicate Microsoft Negotiations (wired.com)

2025-10-31 | by Kylie Robison | get Emotional Intelligence book → | tags: agi, ai, clause

Today's top topics: apple google anthropic spacex amazon elon musk openai ios 27 microsoft meta