Hacker News new | past | comments | ask | show | jobs | submit | self's comments login

A while ago I stumbled across this post: https://tomstu.art/hello-declarative-world

It walks you through implementing microkanren in Ruby. You might find it easier to implement all of that in gdscript.


Neat.

> The six simple building blocks: variables, states, and the four kinds of goal — make two values equal, provide local variables to an existing goal, pursue two existing goals separately, and pursue two existing goals together.

> The only data structure is a pair. We can create lists using pairs.

I'll play with it more.

I have a port of https://github.com/dananau/GTPyhop and planner systems feel related to relation programming


Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.

Is there a specific definition of Micro-Planner? Curious.

What I was thinking of was this one: https://en.wikipedia.org/wiki/Planner_(programming_language)... . I don't imagine there's any more formal a specification beyond what-they-implemented (but I haven't actually read the paper!)


> Why even add the pipe operator?

To make it easier for humans to read/write the queries.


we stick our graphics where the sun don't shine: https://web.archive.org/web/20150923005950/http://web.mit.ed...

we unleash the world's most powerful graphics technology: https://web.archive.org/web/20230117073114/http://web.mit.ed...


As an aside, since hover doesn't work with touchscreens (phones and tablets), it might be useful to have a typographic note next to the bibkey that shows/hides the popup on touch. What's a good note to use?


I'd use a modal dialog in that case.


A reboot of Freenet.


In the early 1990s, there was ZenMOO: https://groups.google.com/g/rec.games.mud.lp/c/GAFQ8FJIm5A/m...

You connect, sit around with all the other players -- and not say anything. The high score was for staying connected and idle the longest.

Occasionally, the mud will say something. Resist the urge to reply; it'll lower your score, and if you type too often/much, you get kicked off.

Every so often, though, it'll ask you something. If you don't respond within a time limit, you get kicked off.

Its website, where you can download a copy of the database under a LambdaMOO server: https://web.archive.org/web/19971011224937/http://www.zennet...


Blurb: WANIX takes WebAssembly to the next level. Edit, compile, and run WebAssembly from a WebAssembly UNIX-like environment entirely in the browser. Written in and using Go as a runtime, WANIX draws from Genera and Plan9 to provide a local-first operating and development environment of the future.

It's written in Go, and has a Go compiler available at runtime.


it's a meme (image), so i can't copy it here: https://twitter.com/stylewarning/status/1772795474589987226


Old joke from usenet:

> I have reverse engineered secret security algorithms used by the CIA and can break any message they encrypt. As proof, here is the last few lines of an implementation of their encryption function in Lisp

                ))
            )))
        )))
    ))))


The joke misses the mark because Lisp code usually coalesces all the parentheses in the same line at the end of the block. It does make sense for Ruby, though.


Interestingly enough, this type of response ("Lisp parentheses isn't indented like that") was the most usual type of response.

Apparently joke-killers aren't a new thing :-)



That's a good one :) So I'm a non-typical hacker, because I use paredit in Emacs so I don't have any issues with parentheses :D


(not my post)


If you hadn't mentioned it I would have thought this was a self-post…


So it's a self post, but not a self-post. Sorry, I'll see my-self out.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: