4 ms·
The actual content in the repository is just a few for loops to find the counterexample. With a ton of commented out code, and some default code generated by ca
by melissalobos 5y ago
The actual content in the repository is just a few for loops to find the counterexample. With a ton of commented out code, and some default code generated by cargo I am guessing. I am not sure how ready the author was for people to view this.
https://github.com/CarlKCarlK/shortestpaper/blob/main/src/lib.rs https://github.com/CarlKCarlK/shortestpaper/blob/main/src/li...
- kibwen 5y agoThe author submitted it to /r/rust a few hours before this submission: https://www.reddit.com/r/rust/comments/sf8mqp/recreating_worlds_shortest_math_paper_with_rust/ https://www.reddit.com/r/rust/comments/sf8mqp/recreating_wor...
- melissalobos 5y agoJudging from that thread, they were posting it more for advice and comments on how to write Rust code better. It looks like a fun learning project!