Question: are you using it via Claude Code or try to one shot via a chat interface ? I get decent quality rust code out of it for common patterns when it’s allowed to use the compiler.

Proper Neapolitan pizza is still the best. If you ever in London, let me know, I have some top spots :)

I am still not following. You can run Claude code in tmux, you can have it show all logs during bash tool invocation. if you mean that Claude code should natively be a terminal multiplexer than I think, they might have considered it, may build it in the future but it’s complex and likely not worth

Uh sure , äh what’s the context here

I appreciate the offer but sadly at the moment I am just too much overwhelmed with requests and have to politely decline

It didn’t help that cabal really insists on one version of a library per binary.

What specific parts do you feel need improvements? I remember that just building it was tricky because of the version constraints coming from the internal fb mono repo

Congrats! I see, still hacking on Glean?

The video: www.youtube.com/watch?v=CQyw...

Big thank you to the Ruby Gems team that helped us get the 'mcp' package name, after it was abandoned in 2013.

Thank you.

I think people are sleeping on this. We have looked so long for a scalable way to do verification. I think LLMs are actually quite promising to get closer. I need to try it !

Is it good?

Not me, but also kinda me

I’ll be there