Lasagna

There are now tons of meal kit delivery services out there: Blue Apron, Green Chef, Hello Fresh, Plated, Munchery, Terra’s Kitchen, Fresh Direct, Peach Dish, Chef’d, Takeout Kit, Purple Carrot, and probably more, but despite the variety on offer, few of their menu items are appetizing to me.

A selection from this week’s menu: Khao Soi Burmese Curry Noodles? Rainbow quinoa with pickled red beets and crispy bay-spiced sole? Corn and summer squash risotto with basil and gruyere cheese? Wild swordfish with chimichurri, butternut squash and roasted vegetables? Coconut jasmine rice with fried plantains and corn pico de gallo? Sheet pan-roasted chicken with lemon-arugula potato salad? Beef and eggplant stir-fry with roasted shishito peppers? Soba noodles with snow peas and marinated enoki mushrooms? Chickpea-powered Mediterranean couscous with zucchini and heirloom grape tomatoes?

Some (apparently quite a few) people find this type of variety perfect for their lifestyle. I prefer simple: Meatloaf. Sloppy joe’s. Mac & cheese. Pepperoni pizza. There’s no “with quinoa and arugula tahini and açai zucchini sauce” or any of that nonsense. There’s rarely a “with” involved at all, save perhaps a bit of salt and pepper to taste. Now, I also might be willing to go a bit more adventurous on a few things, like the lemon-herb salmon with Greek feta rice, but—problem—this serves two. I highly doubt I could get my wife to eat it. She’s quite satisfied with a grilled cheese sandwich, or even peanut butter and jelly, with a handful of potato chips and a bottle of water.

My life may be getting a bit more complicated. As of this writing I am…let’s just say overweight, but willing to do something about it. Going to a restaurant where the average item is 1200 calories for the entree (with unlimited french fries) certainly doesn’t help matters, even if it is an occasional thing. My wife is wont to box half of it up and eat it the next day. I’ll eat it all. If I were to box it up, it would be in the refrigerator for 1–3 weeks before winding up in the trash anyway.

What I’d love to see is a meal delivery service that caters to people who are, perhaps, less adventurous, with more of a pick-and-choose ideal, along with recipes for one. I’d be more willing and able to expand my palate if my wife can stick with a can of soup. And make the ingredients such that they’ll survive an extra day or two in the fridge, or so that they can be frozen (with appropriate defrosting instructions) because life happens, and schedules change at the last minute. Some people might think a particular dish sounds great, if they just left out the mushrooms. No opting out as it stands, they go in the trash can when they arrive. How about options for the true novice, who wants to practice in the kitchen. They’re in the “how to boil water” category, not the “stir-fry the chicken with the quinoa and shallots” (“What’s quinoa?” “What’s a shallot?” How do I stir-fry something?” “How do I know when it’s done?”) category. Some people have a rice cooker and garlic press, most probably don’t. Some people have an oven, some only have a crock-pot, or even just a hot-plate and/or microwave. These people are left out.

And another thing! These meal kit delivery services, even though most have their own gimmicks, pretty much all go “wild-caught”, “GMO-free”, “certified organic”, “no antibiotics ever” with their ingredients. I call BS. Stuff your “wild-caught” and go for sustainable. Fuck that “GMO-free” and use what’s reasonable. Those promoting “certified organic” are certifiable. While I agree that antibiotics shouldn’t be misused with livestock, “no antibiotics ever” mean that if any animal gets sick, it may as well be killed and left to rot (away from the herd) because it’s of no use to the farmer. If it can be returned to health with appropriate use of antibiotics, put it back with the herd, no problems.

Don’t

Just going to throw some music recommendations out there. As usual, they aren’t for everyone, but there recent discoveries I’ve made through various places. I’ll add more later, but my headphone battery was low, so I stopped here.

  • Garbage (reminded of this band by Claudia and Claire Donovan on Warehouse 13) – alt-rock/punk
  • Quiet Company (a blog post introduced me to this band and their album, “We Are All Where We Belong”) – folk rock
  • Larkin Poe (from a different blog post: “Rebecca and Megan Lovell are sisters, and they claim descent from Edgar Allan Poe.”) – southern rock/blues
  • Jukebox the Ghost (suggested by Google Play Music)

