Salt: Systems programming, mathematically verified
4 points by munksgaard
4 points by munksgaard
I'm trying to understand if this is vibecoded or not. It surely feels like it.
The author has no repos hinting at being a compiler dev of any sort before. The repo for this language either was squashed into a single commit or everything was vibecoded and dumped as is. The website has a very AI feel to it, every time I see a vibecoded website they have that "modern" blurry rounded everything.
Aside from that the repo itself has a .agent directory that seems to be used by Google's Antigravity "AI text editor" as context and the documentation itself is riddled with tables, bullet points and emojis.
Looking at force pushes, there appear to be quite a few. The first commit that isn't just a MIT license appears to be this one. Looking at its README.md, and the .agent directory on current main... this looks like vibe coded in large parts, if not completely.
Diabolically low contrast between body text and background