James Cash ๐Ÿ is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

James Cash ๐Ÿ @jamesnvc@mastodon.social

I think more people in our society need to read this comic: existentialcomics.com/comic/19
More technology, surveillance, science or mathematics will never help us develop a sense of morality. We need philosophy for that.

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 (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: occasionallycogent.com/2018/03

@xahlee By the way, I've started using Prolog recently (started with this tutorial for SWI-Prolog pathwayslms.com/swipltuts/html) & 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 github.com/braidchat/scheduleb

Ontario politics Show more

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 sdf.org?

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!