Then should we apply formal verification to the vibe coded formal verification software?

For a long time I've been looking to solve the repetitive schema pattern issues in SQL. This week I created a DSL that allows parametric polymorphism for SQL, and I wrote a compiler for it.

Source code and playground here: https://github.com/BarishNamazov/gsql/

Background blog here: https://barish.me/blog/parametric-polymorphism-for-sql/

Feedback is super appreciated!

Sometimes you can fool the compiler :-)

See "Example 2: Tricking the compiler" in my blog post about O3 sometimes being slower than O2: https://barish.me/blog/cpp-o3-slower/

> As a not-for-profit company, we can afford to do things differently. AI Search uses smaller, more efficient models, and we avoid energy-heavy features like video generation altogether.

I'm a bit confused -- do other search engines provide video generation? Mentioning that sounds too out of place to me. Am I missing something?

Not sure about other folks, but I'd never trust a privacy-friendly tag on an indie software that's not open-source. Even for popular and trusted software (e.g., Obsidian) it gives me chills.

Totally get it — open source definitely helps build trust. That said, getting the Chrome Web Store Featured Badge means the extension passed their strict review, including privacy rules.

Privacy and Chrome are incompatible with one another.

Fair take. Everyone has different privacy thresholds, and that’s totally fine. Just sharing the tool for those who find it useful.

I recommend checking out concept design [0] from Daniel Jackson [1]. It provides a framework to enforce modularity while building meaningfully designed software.

I have done a bit of work implementing a prototype framework for coding concepts using TypeScript [2], and it has worked beautifully for the Software Design class at MIT Daniel teaches. I think the newest iteration of class this semester uses a different approach to code concepts, but it's still a research space.

[0] https://essenceofsoftware.com/tutorials/

[1] https://people.csail.mit.edu/dnj/

[2] https://61040-fa24.github.io/pages/concept-implementations.h...

Not sure if it was due to higher load from HN or my IP location, but your website is inaccessible to me right now: "This deployment is temporarily paused."

If I had to guess, it's because it's loading a bajillion images that are not compressed

For me also it is unreachable

"This deployment is temporarily paused"

Nice read. Last week I wrote a blog post about two noteworthy cases of O3 being slower than O2 in C++: https://barish.me/blog/cpp-o3-slower/

I like the idea, but I have difficulty putting a lot of trust in projects with AI generated descriptions.

That isn't dude not a vibe coded stuff. Its a complex architecture the src code is attached in Read Me file below do check.

Or keep playing "Where's Waldo Now?" with your computing.