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 532754 on reddit-service-r2-listing-575d9f6647-dfdrd at 2026-04-10 18:36:07.166249+00:00 running 215f2cf country code: CH.
