Hacker Newsnew | past | comments | ask | show | jobs | submit | StevenXC's submissionslogin
1.
The Lurch Project: a word processor designed to check the reasoning in proofs (lurchmath.github.io)
1 point by StevenXC on April 7, 2024 | past
2.
Let's Split Up, Gang (clontz.org)
1 point by StevenXC on Dec 8, 2023 | past
3.
Is there anyone among us who can identify a certain SUS space? (math.stackexchange.com)
2 points by StevenXC on Sept 30, 2023 | past
4.
Workshop on Open-source cyberinfrastructure supporting mathematics research (aimath.org)
2 points by StevenXC on July 28, 2023 | past | 1 comment
5.
6รท2(1+2)=? (stevenclontz.com)
21 points by StevenXC on March 17, 2013 | past | 55 comments
6.
Font Awesome 3.0 Released (twitter.com/fortaweso_me)
5 points by StevenXC on Jan 3, 2013 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: