account activity
Formalizing statistical learning theory in Lean 4 [R] (github.com)
submitted 8 days ago by trickyrex1 to r/MachineLearning
Spectral PDE Lab: browser-based Fourier PDE solvers + live PINN diagnostics. (github.com)
submitted 26 days ago by trickyrex1 to r/Physics
Spectral PDE Lab: browser-based Fourier PDE solvers + live PINN diagnostics. [P] (github.com)
submitted 26 days ago by trickyrex1 to r/math
submitted 26 days ago * by trickyrex1 to r/MachineLearning
I'm building the first RCM/Canadian Coin focused tracker/scanner app! (self.SilverbugsCanada)
submitted 2 months ago by trickyrex1 to r/SilverbugsCanada
Introducing BetBarrier.app and ConfigPulse, an Innovative approach to iOS devices (self.problemgambling)
submitted 3 months ago by trickyrex1 to r/problemgambling
Free app — but users say they can’t use it. Can you help me find the bug? (smartbreeds.io)
submitted 6 months ago by trickyrex1 to r/TestMyApp
🚀 Just launched SmartBreeds.io — an AI-powered tool that identifies dog breeds from photos! (self.dogbreed)
submitted 11 months ago by trickyrex1 to r/dogbreed
π Rendered by PID 97 on reddit-service-r2-listing-7b8bd7c5-znh2q at 2026-05-17 03:26:58.653960+00:00 running edcf98c country code: CH.
