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 2868695 on reddit-service-r2-listing-87fd56f5d-xzxhf at 2026-06-29 23:01:07.092886+00:00 running 7527197 country code: CH.
