News for hackers. Stuff that matters.

A comment on Why Computing Students Should Contribute to Open Source Software Projects. Parent comment

Re:Why Computing Students Should Contribute to Open Source S... by chalst on Monday June 28, 2021 @03:35AM (#27659045)
The CACM Viewpoint proposal doesn't mean that students have to work on the kind of open source projects that businesses will assign developer labour to. The open source projects can be chosen to complement the educational aims of the course.
[ Parent | on HN ]
Re:Why Computing Students Should Contribute to Open Source S... by tehbeard on Monday June 28, 2021 @03:41AM (#27659073)
This just sounds like hacktoberfest blended with eternal September...
[ Parent | on HN ]
Re:Why Computing Students Should Contribute to Open Source S... by DarkWiiPlayer on Monday June 28, 2021 @03:53AM (#27659133)
Except hacktoberfest was for some merch; this puts peoples degrees on the line, so they will be much more motivated to find something to "fix".
[ Parent | on HN ]
Re:Why Computing Students Should Contribute to Open Source S... by dgb23 on Monday June 28, 2021 @04:45AM (#27659441)
Agreed!

I found one recently that does some interesting stuff, a formal verification library for Rust: https://www.pm.inf.ethz.ch/research/prusti.html

[ Parent | on HN ]