GoKawiil - Tech News

Topics: Today This Week This Month This Year

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (news.ycombinator.com)

2025-12-20 | get MaxCut → | tags: assignment, bool, decidableeq

Keyboard Holders, Generation 1 (news.ycombinator.com)

2025-10-31 | get gaming keyboard → | tags: design, fins, inner

Today's top topics: cnet gael cooper pudding pops nbc news digital twin cities google