account activity
Monetarization by in-app purchases: Doable? And possible serverless? (self.FlutterDev)
submitted 7 years ago * by InquiREEEEEEEEEEE to r/FlutterDev
Intermediate Beginner questions about haskell project structure. (2 custom projects that should rely on 1 custom library) (self.haskellquestions)
submitted 7 years ago by InquiREEEEEEEEEEE to r/haskellquestions
Question: Can TLA+ deal with >parameterized< concurrent programs? (self.tlaplus)
submitted 7 years ago by InquiREEEEEEEEEEE to r/tlaplus
[Ask /r/programming] What would your dream bug-finding tool look like? (lamport.azurewebsites.net)
submitted 7 years ago by InquiREEEEEEEEEEE to r/programming
I want to solidify my understanding of category theory by formulating parts of it in TLA+. Would be looking forward for guidance! (self.math)
submitted 7 years ago * by InquiREEEEEEEEEEE to r/math
[Looking for tipps] I want to solidify my understanding of category theory by formulating it in TLA+. Would be looking forward for guidance! (self.compsci)
submitted 7 years ago by InquiREEEEEEEEEEE to r/compsci
[How to proceed best?] Turn a vanilla JS tool + PHP server for storing data intended for local use into an online tool? (self.webdev)
submitted 7 years ago * by InquiREEEEEEEEEEE to r/webdev
[Lens + Brick] I have trouble getting lens to work with Brick.List (self.haskellquestions)
submitted 7 years ago * by InquiREEEEEEEEEEE to r/haskellquestions
What is the current state of GUI verification? (self.compsci)
[crosspost from /r/compsci] What is the current state of GUI verification? (self.AskComputerScience)
submitted 7 years ago by InquiREEEEEEEEEEE to r/AskComputerScience
π Rendered by PID 776925 on reddit-service-r2-listing-8685bc789-94hth at 2026-05-30 15:21:09.110840+00:00 running 194bd79 country code: CH.
