← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 92
  1. Git Over Email?

    I keep looking at “Source Hut” (née “srht”) and its email-centric approach to git.

  2. As I aluded to previously, something that’s come to be a warning sign to me is when people complain about “bloat” in software.

  3. Customizing the Emacs Modeline

    There are a few phrases in the popular lexicon that I’ve developed something of an aversion to; phrases whose use has come to make me do an immediate mental wince & start to re-evaluate my opinion of the author.

  4. Books of 2018

    Continuing on my lists of books for 2016 and 2017, here are the books I read in 2018, presented in ascending order of completion date.

  5. A Prolog Nerdsnipe

    I saw a post about Prolog recently, wherein the author used Prolog to solve a Clue-style problem.

  6. Extended DCGs in Prolog

    What are DCGs?

  7. New Blog Setup!

    I’ve been thinking for a while that I’d like to switch my blog away from Jekyll & to something Org-mode based.

  8. Emacs custom helm actions

    When I switched from neovim back to Emacs a year or two ago, something that my muscle-memory missed were the key bindings I had for denite.nvim for opening files & buffers in splits – C-s to open the result in a horizontal split and C-v for a vertical spl…

  9. I just finished reading Alexis de Tocqueville’s Democracy in America and had kind of mixed feelings about it.

  10. A quick little Emacs thing I figured out that I wasn’t able to find from searching, so I thought I’d document it here: I use the great PragmataPro font for Emacs editor.

  11. A few weeks ago, I had a modest goal, which kind of spiralled out of control and ended up with a PR to SWI-Prolog and my most ambitious Prolog library yet.

  12. SHA-1 Hash in Pure Prolog

    I’m continuing to work on the cryptopals challenges and it remains very fun.

  13. Warning: Minor spoilers for Cryptopals challenge 23 here.

  14. The Whys and Whats of Braid

    Perhaps the most challenging part of running a remote business is communication.

  15. Discovering an Old Language

    I’ve been playing around with learning Prolog for the past few weeks and have been really, really enjoying it.

  16. What Does Mutability Mean?

    When teaching programming, something that tends to come up a lot is when and how values can change.

  17. Politics in Programming Pedagogy

    A few months ago, I saw this great article about teaching programming with examples that deal with real issues (which I highly recommend reading).

  18. Books I Read in 2017

    Like last year, I tried to keep track of all the books I read.

  19. Recently, I’ve been working on writing another Braid bot, in Racket this time.

  20. Elixir Deployment Woes

    The Problem Things started when I finally finished up our Gmail integration bot for Braid.

  21. An Elixir Gotcha

    I had a bit of a vexing experience with Elixir the other day that I thought I’d document here.

  22. Small Teams

    Something that the last few years of building things with Lean Pixel and then Bloom has really reinforced in me is a belief in the power of small teams.

  23. One Week With the Model 01

    It’s been one week now since my Keyboardio Model01 arrived!

  24. Keyboardio Arrives!

    For the leadup to the arrival, see the series starting here My Keyboardio Model 01 arrived today and I’m using it to write this very post!

  25. Keyboardio Cometh, Pt 4

    Part four of an n-part series.

  26. Keyboardio Cometh, Pt 3

    Part three of an n-part series.

  27. Keyboardio Cometh, Pt 2

    Part two of an n-part series.

  28. Keyboardio Cometh, Pt 1

    Part one of an n-part series.

  29. I had a chat today with a friend that I hadn’t seen in almost sixteen years.

  30. So here’s a weird story.

  31. Something that I started thinking about more recently, inspired by Bodil & others, is the difference between Free Software and Open-Source Software.

  32. I Don't Want to be Static

    Most of the work I’ve been doing the last few years has been in Clojure.

  33. How We Use Datomic

    Braid, the new type of chat client that we’ve been building uses the Datomic database for storage.

  34. Books I Read in 2016

    I started making a concerted effort to always have at least one book in progress this year.

  35. Learning to Draw

    For most of my life, I’ve identified as someone that can’t draw.

  36. Trying Kakoune

    Kakoune is an interesting new (to me, at least) text editor that aims at improving on vim’s efficiency of text editing.

  37. Exploring Io

    I first heard about the Io programming language quite a while ago – I believe I saw it in Steve Yegge’s1 sidebar when I was still in high school and just starting to get interested in different programming languages.

  38. Strength Sports

    A big part of my life since about 2010 has been strength training.

  39. Teaching Programming

    How we teach programming is something that I’ve been thinking about quite a bit lately.

  40. Greasing the Groove

    Introduction There is a theory from the well-known and, uh, interesting strength trainer Pavel Tstsouline that a very efficient way to get stronger is by a method he calls “greasing the groove”.

  41. Reverse Factorial

    I recently came across this post about implementing a “reverse factorial” in Factor.

  42. The Beginning A few years ago a bought a domain name for my sister for her birthday.