Viewing profile — dunham

This saved me from accidental resets in the past. I learned it existed because the files were showing up in mdfind

It happens when the indentation is established on the same line as other code, so having a rule that you need a newline to start indentation will avoid the issue. Examples from has…

I don't mind indentation based languages. I used to hate them, but they've grown on me after using python, Haskell, Idris, Agda, etc. And I ended up making my own language indentat…

That looks like a nice tool. It would be helpful if it could optionally run off of a data file. I've used "ncdu" to visualize my restic backups by writing a script that generates t…

Not exactly removed, the feature was still there, but could be used only if your module was in Elm namespace (the compiler checked). It was kind of a "no soup for you" situation, w…

On the last exercise of world 6, rewrite the highlight, "cw" leaves the "a" at the end of the line. Both "c$" and "C" work. I didn't know about "C" until I read the web page - I've…

Is this related to web2js[1], which has been around for a while? It compiles the pascal code of TeX to wasm. It looks like the live demo is no longer up, but it did run latex in th…

> God I miss the old internet. I recently discovered that the author of gzip still retains that 90's feel on his home page: http://gailly.net/

Back in the 90's I had a Matrox card that would crash the machine if the hardware cursor changed at the wrong time. I think it was related to VBI, but it's been a while. Linux reso…

ublock origin lite is blocking a bunch of stuff for me, and things are unbearable when I turn it off. For many sites, especially news sites, I toggle javascript off. It's reasonabl…

I probably should have clarified that I'm on an M1 then (a macbook pro, so there is a fan). I didn't realize the newer ones get warmer.

I've found that Baldur's Gate 3 will warm up my apple silicon (everyday tasks do not).

For context - the top answer was written by Bill Thurston, who was awarded a Fields Medal. (Kind of like a nobel prize for mathematics.)

I don't see how this is going to work when every application decides to ship and run a 4GB model, competing for video memory. It's going to be the Electron problem times 10.

I recently saw this with the logseq api - the published api was an auto-generated stub. So I tried to grep the source code for the function and found detailed documentation written…

Yeah, I think that's what the program creates in your github account. I see the source to those files embedded in the executable. (I'm not running the executable, but I downloaded …

For caveman debugging, if I'm not sitting in a monad, I usually reach for something like Debug.Trace. Typically that's in Idris or my own language, but I see that haskell has it to…

Yeah, I think Swiss French had more? (It's been about four decades since I took French, and high school classes are not very effective.)

Historically, quite a few languages were (or are) vigesimal. Perhaps decimal is also unnatural.

There is an app for that, too: https://michelf.ca/projects/sim-daltonism/ It has a little window you can move over the screen to simulate a few varieties of color blindness.

The other day they blocked me from accessing Kagi's web site because I was using Kagi's web browser.

I was bit by this years ago when our test cases failed on Linux, but worked on macos. pdftotext was behaving differently (deciding to merge two lines or not) on the two platforms -…

> and need to be prepared to manage things like upgrading firmware At one point in the early 2000's, my brother was soldering new capacitors onto dell raid cards. (I like to call t…

I know it is out of scope for this article, but there are variants where the operations are monadic rather than applicative and the shape of the graph can change depending on value…

I've been using birdnet, but it seems to want an internet connection to do the identification and sometimes that is dicey when there is a bird that I want to identify. (Also birds …