aisettings
Log InAdd your setup

zek

Last updated: Aug 28, 2026
RoleSoftware and product practitioner
Sources13 cited fields · low confidence
@zekramuzek.vc

Compares model speed and cost, currently favoring Luna as a daily driver, and advocates learning through repeated LLM use.

“It's literally the perfect balance between speed and intelligence. Will probably be the daily driver.” x.com

Share cardShare your setupCompare

Loadout

aisettingsShare on X

zek’s loadout

Harness
Oh My Pi
OMP. Uses OMP, referred to as omp, as the harness for his fast Gemini workflow.
Model
Gemini
Fast Gemini ("gemmy") and GLM Flash for most work; heavy multi-subagent workflowz orchestration, some /prewalk, little advisor use. Prefers fast Gemini in OMP; the post does not specify a Gemini version.
Also uses
Claude Fable 5
Compared as a slower alternative to Gemini.
ToolsFormal verification / SMT solvers+3 more

3 views · 0 equipped

Models

Gemini
Fast Gemini ("gemmy") and GLM Flash for most work; heavy multi-subagent workflowz orchestration, some /prewalk, little advisor use. Prefers fast Gemini in OMP; the post does not specify a Gemini version.
x.com, 2026-08 ↗
Claude Fable 5
Compared as a slower alternative to Gemini.
x.com, 2026-08 ↗
GPT-5.6 Sol
Compared as a slower alternative to Gemini.
x.com, 2026-08 ↗
DeepSeek Flash
Names it as an alternative /prewalk continuation model; exact checkpoint unspecified.
x.com, 2026-08 ↗

Tools

Formal verification / SMT solvers
Has a genuine work use case and is excited to apply formal verification and SMT solvers.
x.com, 2026-08 ↗
Concolic testing
Exploring concolic testing as a replacement for much of his existing testing because agents can iterate quickly.
x.com, 2026-08 ↗
CI/CD, Kubernetes, and chaos engineering
Describes a software-factory stack with agents ready to fix failures and roll back deployments.
x.com, 2026-08 ↗
OMP /prewalk
One-shot frontier-to-cheaper-model handoff after planning and an initial edit.
x.com, 2026-08 ↗

Workflow

  1. 1Build a software factory in stages: CI, CD with rollbacks/rollouts, then chaos engineering, with agents at every step.x.com, 2026-08
  2. 2Prefer concolic testing and formal correctness guarantees over slopping unit tests everywhere.x.com, 2026-08
  3. 3Start with an LLM of choice, ask it for introductory readings, and repeat.x.com
  4. 4Use a frontier model for the opening work, then let Luna or DeepSeek Flash continue the same trajectory.x.com, 2026-08

Timeline

  1. 2026-08-28ToolsConcolic testingx.com, 2026-08
  2. 2026-08-27HarnessOh My Pix.com, 2026-08
  3. 2026-08-27ModelGeminix.com, 2026-08
  4. 2026-08-27Also usesClaude Fable 5x.com, 2026-08
  5. 2026-08-27Also usesGPT-5.6 Solx.com, 2026-08
  6. 2026-08-27ToolsCI/CD, Kubernetes, and chaos engineeringx.com, 2026-08
  7. 2026-08-25ToolsFormal verification / SMT solversx.com, 2026-08
  8. 2026-08-11Also usesDeepSeek Flashx.com, 2026-08
  9. 2026-08-11ToolsOMP /prewalkx.com, 2026-08

Comments

Log in to comment