GoKawiil - Tech News

Topics: Today This Week This Month This Year

We have proof automation now (news.ycombinator.com)

2026-07-26 | by Adam Langley | tags: coq, dependently-typed languages, lean

Today's top topics: openai google samsung apple anthropic meta nvidia amazon microsoft chatgpt