Marce Coll

Figuring out how to use AI responsibly and with strong fundamentals. *Nothing* on this account is written by AI.

[Marce Coll @dzibanisms]

We are building agents, pushing training and post training to the limit, building harnesses and elaborate fiddly setups because we keep trying to make agents work with human-based tools. Rust is a human-based tool, typescript is a human-based tool. I think there is a better way.

I'm experimenting with infrastructure, code, languages and version control built specifically for agentic-driven products.

Now, I'm not particularly trying to hype what I'm building although I think that's where we as an industry need to go, even if my solution will not end up being the best solution I hope to start some conversation around it.

[Marce Coll @dzibanisms]

@JapanTraCul

[Marce Coll @dzibanisms]

@bjacobso I also have a really weird prototype of a typed Forth without stacks

[Marce Coll @dzibanisms]

@bjacobso LOL, my custom LLM-oriented programming language is also a strongly typed lisp with a repl

[Marce Coll @dzibanisms]

@ZachSDaniel1 s/p//

[Ez.- @ecura]

Tokenshittyfication is a thing... I think.

[Marce Coll @dzibanisms]

@AggrendWoW @JurdiJD i do kind of love it?

[Marce Coll @dzibanisms]

@momoframing @Mars_2044 @Doc_Rogno @ylecun @RpsAgainstTrump @grok take a good night sleep and re-read the thread

[Marce Coll @dzibanisms]

@momoframing @Mars_2044 @Doc_Rogno @ylecun @RpsAgainstTrump @grok did I say he didn't contribute? or did I challenge the "he did more than scientists" argument? does your brain rewrite my words due to your mental masturbation over the man?

[Marce Coll @dzibanisms]

@Mars_2044 @Doc_Rogno @ylecun @RpsAgainstTrump @grok so we've lowered the bar a bit with the question, haven't we? from "has done more than scientists" to "has he contributed to science"

[Steve McCormick @Quasilocal]

The plot thickens.

"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."

https://t.co/02Q52MH81g

[Marce Coll @dzibanisms]

A chat with persistence in a fistful of lines. This is turning out better than expected

The integrated IDE is also delightful

[Marce Coll @dzibanisms]

What if you built Forth on a hashmap instead of a stack, with first-class database and an easy way to do APIs?

Well, here it is. Live reload, custom IDE with debugger, built-in persistence all in a single binary from development to deployment.

Next: liveview-like rendering, native compilation, ???

[Marce Coll @dzibanisms]

There is NO better aesthetic than this for code

[Marce Coll @dzibanisms]

@Gumbyy_Games I'm pretty fat

[Marce Coll @dzibanisms]

@hillelogram @dcolascione Simple and beautiful building blocks do not mean that everything built with them is simple and beautiful.

[Marce Coll @dzibanisms]

@BenjDicken That's not at all the point he is making, it's fine, you made a mistake and you are now back-peddaling. We understand.

[Marce Coll @dzibanisms]

@qtnx_ let's fucking chonk

[Marce Coll @dzibanisms]

@schteppe You clearly spent years learning to be an asshole, and I'd say that's also the wrong thing.

[Marce Coll @dzibanisms]

@voidisomorphism And you need a ginormous 100 page proposal + several rounds of very slow interviews

[Marce Coll @dzibanisms]

Step one of becoming a mathematician is done, what's next?