Independent researcher
Verifier-first AI, bounded cognition, selective epistemic control, and adaptive state abstraction.
BoggersTheFish
Independent research and software
About
Ben Michalek builds systems that earn the right to change state.
Ben Michalek, online as BoggersTheFish, is an independent researcher and software developer working on verifier-first AI, bounded cognition, adaptive state abstraction, and auditable computing. He also develops Minecraft server systems for Enthusia SMP and publishes open-source research software across Python, Kotlin, TypeScript, and OpenCL.
The unusual handle and fish sigil stay. The public standard is deliberately sober: source-backed claims, preserved failures, versioned artifacts, and clear separation between experiments and conclusions.
Open-source developer
Research software and systems work across Python, Kotlin, TypeScript, Java, and OpenCL.
Minecraft server developer
Plugin and community-systems work for Enthusia SMP, including markets, guilds, and economy infrastructure.
Selected current milestones
A shorter, verifiable public arc.
This is a selected timeline, not a claim that the work began on the first public repository date.
22 Aug 2026
PRIME v1.0.0 published
First public release of the verifier-governed PRIME architecture, deposited as versioned research software on Zenodo.
15 Aug 2026
Adaptive state abstraction v0.2.0 published
Anytime-valid state-repair software published with its failed initial gate preserved and a separately frozen correction.
July 2026
Thinking System consolidated
The TS programme moved to a canonical monorepo so current authority, archived predecessors, and research satellites were easier to distinguish.
Current
Enthusia SMP development
Publicly listed developer contributing to the live Minecraft server and its open plugin ecosystem.