I want a game that gives me the tension and excitement of exploration of PUBG, but without the kinda moral qualms of being a murder simulator...
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?
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 https://github.com/braidchat/schedulebot
Ontario politics Show more
I wrote about trying to bring politically relevant examples into my programming instruction http://occasionallycogent.com/2018/02/21/politics_in_programming.html
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 😁
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!