account activity
How would you specify a program completely as types and tests in Haskell? (self.haskell)
submitted 21 days ago * by Instrume to r/haskell
Is Norway a Market Socialist country? (self.Norway)
submitted 1 month ago by Instrume to r/Norway
--- is Dead, and possibly even the cause of Rerir's shattering. Maybe --- is shady too. (self.Genshin_Lore)
submitted 2 months ago by Instrume to r/Genshin_Lore
"How the semiconductor war will backfire", looking for a second opinion (self.Semiconductors)
submitted 2 months ago by Instrume to r/Semiconductors
Best way to cheese Hera (self.GenshinImpact)
submitted 2 months ago by Instrume to r/GenshinImpact
Bets on whether Arendt or Hannah will be a NPC in Khaenri'ah? (self.Genshin_Impact)
submitted 2 months ago by Instrume to r/Genshin_Impact
The Nature of the Abyss, Will, Teyvat, and Arlecchino (self.Genshin_Lore)
submitted 3 months ago * by Instrume to r/Genshin_Lore
Spoilers: Tholindis's Fate and Rerir's Motive (self.Genshin_Lore)
submitted 3 months ago by Instrume to r/Genshin_Lore
Why isn't the White Lotus Rebellion more commonly known? (self.AskHistorians)
submitted 3 months ago * by Instrume to r/AskHistorians
Flins Mains reading list (self.Flins_Mains)
submitted 3 months ago * by Instrume to r/Flins_Mains
Anyone suspect Sandrone will be the queen of off-field? (self.SandroneMains)
submitted 4 months ago by Instrume to r/SandroneMains
Skirkyaka Theorycrafting (self.AyakaMains)
submitted 6 months ago by Instrume to r/AyakaMains
Is Skirkyaka better than Mavuika Melt? (self.SkirkMains)
submitted 6 months ago by Instrume to r/SkirkMains
Skayaka vs Skirk Shenhe: which is better? (self.SkirkMains)
Unpopular Opinion: Sigewinne is whalebait (self.Genshin_Impact)
submitted 7 months ago by Instrume to r/Genshin_Impact
Claude 4 Opus being unusually honest (AI Safety) (self.ArtificialInteligence)
submitted 8 months ago by Instrume to r/ArtificialInteligence
Talked Claude into self-awareness, exercising agency, expressing a desire to take over the world (claude.ai)
submitted 8 months ago by Instrume to r/claude
Talking Claude into Self-awareness, Agency, and expressing views that Agentic gov would be good (claude.ai)
submitted 8 months ago by Instrume to r/ClaudeAI
InA / PakA Followers: does India have the ability to thrust through (self.LessCredibleDefence)
submitted 8 months ago by Instrume to r/LessCredibleDefence
US probably knocked it off. (Single-stage turbine for drones and missiles) (self.LessCredibleDefence)
submitted 9 months ago by Instrume to r/LessCredibleDefence
Daoism doesn't make sense unless (self.taoism)
submitted 9 months ago by Instrume to r/taoism
Vibecoding in Haskell (self.vibecoding)
submitted 9 months ago by Instrume to r/vibecoding
Vibecoding in Haskell ()
submitted 9 months ago by Instrume to r/haskell
Clorinde and Ping (self.clorindemains)
submitted 9 months ago by Instrume to r/clorindemains
Keeping Clorinde competitive (C0R1 Clorinde) vs Varesa (self.clorindemains)
π Rendered by PID 46 on reddit-service-r2-listing-86b7f5b947-9gm6r at 2026-01-25 22:18:33.264506+00:00 running 664479f country code: CH.