Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
F*: A general-purpose proof-oriented programming language (news.ycombinator.com)
2026-08-02 | tags: f* (f star), ocaml, microsoft research
2.
Introduction to Formal Verification with Lean Part 1 (news.ycombinator.com)
2026-07-19 | tags: lean, formal verification, cryptography
3.
Frustrated Microsoft Researcher Uses Goats in ‘Age of Empires II’ to Demo the Absurdity of LLMs (gizmodo.com)
2026-06-23 | get Goat Plush Toy → | tags: microsoft research, goats, age of empires
4.
New AI optimization framework beats Claude Code and Codex by 2.5x on the same compute budget (venturebeat.com)
2026-06-18 | get AI Coding Optimization Toolkit → | tags: arbor, microsoft research, claude code
5.
Git commands I run before reading any code (news.ycombinator.com)
2026-04-08 | by Ally Piechowski | get Git Cheat Sheet Poster → | tags: git, microsoft research, commit history
6.
The Git Commands I Run Before Reading Any Code (news.ycombinator.com)
2026-04-08 | by Ally Piechowski | get Git Command Cheat Sheet → | tags: git, microsoft research, commit history
Today's top topics: google apple openai anthropic amazon android authority android chatgpt meta nvidia
View all today's topics →

© 2026 GoKawiil | 6 articles displayed

About | Editorial Policy | Contact