Formalizing US Tax Code (Using Lean)
114 punktów · 76 komentarzy · autor dnw · lexifina.com
- Punkty
- 114
- Komentarze
- 76
Więcej z tego źródła
Wszystkie-
US IRS free online tax filing open source repo (2025)
-
Lovable apps expose passport details and more than 200K private messages
-
Italy fines Meta €805M over photo privacy
-
PyPI's redesigned project pages with clearer security signals are now live
-
Serving GLM-5.3 at 607.8 tok/s across two Nvidia DGX stations with vLLM
-
Show HN: A terminal-native idle factory game, written in Rust with ratatui
-
Italy fines Meta $887M over Android users' data access
-
KDE: The documentary [video]