(no subject)

Jul. 25th, 2017 10:20 pm
jeliza: custom avatar by hexdraws (Default)
[personal profile] jeliza
 The cat is getting increasingly irritated I am up past my bedtime (i.e. her getting pets while sitting next to my pillow time) and now I am doing this complex guessing game of how far I get get assembling this album before she gets annoyed enough to jump up on it and damage it. (it has to be overnighted to Boston tomorrow, so that would be REALLY BAD. Also not getting it ready in time would be really bad, so....)

She may be old (18, we think) and grumpy and possibly losing object permanence, but she's still a good jumper.

(no subject)

Jul. 25th, 2017 07:00 pm
jcreed: (Default)
[personal profile] jcreed
William and Sophia were in town, so hung out with them for a bit; met up at the Books Kinokuniya next to Bryant park, which I'd never been to before. Caught up on Saga --- well, at least up to where the trade paperbacks have gotten up to, by buying vols. 6 and 7. Had lunch in a nice little anonymous parklet between 45th and 46th streets.

a signage mystery

Jul. 25th, 2017 03:00 pm
cellio: (sleepy-cat)
[personal profile] cellio

I-376, like many other highways, has those overhead digital signs that somebody updates with topical messages like "accident, right lane closed 1 mi" or "stadium parking exit 72A" or, when they've got nothing better to say, "buckle up -- it's the law". There are two of these signs on my commute that, in their default states, say "distance to downtown: N mi, M min". Which, while usually not especially helpful to me (I live five miles from downtown), is still more useful to me than seatbelt nags. (I always use seatbelts.)

