Viewing profile — michae2

Will mankind ever travel to the moon? > Yes; in the course of time, men will certainly travel to the moon. The journey will be performed in safety, and at a comparatively rapid rat…

Nice one! Thanks for trying it out!

Here are a few of my favorite creations so far: https://michae2.github.io/c-turtl/?dna=pfrbpplfpfpppcfppcfpc... https://michae2.github.io/c-turtl/?dna=ffffffpffffffffpfffff... http…

Happy New Year! Here's a small turtle graphics game I made for my kids, that I want to share. You write the "DNA" of the turtle, and watch what happens. Any comments or suggestions…

Thanks, this is really helpful! And great article.

Something I’ve wondered about Datalog is whether integers can be added to the language without losing guarantees about termination of query evaluation. It seems like as soon as we …

Gift link: https://www.nytimes.com/2024/12/12/science/a-second-tree-of-...

Oh, thank you!

To put it somewhat irreverently: running large production databases is not for the squeamish.

> If that is a team level, it should be in the team table, not the player table. It's all contrived, of course, but the reason I would consider skill level to be a player attribute…

PG only uses EvalPlanQual under read committed isolation. Under repeatable read the first update fails with a "could not serialize" error, just as it does under serializable.

It's a good question. For simple UPDATEs, CockroachDB always executes in a deterministic, serial order and so it's likely the rows will be locked in the same order by any competing…

The main motivation is reduce serialization errors, for applications that can handle the weaker isolation level. Especially for applications that were previously running fine under…

The timing of this example is tricky because the two update statements execute concurrently (which is only possible under read committed isolation; under serializable isolation it'…

Author here. We've spent the past year adding read committed isolation to CockroachDB. There were many interesting design decisions, such as: - whether to use multiple snapshots or…

I think we all ended up using unsafe, though there were some solutions without mmap. It would have been interesting if we had adhered to the same constraints you did!

For anyone looking for more examples of 1BRC in Go, we had a friendly competition at work and collected the results here: https://github.com/dhartunian/1brcgo/ In addition to the l…

I never considered it before, but by comparison this makes me realize that Conway's Game of Life is wave-based rather than particle-based. That is, in CGoL the rules apply to locat…

Anecdotally, giving our baby Bamba was actually how we discovered his peanut allergy, which was later confirmed by a traditional allergen skin test administered by a doctor. (We no…

Scheme also distinguishes between the cases using separate remainder and modulo functions. https://www.scheme.com/tspl4/objects.html#./objects:s98

Wow, this seems like it could be bigger than Auto-Tune. I wonder if we'll reach a point where artists license a DDSP model of their instrument or voice, rather than perform directl…

I wonder what proportion of analytic queries are compute-bound rather than disk-bound? I would guess most are disk-bound, so using a GPU seems like it will only benefit a small cla…