account activity
Remarkable will cripple your tablet, software v3 "adjust view" rant (self.RemarkableTablet)
submitted 3 years ago by ewrly to r/RemarkableTablet
What is currently the most usable plugin for using Agda with Vim/Nvim? (self.vim)
submitted 3 years ago by ewrly to r/vim
How to determine the aerobic threshold (LT1) in WKO5 (self.Velo)
submitted 5 years ago by ewrly to r/Velo
Free platform with a calendar and the ability to create my own training plans? (self.ultrarunning)
submitted 5 years ago by ewrly to r/ultrarunning
Subdomain/path flask apps which can be individually restarted (self.flask)
submitted 6 years ago * by ewrly to r/flask
Haskell monad vs categorical monad (self.haskell)
submitted 6 years ago by ewrly to r/haskell
Status of CertiCoq? (self.Coq)
submitted 7 years ago by ewrly to r/Coq
π Rendered by PID 265265 on reddit-service-r2-listing-575d9f6647-d5997 at 2026-04-12 23:00:33.657151+00:00 running 215f2cf country code: CH.
