Înapoi la articole →

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 92
  1. A Logic GUI

    Well, it’s been a while since my session at Recurse (see my previous post) finished and I wanted to write some more about my “graphics in Prolog” experiment went.

  2. Base Case

    How I Got Here Today ends my first week at the Recurse Centre (remotely) and it’s been a very enjoyable experience thus far.

  3. Books of 2025

    In Search of Lost Time: Volume IV - Cities of the Plain - Marcel Proust Continuing the series from last year.

  4. Prolog Projects Tips

    As I’ve been writing about here for a while now, I quite like Prolog as a general-purpose programming language.

  5. Coming Out Strong

    I’ve spent a lot of my life with my baseline mood being “unhappy”.

  6. An Unsweetened Memory

    For some reason, a memory returned to me today of how I would write Haskell when I first learned it, in 2007 or so.

  7. Social Update

    I’ve been using Mastodon as my only social media for a while now.

  8. Today I had a need to be able to efficiently look up mappings from a range to a value in Prolog.

  9. Auto-Formatting Prolog Code

    My Prolog LSP server has recently gained a new feature – the ability to automatically format code.

  10. Self-Indulgent Design Refresh

    Inspired by maya.land, I decided to do something a little bit more interesting with my site’s layout.

  11. Books of 2024

    The History of the Decline and Fall of the Roman Empire, Edward Gibbons I’d read the abridgement in 2017, but I decided last year to give the whole thing a go.

  12. Holding Stationæry

    This post is a bit of a departure from what I “usually” write here; not so much technical or exploring an idea, just my story of how I fell into the world of stationery.

  13. ClojureScript contra Rust

    I’ve used Rust a tad a number of years ago and found it fine, but recently decided I wanted to give it a go again and see what it’s like these days.

  14. Books of 2023

    Station Eleven - Emily St.

  15. Tailwind "Versus" CSS

    When I first came across the idea of “utility-class” CSS “frameworks” (the first one I recall hearing about was called “Tachyon”), I didn’t think much of them.

  16. Practical Relaxation

    Last summer, my dad and I finally did something we’d been talking about for something like twenty years and got our scuba diving certifications.

  17. Philosophical Excursions

    My recent reading has taken me on a bit of tour of Western philosophy.

  18. Brief Thoughts on "AI" and LLMs

    There’s so much discourse around the new class of “large language models” (henceforth “LLM”s) going around that I feel compelled to write my thoughts out.

  19. Books of 2022

    Debt: The First 5,000 Years - David Graeber One of the best books I’ve ever read.

  20. Our Vacation

    Our vacation in Washington state didn’t go exactly as we expected.

  21. Focus on the Mac

    Unicode Input Vexingly, there isn’t really a straight-forward way for a keyboard to send “👍”.

  22. Automaking Prolog, Part Two

    Last time, I talked about the process that led me to building my “automake” tool for Prolog.

  23. Automaking Prolog

    I’ve been gradually building some little tools for myself to enhance the web development experience in Prolog.

  24. Books of 2021

    The Club - Leo Damrosch Not exactly what I was expecting, but very enjoyable.

  25. Levenshtein Distance in Prolog

    I recently came across a neat article about calculating the Levenshtein distance between strings in Clojure.

  26. Maximalist Minimalism

    Premises Two somewhat-contradictory ideas that I hold: Too many people in the tech world make too much of a fetish of “minimalism” Too many people in the tech world vastly over-complicate things.

  27. One Year of Writing

    Last year, I decided I wanted to get more comfortable writing fiction.

  28. Emacs Completes Me

    New Things For no particular reason other than wanting to try something new, I’ve migrated away from Helm to a completion setup for Emacs based on Protesilaos’ latest config (see prot-minibuffer.el).

  29. Some Emacs advice

    First, A Note Last year, I experimented with making some videos about Emacs.

  30. The Problem With Free Software…

    There’s been another rash of discussion about the challenges of making FLOSS software, this time sparked off by the problem of funding Babel.

  31. Books of 2020

    Nature’s Building Blocks - John Emsley Re-read of a very fun book, talking about all the elements and interesting facts about each one.

  32. I took a crack at making a video version of my previous post on customizing the mode-line in Emacs.

  33. Getting Evil with Emacs

    In this week’s video, I discuss some little gotchas with vim-style keybindings with Emacs in Evil-mode.

  34. Introspective Emacs

    This week’s little video is on taking advantage of Emacs’ introspective abilities to see what functions are being invoked, how they work, and changing them.

  35. Reading with Emacs

    A short little video about my workflow for reading books with pdf-tools and org-pdftools in Emacs.

  36. My previous video on Emacs went fairly well, so I tried making another: This one touches on some more specific details on how I customize Helm & how to create custom Helm sources.

  37. An Emacs Configuration Overview

    I tried making a little video explaining how I organize my Emacs configuration.

  38. Programming Isn't Coding

    When teaching “programming”, a surprisingly small amount of time is spent actually helping students with logic – and a lot helping them learning & managing programming tools.

  39. Translating Idioms

    I often advocate to people that I’m helping learn programming that they should learn more programming languages.

  40. Building Bard

    What is Bard?

  41. Continuations in Prolog

    One of the concepts in programming that I found most challenging to learn is the “continuation”.

  42. Books of 2019

    The Worldly Philosophers - Robert L.

  43. Adding JSON Feed Support

    For no particular reason, I decided to try to add support for JSON Feed for my blog here.

  44. helm-switch-shell

    After more than a decade of using Emacs, I finally released my first package.

  45. Reading Email in Emacs

    Previously I’d set up a system to read email in Emacs before, using notmuch, which I quite liked.

  46. Prolog Fundamentals Catchup

    As a consequence of the fact that I got in to Prolog not through what seems like the more typical academic route, but via Anne Ogborne’s great tutorial on using Prolog for web applications, I think I missed out on some of the fundamentals of the language.

  47. A Prolog Language Server

    Short version: I wrote a Prolog language server implementation – give it a try!

  48. A Very Specific Prolog Warning

    The Very Short Version: If you’re going to open an input file stream in SWI-Prolog, then pass that stream to a foreign function that’s going to use the file descriptor, make sure you open it with bom(false) – e.g. open(File, read, Stream, [bom(false)]), s…

  49. I recently read a fascinating book by Christopher Alexander (and others) entitled A Pattern Language.

  50. While Helm is an invaluable part of the way I use Emacs, I find it not particularly obvious how to extend it, often having to resort to reading a lot of the code to figure out how things work.