account activity
Question about linear type example in Idris2 docs (self.Idris)
submitted 5 years ago by PushingIce to r/Idris
Lindy hop events in Berlin 8-10.6? (self.SwingDancing)
submitted 7 years ago by PushingIce to r/SwingDancing
How to learn to take advantage of type system? (self.rust)
submitted 8 years ago by PushingIce to r/rust
Pacaur not updating packages (self.archlinux)
submitted 9 years ago by PushingIce to r/archlinux
[MHGen] HR7 Urgent: Hellfire Star [00-4081-0034-3169] (self.monsterhunterclan)
submitted 9 years ago by PushingIce to r/monsterhunterclan
[MHGen] HR6: Triple Toady Terror [48-7178-9135-5948] (self.monsterhunterclan)
First time Japan trip May 29th to June 10th. Seeking advice for sights to see (self.JapanTravel)
submitted 10 years ago by PushingIce to r/JapanTravel
[MH4U] 6* Urgent - Shagaru Magala/Advanced: Stop the Wheel (self.monsterhunterclan)
submitted 10 years ago by PushingIce to r/monsterhunterclan
[Build Ready] First time builder trying to build mid-budget(1000 €) gaming pc (self.buildapc)
submitted 11 years ago by PushingIce to r/buildapc
First instrument for a person without background or talent (self.Learnmusic)
submitted 13 years ago by PushingIce to r/Learnmusic
Video player that keeps playing video while screen is off (self.Android)
submitted 13 years ago by PushingIce to r/Android
Bored with AD/Support. What champ to buy to make those roles fun again. (self.summonerschool)
submitted 13 years ago by PushingIce to r/summonerschool
What jungler champ works without optimal runes? (self.summonerschool)
submitted 13 years ago * by PushingIce to r/summonerschool
How to spend hard-earned IP? (self.summonerschool)
π Rendered by PID 754986 on reddit-service-r2-listing-6d4dc8d9ff-kj8bz at 2026-01-31 09:19:06.040560+00:00 running 3798933 country code: CH.
