Show more

Let W be a natural number (including zero) and [W] be the set of all natural numbers less than or equal to W.

< (2^[W] x { T, F }), ([W], T), ([W], F), ⊕, ⊗ >,
(xw,xz) ⊕ (yw,yz) = (xw ∪ yw, xz ∧ yz)
(xw,xz) ⊗ (yw,yz) = ( (xw ∩ yw) ∪ ( xz ? xw ) ∪ (yz ? yw) , xz ∨ yz )
z ? w = if z then w else ∅

this mess is actually a semiring. That blows my mind.

Just fixed my old iPad 2 after a screen crack. Apple really needs to think more about repairability. Replacing some of that PitA glue with a few more screws would be well worth it.

Numberphile / Last Cards Match - Numberphile
[ No Summary ]

After about 2 months, I finally wrote up my thoughts on moving from my Macbook air to a new @Purism librem 13v3.

Main takeaway: It's quirky, but good. Still not a the I'd recommend it to anyone and everyone stage, but it's a solid linux laptop.

A bunch of cheeses are in a room. Cottage cheese gets up and starts telling a wild story. The other cheeses are like No Way! Cottage cheese is like, yes whey!

Sooooo... how about that '\' key on the , @Purism ?

(Loving it in general... but no pipes seems like a pretty big oversight for a linux laptop)

With amortized data structures, the bill always comes due. Too many memoized sources...

Got this email today. Not 100% sure its legit, but it seems to be. Can anyone spot the problem?

Borderline miss at SIGMETRICS (A x2, WA, WR x2) with a paper on the difficulties of measuring database performance on smartphones. Admissions were tight: ~15% accept rate. Could make a good ICDE paper, maybe.

No luck with DAMON this year. It's a little bit sad, since we hit some surprises from the Android governor while benchmarking SQLite on mobile phones, and it would have been nice to share those. Most of the feedback seemed to suggest that the work was incidental to other stuff we were doing, which is not entirely off-base.

But that opens the question: If you can't publish surprising one-off findings at workshops, what do you do with them? Blog posts?

Show more
X marks the spot

Oliver's connection to the fediverse. Mostly a personal site... so nothing to see here. Move along, or go to Oliver's Feed