Conversation

Notices

1. Embed this notice
   alcinnz (alcinnz@floss.social)'s status on Monday, 13-Jan-2025 10:25:19 JST alcinnz

   • wizzwizz4
   • Alexandra-Lilith

   @alilly @wizzwizz4 Thanks!
   I love writing them, that's why I continue!

   • Embed this notice
     alcinnz (alcinnz@floss.social)'s status on Monday, 13-Jan-2025 10:27:47 JST alcinnz

     in reply to

     • wizzwizz4
     • Alexandra-Lilith

     @wizzwizz4 @alilly I'll queue them up!

   • Embed this notice
     wizzwizz4 (wizzwizz4@fosstodon.org)'s status on Monday, 13-Jan-2025 10:27:48 JST wizzwizz4

     in reply to

     • Alexandra-Lilith

     @alcinnz @alilly I'd be interested to see your take on Prolog. There have been several hardware implementations of it, over the years, but I suspect you'll come up with something new.

     I'd also appreciate your take on miniKanren, the other language family in https://aphyr.com/posts/354-unifying-the-technical-interview.

   • Embed this notice
     alcinnz (alcinnz@floss.social)'s status on Tuesday, 14-Jan-2025 11:44:41 JST alcinnz

     in reply to

     • wizzwizz4

     @wizzwizz4 I'm looking into miniKanren: Is it basically an embedded (in Lisp or another language) version of Prolog?

     http://minikanren.org/

   • Embed this notice
     alcinnz (alcinnz@floss.social)'s status on Tuesday, 14-Jan-2025 11:53:00 JST alcinnz

     in reply to

     • wizzwizz4

     @wizzwizz4 O.K., the site (quite verbosely) explains that there's a certain logical purity to miniKanren that Prolog (by necessity of its time) lacks. I suppose that came across in the docs.

     Which suggests that it'd be the more interesting one to design hypothetical hardware for!