This morning, while stopped in traffic near Oakland, I saw one of those signs update from "4 mi, 5 min" to "4 mi, 6 min". That was less inaccurate, but far from accurate -- I reached downtown about 25 minutes later. (This is all very unusual; two of three lanes were closed due to a bad accident. My commute is sometimes slow, but I don't remember the last time I was in stopped morning traffic.)

It got me wondering -- do the indicators on those signs update automatically based on sensor data or are they human-controlled? The fact that an update happened but didn't jump to a more-appropriate number makes me think that we're dealing with an automated system that only bumps one unit at a time. (I would hope that a human would have updated it to warn about the accident.)

Why would it be designed to only increment in single units? Or is it a bug? What are the inputs to these signs, anyway?

End of an era

Jul. 25th, 2017 02:07 pm
forgotten_aria: (Cree Dance)
[personal profile] forgotten_aria
On Friday my world of warcraft account will lapse for the first time since November 2004, shortly after this post. a little over 12 years of playing the same video game. I had already started to fatigue, only logging into to do the group content, and then my group fell apart. I'm trying to figure out if there's anything I really want to do before my account stops. And really, I might like to poke at the chromie stuff, but I'm just super bored with WoW, which is understandable.

A few years back they sent statues to anyone who had had an account, continuously, since launch, so I'm putting myself out of the running for the 20th anniversary statue. ;)

This is unlikely to give me any more free time to play other things, since Overwatch is already taking up more video game time than I would really like in my life. I've been putting off making music and other things because of various other priorities. I'm hoping I can find a good balance soon.

Due to a personality conflict, I have to pull more out of taiko again. That's also feeling like a good thing. Hopefully when the dust settles I can make an effort to do the "hard" things of making music videos and putting myself out there again.

I also haven't been to School of Honk since January and miss that (and some of the fun gigs, like the Georges island gig.)

(no subject)

Jul. 24th, 2017 09:20 pm
jcreed: (Default)
[personal profile] jcreed
Overslept, read some category theory papers, didn't do a whole lot else productive.

(no subject)

Jul. 23rd, 2017 01:14 pm
jcreed: (Default)
[personal profile] jcreed
Futzed around with learning the blender python API for most of the day.

I notice a tension between having an api that seems to fit the user interface in a nice way --- like, to be good at cleanly automating UI actions that you would be doing anyway as a person --- versus having an api that makes sense for programming, where you get good, uniform, and ideally functional access to the data structures that you care about.

Blender's seems very heavily biased towards the former. I found myself having to do weird imperative sequences of things as if I was doing a sequence of UI operations; select this, select that, make this active, perform this argumentless operation on whatever happens to be selected, etc. Not really a fan.

but eventually succeeded at making a nice minimal animation that has existed in my head for years and years as a kind of... spatio-cognitive tic. Not sure how else to describe it.
jeliza: custom avatar by hexdraws (Default)
[personal profile] jeliza
The external drive that has all my photography on it has gone walkabout, and the cloud backup expires after a month, so I have been downloading the entire drive from backblaze to a new one.  In the process of checking file integrity, it has become obvious that I have massive quantities of reasonably salable photography I've never properly processed and sent up to the stock agency -- particularly from every trip I've taken since, um, 2010? Possibly earlier, 2007-2009 are still downloading, and I do know that the 2006 had a lot of stuff that went up. This is linked to the not getting a payment of any size from my agency for a couple years.  The glorious thing about stock, though, is the "set it and forget it". Once it's up there, I don't have to do any promotion or printing or anything and then sometimes checks float in.  (My favorite, though not particularly lucrative, sale was at some point a British newspaper used a small pic of Olivia in her stroller at the SPAM Museum.)

And while I do not consider landscape photography to be a strength, I clearly can make salable images, possibly because I was mostly shooting with an eye to using things in my own composites so maybe they are adaptable to graphic designers uses better than the spectacular "frame and put on your wall" landscape photography I only rarely achieve.

I have three rush and two normal album clients right now (!) after having almost none for months which is both nice and really ill-timed.  At least I'm done with big shows for a couple of months, because one of the rush jobs is only in rush now because I didn't have enough brain while in 5 shows in 6 weeks mode and messed a bunch of stuff up. (Okay, technically Confluence is next weekend, but I had to mail it out over a week ago, so it counts as "done" from my perspective.)

Of course, finding time to actually process is not easy, but during the times where I start having a panic attack in front the computer and get trapped in obsessively refreshing twitter and LJ, if I can make myself do that instead it would be an improvement.

(no subject)

Jul. 20th, 2017 06:22 pm
jcreed: (Default)
[personal profile] jcreed
Took the train back home. It was a bit annoyingly delayed due to a freight train ahead of us, which meant that I got back in the middle of rush hour instead of an hour before, so the MTA trains in turn were pretty fucked, so I had a long, hot walk back home from the train station about 4 stops away that I decided to give up from.

daf bit: Sanhedrin 2

Jul. 20th, 2017 08:55 am
cellio: (talmud)
[personal profile] cellio

We begin a new tractate, Sanhedrin, which discusses court cases. Unlike in many secular court systems, the judges are active participants (they're the ones who question witnesses) and the ultimate decisors; there are no lawyers or juries.

A court is made up of some number of judges, depending on the type of case (at least 3, sometimes 23 or 71 or occasionally other numbers). Here are some of the cases listed in the first mishna of the tractate (this is not a complete list):

  • Various types of monetary damages are judged by three.

  • Rape, seduction, and libel require three according to R' Meir, but the sages say libel requires 23 because it could involve a capital charge. (A note suggests this comes up with adultery but doesn't connect the dots. Also, rape and seduction can involve capital charges too, so I don't know why they only call out libel. Perhaps it's addressed later in the g'mara.)

  • Capital cases, as implied in the previous bullet, require 23.

  • Cases for which the punishment is flogging require three, but according to R' Yishmael, 23.

  • Calendar decisions (witnessing the new moon, adding a leap month) are judged by three, though R' Shimon b. Gamaliel describes a more complicated scheme.

  • A tribe charged with idolatry, a false prophet, and a high priest can be tried only by a court of 71.

  • The following require 71: authorizing wars of free choice, adding to the temple courtyards, establishing small sanhedrins (of 23) for the tribes, condemning a city, condemning frontier towns.

Why is a great sanhedrin 71? Because Moshe was commanded to gather 70 (other) men. And why is a small sanhedrin 23? It's complicated. (I don't completely follow their math, sorry.)

This is all from 2a. The mishna continues onto 2b before the g'mara starts there.

(Today's daf is 4.)

laurel: Picture of Laurel with Garibaldi cardboard standup (Default)
[personal profile] laurel
I confess, I hadn't a clue Postmates was a thing until a couplefew months ago. Maybe you aren't familiar with it either.

Basically it's a service where people will deliver things to you. From restaurants to stores, all sorts of places. Fast food! If you've occasionally wished Dairy Queen would deliver, this might be the thing for you (though how well it works may depend on how close the DQ is and how hot it is outside and what you order). The service is available in a bunch of cities, check their website to see if it'll work near you.

Lots of places have menus available in the app (I sometimes wind up checking out the restaurants own websites for more detail if I'm not already familiar with the place). Stores might have a list of frequently purchased items with prices (I know Apple Stores do). You can also request items that aren't listed. Or have them get things from places that don't have such details in their system. I've always just purchased things that were listed so I'm not sure how well it works if you go rogue. ;-p I've had good luck with delivery people for the most part.

When I first used it, it was with a credit worth $100 of delivery fees for a week. So I was able to get things without paying for delivery so stuff just cost what they would at the restaurant/store + whatever I tipped the delivery person. Not a bad deal. That week I went a bit wild and got lunch from various fast food joints most days and that was novel. We're pinching pennies so it's hard for me to justify this when there is a delivery fee, though they do have a limited number of places where there's a set delivery fee that's cheaper than usual. Plus they seem to run deals fairly often where you get free delivery.

When that Unicorn drink was A Thing I remember seeing people using Postmates to get the beverage so they weren't the ones waiting in line but instead it was a Postmates person (one hopes they tipped well if it took a while).

Anyway. I'm mentioning it in case you want to get in on one of those $100 in delivery fee credit for 7 days deals. Use my referrer code of "FZYD2" to get that deal (I'll get a delivery fee credit of up to $10 after your first order). They've been warning me that this deal isn't gonna last much longer, thus my mentioning it. (Sneaky, Postmates. I bet they offer yet another referral deal after this one expires, no idea if it will be better or worse.)

almost helpful

Jul. 18th, 2017 08:52 pm
cellio: (house)
[personal profile] cellio

My (Android) phone alerts me when traffic is bad near me. This can be handy at the end of the day because I work downtown. Except... it's telling me about traffic on roads I don't use to get home. Sure, there's spillover so it's not unhelpful, but it'd be great if I could tell it -- maybe by gesturing on a map -- what paths I care about, so it could tell me about those ones.

Does anybody reading this know of an app that does that, or a way to get Google Maps to do it? It needs to be fire and forget; I don't want to have to open the map app to look for red lines on it.

It feels like all the information is already there, if only my phone were making use of it.

(This would also let me know before I leave in the morning if traffic is still bad at the other end. At that time I don't really need extra information about traffic near my house; I need it 3-5 miles away.)

(no subject)

Jul. 17th, 2017 05:49 pm
jcreed: (Default)
[personal profile] jcreed
On a train to pittsburgh.

My self-imposed agda-exercise for the train trip was to prove that assuming polymorphic functions
f : {C : Set} → (A → C) → (B → C) have the free theorem you expect them to from parametricity (namely (g : A → C1) (k : C1 → C2) → k ∘ (f g) == f (k ∘ g)) then

((C : Set) → (A → C) ≃ (B → C)) ≃ (B ≃ A)


Interestingly, it was very easy to show

((C : Set) → (A → C) → (B → C)) ≃ (B → A)


and only mildly more challenging to show

((C : Set) → (A → C) ≃ (B → C)) → (B ≃ A)


but the equivalence-of-equivalences was pretty tricky. I succeeded with a few hours to spare, though! I did it by separating out the functions from the is-equiv property they satisfied, and taking advantage of the mere-proposition-ness of is-equiv.

Huh, and I didn't even need univalence, it looks like. Except for using function extensionality all over the place --- but as we all learned in HoTT kindergarten, that follows from the existence of an interval type also.
laurel: Picture of Laurel with Garibaldi cardboard standup (Default)
[personal profile] laurel
Saw some press coverage about the forthcoming A Wrinkle In Time movie and Chris Pine is once again having to answer questions on what it's like working with a female director and with a cast with more women than men. He's good at fielding these questions, especially having just done the Wonder Woman press tour, but seriously I'm so very tired just watching a few of these interviews. Astounding that it would be at all shocking to anyone in 2017 that he's in two movies in a row directed by women and yet that's unfortunately how the world is. (And OMG if interviewers start making it all about him and his role again as some tried with Wonder Woman I'll just scream but then of course they will. He got good at handling that nonsense with Wonder Woman but honestly.)





(no subject)

Jul. 15th, 2017 08:41 pm
jcreed: (Default)
[personal profile] jcreed
17776 ended today. Sad, but nice to have a contained little story instead of a sprawling Joycean glorious mess like Homestuck.

(no subject)

Jul. 14th, 2017 08:49 am
jcreed: (Default)
[personal profile] jcreed
Having severe problems getting about 30G of files onto this hard drive without rsync slowing to a crawl at some point during the transfer and basically locking up my machine. Hard to tell whether is hardware or OS problem; trying to format it ext3 or ext4 *now* seems to take forever, although I swear I succeeded at an ext4 format once.

(no subject)

Jul. 13th, 2017 08:47 am
jcreed: (Default)
[personal profile] jcreed
Popped over to B&G to get a new mouse (my favored years-and-years-old one is finally having debouncing failures and registering double-clicks when I single click about 20% of the time) and an external hard drive for making backups.

July 2017

S M T W T F S
      1
2345678
91011121314 15
16171819202122
23242526272829
3031