Yes, it's available in https://huggingface.co/ai21labs/Jamba-v0.1 and has Apache-2 license. Do note that it's a base model, not fine-tuned for instruction-following or chat

also https://lmql.ai is probably another early attempt at a language

checkout https://youtu.be/wYGbY811oMo and play with the demo at https://huggingface.co/spaces/JavaFXpert/Chat-GPT-LangChain

Video of the investment announcement event/keynote: https://youtu.be/1Uy_8YPWrXo

Dear Bob, in case it helps FYI both the book's website http://craftinginterpreters.com/ and your blog https://journal.stuffwithstuff.com/ seem down right now.

And if anyone was curious like me to see the book's website, here is a archive link: https://web.archive.org/web/20220616005500/http://www.crafti...

They appear to be up for me now. Not sure if it was a temporary glitch or got swamped or what.

I think that "The closest you can get to Qubes on Windows" is what https://www.hysolate.com/ are building

>Virtual Air Gap

lol. the whole point of an airgap is that you can very easily -at a glace- verify that the system is secure because there's no inputs/outputs to/from it (air gapped). trying to implement it using a hypervisor turns it into a buzzword.

It might no longer be as simple as at a glance in a world with ubiquitous wireless. You'd have to take special care to disable or disconnect all wireless chips in your system. And that might be hard for laptops and impossible in lower form factors.

Even without radios, there are lots of different ways to get data in and out of an airgapped system. Examples include everything from sound (especially ultrasonic beacons etc. as these are used for cellphone marketing today) to more esoteric stuff like flashing the LEDs in a specific pattern or even changing the cpu temperature to specific levels.

Or how about the AM radio transmitter that is built into all x86 hardware - https://github.com/fulldecent/system-bus-radio

Facts are lost in the world of marketing, all that matters is ctr and conversion. I wonder if we can do something about this?

Make people care more about reason and logic than emotion when making product purchasing decisions? I don't think we'll get very far with that goal.

The OLAP "Analytics DB" looks interesting https://www.alibabacloud.com/product/analytic-db

Wonder what OLAP features it providers above the managed & massively-parallel SQL like in BigQuery

another problem with gopkg.in it uses only the major version number and you can't import a specific minor version. what if version 2.5 works great but 2.6 breaks something for you? you can't use pkg.in until this issue is resolved in 2.7 .. and most package authors don't want to bump the major version on every change ..

What motivates me personally is not that I think Google Postgres will be better than RDS (which is great for us so far), but because I want to move to GCP for other reasons (pricing, better UI & cli, GKE, BigQuery) and the managed Postgres RDS was the only thing that was important enough to keep us on AWS

Same for us. We're migrating to GKE but are accessing Postgres over a gateway and leaving our DB heavy services on AWS... This was very good news.

Same here.

Plus RDS was the only reasonable option at that price tier (with high availability and multi-AZ). I think competition was sorely needed.

RDS was pretty much becoming a monopoly on this front.

Is [Compose](www.compose.com) comparable?

They have a HA postgres offering (not sure about multi-az) and I thought I'd heard good things about them in the past?

I just started using Google Postgres and, as of today, there is no way to easily get your PG data into BigQuery via any Google cloud service. You have to create your own CSV from your PG data, then upload that into BigQuery. I imagine (hope) this will change with additions to the Export options of PG instances.

Thank you!

I actually just discovered http://redash.io/ thanks to this announcement, it looks really useful - will try it ASAP

Good luck with your future endeavours!

it's an amazing tool, used by many many companies. the author is actually working on spinning it into a standalone company (with no connection to EverythingMe)