Peter Percival Patterson’s Pet Pig Porky

π! I can rattle off 36 significant figures on demand, but how accurate do you really need to be? The JPL uses 15 digits for interplanetary navigation. What is needed, though?

Let’s start with a 1 m diameter circle, and add successive digits to the approximation. How many digits before you’re being absurd? I’ll give a definition of absurd, too: a difference in the circumference of less than the Planck length, approximately \(\LARGE{1.616229(38)\times10^{-35} {\rm m}}\)

  • For 1 m, the answer is fairly obvious: 36 significant figures
  • For d, 43 significant figures are needed
  • For the distance from the sun to Voyager 1, ~141 AU at time of writing, just 49 significant figures
  • For the Solar System, out to the distance where we believe the Oort cloud ends, ~100000 AU (i.e., the edge of the solar system), 53 significant figures
  • For the size of our observable universe, roughly 93000000000 light years, 63 is enough

What if the Bohr radius (approximate size of a hydrogen atom) was our standard, at \(\LARGE{5.2917721067(12)\times10^{-11}{\rm m}}\)? For the size of the observable universe, we only need 36 figures. Handily, that’s what I know! How much would one need for a circle the size of the orbit of Neptune? 23 digits.

So how accurate is JPL if they were measuring the circumference of a circle at the orbit of Neptune? They could be off by as much as a centimeter! Which, assuming appropriate feedback systems, isn’t going to be anything near significant.

How many do we know? 22459157718361 digits. Why? As George Leigh-Mallory put it, “Because it’s there”.

Who Are You

There seems to be a dearth of articles on setting up full-fledged “automatic” user registration systems for Django 2.0. Yes, there’s documentation, but there’s a lot to wade through, and it’s far from a step-by-step guide, which is what this aspires to be.

The problem for developing many web applications using Django is that adding a user requires logging in through the admin interface to do so. For smaller groups, say, 20 or so, this might be manageable, though annoying. If you develop for deployment to a wide audience, say the entire English speaking world, you don’t want people to email you requests all the time to be added so they can do whatever in your app.

I’ll be assuming that you have a passing familiarity with Django, and have made it through the tutorial and polls app. I’m also assuming that this is among the first things you’re setting up, and you won’t mind blowing away any data you have, because that’s the simplest way to do things in Step 3.

Step 1: Settings

You can customize these as your needs dictate, but here’s a bunch more things to add to your mysite.settings:

Step 2: Some Templates

The next thing we want to do is make a bunch of templates. It’s a tad backward from how Django is normally developed, but trust me. As always, customize as you wish.

In your templates directory, create a “registration” subdirectory. All these templates will live in there.

Play around with the workflow regarding resetting passwords with your superuser, and make sure all these parts play together. If you want to try the same thing with a “regular” user (there won’t be a visible difference unless you make one in the templates), add one through the admin interface.

Step 3: Altering the User model

Personally, I prefer websites that ask me to log in using my email address. On the wider Internet, it’s guaranteed to be unique so I don’t have to come up with a username like james53401, and I won’t have to remember if I used james53401 on this website or james2557 instead. Yes, I have a password manager that does most of that heavy lifting, but that’s still something that annoys me.

Anyway, the first thing to do would be change the user model to accept an email address instead of a username for login. Easier said than done, though. We get to create a brand new model! You can create an app specifically for the user ( ./manage.py startapp testuser, which I will assume below) or add the model to an existing app, that’s up to you. Either way, the app will need to be added to the INSTALLED_APPS list in mysite.settings. Also, you’ll need to add this to mysite.settings:

Then,

