I can't wait for companies like this to run out of money

This has quickly become my favorite TUI text editor, even though it seemed like "yet another editor" when I first came across it

As someone who doesn't like modal options I used nano, micro, and ox in that order but Flow is a much nicer product than those 3

If you like helix it can also just us the modal editing and keybinds from it as well

Does it worth using flow over vim, or micro if you're a micro user?

As a helix user I tried it out, but I didn't see particular reason to switch to this.

Yeah it struggles with long tail languages. Zig in particular since even within the small training set there have been many versions with breaking changes

Fil-C is way too new for LLMs to understand it and not just hallucinate back into normal C

Well, that's what the checks are for: So that hallucinations are caught by said checks and can be fed back into the LLM to ruminate on.

If you don't find importance in those checks, you wouldn't choose Fil-C anyway. But, of course, it remains that if do find those checks to be important, you're going to use a serious programming language like F* anyway.

There is really no place for Fil-C, Rust, etc. They are in this odd place where they have too many checks to matter when you don't care about checks, but not enough checks when you do care about checks. Well, at least you could make a case for Fil-C if you are inheriting an existing C codebase and need to start concerning yourself with checks in that codebase which previously didn't have concern for them. Then maybe a half-assed solution is better than nothing. But Rust serves no purpose whatsoever.

ChexQuest is so much better than it has any right to be. Loved it as a kid

Lean would be so well suited to LLMs. I hope we see a resurgence in interest in languages like that

Formal proofs have so much potential in this context

Absolutely. A language being well suited to static analysis and "compiler driven development" matters a lot more with LLMs than with humans IMO

We're at the point of diminishing returns from scaling and RL is the only way to see meaningful improvements

Very hard to improve much via RL without some way to tell if the code works without requiring compilation

Logic based languages like Prolog take this to the logic extreme, would love to see people revisit that idea

I think arenas might be better memory management technique when vibe coding C, for this reason

Automattic and New Relic if we're looking within software

My experience with deepseek and Kimi is quite the opposite: smarter than benchmarks would imply

Whereas the benchmark gains seem by new OpenAI, Grok and Claude models don't feel accompanied by vibe improvement