https://github.com/mcdirmid/cleanroom

So far I have bazel macros up that can produce tested code with a ~30GB MoE model (Jundot/Qwen3.6-35B-A3B-oQ6-mtp, I can get ~90 toks/sec on a M3 Max!) using cleanroom separate implementation and test development (and then comparing them until both are correct). Over the last month, however, I found that my bottleneck is in the specifications: as I further divided my components into separate parts (since smaller components are easier to write and test), I started hitting problems with specifications becoming badly ungrounded (code depending on knowledge they cannot access, so something is just hallucinated).

So I redid the format, e.g.

https://github.com/mcdirmid/cleanroom/blob/main/update_with_...

The spec format is designed to be declarative and very modular, and ya, an LLM is primarily writing the specs as well, so I hope to create some sort of formal reasoning framework that the specification can be translated into (by an LLM) so that ungroundness feedback can help the LLM write better specs. Also, I found that it really is much more robust to change/refactor/add features via the spec first and then align changes down to test and code, then to make changes to the code directly (even without using the system, just asking a frontier model to look at the guides and do the alignment itself directly).

I think I'll be ready to do a release over this next month, which means:

- Supporting a build system other than Bazel to express DAGs. Honestly, this could be anything, I just chose Bazel for convenience (easy to express graphs in Starlark), but it assumes a monorepo world that I don't think many developers use.

- How do I even package this? The advance of using Starlark is that I can generate python code to call into the generated python code directly. If I move away from that, I need to figure out what this really looks like as a binary.

- More demos. Right now my only project is the code for the system itself (the classic "the first program of a language is the compiler for the language"). I just can't think of many interesting things to do in Python that aren't agent related (I can support other languages, like Java, Typescript, or even C++, but I'm hitting choice paralysis).

https://academa.ai

I've paired with a psychologist and HR director from one of the best universities in Germany to leverage the fact AI has embedded within every human experience, personality types, shortcomings in recorded history among all languages, and all cultures, and we are trying to extract that knowledge and leverage it so we can analyze what makes you tick (for example being an introvert or extrovert to recharge your social battery) in every aspect, motivation, procrastination etc.

Analyzing solidly your profile in a sense those standard 'form' 1-5 tests can not capture.

Once that's done, we give you recommended activities to improve your weak points (perhaps asserting yourself a bit more if you tend to shy away).

The core things we are trying to solve is:

human coaches are limited by their own worldview and bias, we hope AI who has more knowledge to other human experiences can help you more.

Anonymity, we are full GDPR compliant with audited log table if any user access your records, we hope humans feel more at ease without the fear of being judged.

Accessibility, a single mother drowning with responsibilities doesn't have time or resources to evolve spiritually, we hope the accessibility and price point of our app solves this and helps people who can't hire coaches have a more meaningful life.

Most of all I want to use my skills to improve human lives, I've been working very hard on it.

We are near a beta launch, where it will be free for beta users, if you are interested please email at: martin.sejas@exara.ai

Online container planner in 3d

TLDR power user work out tracker, all PRs, metrics, fast keypad input or codemirror syntax input if you're lazy type that jots in notepad. Generate any exercise based on movement + modifer system. Mountan of metrics (your basic lifitng stuff), rolling averages etc. Fractional set tracking, bodypart volume... too much to list. Build and import programs using syntax.

Lazy overview while I work on docs.

https://imgur.com/a/when-you-cant-pr-platemath-rPNmxKg

Looking for users to stress test at some point, but feel free to play around.

I've been working on this on the side for around 5 months, initially to scratch my own itch, but recently some friends and colleagues have started using it too.

  - Lightweight Terminal UI written in Go
  - Control chat sessions via native Claude Code or Codex UI in a remote browser
  - Identify and surface questions from multiple agents at once
  - Cron jobs for automation
  - Share remote coding sessions between team members
  - Auto-repair PRs
  - Auto-rotate subscription accounts
  - Allow agents to send messages between chat sessions and across model providers
  - Register Github callbacks so agents can respond to CI events in realtime
  - Run agents on a mac mini or similar, and control them from your phone while you're on the go