Tachyooon's submissions

1.		Introduction to Formal Real Analysis (alexkontorovich.github.io)
		1 point by Tachyooon 2 days ago \| past \| 1 comment
2.		Lean Game Server (hhu.de)
		2 points by Tachyooon 11 days ago \| past \| discuss
3.		Linear Algebra Game (hhu.de)
		2 points by Tachyooon 11 days ago \| past \| discuss
4.		An Elizabethan mansion's secrets for staying warm (bbc.com)
		185 points by Tachyooon 13 days ago \| past \| 180 comments
5.		Enumerating All Fractions (math.stackexchange.com)
		2 points by Tachyooon 9 months ago \| past
6.		Second Godot Engine Newsletter (godot.news)
		3 points by Tachyooon 11 months ago \| past
7.		Ask HN: Name and shame – did anyone receive LLM spam from dagworks.io?
		1 point by Tachyooon on Aug 14, 2024 \| past