deosjr

4 ms·

1.
by deosjr 4mo ago
Working on my version of Dynamicland. Today I got this small thing working where I can now live-edit the behaviour of the editor script, see https://www.youtube.com/shorts/ZjxPIv-XwoU Repo is here if anyone wants to ha
2.
by deosjr 4mo ago
Wow that is cool, thanks for that!
3.
by deosjr 4mo ago
This might be your jam. I should revisit this, most of it is unimplemented. But the parsing part was interesting, since MTG has such a codified language for explaining the rules. My idea here was to take a card's rules text from the of
4.
by deosjr 4mo ago
A while ago I was playing the romhack Run&Bun, which drastically ups the difficulty of Pokemon Emerald. Watching others play, most of the game was doing 'calcs': calculating how to approach a battle. This was done using a java
5.
by deosjr 1y ago
Such an amazing project. I've made a lot of progress recently working on my own homebrew version, running it in the browser in order to share it with people. Planning to take some time soon to take another stab at the real (physical) t
6.
by deosjr 1y ago
Exploring the implementation of Dynamicland (dynamicland.org) using Guile Scheme, Hoot (scheme->wasm) and miniKanren. Main write-up can be found here: https://deosjr.github.io/dynamicland/ I cycle between learning a
7.
by deosjr 1y ago
I recently shared a project I did using Hoot, by Spritely institute. It's Guile Scheme compiling to WASM, and it works really well! See https://spritely.institute/hoot/ Latest on my project, in case you want to tr
8.
by deosjr 1y ago
Cheers, this is super useful. I will have to do some reading. Being able to build up n-ary predicates using triples that way makes a lot of sense.
9.
by deosjr 1y ago
Thanks Dave, high praise! I was inspired after seeing you all take over the declarative & minimalist programming room at FOSDEM this year. If you thought this was cool, wait until you see what I ended up using it for: https:/&#x2F
10.
by deosjr 1y ago
I appreciate it; this kind of exchange is exactly why I read HackerNews. If you have any good sources on extending Datalog to N-ary relations, I'd love to know. Just had a look at the implementation I based mine on and it exclusively t
11.
by deosjr 1y ago
Thank you for the feedback! I agree with all of the above. Should've probably been a bit more clear on the dl-find syntax; I find it just as unacceptable as you do. It is the result of laziness: my intended use of this minimal Datalog
12.
by deosjr 1y ago
Guile Scheme. See https://github.com/deosjr/deosjr.github.io/blob/master/dynam... for more.
13.
Datalog in miniKanren(deosjr.github.io)
134 points by deosjr 1y ago|17 comments
14.
by deosjr 1y ago
Seems like interest in Datalog is high this week, so I thought I'd share a write-up of a minimal Datalog implementation I did a while ago. Runs in the browser using Hoot ( https://spritely.institute/hoot/ ) which co
15.
by deosjr 1y ago
I recently implemented a version of Bret Victor's Dynamicland in the browser using miniKanren, Datalog, and WebAssembly: https://deosjr.github.io/dynamicland/ Knowing how to implement a small logic programming lan
16.
by deosjr 2y ago
A bit late, but just saw this and wanted to say I appreciate the minimalism of this a lot!
17.
by deosjr 2y ago
I did the same thing in Golang here: https://github.com/deosjr/nand2tetris Be sure to check out the lispmachine folder; its essentially a fork I made after finishing the course. It implements a Lisp on the nand-gate le
18.
by deosjr 2y ago
That's exactly why I built my own tooling when going through the book. I built everything in Golang and am working on some visualisations in Javascript. Repo: https://github.com/deosjr/nand2tetris Website: https:
19.
by deosjr 2y ago
Here's a gist in Prolog that I believe solves this puzzle: https://gist.github.com/deosjr/7314659509333ee2ad67dbf276e8d...
20.
by deosjr 3y ago
My way of learning about Lisp was based on first principles, after reading Norvigs blogpost many times and working through SICP. What helped is that I had just finished the nand2tetris book, which is very much a first principles speedrun of
21.
by deosjr 3y ago
I tried for a bit and couldn't get it to work either. The dragon curve example is a lot more complicated than the simplest definition, which is a hint. I don't even know exactly what | or [ or ] are supposed to do here. Here'
22.
by deosjr 3y ago
http://algorithmicbotany.org/papers/abop/abop.pdf
23.
by deosjr 3y ago
Glad to hear from Dynamicland; the last video got me so excited I decided to try and build a demo for tinkering with at home: https://github.com/deosjr/elephanttalk Only dependency is on openCV through GoCV, otherwise