Now, we delete everything. If you’re using a MySQL, PostgreSQL, etc. type database, drop all tables. If you’re using sqlite3, delete the database file. Delete all migrations folders from the apps. We “get” to start over.

Now run the following:

If you run your server now and go to the login page, there’s still no way to create a user. Let’s fix that.

Step 4: Adding Registration

Add the following to the appropriate views.py:

And this to your urls.py:

Nearly there!

Step 5: Verifying the Email Address

I’ve also found in my long years trawling the Internet that verifying email addresses is a necessity. I’ve wound up on a mailing list for a travel agency in South Africa, a Botox clinic in Chicago, a Mazda dealership in Texas, and a home remodelling firm in Denver, associated with people named Johann, Joni, Jacci, and others. Instagram was nice enough to send me an e-mail a few dozen times when a Jessica attempted to use my email address to sign up for an account (to the point where I signed up for one just to stop the emails). But to avoid being a bad apple, let’s add in a way to verify the person signed up for an account intentionally, and entered the right email address.

The way we’ll do this is to not allow the user to set a password until they have verified the email address. This sounds a lot like resetting a password, right? So we’ll take advantage of that.

First thing, change UserCreationForm to the following:

At the moment, it’ll automatically pop the user to the login form, where they can click “Forgot password?” and get a link that way, but we’ll try to streamline that.

Subdivisions

So a Gaussian integer is simply a complex number with real and imaginary parts that are both integers, i.e. \(\LARGE{{\mathbb Z}[i]=\left\{ a + bi\ |\ a,b \in {\mathbb Z}\right\}}\). It has a “norm”, which is the square of its absolute value, so \(\LARGE{\left|a+bi\right|^2=a^2+b^2}\). The “units” of Gaussian integers are \(\LARGE{1, -1, i, -i}\). Nothing new.

I’m trying to understand Gaussian primes, and am finding a dearth of information out there. I find that, for instance, Gaussian primes include the Gaussian units multiplied by primes if and only if it is congruent to \(\LARGE{3\mod4}\). Why? This is not explained. Here’s my investigation into this and other questions.

