GoKawiil - Tech News

Topics: Today This Week This Month This Year

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

Show HN: Workaround – Unstar GitHub Repos in Bulk (news.ycombinator.com)

2026-07-18 | tags: github, github repositories, show hn

GitHub Confirms Breach, 4K Internal Repos Stolen (darkreading.com)

2026-05-20 | by Alexander Culafi | get GitHub Security Badge → | tags: github, github breach, github repositories

Show HN: Browser Harness – Gives LLM freedom to complete any browser task (news.ycombinator.com)

2026-04-24 | get Browser Automation Toolkit → | tags: browser harness, chrome devtools protocol, llm browser automation

If It Quacks Like a Package Manager (news.ycombinator.com)

2026-03-08 | by Andrew Nesbitt | get Package Manager → | tags: github actions, npm, rust

Today's top topics: apple anthropic openai google iphone duo claude ai safety iphone 18 pro samsung ios 27