Dennis Koshta

I’m a software engineer at Bronco AI in San Francisco. I work on AI systems and tools, and make games, simulations, and websites on the side.

I’m interested in how AI can help us learn, discover, and build. This site is a collection of things I’ve been working on.

Selected work

Language Models · Reinforcement Learning
Upbringing
Experiments in teaching language models through examples, preferences, and rewards.
Code Interactive study
Formal Methods · Mathematics
Busy Beaver Challenge
AI-assisted work on the Busy Beaver Challenge: proving whether small Turing machines halt or run forever.
Research dashboard Merged contributions
Model Internals · Experimental Methods
Curiosity & satisfaction in LLMs
Experiments on whether model activations associated with curiosity and satisfaction affect information-seeking.
Learning · Language Models
Cognanimus
An adaptive learning platform with lessons, practice, feedback, and progress tracking.
Website

Games, music tools, and small simulations developed with GPT and Claude. I set the direction, test the software, and refine the results.

Audio · Creative tools
Signal Garden
A music composition tool where an editable landscape controls the score.
Simulation · Physics
Event Horizon
An orbital flight game about black holes, time dilation, and delayed signals.
Graphics · Procedural generation
Impossible Rooms
A first-person exploration game with folded corridors, nested rooms, and impossible geometry.

Choose a scene and press Play, or try Create random scene.

Start the demo here, then choose a scene or create a random one.

AI & ML · Evaluation
rag-eval-kit
A Python package for comparing RAG pipelines on answer quality, retrieval, latency, and cost.
Products & tools · Verification
TransferBatch
A Shopify-connected tool that arranges transfer-print orders onto production sheets.
Products & tools · Verification
SheetMason
A desktop tool for naming drawing sheets and splitting large PDF sets.