Show more

I started doing the Cryptopals challenges (, 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:

@xahlee By the way, I've started using Prolog recently (started with this tutorial for SWI-Prolog & 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?

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 enjoying the "Economic Update" podcast. The host, Richard Wolff is very fun to listen to and the content is great -- like it says on the tin, an update from the perspective of a Marxist economics professor. The episodes are nice & tight too, not meandering at all. Highly recommended!

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

Ontario politics 

I tried using Elixir a while ago and liked some things of it, but was fairly annoyed by some other things. I later realized that the things that I liked are the Erlang things and now I'm realizing that the things I like about Erlang are the Prolog things.

Time to move on from being a Lisp weenie to being a Prolog wennie?

After 3.5 months with my Keyboardio Model 01 I remain completely in love with it. Not only do I type faster and more comfortably than I ever did before but using it makes me so happy I write more just to be using it.

I never want to use a non-split, ortho, tented keyboard again, to say nothing of how awesome having easy-to-extend and open-source firmware is.

Just need those Runic keycaps & I’ll be set for life 😁

I keep seeing people talk about as the new anti-hip anti-web. Where's a place to start reading stuff? Is it all phlogs on

Spent about four hours in the kitchen today, but now we have lunch and dinner for the next four days! Also, I think I need an ergonomic kitchen knife...

Watching "Blue Planet 2" and, while it is really cool, the overly-dramatic music is actually kind of stressful...why must this nature documentary be shot like a horror movie?

Oof, it's so cold out that my Apple Watch apparently stopped being able to detect my heartbeat while biking home & locked 😬

Also the place I teach is so dry I feel myself desiccating like a piece of jerky every time I'm in here

This weather is messing with me so much...every time I think I'm okay to bike somewhere and that maybe I'll be able to starting throwing practice again, the temperature plummets 10 degrees and it starts to snow.

Hrm, so today I learned that in Clojure the auto-gensyms (like "foo#") in macros are only expanded once, at read time, so a macro that does something like `(def thing# ...)` will be the same name with every invocation, so you would need to do the equivalent of `(def ~(gensym) ...)`. A little bit annoying to figure out!

"Monster of the Week" rules so hard. I ran the first session with my co-founders last night and everyone had a lot of fun. They'd never played a pen-and-paper RPG before but they really got into it.
The system is so much better than something like D&D for collaborative storytelling. Can't wait to run the next adventure!

I know nothing about chess, but I am loving Joey Comeau's oft-shirtless cyberpunk speed chess videos.

Show more

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!