dunham

8 ms·

91.
by dunham 1y ago
Fortunately that was not my experience in abstract algebra. The tests and homework were novel proofs that we hadn't seen in class. It was one of my favorite classes / subjects. Someone did tell me in college that they did the memo
92.
by dunham 1y ago
I believe that's still used in phones for communication between the computer and the cell phone hardware.
93.
by dunham 1y ago
This is a great resource to learn how normalization by evaluation and insertion and solving of implicit variables is implemented.
94.
by dunham 1y ago
I've also loaded repositories into a web instance of vscode (with the '.' shortcut) and done Cmd-Sh-F, which also works better than their search.
95.
by dunham 1y ago
I'd love to see support for inline TeX in the markdown. Back when I used observable on the web, I hacked up a `md2` string template to replace /\$(.*?)\$/g with the katex equivalent before calling `md`, but I don't know
96.
by dunham 1y ago
I did this with manual, and my EV does this with a single pedal control. Letting off of the pedal will engage regenerative breaking to the extent that you let off the pedal, it does not engage the brakes. I find that in a lot of city drivin
97.
by dunham 1y ago
I think that was the book that I read on my Palm Pilot. But it's been a while. I had the klein stein at one point, but got rid of it when downsizing. It was hard to clean, so not practical for drinking, and not as pretty on the shelf a
98.
by dunham 1y ago
I can't seem to pan, it would be nice if the zooming would zoom in to the mouse location. (I did manage to write HI near the left edge though.)
99.
by dunham 1y ago
I used something called nuweb for a class project back in the late 90's (an implementation of the "bully algorithm" in Java). I don't remember why I selected nuweb, other than it worked with any language, but it looks li
100.
by dunham 1y ago
I was surprised to see this article because it's not that time of year. Typically A* shows up around December, because people discover it via Advent of Code. (And that's the only place I've used it.)
101.
by dunham 1y ago
I was impatient waiting for supplies and did a practice swatch with some cheap cotton string and take-out chopsticks (round, pointed, but not as sharp as knitting needles). That was more difficult than the real deal. There were mistakes mak
102.
by dunham 1y ago
I remember being taught in my late 90's AI class something along the lines of: "AI is anything we don't know how to solve, and it gets another name when we figure out how to solve it".
103.
by dunham 1y ago
There is also twinery or inklewriter for simple text stories with an online authoring option. And Inform7 for full on text adventures, where you write the stories in a declarative manner as plain english. https://twinery.org h
104.
by dunham 1y ago
Meta II is also an interesting small language for writing compilers (including itself). wikipedia: https://en.wikipedia.org/wiki/META_II paper: https://hcs64.com/files/pd1-3-schorre.pdf
105.
by dunham 1y ago
I wrote python code to extract the notes years ago[1], but it's bit-rotted, so it no longer supports tables, raw stroke data, or the newer features like equations. Maybe I'll update it someday, but I'm not using notes at the
106.
by dunham 1y ago
Thanks. This has been on my todo list for a while. I've ordered some supplies and will attempt a dishcloth ( https://nimble-needles.com/patterns/easy-dishcloth-knitting-... ) and work my way up from there.
107.
by dunham 1y ago
Idris[1] and most of the dependent typed languages that I've looked at use de Bruijn numbers. (As does my own[2].) The Idris implementation also has a list of names in scope as an argument to the type of a Term, which makes the compile
108.
by dunham 1y ago
How do you deal with numbers? Javascript doesn't do 64-bit numbers and naively multiplying 32-bit numbers can loose lower bits. If I remember right GWT used two numbers to represent 64-bit and ignored the 32-bit issue.
109.
by dunham 1y ago
The TeX source works like this, too. There is the original tex.web and some change files which get applied when converting it to either a TeX document or pascal source. (These days the pascal is further translated to C.)
110.
by dunham 1y ago
The tool used for this site is Jon Sterling's "forester": https://sr.ht/~jonsterling/forester/ His motivation for building it is described here: https://www.forester-notes.org/tfmt-0
111.
by dunham 1y ago
Thanks for sharing. I may give this a try with the "Notability" application for iOS.
112.
by dunham 1y ago
At Michigan State, I had a math prof (Wade Ramey) who would lock the door after class started. If you were late, you couldn't attend. He also insisted students purchase a stapler and staple their homework. And he would give negative po
113.
by dunham 1y ago
Confirmation before calling would be nice. I've accidentally made calls when trying to get more information about a missed call. (I've also had Siri pocket dial, but I e got that disabled now.)
114.
by dunham 1y ago
Below I'm discussing compressed size here rather than how "fast" it is to copy databases. Yeah there are indexes. And even without indexes there is an entire b-tree sitting above the data. So we're weighing the benefits
115.
by dunham 1y ago
I learned about this when trying to decode data from Firefox IndexedDB. (I was extracting Tana data.) Their structured clone data format uses nan-boxing for serialization.
116.
by dunham 1y ago
Surprisingly, GPT did manage to identify a book that I remembered from college decades ago ("Laboratory Manual for Morphology and Syntax"). It seems to be out of print, and I assumed it was obscure.
117.
by dunham 1y ago
That's recent enough that mail forwarding should work, if they set it up: > Standard mail forwarding lasts 12 months. You can pay to extend mail forwarding for 6, 12, or 18 more months (18 months is the maximum). Edit for source: h
118.
by dunham 1y ago
yeah, I didn't make it past the first page of text because of this.
119.
by dunham 1y ago
I try to remember Vonnegut: "We are here on Earth to fart around. Don't let anybody tell you any different."
120.
by dunham 2y ago
Interesting, I can't reproduce it. I've got Chrome 134.0.6998.166 on macos and with profiling turned on, it's about 55ms for me (3ms of that is spent in scripting).

More ›