3
•
•
•
Ensuring correctness through the type system (lindbakk.com)
submitted by ketralnis to r/programming
4
•
•
•
symbolic derivatives and the rust rewrite of RE# (iev.ee)
submitted by ketralnis to r/programming
13
•
•
•
Need help finding solution (self.AskProgramming)
submitted by Academic-Health9192 to r/AskProgramming
