Abbie Normal is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
Hm, would be cool if minikanren would return a stream of answers, then you could drop the first argument and take as many as you need?
(run (q) body) => <stream>
Then you can always stream-take to limit the number or filter the results, etc. No need for the first "how many" argument.
I guess minikanren uses streams under the hood anyway!
weren't you working on making custiom I/O ports suspendable ?
What's with Minikanren now ? 🤔
@catonano I was watching this video all day on the side that @clacke posted: https://www.youtube.com/watch?v=OyfBQmvr2Hc
Mandatory #contextpatrol link: https://social.heldscal.la/notice/3150570
@cwebber @catonano Don't miss this one: https://www.youtube.com/watch?v=er_lLvkklsk
That's sort of the polished and upbeat version of the last 30 minutes of the presentation you linked.
That's sort of the polished and upbeat version of the last 30 minutes of the presentation you linked.
