Hrm, the witches.town theme on Mastodon dot social seems to not be displaying properly for me anymore...I see the ouroboros retoot button, but all the other icons are back to default...@Gargron is this just me?
Mainly for fun & because I miss garden CSS for ClojureScript, I wrote a little Prolog library to generate CSS https://github.com/jamesnvc/css_write
I started doing the Cryptopals challenges (https://cryptopals.com, formerly the Matasano challenges) in Prolog and it is really fun - so satisfying to see nonsense suddenly resolve itself into plain text.
I was worried Prolog might not be a good fit for this sort of bit-munging thing, but it is actually working very well.
Love (SWI-)Prolog; it has definitely become my current favourite programming language (sorry Clojure).
For the past few years, we've been building a new kind of chat program. We really like using it at my little startup-thing, and we think others could benefit from it, but it's a little hard to explain what about it we like so much; here's my longer-form attempt: http://occasionallycogent.com/2018/03/28/why_and_what_braid.html
I wrote a little about how much I've been enjoying learning & using Prolog: http://occasionallycogent.com/2018/03/24/discovering_an_old_language.html
@xahlee By the way, I've started using Prolog recently (started with this tutorial for SWI-Prolog http://pathwayslms.com/swipltuts/html/index.htm) & I'm realizing it has a lot of the attributes you talk about liking from Mathematica (nice syntax that is sugar for M-exprs (which can be seen with write_canonical)). Have you used Prolog much before?
#introductions time, as more people join?
I'm a programmer & highland games athlete
I have a software start-up sort of thing in Toronto.
Mostly code in Clojure(Script)
cishet white dude
I dunno, I like reading a lot of everything?
I am really liking writing Prolog. Very nice language in a way that I didn't expect - I knew about the logic programming stuff, but the underlying uniform syntax & term-rewriting stuff was a very pleasant surprise.
I wrote my first somewhat real thing with it: A "bot"/integration with Braid (the chat program we've been building) to do scheduling, a sort of text-based Doodle thing https://github.com/braidchat/schedulebot
I wrote about trying to bring politically relevant examples into my programming instruction http://occasionallycogent.com/2018/02/21/politics_in_programming.html
I make computer things in Toronto, mostly in Clojure. I powerlifting, strongman, and Highland Games How are you?
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!