dunham

19 ms·

211.
by dunham 2y ago
It's Wensleydale, as documented in "A Grand Day Out".
212.
by dunham 2y ago
A month ago, my 4 yr old daughter made a pet rock, fluffy, in preschool. So they haven't completely died out. (She also complained that my cube was no longer "pretty" when I solved it.)
213.
by dunham 2y ago
Digital lending (Libby/Hoopla) was down too, but they got that back up within a week or two. We are able to check out physical books, but can't return them. And we can't place new holds/requests for books to be sent to o
214.
by dunham 2y ago
Yeah the 21" sun monitors we had in school were trinitron. I remember they were heavy for a 21" monitor (shielding?) and the degaussing on startup would induct into an adjacent monitor. (I was a sysadmin for a Sun heavy CS departm
215.
by dunham 2y ago
Meanwhile the publishing houses (John Wiley & Sons) are putting out LLM generated garbage: https://zbmath.org/1532.68005
216.
by dunham 2y ago
I haven't played this one through, but I think it's an extension of the work they did on "Sourcery", which was an adaptation of the old "choose your own adventure" books to digital. For that one, they kept the
217.
by dunham 2y ago
In Seattle, a software developer / firefighter made this site: https://sfdlive.com/
218.
by dunham 2y ago
You mention in the sample page that Safari on desktop "cannot install". But in recent versions of macos, it has "save to dock" in the "Share" menu. This creates Unforget.app in ~/Applications which appears
219.
by dunham 2y ago
Yeah, I always used plain TeX back in the day because I could understand it. LaTeX always seemed unnecessarily complex.
220.
by dunham 2y ago
Donald Knuth has a custom keyboard layout file for macos that switches [] with () and + with =. The file is at https://www-cs-faculty.stanford.edu/~knuth/programs/DonKeys.... , linked from https://www-cs
221.
by dunham 2y ago
I do remember seeing job listings around '96 calling for 5 years of experience with windows '95.
222.
by dunham 2y ago
Decades ago there was encryption that one of those clients (maybe pidgin) layered on top of AIM. It used 128-bit blowfish for the cipher, but the key was negotiated with 128-bit diffie hellman, which killed the security. I started to implem
223.
by dunham 2y ago
I had a failure in a bosch dish washer which probably would have been control board replacement and $$$$ if I had it fixed. But I happened to look up the issue on the internet and learned that it was a common problem - a bad solder connect
224.
by dunham 2y ago
I had someone on my dorm floor in college tell me that they were terrible at math, but it didn't matter because they were going into elementary education.
225.
by dunham 2y ago
We’ve got free soil tests in Seattle, but they only test for nutrients, and I’m more interested in heavy metals.
226.
by dunham 2y ago
Lean has `sorry` and Idris has `believe_me`. Recalling my math education, I would think the appropriate keyword would be `clearly`.
227.
by dunham 2y ago
Typically TeX is translated from Pascal to C too, via web2c. But there also is a Pascal to WASM compiler out there, which was written specifically for TeX: https://github.com/kisonecat/web2js TeX itself is only about 5
228.
by dunham 2y ago
> For languages with nominal typing and primitives you need to box the type yes. But the compiler can elide the box for you. Haskell and Idris do this. Haskell's newtype gives a nominal wrapper around a type without (further) boxing
229.
by dunham 2y ago
Yeah, it's been a while, but I recall hockey getting it first, people not liking it, and then it working out for the football version.
230.
by dunham 2y ago
Reading the whole paragraph, it sounds to me like they were accepting 1% errors rather than fixing the leaking cooling system.
231.
by dunham 2y ago
The MSDOS 2.0 source code blames IBM: Most of these are due to last minute changes to achieve a greater degree of compatibility with IBM's implementation of MS-DOS (PC DOS). This includes the use of "\" instead of "&#x2
232.
by dunham 2y ago
I was one of many TAs for a large math class in college (pre-calc - think high school math for college students). For uniformity, the prof had the partial credit down to a science - specifying points for getting certain aspects of the probl
233.
by dunham 2y ago
I accidentally did something similar to a college friend when I pointed out the 15khz hum that televisions made. He had not noticed that before and then couldn't stop hearing it.
234.
by dunham 2y ago
It looks like Reinhart has it at 65% for both the pâte fermentée and the bread itself in "Bread Baker's Apprentice" and the simple recipe in "Every Day" is about 67%. I consider him an expert, but some of his stuff
235.
by dunham 2y ago
Yeah, my mom watched me cook the other day and decided she needed to use her scale more. So much easier. Dump stuff in bowl, tare, dump next thing in bowl. And if I ever need to measure honey (usually you can eyeball it), it's gotta
236.
by dunham 2y ago
I recall seeing system log messages about ECC error correction on Sun Sparc machines back in the 90's. I don't know if it was radiation or flaky memory though.
237.
by dunham 3y ago
> For me it makes sense to distinguish between type inference at the call site or the definition site. Bidirectional type checking kinda sorts this out by requiring annotations on top level functions and inferring or checking the rest in
238.
by dunham 3y ago
I was frustrated that a lot of the snap circuits sets that we've gotten hide the interesting stuff inside magic components. The "radio" is essentially a single component with an IC in it. Same with the amplifier for the radi
239.
by dunham 3y ago
I had one of these, either the 150 or 160 pictured. Lots of fun. I later got the microcomputer one, which had a four bit microprocessor that you could program.
240.
by dunham 3y ago
It's been a very long time since I've diagnosed something like this, but I've had problems in the past when the MTU is smaller than the default and ICMP is blocked (interfering with path MTU discovery). Often IPSec or some o

More ›