Grothendieck’s use of equality

Created 1y | May 20, 2024, 4:10:07 PM


Login to add comment

Other posts in this group

Show HN: A continuation of IRS Direct File that can be self-hosted

the IRS recently open sourced most of Direct File, a tax tool it has been working on for a few years now. unfortunately, due to recent events, the IRS isn't working on it anymore. I decided to pic

Jul 1, 2025, 9:40:12 AM | Hacker news