HN user

muattiyah

19 karma

Abstracting abstract machines

Personal website: https://muattiyah.com github: https://github.com/muattiyah

Posts1
Comments7
View on HN

I always thought it was weird when people have websites like this, anyways, for those phased away and want to read this article while centered, execute in the console:

  document.getElementsByTagName('body')[0].children[0].style.margin = '0 auto';

inkscape iirc :) At the time I wanted a tool that would typeset text I write into geometric kufic and have some parameters that one can tune to e.g. control curvature, colors, ...etc but it'd have been too big of a bikeshed.

ICYMI, there's an excellent interactive introduction to `datalog` that's referenced in the article's references.[0]

Last time I used `datalog` was years ago, I was developing an internal interactive tool that was used to compare different approaches to solving a certain problem at my employer. I used `datascript`[1] by way of clojurescript to store all experiment data and then interrogated the `datascript` DB via `datalog`. This is something I always remember fondly.

[0] https://www.learndatalogtoday.org/ [1] https://github.com/tonsky/datascript