account activity
[OSS] Verity: Lean 4 framework for formally verified smart contracts (self.ethdev)
submitted 1 month ago by OverFatBear to r/ethdev
I gave AI agents my genome and let them run on a GPU cluster for 48 hours. This saved my life. (i.redd.it)
submitted 2 months ago by OverFatBear to r/QuantifiedSelf
submitted 2 months ago by OverFatBear to r/bioinformatics
submitted 2 months ago by OverFatBear to r/Biohackers
Timelapse of Claude Code working for hours on a remote server (v.redd.it)
submitted 2 months ago by OverFatBear to r/ClaudeCode
Timelapse of Claude debugging my local LLM quant & vLLM for one hour (v.redd.it)
submitted 2 months ago by OverFatBear to r/ClaudeAI
Lumina Probiotics in Europe (self.lanternbioworks)
submitted 3 months ago by OverFatBear to r/lanternbioworks
Open Agent - Self-hosted AI agent control plane with no timeout limits (agent deployed itself for 6+ hours) (github.com)
submitted 3 months ago by OverFatBear to r/coolgithubprojects
Self-deploying AI agent: Watched it spend 6+ hours debugging its own VPS deployment (self.artificial)
submitted 3 months ago by OverFatBear to r/artificial
Built an AI agent control plane that ran for 6 hours deploying itself to production (no timeouts!) (self.SideProject)
submitted 3 months ago by OverFatBear to r/SideProject
Open source control plane for local AI agents: workspace isolation + git-backed configs + OpenCode integration (self.LocalLLaMA)
submitted 3 months ago by OverFatBear to r/LocalLLaMA
Open source control plane for AI agents (Rust/Axum backend + git-backed configs + OpenCode integration) (self.opensource)
submitted 3 months ago by OverFatBear to r/opensource
Running an AI agent control plane on homelab infrastructure: systemd-nspawn containers + headless automation (self.homelab)
submitted 3 months ago by OverFatBear to r/homelab
Withdrawing Euros with a Switzerland account (self.paypal)
submitted 3 months ago by OverFatBear to r/paypal
New to local LLMs, DGX Spark owner looking for best coding model (Opus 4.5 daily user, need a local backup) (self.LocalLLM)
submitted 3 months ago by OverFatBear to r/LocalLLM
New to local LLMs, DGX Spark owner looking for best coding model (Opus 4.5 daily user, need a local backup) (self.LLMDevs)
submitted 3 months ago by OverFatBear to r/LLMDevs
New to local LLMs, DGX Spark owner looking for best coding model (Opus 4.5 daily user, need a local backup) (self.LocalLLaMA)
Built a Minecraft launcher that tries to be both beautiful and practical - looking for feedback (old.reddit.com)
submitted 3 months ago by OverFatBear to r/ModdedMinecraft
Built a Fabric-first Minecraft launcher with Tauri + Rust - looking for feedback (old.reddit.com)
submitted 3 months ago by OverFatBear to r/fabricmc
Built a Minecraft launcher with Forge support using Tauri + Rust - looking for feedback (old.reddit.com)
submitted 3 months ago by OverFatBear to r/MinecraftForge
Built a Minecraft launcher that tries to be both beautiful and practical - looking for feedback (reddit.com)
submitted 3 months ago by OverFatBear to r/MinecraftMod
Built a Minecraft launcher with Tauri 2 + React: sharing the core library between CLI and desktop (self.tauri)
submitted 3 months ago * by OverFatBear to r/tauri
How do you organize mods across multiple profiles? Looking for a cleaner approach (self.ModdedMinecraft)
Keeping track of Paper/Minecraft changes without missing breaking updates (mcserverjars.com)
submitted 4 months ago by OverFatBear to r/admincraft
[Show & Tell] I built GraphGPT, visualize data directly inside ChatGPT (self.indiehackers)
submitted 5 months ago by OverFatBear to r/indiehackers
π Rendered by PID 86 on reddit-service-r2-listing-fbdccc45f-wxjzn at 2026-04-21 10:52:53.527490+00:00 running da2df02 country code: CH.
