idahoduncan

6 ms·

1.
by idahoduncan 2mo ago
Judging from your enthusiasm I'm sure this was a typo, but you linked the μKanren paper (Jason Hemann's fantastic, minimal implementation) - you probably meant Will Byrd's thesis, the miniKanren paper: https://www.
2.
by idahoduncan 4mo ago
I guess so - I use built in TypeScript modes, and integrate with tsc via the built-in LSP client, eglot. Works well. Front-end specialists may disagree.
3.
by idahoduncan 9mo ago
~M-x eww~ works nicely too.
4.
by idahoduncan 9mo ago
Looks like it's four years for me with beancount. $ git log --oneline --reverse | head -n1 5f72575 Initial commit: January 2022 My importers take care of reconciling the common transactions, like train fares and groceries,
5.
by idahoduncan 1y ago
I'm following this approach. One of the most interesting things so far has been observing just how separate recall and production are. There are kanji that I can recognise instantly, and recall meanings and pronunciations, but I can&#x
6.
by idahoduncan 1y ago
It's also apparently cross-platform. Great project!
7.
by idahoduncan 1y ago
I have this set up using kmonad[1], and the following config. Many punctation marks are obviously missing, but I'm sure they could be added with a little thought. The mirrored layout is toggled by holding the space key. (defalias
8.
by idahoduncan 1y ago
The Strand programming book states that an early version of the Erlang runtime was implemented in Strand (see "13.1: History" http://www.call-with-current-continuation.org/files/strand-b... ), which is an inte
9.
by idahoduncan 1y ago
I do this from time to time as well, although I tend to get hung up on error handling. I would say that it's a simple enough exercise if you don't care too much about reporting parse errors in a meaningful way, although I'd b
10.
by idahoduncan 2y ago
I like that Ploopy are designing and building open-source hardware. I have their Classic (1) trackball, which has been great. I recently got their new trackpad, which is better for me. Having multi-finger gestures (pinch to zoom, swipe back
11.
by idahoduncan 2y ago
With Emacs 30 I've stopped compiling from the master branch, preferring the tagged releases. GNU Emacs 30.0.92 (build 2, x86_64-pc-linux-gnu, GTK+ Version 3.24.33, cairo version 1.16.0) of 2024-12-03 It seems that most of the
12.
by idahoduncan 2y ago
Can anyone shed light on the difference/overlap between Fleng and Strand, for someone who's reading about concurrent logic programming for the first time?
13.
by idahoduncan 2y ago
dape ( https://github.com/svaante/dape# ) is a great option for languages with debuggers implementing the Debug Adapter Protocol. Combined with debugpy it's killed M-x pdb for me, and has a very similar UI to M-x
14.
by idahoduncan 2y ago
elfeed in emacs ( https://github.com/skeeto/elfeed )