Show more

I hope I won’t burn my laptop with extreme parallel* load :ablobnervous:
Missing my old R7 5900 battlestation…

(* thanks GHC.Conc and scheduler!)

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

Show more
Qoto Mastodon

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