Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

Hi folks, quick intro here. I am a Boston-based software developer just trying to get better at this humbling profession. Can’t recall when or how I stumbled across FoC, but the earlier podcasts with Hillel Wayne (TLA+) and Toby Schachman (Cuttle, Apparatus) stick out in my mind. Enjoying the reboot and can’t wait to “dive in” to the next episode. Long time goal to learn Prolog here.

welcome Greg! We’ve been trying to resurrect our Boston ‘meetup’ <#CDYTXF6UA|>

Btw <@U04JY2BF24E> we’re doing a meet up this Saturday in Harvard square 

Have you looked at MiniKanren at all? I don't know that much about logic programming but it seems like a really cool alternative to prolog.

MiniKanren is pretty cool!  My initial exposure came via The Reasoned Schemer, which is not my favorite book <https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/>.  Looking to mention its cute use of monads <https://github.com/jvranish/MiniKanrenT>, this talk came recommended <https://www.infoq.com/presentations/miniKanren/>.  I'm keen to give it a listen.