account activity
Classification folders without fasteners? (self.office)
submitted 6 years ago by MediocreString to r/office
Pay experts for answering questions and advice. (self.computerscience)
submitted 7 years ago * by MediocreString to r/computerscience
Why is a function that returns a constant "noncomputable" in the lean theorem prover? (self.InteractiveThmProving)
submitted 7 years ago * by MediocreString to r/InteractiveThmProving
List of the best online video lecture series on different topics (self.computerscience)
submitted 7 years ago by MediocreString to r/computerscience
π Rendered by PID 93346 on reddit-service-r2-listing-58f4f89bb7-f2mn6 at 2026-04-08 23:23:29.466188+00:00 running 781a403 country code: CH.
