beecafe's favorites | Hacker News

1.		Cursed Linear Types in Rust (geo-ant.github.io)
		106 points by todsacerdoti 12 months ago \| 22 comments
2.		Does there exist a complete implementation of the Risch algorithm? (mathoverflow.net)
		154 points by thechao on Aug 14, 2023 \| 22 comments
3.		Ratatui: tui-rs revival project (github.com/tui-rs-revival)
		132 points by fnordpiglet on March 15, 2023 \| 12 comments
4.		A Curious Integral (utexas.edu)
		267 points by todsacerdoti on Jan 6, 2023 \| 60 comments
5.		[flagged] Ask HN: Do not rent and live in basements
		41 points by fthb on March 23, 2022 \| 44 comments
6.		Underselling Hawking (inference-review.com)
		5 points by chmaynard on March 8, 2022 \| 1 comment