José Valim

It is finally here: Tidewave now supports Claude Code and OpenAI Codex.

Tidewave unlocks the full-stack potential of your favorite coding agent by tightly integrating it with your web app and web framework at every layer, from UI to database. More info 👇

Ok, this is neat!

Someone reported a bug that Elixir's Task.ignore/1 could leave messages in the caller's inbox. Reproducing it was tricky, out of 1.2M attempts, it only leaked 52 times: github.com/elixir-lang/el…

Therefore, to consistently "reproduce" the issue, I wrote a property in Lynx (@leanprover + @elixirlang) that Task.ignore/1 should not not leak messages: github.com/josevalim/lynx…

Of course, we could not prove this property to be true, because there was indeed a bug! And once we fixed the bug, the proof validated, showing that Task.ignore/1 no longer leave trailing messages in the scenarios dictated by the property.

Hooray!

So apparently, if you use /remote-control in Claude Code, it adds a system reminder to add the Claude Session to commit messages... sigh.

Hooray, the Elixir issues tracker is back to a single page, with fewer than 20 open issues, and only 3 open pull requests at the time of writing! 💪

After a few months, I am back to using Opus (5.5) and it is fast, way less verbose than earlier versions, and the summaries it provides are quite helpful!

I know some people have complained it stops too frequently but I'd say it is most often a hit than a miss.

For example, it just stopped some ongoing work with "I'm stopping here for a decision, because the fix needs a line I shouldn't pick on my own" and it was 100% the right call (and I was able to provide alternatives it did not consider).

If I plan to not be in the loop (e.g. I am going to bed), I tell it I won't be available for the next several hours, so if it is undecided, it should explore all different approaches and write me a complete summary at the end.