Show newer

I’m really enjoying my new electric car. I have a pay-per-use arrangement and it comes with unlimited free parking.

Okay, the numbers level out (with a slight advantage for the Free) when its sampling function becomes complicated (a primitive SDF vs a stack of 100 primitives). I'm now more sure that I'm measuring some right thing, and not some laziness fluke.

Show thread

Added bisimulation tests for the Free re-implementation (found 2 bugs :ablobpeek:) and got to benchmarking the thing.

I was surprised that a round dance of 3 functors and a ping-pong of functions that pass control around is not only "a little slower" than a tight package, but instead twice as fast! :ablobcatrainbow:

Show thread

I had a late night thought that my sparse quad tree structure can be split up into a bunch of functors.

And that is indeed the case:

type SparseQuadTree a = Free Quad (Sparse (Range a))And the scaffold/compact functions are “bring your own algebra” now.

Replace Quad with Binary or Octal and you’d get the matching structure.

Going from a dense (but lazy) scaffold to sparse states that in type:

(a -> Sparse a) -> Free s a -> Free s (Sparse a)And the decider is a simple function that isn’t concerned with structure at all, making it reusable.

Awww yisss! Everything* I wanted feature-wise from this tileset:
- Map declared in Multicolor SDF (lava is the base layer, everything else is boolean'd together)
- 4-corner Wang tiles extracted from TileSetter project (no, I didn't do those 96 tiles by hand) (package pending)
- Per-tile attributes in the "free" vec4 slot. Here - tile speed (also used for passability).
- A* path-finding with per-tile travel costs (the truck on the screenshot prefers flat terrain as ridges are slow to crawl).

* I have unused alternative biome tiles... to spice up the landscape 😏

Reading Wikipedia resulted in a slightly different path-finding algorithm than intended.

Behold: A-A-A-A-A*!

(At least it doesn't jump straight into lava.)

1980: Information wants to be free.
2030: Information wants to be *me* (Eschaton voice).

A robust alternative to 2FA has to take into account three super common scenarios:

- you are in a foreign city and have been mugged, your wallet and phone have been stolen from you

- you have dropped your keys down the drain

- you are homeless, your phone has just died, and your only computer is a public access library computer running Internet Explorer 6. you are not able to afford a monthly subscription to Bitwarden

The floor and lava

(There are some kinky borders. Most likely the fix would end up involving a rewrite of the quad-tree structure or something like that.)

Adventures in the BitIndexLand

With no wang-compatible tileset at hand, the tiles are indices themselves.

this is one of the most important launches since lunar race
@
no pressure

These bots are made for talkin'
And that's just what they'll do
One of these days these bots are gonna talk all over you

The Iron Ring of Mars was built to contain entirety of the Holy Python that enables communion with machine spirits.

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.