jasonhemann

8 ms·

1.
Show HN: CanhazKanren: A MicroKanren in Lolcode 1.3(github.com)
2 points by jasonhemann 6mo ago|0 comments
2.
by jasonhemann 6mo ago
I love that there are people who are observant enough to notice these kinds of things, a vanguard for those of us who are blithely unaware and protected due to their vigilance.
3.
by jasonhemann 6mo ago
Sometimes you install something manually, and forget that you did so. If you would rather have your installation managed by homebrew, you might find this useful.
4.
Brew cask audit finds apps unmanaged by homebrew(github.com)
4 points by jasonhemann 6mo ago|1 comments
5.
by jasonhemann 7mo ago
Effect handlers would like to have a word.
6.
by jasonhemann 11mo ago
Oh really? Not in my neighborhood.
7.
by jasonhemann 1y ago
There is indeed a similar, maybe even same, trash that works on MacOS and available on brew. Users are covered there too.
8.
by jasonhemann 1y ago
Just fantastic. Bravo.
9.
by jasonhemann 1y ago
This video is charming
10.
by jasonhemann 2y ago
Awesome!
11.
by jasonhemann 2y ago
I was going to say, isn't tesseract /already/ OCR for everyone?
12.
by jasonhemann 2y ago
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
13.
by jasonhemann 2y ago
Emails are definitely welcome too! Wherever you get stuck is a failure on the part of the authors.
14.
by jasonhemann 2y ago
IIRC, Dan told me that a million years ago, when they were choosing a name for the Kanren sourceforge repo, they had to use a name with a word that was sufficiently prominent on the internet. Kanren worked because there were enough hits for
15.
by jasonhemann 2y ago
I have a vague recollection about that kind of a declarative UI framework, but I can't remember a single detail. But it's definitely an interesting idea and I know there are other folk out there also interested in your idea.
16.
by jasonhemann 2y ago
Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.
17.
by jasonhemann 2y ago
That's somewhat comforting! But on the other hand, it means also that some of the folk who would be perfectly able to understand the big idea are getting gatekept by just the look of the parentheses, even though host's concrete sy
18.
by jasonhemann 2y ago
I think these are great points. Everything should be smooth as butter for an interested reader, and the tutorial should be so approachable and such a page-turner that the curious are hooked on page one and can't put it down. Really---a
19.
by jasonhemann 2y ago
One of the hopes is that you can drop in your favorite host language's syntax and get a working implementation. What's your usual language stack these days?
20.
by jasonhemann 2y ago
No, but I would so love to hear someone from the team give a talk about it. That's so darn awesome
21.
by jasonhemann 2y ago
One of the things miniKanren has going for it is that tons of folk have built little embedded implementations in the whatever your favorite host language is. For instance, here's https://web.archive.org/web/2021120
22.
by jasonhemann 2y ago
I was going to mention how cool JJs work is. Upvote to all those links.
23.
by jasonhemann 2y ago
What's your preferred PL? I suspect we could do a similar build-it-up in that lang too.
24.
by jasonhemann 2y ago
That's actually related to how the name came about, IIRC!
25.
by jasonhemann 2y ago
For folks that want to engage / learn more, there's been an annual miniKanren workshop and also a monthly miniKanren hangout online. Interested folk should totally come to either both!
26.
by jasonhemann 2y ago
I think there'll be all manner of constraint and constraint-logic programming approaches that'd be amenable. I wish I had a great answer for you as "the best". IMO, these "zebra puzzle"/"einstein puzz
27.
by jasonhemann 2y ago
You totally absolutely are smart enough to understand this. Possibly overly so! Happy to jump on a call and answer questions, if useful!