@convex.dev now has an MCP server! the cursor AI agent can now list project's schema and API, read data from tables, and call functions. it's insane how good it is at gluing tool calls together. here's an example of it building a histogram of a message lengths in a chat app.

been working on the @convex.dev object sync engine, and, unsurprisingly, we've been structuring it to use deterministic simulation testing. i'm still blown away every time how *simple* writing systems as deterministic state machines makes testing complicated race conditions

that's 100% it: we started with the database, built efficient reactivity, and are now working our way out to the clients. excited to have it in all of your hands soon!

Ben Patton@benapatton.com · 2y ago

Recently read @sujayakar.bsky.social’s article on @convex.dev’s Object Sync I’m excited/intrigued by how Convex is approaching Local First. Build a reactive database then add a local first syncing solution (their object sync that’s coming out soon)

we had a great conversation with @schickling.dev about local-first and how it's incredibly relevant to database folks. it doesn't matter how fast our databases are if this performance doesn't extend to the user experience. www.youtube.com/watch?v=n6Mx...

Building better, faster apps with Local-First (w/Johannes Schickling)

YouTube video by Convex

youtube.com

we looked at zanzibar yesterday, where a user A has access to an object B if there's a path between them in the access graph. let's walk through how they make this graph reachability problem efficient.

authorization comes up a lot, and it's easy to get lost in the soup of different ways to express who can access what (ACLs, RBAC, ABAC, ...)

"convex is a machine for turning my sleep schedule into your app's reliability" - Alfréd Rényi :)

Jason@jasondejesuz.bsky.social · 2y ago

My secret sauce for launching quick and superior products is completely free @convex.dev (The backend that’s more reliable than my sleep schedule) @clerk.com (Making auth so easy, my rubber duck is unemployed) #stripe (Because ramen isn’t free, and neither are my apps)

this is a little unrelated, but I always loved how SQLite on a filesystem can be faster than just using the filesystem. www.sqlite.org/fasterthanfs...

Johannes Schickling@schickling.dev · 2y ago

SQLite is very efficient in terms of data serialization, so based on my experience it’s no problem to have data sets into the 100.000s of rows with a SQLite DB weighing in the 100s of MB. Works particularly well for local-first apps which are very user-centric.

we've been working on @convex.dev for almost four years now, and it's an incredible feeling to see the first *book* on using convex out there 🤯

LiveStore is the data layer I wish I had when working on mobile apps: Reactive, fast and fun to use! After many months of close collaboration with the folks at @expo.dev, I'm very excited to take a big step towards launching @livestore.dev.

Expo@expo.dev · 2y ago

🥳 Launch Party day 4: Introducing LiveStore - a local-first data layer built on SQLite for high performance apps. The creator of LiveStore is @schickling.dev (former @prisma.io) and he's opening up early access to LiveStore today! Check out his blog post for the details: expo.dev/blog/local-f...

reactive UIs, build systems, and materialized views in databases are all flavors of incremental computation. jamie brandon has an excellent analysis of incremental systems across three dimensions: structure, temporal locaity, and consistency.

amazing work from @convex.dev engineer ian maccartney wiring up automerge to convex!

range queries (e.g. `age > 20 AND age < 35`) have a cool indexing strategy in apache pinot. each row gets assigned to `log(n)` bitsets based on the binary representation of `age`. range queries then turn into unions and intersections of these sets. richardstartin.github.io/posts/range-...

RangeBitmap - How range indexes work in Apache Pinot

Suppose you have an unsorted array of numeric values and need to find the set of indexes of all the values which are within a range. The range predicate will be evaluated many times, so any time spent...

richardstartin.github.io

we're building a local-first sync engine at convex, and it's finally time to start sharing some details! stack.convex.dev/object-sync-...

An Object Sync Engine for Local-first Apps

Object sync engines manage a rich object graph across multiple clients and a centralized server and are a great fit for building local-first apps.

stack.convex.dev

while we're at it: vimeo.com/groups/music...

WoodSwimmer (Bedtimes Music Video)

A music video made entirely from wood for a song by http://bedtimes.co/music/, WoodSwimmer is based on a concept I developed while designing a new stop-motion universe…

vimeo.com

these digital marbling fluid simulations are the coolest thing i've seen in a while: blog.amandaghassaei.com/2022/10/25/d...

Digital Marbling

I’ve been working on a physics-based marbling simulation to explore the ways that the traditional craft of paper marbling can be augmented digitally. Paper marbling is a centuries-old craft that uses ...

blog.amandaghassaei.com

if you've ever used google photos and wondered how it syncs millions of photos with buttery smooth scrolling, wonder no longer!

Indy@ikhare.com · 2y ago

Ten years ago, my team was hard at work building the first version of Google Photos for Android. I've always wanted to share a bit more about how we built it. We wanted to build it "mobile-first." This is quite similar to the "local-first" conversation today. stack.convex.dev/mobile-first

we've long held at convex that SQL isn't a great fit for OLTP workloads. buuuuut, with all of the recent SQLite WASM work, why not try stuffing it into a convex component? and while we're at it, did we just get reactive SQL queries for free? (crosspost from the other place)