dunham

16 ms·

181.
by dunham 2y ago
I was clearing out Dropbox when I moved away from it, and it _wouldn't_ let me delete my copy of `tex.web`, because it thought it was some sort of special dropbox file. (It was the source to TeX.)
182.
by dunham 2y ago
heptagon is not "constructable", but it's easy to draw. I played around with this back in college. You're looking for a line that is 2*sin(π/7) of the radius. That's 0.86777. The square of that is 0.7530, which
183.
by dunham 2y ago
I'm working on a toy language (in the US), and I'm 1/8th Danish.
184.
by dunham 2y ago
Back in the 80's a friend of mine had a system for launching model rockets built out of power cords - a extension cord with multiple outlets for distribution, and power cords with microclips on one end to hook to the rockets. And of c
185.
by dunham 2y ago
I haven't had taco bell in a couple of decades, but I used to have issues with the beef shortly after eating there (so probably not bacteria) but no issues with chicken. I suspect my body was not used to the grease, and that taco bell
186.
by dunham 2y ago
It looks like that's a newer interpretation than the original: > As such, some people may now refer to this directory as meaning 'User System Resources' and not 'user' as was originally intended. https:/&#x
187.
by dunham 2y ago
It's a trick question, you put blue cheese on a burger.
188.
by dunham 2y ago
"secure shellfish" has some support for images, movies, etc. I'm not sure what they're using for transfer. If you ask it to, it installs ".shellfishrc" which adds a "quicklook" shell command. It also
189.
by dunham 2y ago
Yeah, I don't usually use vim for coding, but tmux+vim is my weapon of choice on iPhone. I don't think I could manage vscode or emacs without a proper keyboard. I've gotten usable sessions doing Lean or Agda programming that
190.
by dunham 2y ago
I've done this a few times over the years (and occasionally printed another copy when I made a mistake). Lots of fun. I wish there were more like it.
191.
by dunham 2y ago
Not that I know of. That isn't part of my use cases, but I see now that the fastmail feature is doing something like that.
192.
by dunham 2y ago
It looks like they're running `webcrack` to deobfuscate/unminify and then asking the LLM for better variable names.
193.
by dunham 2y ago
Apple also does this with their "Notes" app and IMAP servers. (You have to turn on "Notes" for that service in the "Internet Accounts" settings panel.) It looks like I still have some notes in Fastmail from tes
194.
by dunham 2y ago
The mapping from year, month, day that I use (based on the Wikipedia page, but starting on march 1, 1600) doesn't take that gap into account. So the days in that gap exist for me, but we don't deal with dates that far back.
195.
by dunham 2y ago
We hit this with the US timezone change in 2005. The front-end devs were using moment.js which didn't know about the previous start/end dates. These days I try to encode everything that is logically a date as yyyy-mm-dd. And if
196.
by dunham 2y ago
In addition to not having to pay out at the end of employment, they also do the "unlimited vacation" thing to reduce the liability of unpaid PTO on the books. When our revenue was hit hard in the early days of covid, the company I
197.
by dunham 2y ago
We bailed for seattle because we could get a bigger house and have a better school situation. We did enjoy living on the border between the mission and noe valley before that though.
198.
by dunham 2y ago
It's not quite a preview, but back in the 90's there was something called sym-lock.el that would render TeX escape sequences as the corresponding symbol. I have no idea if it still works, but Google points me here: https:&#x2F
199.
by dunham 2y ago
Nice. Last November I wrote a implementation of a type checker for the STLC in typescript using mogensen-scott encoding. The idea is that data is represented by its eliminator, so you kind of get pattern matching in javascript. I had been
200.
by dunham 2y ago
Good to know it can be done with a food saver. I have the book on my shelf, but never got around to reading it. I've used a ziplock of water as a fermentation weight. I didn't know I could use a chamber sealer, and I have one (th
201.
by dunham 2y ago
I also disagree with their lack of oxford comma. :) I did lacto once because I had a bunch of habanero from the farmers market and wanted something that could sit around for a while. But I usually don't plan ahead, so typically it&#x27
202.
by dunham 2y ago
Yeah, my kid is happily using my old 2012 iMac. (I did replace the hard drive with a SSD). I've also got a 2017 Macbook pro that nobody is using at the moment, but they're happy with the iMac.
203.
by dunham 2y ago
I had baby Rudin for my undergrad class (I don't remember which book I had in grad school), and I kept that one when I downsized my book collection in case I want to refresh my memory someday. At the time, I was more interested in alge
204.
by dunham 2y ago
If anyone is interested in how this works, I've found András Kovács' "Elaboration Zoo" to be a good tutorial: https://github.com/AndrasKovacs/elaboration-zoo It incrementally covers normalization by
205.
by dunham 2y ago
>"My favorite is always the Billion-Dollar Mistake of having null in the language. And since JavaScript has both null and undefined, it's the Two-Billion-Dollar Mistake." -Anders Hejlsberg Assuming these mistakes are addit
206.
by dunham 2y ago
I'm curious whether the open plan offices are just to look pretty or if that layout actually works for the people (interior designers) who design them.
207.
by dunham 2y ago
Amazon does this. One of the parents at my kid's bus stop in Seattle works for them and has to go in three days a week. Her entire team is in D.C., so nobody she works with is in the office.
208.
by dunham 2y ago
I believe lua is often used in this role these days. I've gotten the impression that it is light and easy to integrate, but I haven't tried it myself.
209.
by dunham 2y ago
And you have to use kosher salt by weight too, because Morton's is twice as dense as Diamond. (see https://www.kingarthurbaking.com/learn/ingredient-weight-cha... )
210.
by dunham 2y ago
It's not a thesis, but one of my favorite acknowledgements is from Bob Atkey's paper on quantitative type theory (which assigns quantities of 0, 1, or ω to types): > This work is dedicated to Orwell the dog. Orwell was a good d

More ›