Hacker News Reader

Hacker News

Comment by pdw | Hacker News Reader

Parent Full thread

pdw

For discussion on SQLite 3.39.0, see https://news.ycombinator.com/item?id=31876604

I'm not sure why a minor SQLite bugfix release needs to be posted here.

View on HN

HN is really up on SQLite at the moment.

If an AI were trained to write hit HN posts, "Writing Rust Extensions For SQLite" would probably be in the top results.

I actually wrote a blog post about that:

https://ricardoanderegg.com/posts/extending-sqlite-with-rust...

Why are you posting that in a comment? Submit it and the karma is yours!

I submitted it when I wrote that blog post, but it went unnoticed [0].

[0]: https://news.ycombinator.com/item?id=31388241

Maybe it's a question of timing? I've just resubmitted it, let's see what happens.

And it's now made the front page... twice at the same time :)

Might wanna go for something like this to be safe:

"Why I'm quitting my job to migrate from Rust to Common Lisp for my crypto and SQLite based 'self-hosting email sucks' themed nft tweet generating SaaS platform to prepare it for IPO, after $faang_corp cancelled my account."

That's a pretty good start but I'd extend it with:

* Something about self-driving cars

* Something about Uber

* A casual "Im so cool" reference to the SF Bay Area, like Folsom street or something

* Accidentally letting slip you're in your late teens but giving business advice anyways

What's so cool about Folsom? I would argue Mission Street is a lot more interesting. Folsom (especially the southern bit) is beside that massive I80/101 flyover and that area is mostly ghettos and warehouses. I think Airbnb has their HQ there.

And refused to let me work from home!

"Rewriting SQLite in Rust" would probably come in second :)

Launch HN: ElectronSucks (YC W22) – Rust Extensions for SQLite

I consider these to be reminders that even with a state-of-the-art testing suite and 100 % branch coverage, bugs still find a way, heh.

Branch coverage is a tiny fraction of total program state coverage.

Could yo I elaborate on this? Do you mean things like exceptions that are not explicitly dealt with in the code?

Branch coverage just means you’ve taken every branch, not every combination of every branch, for starters.

Then there’s branchless boundary conditions e.g. your software might fuck up on overflow, but there’s no branching, at least not in your code. Just things which get incoherent in ways you had not anticipated.

A simple example is when somewhere in code you set a value that causes you to go into the wrong branch later. You may have tested that every single branch does what it is supposed to, but this "state here causes unexpected behavior there" can still be open.

> Could yo I elaborate on this?

Think about it for a second. Imagine you have

function(bool foo, bool bar) {

   if(foo) {
      //Something
   } else {
      //Something else
   }

   if(bar) {
      //Something
   } else {
      //Something else
   }

}

If you add two unit tests that test foo(true,true) and foo(false, false) you get 100% line and branch coverage, but only hit 50% path coverage.

> I'm not sure why a minor SQLite bugfix release needs to be posted here.

Karma, probably.

This for sure. "Minor release of well-liked software" is an easy hit on the front page.

Frankly, I don't get it. What do you do with this karma? What does it even mean? If we could exchange it for money or whatever, I could understand. It's not even an indicator of competence or anything, just being in line with the majority and spending time on HN. It's the equivalent of points and badges on Google Maps.

Internet points is the most important currency of your heart. It defines your worth as a human being.

Also I think some HN features are gated on karma? I’d like a feature where the markup isn’t complete shit but apparently I don’t have enough karma for that.

It's cause of the finally added outer join?

That was released more than two months ago, though. This point release is much smaller.

I would also like to see SQLite (core) achieve compliance with the SQL/PSM standard from ISO.

https://en.m.wikipedia.org/wiki/SQL/PSM

i appreciate it.

I would never touch a .0 release of a new version of SQLite. No shame against them or their fantastic quality--it's just that I have lived through literal decades of watching minor database bugs shatter data value and undermine all efficiency.

When I see a .3 or better, I start thinking a version is usable. The fact the SQLite moves their quality needle this quickly is encouraging.

But maybe .4 can go more quietly.

You really do not need to exercise such caution with SQLite.

Because of the DO-178B status, SQLite is sufficiently reliable to be used with in-flight avionics (on Airbus A350 models, noted so far).

The test suite requires every branch instruction to be exercised at the machine-language level, in both directions if conditional.

The software that we are used to is not held to this exacting standard.

If we were talking about Oracle or SQL Server, .0 version hesitance is valid, and SQLite tests have crashed both of them, repeatedly. Obviously, they cannot be used with applications requiring DO-178B compliance.

This document is part of that testing compliance:

https://www.sqlite.org/qmplan.html

And yet TFA shows that 3.39.0 introduced a new feature (right joins), and 3.39.1 fixes a logic bug in exactly that new feature. I suppose you're right that it's not a crash, just an incorrect result.

I am actually happy to have the USING clause available; I find it more convenient than ON.

RIGHT and FULL probably should have come first, but this works for my tastes.

Reply on news.ycombinator.com