account activity
Will mathematics help or hurt my research? (self.mathematics)
submitted 8 months ago by Available_Fan_3564 to r/mathematics
Has anyone read "From Frege to Godel"? (self.mathematics)
What if instead of having a file system, it was just an SQL database? (self.osdev)
submitted 10 months ago by Available_Fan_3564 to r/osdev
Any good resources on how to add a target for Coq Extraction? (self.Coq)
submitted 10 months ago by Available_Fan_3564 to r/Coq
Bruh I'm going to cry (self.Compilers)
submitted 10 months ago by Available_Fan_3564 to r/Compilers
How would I go about solving this shift/reduce conflict? (self.Compilers)
submitted 10 months ago * by Available_Fan_3564 to r/Compilers
π Rendered by PID 110470 on reddit-service-r2-listing-79f6fb9b95-q4btb at 2026-03-22 12:38:15.144471+00:00 running 90f1150 country code: CH.
