🧩 DeepSeek Harness v0.1 is now available in Developer Preview! 🔹 We’re opening it up to developers building agent harnesses worldwide and open-sourcing the codebase in MIT license. 🔹 Powered by the Cordis meta-framework, DeepSeek Harness is an agent harness built around one core idea: Everything is a plugin. Models, tools, skills, sessions, sandboxes, filesystems, loops, orchestration, and UI are ALL implemented as plugins, and can be mixed, matched, replaced, and extended. Try it now!

Bend2's state is a bit sad right now, the last prompt failed The situation is: - theory is formalized in Lean and proven consistent. BUT the formalized statement has some silly, non critical errors that require update - the core implementation is very stable. I audited each line obsessively, several times. AI models can't find any exploit (inconsistency / proof of Empty). this is the most solid part and I'll place a bounty in its consistency - the compiler and runtime are working. Bend outperforms C in most benchmarks, it parallelizes with near ideal speedup up to 1000's cores, 10x-100x faster than Bend1. but the code is a mess. layers upon layers of AI slop, a bunch of r-word stuff I didn't have the time to purge yet. "it works" is the best I can say about it I'm now torn between: 1. launch all as is, clean up AI slop and fix bugs later 2. launch just the core, leave the compiler + runtime to later 3. not launch anything at all and wait 1-2 months til each line is pristine I'm super stressed because I wish the AI would just write good code so this would be done already. launch is strategically relevant because it is when many people outside of this small bubble will try it, and they won't be as kind. if things break they might just give up and not come back