dunham

49 ms·

331.
by dunham 3y ago
I tried deno a while ago (over a year) and could not find a way to get deno and typescript to accept the same files. They disagreed about filename extensions in import statements, and I couldn't find a format that was accepted by both.
332.
by dunham 3y ago
The dependent languages are interesting. But the theorem proving is not easy, and probably overkill for a lot of applications. Even for stuff like boundary conditions for binary search, which could be checked with Hoare logic, I usually han
333.
by dunham 3y ago
Yeah, I got an Rf8+ and between that and the roman numerals, didn't know how to get down to 200. Then I tried to move the egg to a different spot and the chicken died.
334.
by dunham 3y ago
The last writers strike gave us Dr Horrible - I was hoping for something like that again.
335.
by dunham 3y ago
I buy from thespicehouse.com - they seem to be careful, but I haven't inquired about turmeric. I should send them an email. (I prefer them over Penzey's, which is the same family, because they have dried fenugreek leaves.)
336.
by dunham 3y ago
It's called es-zett (S Z), and I believe it originally was a joined long s and a z, like ſ𝔷. (There doesn't appear to be a fraktur long s in unicode, but I include the fraktur z to show where the shape comes from.) I believe these
337.
by dunham 3y ago
I always thought of it as a ligature for "et" (like ﬃ is a ligature for ffi) rather than a letter. But I suppose the sz ligature (ß) eventually became a letter, so there is precedent.
338.
by dunham 3y ago
> I would recommend reading [1] because it confirms the GPL violation but paints interesting picture of the reason. I'm not seeing that, but maybe I'm misunderstanding something. [1] includes: > we are also shared our chang
339.
by dunham 3y ago
I could go either way, but switching back and forth is hard on me, so I tend to go light because the web is light. (Also because a lot of dark mode stuff tends to be crazy low contrast.) I do however use dark mode when reading in bed and w
340.
by dunham 3y ago
TIL that ublock lets you inject CSS. I've been using tampermonkey for that (most recently to fix the mspace tags on ncatlab.org).
341.
by dunham 3y ago
I think I was mainly upset that it was using a bunch of upstream bandwidth (if I remember right, it kept going while idle), possibly also didn't like the disk space that it was using for caching. Nothing important. Arguably a web appli
342.
by dunham 3y ago
Yeah, I switched to the web version of outlook when I noticed (via little snitch) that the desktop app was sending 100's of MB upstream. No idea why it'd need to send much of anything in that direction.
343.
by dunham 3y ago
> You can't legally enter an intersection (advance past the stopping line if present) until you are clear to perform your transit of the intersection. Yeah, I've seen tickets written for this in Emeryville, CA for cars that ent
344.
by dunham 3y ago
For me it was perfectly willing to: "produce fake technical language in the style of star trek"
345.
by dunham 3y ago
I see. Coincidentally, my experience with windows mostly falls into that range of dates. (Actually goes back to the 80's, and ends around 2003.)
346.
by dunham 3y ago
Microsoft is not my favorite company, but one thing that has stood out to me is that they really value backwards compatibility in general. I see Microsoft bending over backwards to support old third party apps that rely on API bugs or ancie
347.
by dunham 3y ago
I recall reading that the French Laundry and Per Se restaurants did this too. They had video conferencing set up between kitchens on opposite coasts.
348.
by dunham 3y ago
That is interesting - I bought KOTOR 2 a couple years ago for my kid and ended up having to get a refund it because it didn't run at all (on intel). It just wedged when I clicked play. No response from Aspyr, so I'd assumed they a
349.
by dunham 3y ago
Although, as a casual gamer, I'd like to be able to run the games that I bought in the Apple App Store on my Mac. (e.g. "DeathSpank", a fun spoof of action RPGs, is 32-bit, so it's now unplayable.) I've used crossov
350.
by dunham 3y ago
Guessing what they mean by show codes on cursor. Showing markdown around the cursor is now in Obsidian, but previously it was in Typora, FoldingText, and a circa 2016 web app called "usecanvas": https://github.com/
351.
by dunham 3y ago
How about pre-iphone cell phones? It's been a while, but I remember them having specularly bad UI and cheering Apple's entry on that point alone.
352.
by dunham 3y ago
I think this essentially happened with XEmacs. It's been a while (since the 90's), but I recall that they had a different architecture and more advanced font support. I believe the latter was folded back into Emacs eventually.
353.
by dunham 3y ago
Lean4 manages to pull off changing the parser on the fly at compile time. You can add new productions, add new syntax node types, and add new tokens. Then define macros or code to process the additional syntax. Here is a sample I found that
354.
by dunham 3y ago
Wow, I asked Bard to summarize the NYT article and it completely changed the outcome: > Sure. The article is about a man named Roberto Mata who sued Avianca Airlines after he was injured when a metal serving cart struck his knee during a
355.
by dunham 3y ago
Yeah, the kid thing especially. (Mine likes Octonauts and Ada Twist.)
356.
by dunham 3y ago
We always saved ours and returned them when I was a kid in Michigan - they were about 10 cents each and were returned to the grocery store where you bought it. I also remember we once had a teacher in high school tell us he made $1000 picki
357.
by dunham 3y ago
I think you can make it happen with a small amount of onions, but you have to watch it like a hawk, stir constantly, and add a small amount of water whenever it starts to go too far.
358.
by dunham 3y ago
I agree on the temperature thing, but also there are some flavor compounds that are fat soluble and not water soluble.
359.
by dunham 3y ago
I had one case, with the same SQL server, where rewriting to a join made the query much faster. That was a data changing statement though, and I think the semantics demanded it rerun the subselect. More recently, I've found that mysql
360.
by dunham 3y ago
The MacOS app store has some sandboxing. For example, applications installed from the store can't access any file or directory unless a user has selected it in a file dialog. (The app can hold onto a ticket for later access.) I'v

More ›