It seems fairly intuitive that a Gaussian prime can be a prime number multiplied by a Gaussian unit, e.g. \(\LARGE{(2,3,5,7,11…)\times(\pm1,\pm i)}\). But \(\LARGE{2}\) (and, by extension, \(\LARGE{-2}\), \(\LARGE{2i}\), and \(\LARGE{-2i}\), are not. What’s the deal?

Well, a prime cannot be factored in the domain of its definition. Since we’re dealing with Gaussian integers, \(\LARGE{2}\) must have a factorization within those Gaussian integers. What could that  be?Turns out, \(\LARGE{(1+i)(1-i)=1^2+i-i-i^2=1+1=2}\). That’s of course a special case.

What about 5, 13, 17, 29, etc.? There must be factorizations within Gaussian integers for these. Because we’re dealing with complex integers, if you multiply conjugates, you can add a 1 pretty easily. 5 is 4+1, or \(\LARGE{2^2-i^2}\), therefore \(\LARGE{(2+i)(2-i)=2^2+i-i-i^2=4-(-1)=5}\). We have to get slightly more creative with 13: \(\LARGE{(3+2i)(3-2i)=3^2+2i-2i-(2i)^2=9-(-4)=13}\). \(\LARGE{17=4^2+1}\), which, as mentioned, is simple. \(\LARGE{29=5^2+4}\). 37 is easy. 41? Trickier, but we’re still talking sums of squares: 25+16=41. 53=49+4; 61=25+36; 73=9+64; 89=25+64; 97=16+81. Turns out, you can do this for any prime that is congruent to \(\LARGE{1\mod4}\). Fermat even had one of his famous unproven theorems stating so. It was proven as early as 1747. I won’t pretend to understand those proofs yet, but I will accept that this is true. The one that I understand best is the one explained in this video, and was originally stated in a single sentence by Zagier.

But wait! Our factorizations aren’t unique! What if we went with \(\LARGE{(1-2i)(1+2i)=1^2-2i+2i-(2i)^2=1+4=5}\)? This factorization is the same as multiplying each term in the original factorization shown by \(\LARGE{i}\), which, as previously discussed, is a unit. Likewise, one can factor \(\LARGE{6}\) into \(\LARGE{2}\) and \(\LARGE{3}\) or into \(\LARGE{-2}\) and \(\LARGE{-3}\), and these aren’t (typically) considered unique factorizations.

A way to deal with this is to “normalize” one’s choices. The two suggested methods I’ve found are to choose \(\LARGE{p=a+bi}\) such that \(\LARGE{a}\) is always odd and positive and \(\LARGE{b}\) is always even, or to choose \(\LARGE{p}\) such that \(\LARGE{p\mod(2+2i)=i}\).

Even so, coming up with factorizations is cumbersome and perhaps the simplest thing to do is multiply the integers together and find the gaps to get the primes; an analog of the Sieve of Eratosthenes for Gaussian integers. Thus, we have the following:

Units:

  • \(\LARGE{\pm1,\pm i}\)

Primes:

  • \(\LARGE{1+i}\)
  • \(\LARGE{1+2i}\)
  • \(\LARGE{1+4i}\)
  • \(\LARGE{2+i}\)
  • \(\LARGE{2+3i}\)
  • \(\LARGE{2+5i}\)
  • \(\LARGE{3}\)
  • \(\LARGE{3+2i}\)

All the results from multiplying the units by the primes can also be considered prime.

Because of the above, a Gaussian prime \(\LARGE{a+bi}\) fits one of the following scenarios:

  • \(\LARGE{a=0}\), and \(\LARGE{b\equiv3\mod4}\)
  • \(\LARGE{b=0}\), and \(\LARGE{a\equiv3\mod4}\)
  • \(\LARGE{a^2+b^2}\) is prime

See this video for more. I hope he puts together one on Fermat’s theorem on sums of two squares at some point.

Hot Stuff

With Donald Trump officially announcing the US withdrawal from the Paris Climate Agreement, I feel compelled to write a post about climate change. I do find it amusing that the earliest possible effective date of the US withdrawal is a day after the 2020 election, but Donald Trump (presumably) will be president until 20 January 2021.

Anyway, brass tacks.

Anthropogenic Global Warming Is Real

I know few who deny anymore that global warming is happening (people like this guy are obvious exceptions). The possibility was raised in 1824. Humans were producing, in 1896, as much CO2 as natural sources (e.g. volcanoes), but the same scientist who calculated this concluded that humans were, through the burning of coal, a major contributor to climate change, and in the global warming direction.

Numerous scientists began to postulate as to why the temperature of the globe seemed to be increasing, even early in the 20th century. Sunspot cycles were proposed in the 20s, but rejected by most scientists by the 30s. Milanković proposed changes in the Earth’s orbit, but these cycles were determined to be far too slow to be the major contributor to what was observed at the time.

I will note that it wasn’t until the late 50s that a majority of scientists in the field were concerned about potentially “radical” effects on the climate. While in 1968, some remained unsure whether moderate cooling effects of particulate pollution (smog) or the warming effects of CO2 emissions would dominate, a mere seven out of 51 articles published around that time predicted global cooling—the rest sided with the warming hypothesis.

1981 seems to mark the turning point where an overwhelming majority of scientists agreed with the idea that, not only was the globe warming, but that humans were the primary cause of that warming.

ExxonMobil has a nice list of documents and publications from the 70s and 80s indicating that they were/are aware of the warming impact of CO2 release. And here’s 104 more publications they contributed to. Every last one of them says increasing atmospheric carbon dioxide is causing global warming, and that humans burning fossil fuels are causing the increase in atmospheric carbon dioxide (to be fully honest, I have only read a few of these, but it gives me some confidence that I’m not entirely mischaracterizing the tenor of these papers).

I was going to make a nice long essay out of this, but I’ll just stick to saying this: It’s happening, people! Do something about it!

Word Crimes

Microsoft Word has many, many, many failings, but there are usually ways to tame it. Most of them require code. And, as is usual with writing computer programs or scripts, one piece of the puzzle is usually rather picky about one thing or another. In this case, it’s spelling, but I’ll give it a pass for that, and there are some simple workarounds which I’ll leave to the user to figure out.

Today’s conundrum: how to create a sequence, then programmatically create hyperlinked references to that sequence. Let’s pretend you want a sequence that progresses like this (and we’ll keep it simple for now):

  • Foo 00001
  • Foo 00002
  • Foo 00003
  • (etc)

Problem number 1 is creating this in the first place. If you aren’t familiar with the Sequence field code, this will be a basic primer.

In your document, press Ctrl+F9. You’ll see a pair of curly braces and your cursor will be in the middle. Note: you cannot type these curly braces! That won’t work! You must insert them with the Ctrl+F9 hotkey! Next, type  SEQ Bar \# "'Foo '00000"

You’ll see something like this:

{ SEQ Bar \# “‘Foo ‘00000” }

If you press Shift+F9, hopefully you’ll see your first number! We’re calling this sequence “Bar”. This is important—more important than the number formatting.

To get the next number in the sequence, there are a few options. The simplest is to copy this text and paste it elsewhere. When you do so, it’ll still say “Foo 00001”; just press F9 to update it, and it’ll refresh to the appropriate number. A second option is to use the Ctrl+F9 hotkey and retype that whole thing again. If you just use

{ SEQ Bar }

You’ll end up with “5” or whatever the sequence number happens to be at that point in the document.

But! We’re not to a programming stage. This is all well and good, and may be sufficient for many applications, but what happens when you want to reference Foo 00532 at some arbitrary location in the document? The standard answer is, create a Bookmark reference for each and every one of these Foo number sequences, each called, say, “Foo 00001”. This gets tedious really fast. When you’re creating hundreds of these, it’s not at all practical.

What you would like to be able to do, step one, is be able to insert a cross reference to this as a numbered item.

If you insert a cross reference (References tab, Captions group, Cross-reference button; Insert, Reference, Cross-reference… for Word versions prior to 2007), though, you won’t find Foo or Bar anywhere! This is a problem!

If you don’t want to do any coding, you can use the “Insert Caption” button (References tab, Caption group; or Insert, Reference, Caption… prior to 2007). In the dialog that appears, Click “New Label…” and enter “Bar”. Then click close. You don’t need to do anything more here. Now go to insert a cross reference (see previous paragraph), and, voila, “Bar” is in the Reference Type drop-down! And all sequence numbers are in the list below!

But we want to make this easy on everyone, so now we must turn to the blessing and bane of every Word expert’s existence: VBA. Step 1: add the caption label. This turns out to be simple:

And, also, nicely enough, if it already exists, it won’t nag you or call you nasty names. Though, if you want to do it right, you might use one of the following methods:

I prefer the first because it doesn’t rely on VBA’s terrible methods of handling errors.

Anyway, next step! How does one programmatically insert the next item in a sequence into the document? Again, it turns out to be fairly simple:

First, I “collapse” the selection to the beginning. This step is optional; if a bunch of text is selected before running this code, this forces the cursor to go to the beginning of that selection instead, so whatever text is selected doesn’t get overwritten. Second, note that in VBA, doubling up the quotation marks actually inserts them into the field. Third, we don’t have to enter “SEQ”, because wdFieldSequence  does that for us.

 

One last step, to make our macro suite complete. Cross references! But we don’t want to have to go through that whole rigamarole of References tab, Captions group, Cross-reference button every time, especially when the cross reference dialog contains hundreds of the things! Type it out! Type “Foo 00532”, highlight it, and run the following macro:

Be sure to update the appropriate sections (lines 6 and 8, specifically) when you create your named sequence.

I’m sure that this whole thing can be made more generic, but that’s not something I’m up to doing right now, so I’ll leave that as an exercise to the reader.

Some resources to help you out:

Also (and as a separate note), for those interested in making a custom ribbon, you’ll want a reference that shows you what the imageMso values actually look like, and since Microsoft isn’t nice enough to provide one, I finally found someone who is, here.

Box Set

In Python for now, eventually in VBA, I’m trying to come up with a way to test whether or not a particular quantity is appropriately specified with valid units and tolerances. It turns out to be slightly simpler to be (semi-)lenient than extremely strict, so here’s what I have so far:

This will handle quantities with symmetric and asymmetric tolerances are specified, as well as inequalities with units. It doesn’t enforce asymmetric tolerances (the numbers could, theoretically, be the same), and the separators are lazy for now.

The goal is actually to highlight non-conforming quantities so that they can be corrected. I suspect that will be more than a minor challenge.

Guelah Papyrus

If you plot

\(\Huge{\frac{1}{2}<\left\lfloor{{\rm mod}\left({\left\lfloor\frac{y}{17}\right\rfloor2^{-17\lfloor{x}\rfloor-\left({\rm mod}(\lfloor{y}\rfloor,17\right)}},2\right)}\right\rfloor}\),

you get

where

\(\LARGE{\begin{alignat}{1} k = 4\ & 858\ 450\ 636\ 189\ 713\ 423\ 582\ 095\ 962\ 494\ 202\\
& 044\ 581\ 400\ 587\ 983\ 244\ 549\ 483\ 093\ 085\ 061\\
& 934\ 704\ 708\ 809\ 928\ 450\ 644\ 769\ 865\ 524\ 364\\
& 849\ 997\ 247\ 024\ 915\ 119\ 110\ 411\ 605\ 739\ 177\\
& 407\ 856\ 919\ 754\ 326\ 571\ 855\ 442\ 057\ 210\ 445\\
& 735\ 883\ 681\ 829\ 823\ 754\ 139\ 634\ 338\ 225\ 199\\
& 452\ 191\ 651\ 284\ 348\ 332\ 905\ 131\ 193\ 199\ 953\\
& 502\ 413\ 758\ 765\ 239\ 264\ 874\ 613\ 394\ 906\ 870\\
& 130\ 562\ 295\ 813\ 219\ 481\ 113\ 685\ 339\ 535\ 565\\
& 290\ 850\ 023\ 875\ 092\ 856\ 892\ 694\ 555\ 974\ 281\\
& 546\ 386\ 510\ 730\ 049\ 106\ 723\ 058\ 933\ 586\ 052\\
& 544\ 096\ 664\ 351\ 265\ 349\ 363\ 643\ 957\ 125\ 565\\
& 695\ 936\ 815\ 184\ 334\ 857\ 605\ 266\ 940\ 161\ 251\\
& 266\ 951\ 421\ 550\ 539\ 554\ 519\ 153\ 785\ 457\ 525\\
& 756\ 590\ 740\ 540\ 157\ 929\ 001\ 765\ 967\ 965\ 480\\
& 064\ 427\ 829\ 131\ 488\ 548\ 259\ 914\ 721\ 248\ 506\\
& 352\ 686\ 630\ 476\ 300\end{alignat}}\)

Also,

\(\Huge{e\approx\left(1+9^{-4^{6\times7}}\right)^{3^{2^{85}}}}\)

It’s accurate to \(\LARGE{\left\lfloor\log_{10}\left(3^{2^{85}}\right)+1\right\rfloor=18\ 457\ 734\ 525\ 360\ 901\ 453\ 873\ 570}\) digits!

Lastly (though I have mentioned this before),

$$\Huge{\sum_{n=1}^{\infty}{n}=1+2+3+4+\cdots=-\frac{1}{12}}$$

as explained here and here and here.

Custard Pie

Happy π Day!