I started a new job about 4 months ago. One of my soft criteria was a company not using Python. I love Python, but it's been my primary language since 2001, and I'd been feeling like I wanted to stretch. And I had this hypothesis that the jumping in the deep end was the best way way to do that. So what did I learn? ---- Just looking at the source you call might not be enough: sometimes you have to follow the thread further. The [faraday-http-cache middleware](https://github.com/plataformatec/faraday-http-cache) looked like it'd work out of the box, so long as my service supplied an ETag. Today I discovered that it was hashing the entire set of request headers to determine the cache key, not just those that might Vary. ---- There's also this magical thing that Ruby seems to do, where you can omit the `{}` around your keyword arguments, and it collects them up into a single hash. I'm not sure how I feel about that. ---- Things I've developed some expertise with in the last four months: Redis, DynamoDB, Node.js, RabbitMQ, Heroku. Some of these were all new to me (DynamoDB, Node.js, Heroku), and some of them were tools I'd used, but only as a consumer (ie, RabbitMQ by way of consuming Celery). ---- Something that's bitten me a few times -- although I'm slowly internalizing it -- is the fact that while `*Person` is a pointer to a `Person` struct, `*Individual` is *not* a pointer to "any type implementing Individual". `*Individual` is a pointer to the interface itself. A parameter that's an interface type doesn't tell you anything about whether it's a pointer or a copy. Either can implement the interface, depending on how the methods are declared. ---- There are lots of things that seem obviously wrong only once you discover the problem. Up until that point, you can read the code over and over as you work on it, and never see the issue. It seems like Javascript Promises are particularly prone to this sort of sharp edge. Today's example: ``` this.worker.doSomething() .then(...) .catch(...) ``` This works fine, so long as `this.worker` actually has a method that returns a Promise called `doSomething`. In our case, `this` used to have a `worker`, which became `worker()`, which meant `doSomething()` stopped working. I like the way Promises make my code look at a glance, but they fundamentally provide illusions: they make async code look synchronous (linear), and they use words like `catch` that we're used to seeing with different semantics. It'll be interesting to see how I feel about them in another 90 days. ---- [DynamoDB](http://aws.amazon.com/dynamodb/) is a hosted NoSQL database, part of Amazon AWS. We're using it as the primary data store for our messaging system. Dynamo pricing is based on three factors: dataset size, provisioned read capacity, and provisioned write capacity. Write capacity is by far the most expensive (approx 3x as expensive as reads). The provisioned I/O capacity is interesting: as you reach your provisioned capacity, calls to Dynamo being returning `HTTP 400` responses, with a `Throttling` status. This is the cue for your application to back off and retry. I'll come back to throttling shortly. When you start out -- say with no data, and 3000 reads and 1000 writes per second -- all of your data is in a single partition. As you add data or scale up your provisioned capacity, Amazon transparently splits your data into additional partitions to keep up. This is one of the _selling points_: that you don't have to worry about sharding or rebalancing. It's not just your data that gets split when you hit the threshold of a partition: it's the provisioned capacity, as well. So if you have your table provisioned for 1000 writes per second and 3000 reads per second, and your data approaches the capacity of a single partition, it will be split into two partitions. Each partition will be allocated 500 writes per second and 1500 reads per second. DynamoDB works best with [evenly distributed keys and access](http://docs.aws.amazon.com/amazondynamodb/latest/developerguide/GuidelinesForTables.html), so that shouldn't be a problem. But it could be: if you try to make 600 writes per second to data that all happens to live in a single partition, you'll be throttled *even though you _think_ you have excess capacity*. Provisioning that I/O capacity is important to get right: it's not sufficient to turn the dial all the way to 11 from day 1. That's because Dynamo will also split a partition based on provisioned I/O capacity. A single a partition is targeted roughly at the 1000/3000 level, so doubling that to 2000/6000 will also cause a split, regardless of how much data you have. Splits due to provisioned I/O capacity -- particularly when you dramatically increase the capacity for a high volume ingest -- are the source of *dilution*. "Dilution" is the euphemism Amazon uses to refer to a situation where the provisioned I/O is distributed across so many partitions that you're effective throughput is "diluted". So why would this happen? Well, remember that a partition can be split when _either_ data size or provisioned I/O increases. ### Partitions only **split**, they are _never_ **consolidated**. So if you decide that you want an initial ingest to complete at a much faster rate than your application is going to sustain in production and increase the provisioned I/O to match, you're effectively diluting your future I/O performance by artificially increasing the number of partitions. Whomp whomp. ---- [RabbitMQ](http://www.rabbitmq.com/) [topic exchanges](https://www.rabbitmq.com/tutorials/amqp-concepts.html#exchange-topic) are a powerful tool: they let you publish messages to an exchange and route it to zero or more queues in parallel. They're rapidly becoming the Rabbit tool we turn to first; we've used them as [fanout exchanges](https://www.rabbitmq.com/tutorials/amqp-concepts.html#exchange-fanout) by "accident", and been happy for the flexibility later. This weekend we dropped some data on the ground, though, because they route to _zero_ or more queues. If you publish to a routing key that doesn't have a queue bound, the message is dutifully routed... _nowhere_. You can set an [Alternate Exchange](https://www.rabbitmq.com/ae.html) for any Rabbit exchange for handling just this situation: any message that an exchange can't handle will be routed to its _alternate exchange_, if set. I know now that when using an exchange, you should always configure an AE for it. It gives you visibility into whether you have routing bugs, as well as a way to recover from those bugs (by replaying the messages into the correct queue). ---- This week I had to add caching to a specific HTTP endpoint. The endpoint is implemented in [Express](http://expressjs.com/)/Node.js, and unfortunately has caching semantics that mean a general purpose cache (i.e., Varnish) isn't appropriate. If I were still working in Django, I'd have either decorated the function, or written a piece of middleware to handle the caching. So my first exploration was in that direction. I read the Express docs, and then I read the Express code. I'm not in love with NPM's dependency resolution model, but I do like that all of your dependencies are just in a sub-directory for easy perusal: no `site-packages`, `dist-packages`, virtualenv, etc to explain. I learned that to do the sort of wrapping that's so natural in Django with Express middleware meant overwriting a bunch of methods on `response` to catch the output as it streams by. If you just override `end`, you're probably too late. For an example, check out the [compress middleware](https://github.com/expressjs/compression/blob/612715c54047ba3a1d8fe5fa7c91470aec4809b8/index.js#L84-132). It makes for some difficult reading. I'm more aware today that there are layers to learning: there are facts, and there are implications. I knew the fact that Express was good for streaming responses, but hadn't considered what the implications of that were on how I'd write collaborating code. ---- When the first European Americans climbed Grand Teton they discovered a rock shelter has been built near the summit by an earlier native climber. ---- 13 degrees centigrade is known as "banana" as that is the temperature at which they are kept when they are being shipped. ---- If you are close enough the raven and the crow can be distinguished by the fact that a raven has talons and the crow does not. ---- [Arcturus](https://en.wikipedia.org/wiki/Arcturus) is the brightest star in the Northern hemisphere. ---- *Hollow* as an American place name means a valley surrounded by mountains and was first employed by fur trappers. ---- Dessert *a la mode* apparently means with ice cream. But more investigation is required. ---- The Moon is unique in the solar system in terms of its size ratio to its planet. It is the largest moon by ratio (although not in absolute size, there are larger moons around the gas giants). ---- "These twice five figures" with which we count are clearly related to our five fingers[0]. But why five? TIL that it's a few hundred-million-year [backward compatibility](http://genepath.med.harvard.edu/~tabin/Pdfs/Tabin4.pdf) issue: >Because there are only five distinct Hox-encoded domains across the limb bud there is a developmental constraint prohibiting the evolution of more than five different types of digits. [0] at least when counting moving objects, such as cattle; bakers, whose objects tend to stay where one left them, use nicer rectangles, and hence prefer dozens to tens. ---- The American Bison is its own species (Bison bison) and is not related at all to buffalo. Essentially all references to buffalo in North America are incorrect. ---- When shaving you should shave in the direction that the hair is growing (where was my father with this helpful advice?). ---- You can sharpen serrated knives, you can use a rod on the bevelled serrations or buy a specialised sharpener (I went with the latter). ---- Resolving two clauses with more than one pair of complementary literals always yields tautology. (formally, the absorption works almost identically to the well-known physical notion that ∂∂=0 "boundaries are unbounded". I have not yet learned whether there is anything more to this correspondence than the simple observation that a logical formula represents –cf Karnaugh– a "Truth polygon"...) ---- Aristotle's *Organon* roughly translates to "instrument, tool". Was "Notation as a [Tool](http://www.jsoftware.com/papers/tot.htm) of Thought" a conscious tip of the hat to the Stagirite? (much less likely, but possible: was this title simply a metasyntactic variable Aristotle's students used to refer to his lecture notes? — cf fr. *truc*) ---- There exists an [online database of integer sequences](http://oeis.org/) (via [this article on Neil Sloane](http://www.theguardian.com/science/alexs-adventures-in-numberland/2014/oct/07/neil-sloane-the-man-who-loved-only-integer-sequences)) ---- Cats are all long-sighted due to their large eyes, so during the day they rely on their sense of smell and whiskers to find things near to them. Like most cats they have black and white vision. Their vision is much more effective at night. ---- IP addresses can be sorted with `sort -V`. (It's the option for version numbers.) ---- bis quinque figuris: (_Carmen de Algorismo_) ![Image 7.png](/media/223/Image%207.png) ---- Baked beans are cooked *after* being sealed in the can using a pressure cooker. ---- I'd always thought Landin's "Program Machine Symmetric Automata Theory" (Machine Intelligence 5) rather imaginative: >"Suppose a directed graph with coloured edges is drawn on a plane, and another one drawn on the surface of a sphere. Imagine the sphere rolling ... on the plane, but constrained in such a way that the point of contact follows ... both graphs ... synchronizing the vertices and matching the colours. TIL that [mid-XX fire control](http://hackaday.com/2014/10/28/retrotechtacular-fire-control-computers-in-navy-ships/#more-135692) actually involved computations via rolling (albeit continuously) spheres on planes. (to paraphrase Körner: that these have been obsoleted by digital systems probably says more about human technological than moral progress over the last several decades) ---- Markdown uses significant whitespace at the end of lines to denote
tags. ---- The main tenet of *Sex-postive* is *all consensual sexual activities are fundamentally healthy and pleasurable*. Had heard the phrase (and I guess understood by context) but nice to have some manifesto around it. ---- Ernie Hudson's character *Winston* in the original Ghostbusters was originally in the whole film before being written out before shooting started. ---- In the original Civilization, there was a signed integer bug that made Gandhi overly aggressive. Normally Gandhi's aggression level is a very low `1`. If you are playing a democracy, your opponents' aggressions are reduced by `2`. But what should have been Gandhi's aggression level of `-1` in that case was treated as `255`, making him the most aggressive possible. /via ---- Yes, I'm slow to the party. It was just today that I learned that TIL means *today, I learned* ---- IP addresses can be sorted with `sort -V`. (It's the option for version numbers.) ---- One of the largest and wealthiest slave owners in Tennessee was Sherrod Bryant, an African-American. ![](http://www.charmofthecarolines.com/.a/6a01156faa621f970c014e895ab4ab970d-pi) ---- Abraham Lincoln is in the [National Wrestling Hall of Fame](http://nwhof.org/stillwater/resources-library/history/wrestling-in-the-usa/) for a record of 299-1. This shocked me as I have always thought of Abraham Lincoln as a feeble and sickly man, which was true of his later years as President and his paintings/photographs reveal a thin and weak man. I never considered how he would have been as a younger man. ---- The point on the Earth's surface furthest from the center of the Earth is NOT Mount Everest. Due to the equatorial bulge of the Earth, caused by its rotation, [Chimborazo](http://en.wikipedia.org/wiki/Chimborazo) in Ecuador is the furthest. ---- Tom Anderson (of MySpace fame) was a fellow hacker and friend of Bill Landreth. ---- Elvis was a huge Monty Python fan. ---- The chance that an arbitrary permutation doesn't have *any* fixed points tends to 1/e. (is this any relation to the 1/e that shows up in [optimal stopping](http://en.wikipedia.org/wiki/Secretary_problem) heuristics?) ---- MRIs work by aligning the spin of the hydrogen atoms in the water in your body with a magnetic field. ---- Hold down **Option** when clicking on sound menu bar item. It allows you to change the input and output devices from the menu bar. ---- In the XIX, FMACs were done with springs (and clocked via handcrank): https://www.youtube.com/watch?v=6dW6VYXp9HM ---- I saw professional singers using the trick of using your skull as a resonator for a tuning fork (something I did previously know you could do) to hit a particular note during a piece where the voices were accompanying an ensemble with pure tonal vocalisation. ---- the null program, at least by [certain measures](http://blog.racket-lang.org/2010/02/dags-vs-trees.html), has manifold ramifications — more than the typical filesystem. ---- You can look at the history of a single line in git by using: ``` git log -L,+ ``` ---- Red paint is the cheapest due to the abundance of iron oxide, which is in turn is due to the balance of [strong and weak atomic forces](http://en.wikipedia.org/wiki/Nuclear_binding_energy) that lead to iron oxide's stability. ---- Iron oxides are not only [abundant](https://thoughtstreams.io/rrees/til/#card-7000), they globally occur on a geologic scale in large, layered "Banded Iron Formations"; what I was taught about these seems to still be the [conventional wisdom](http://en.wikipedia.org/wiki/Banded_iron_formation#Origins), namely that they're a highly visible side effect left over from when the biosphere discovered photosynthesis. ---- the idea of [Artificial Neural Networks](http://www.minicomplexity.org/pubs/1943-mcculloch-pitts-bmb.pdf) is now over 70 years old. ---- The West Africa country of Liberia was founded as a colony of America in 1822 by American Colonization Society. It's capital, Monrovia, was named after the then US President, James Monroe. ---- Some online text editors prefer
tags over paragraphs (Blogger I'm looking at you but not just you) because they allow you to run inline elements across multiple "paragraphs" without having to worry about the HTML rules that terminate an inline tag if it crosses a block tag boundary. ---- Growing up, I assumed the Tropic of Cancer and Tropic of Capricorn were defined at a set latitude, but I recently discovered they are, in fact, astronomical and vary over time. ---- And I *just* learned that the Arctic and Antarctic Circles are similarly astronomical and vary over time. ---- Once upon a time, an investor related an old story about working on some government contract involving vector displays costing thousands, if you could source them at all ... and then being shocked to discover Vectrexen being sold in Sears for under USD 200. TIL that in the early 80's, game companies didn't just buy displays, they did some [serious](http://www.jmargolin.com/vgens/vgens.htm) [engineering](http://www.jmargolin.com/xy/xymon.htm) to meet their price points via hw/sw codesign. ---- From when "spaghetti code" was meant literally: how [adders](http://www.columbia.edu/cu/computinghistory/tabulator.html) could multiply (w/out logs): ![4x4 multiplication](/media/237/Image%2012.png) Boyell, "Programmed Multiplication on the IBM 407" (1957) ---- Janel Moloney (aka Donna from the West Wing) appeared in a [1995 episode of Murder She Wrote](http://www.imdb.com/title/tt0653691) ---- To prevent Homebrew packages from being accidentally upgraded use `brew pin $FORMULA` and `brew unpin $FORMULA` respectively. This fixes a long standing issue that I've had with Postgres databases being accidentally upgraded. ---- The [J language](https://twitter.com/search?q=%23JLang) hashtag has a high (proper!) ratio of models to lines of source code. (upon investigation, #JLang might have a maximal intersection of "fashion models" with "source code", not just for programming hashtags, but also —despite Amazon's best efforts at searchspam— for the web in general) ---- You can do a discrete Fourier transform in just one short line of J: ``` dft=: +/ .* ^@o.@(0j2&% * (*/ -)@i.)@# ``` Courtesy of [this post](http://blog.ndpar.com/2014/10/11/dft-j/) by Andrey Paramonov which I indirectly found via a link from [Dave's recently TIL post on the `jlang` hashtag](https://thoughtstreams.io/Dave/til/7403/). ---- The Celsius temperate scale was originally reversed, with 0º at the boiling point of water and 100º at the freezing point. It was flipped to the direction we know now after a couple of years, after Celsius had died (although numerous people seem to have independently developed it). ---- According to Hamming, the naming instance of Gibbs' phenomena was due to investigating an unexpected behavior of Michelson's [mechanical fourier analyzer](https://thoughtstreams.io/Dave/til/6862/) ... not just chalking it up to experimental error. ("The Art of Doing Science and Engineering", pp109-110) ---- Cayley not only introduced the term "tree" (in the CS sense) to the english language in [1857](http://books.google.ch/books?id=MlEEAAAAYAAJ&pg=PA172&redir_esc=y#v=onepage&q&f=false), he did so *as a computer scientist*: - his motivation was abstract parses of concrete syntax - his investigation distinguishes between commutative and associative operations, and - his trees have their roots at the top, and their branches opening downwards! ![Image 13.png](/media/283/Image%2013.png) ---- Not quite today but the Highlands of Scotland are the other side of a rift line from the Lowlands. Also England and Wales were already a landmass (Avalonia) before they collided with the island chain that is now Scotland. ---- Intensively reared pigs are slaughtered 17 weeks after their birth ---- [xz](https://en.wikipedia.org/wiki/Xz) is a compression format that is based on the old 7-Zip archive format but with added Unix support. Also poor old Bzip2 is being retired and GNU `tar` will autodetect the compression used on a file, no more z or j! ---- To navigate between tabs in Terminator on Ubuntu use Ctrl and Page Up and Page Down. ---- Healing wounds, and in particular broken bones, requires higher than normal calorie consumption. ---- If you want a textarea element to be selectable but not editable (e.g. for cut and paste), use the attribute `readonly` and don't try and disable it. ---- When Amazon Music notifications get stuck in your Android notifications stream just block the app from notification settings and then unblock. ---- The insert/overwrite label in the Libre Office status bar is blank on OSX ---- The Welsh word 'Glas' can mean blue, green or gray. Which makes it sound like really it is meant to describe the colour of the sea. However it turns out that several languages use the same word for blue and green and that blue is one of the last colours to be given a specific designation. Stonehenge's "Bluestones" are gray and Glasgow means "Green Hollow". ---- The Unthank sisters do [singing workshops](http://www.the-unthanks.com/singing-weekends/) during the winter weekends. ---- If Windows Explorer is dead you can restart it via Task Manager's Run menu option (off of File). ---- Angular directives must have closing tags otherwise only the first directive will appear. ---- Mocha coffee is named after the Yemeni Red Sea port of al-Mukha where the coffee bean bales were traded and shipped. ---- The Shard's nickname was coined by English Heritage in complaint about the design (*a shard of glass through the heart of historic London*) and thereafter adopted by the building's marketing department. ---- Celtic crosses feature a ring around the centre of the cross to support the carving of larger crosses. Without the ring, the arms of the cross fall off after a few years. ---- Goldman Sachs has an organisation on Github with one project. A [Collections library](https://github.com/goldmansachs/gs-collections) that doesn't accept external contributions. ---- A person can run into the centre of a small tornado and keep pace with the calm centre of the vortex. The tornado has to be quite large and powerful to knock you off your feet and generally the danger is the dirt and stones that the tornado has in its column. ---- Crocodiles eat stones to act as ballast and to help digest food. ---- 2010 was apparently *the year* for English wines ---- The "Alabama Song" was originally written (in english) for a Brecht work (which was then performed in german) in the 20's, before being covered by the Doors (in english) in the 60's. ---- In moments of *ambiguous requirement desperation*, my team and I have sarcastically thrown around the term defect-driven development (shorthand: DDD). **TIL** "DDD" is a previously established acronym for Domain-Driven Design which is an actual (complex) approach to software development. #ddDesign ---- The sequence: 0 → algebra scenes → hollywood movies → profit → 0 fails to be exact at small values of "profitable": It's My Turn (1980) [Snake Lemma](https://en.wikipedia.org/wiki/Snake_lemma) https://www.youtube.com/watch?v=etbcKWEKnvg ---- The first log tables were laboriously hand calculated once, and then apparently cut'n'pasted from one application to another for the [following three centuries](http://www.feynmanlectures.caltech.edu/I_22.html): > all logarithm tables for three hundred years were borrowed from Mr. Briggs’ tables by reducing the number of decimal places Today, computation is *too cheap to meter* and one can program the necessary calculation, even without `import math`, in a matter of minutes. Obtaining the patterns required to make the insights necessary to get to \( \mathbb{C} \) when given \( \mathbb{N} \) ... might take a bit longer. # after http://www.feynmanlectures.caltech.edu/I_22.html#footnote_source_1 _=min sqrt = lambda n: _( cvg(nstep(n1))(n1) for n1 in [float(n)] for cvg in [lambda f: lambda x: _( x if y==x else cvg(f)(y) for y in [f(x)] )] for nstep in [lambda n: lambda g: (n/g+g)/2] ) if __name__ == "__main__": def D(x):print(x);return x # regenerate table 22-1 from feynman LoP n = 10 for i in range(16): n = sqrt(D(n)) # check precision after inverting for i in range(16): n = n*n print(n,n - 10.) ---- *On Hills and Dales*, although published almost a century and a half ago in *Philosophical Magazine* is surprisingly (at least in my search engine bubble?) difficult to find in full text. Best I could do was [p.233, paper XLIII](http://strangebeautiful.com/other-texts/maxwell-scientificpapers-vol-ii-dover.pdf) in a collection of Maxwell's works. ![Image 4.png](/media/431/Image%204.png) Is there an anglophone equivalent of [Gallica](http://gallica.bnf.fr/)? Edit: [Cayley](https://thoughtstreams.io/Dave/til/8049/)'s 1859 [On Contour and Slope Lines](http://www.maths.ed.ac.uk/~aar/papers/cayleyconslo.pdf) was, happily, more readily available. ---- "if a practitioner [of Brazilian Jiu-Jitsu] receives his or her black belt at 19 years old, the earliest they could expect to receive a ninth degree red belt would be at the age of 67." ---- TIL that not only is a « zapaska » a "stepney" in english ![zapaska](http://cs543104.vk.me/v543104286/143a9/WAy1rvj1y9w.jpg) (thank you, Dyadya Google) but also that a "stepney" is neither cisatlantic nor translatlantic, but [transpacific](http://www.bbc.co.uk/ahistoryoftheworld/objects/qPgTiS8fQ6SeIqZLvZVfXQ). (thank you Auntie Beeb). ---- By way of [Bunnie](http://bunniestudios.com/bunnie/phdthesis.pdf), TIL Gordon Moore may not have predicted current fashions (and was a little pessimistic about the size of smartphones), but he definitely knew —a half century ago— how pursetop computers would be marketed: ![Image 1.png](/media/449/Image%201.png) ---- The [Tongan Scrubfowl](http://www.birdlife.org/datazone/speciesfactsheet.php?id=126) incubates its eggs by burying them in volcanic ash that is warmed by the volcano. ---- TIL [@michaelbolton](https://mobile.twitter.com/michaelbolton) *is* a programmer. I failed to learn, however, if he knows what "PC LOAD LETTER" means. ---- There is a dedicated software library for [car engine sound](http://www.crankcaseaudio.com/) in games. ---- TIL how to [trick a neural network into thinking a panda is a vulture](https://codewords.recurse.com/issues/five/why-do-neural-networks-think-a-panda-is-a-vulture) * (I wonder if the same principle: "it doesn't matter if it's not a vulture as long as the weights add up to vulturish" applies to "it [doesn't matter if it's not journalism](https://thoughtstreams.io/Kake/bite-sized-reading/10743/) as long as the ad buys add up to journalistic"?) ---- Blended whiskys were more desirable than single malts prior to the 1960s due to the consistency of their flavour. ---- TIL the intersection, [doo wop songs & Studentenlieder](https://www.youtube.com/watch?v=S_OblYW1uvc), is non-empty. MVNDVS MIRABILIS ---- A *bath chap* is the roast lower jaw of a pig including part of it's tongue. ---- Many things about the American electoral system but the few standouts are: * that the House of Representatives have appointed the president in the past * that the 12th Amendment requires the Electoral College to vote separately for president and vice-president * that prior to the 12th Amendment rival presidential candidates have found themselves in office together as president and vice-president ---- Transport planners think about [crush loading](https://en.wikipedia.org/wiki/Crush_load). Also, experienced crush load due to poor planning of my cross-London journeys. ---- Brazil has thirteen operational political parties (and more in absolute terms) and they are mostly aligned to patronage and regional organisations. ---- Wild ginseng is an endangered species due to [poaching and intensive foraging](http://foreignpolicy.com/2016/09/07/the-thrill-of-the-hunt-ginseng-smuggling-poaching-boone-north-carolina-china/) with quality wild ginseng reaching prices of $850 a dry pound (U.S. presumably) ---- TIL about the [Inukshuk](https://en.wikipedia.org/wiki/Inuksuk), an arctic cairn style. ![Inukshuk](http://a133.idata.over-blog.com/3/39/66/92/nounours/95-inukshuk.jpg) ---- Angela Merkel speaks fluent Russian and Vladamir Putin speaks fluent German. ---- TIL about a Cousot et Cousot paper on [Galois Connections](http://www.di.ens.fr/~rcousot/publications.www/CousotCousot-POPL14-ACM-p2-3-2014.pdf) ... well, actually it's (as one might guess from the topic?) a pair of papers: one of which is the expanded concrete representation, the other of which is a compressed (albeit still containing most of the important bits) abstract representation. ---- The soviet-era Elbrus computer line was based on the same B5000 that many software people consider "an improvement upon nearly all its successors" (unfortunately for Burroughs' reception in the marketplace, their peripherals may not have been so reliable: worse is better, except when it isn't). TIL the Elbrus tradename is still [in commercial use](http://www.mcst.ru/), although these days it looks as if it's being slapped on systems running Linux on SPARC derivatives instead. However, if the RF equivalent of "orange book" systems buyers still can source something with the safety properties of the old MCP lineage, it might help explain the recently infamous « русский хакер ». After all, if you live in a wooden house, with roughly capability-based security, while your neighbor's glass house is chock full of legacy x86 and C/C++, it must take an awful lot of willpower to avoid throwing stones... ---- Celery is an allergen ---- Obsession and Possession originated as terms to describe phases in siege warfare. ---- In a world where Poe's Law appears to reign supreme, one can always peruse [abstract comics](http://abstractcomics.blogspot.ch/). They have the graphical syntax of comics, but lack semantics. Might they be the grandchild of Dada? ---- Milo Yiannopoulos is British and originally lived in Kent. ---- London Fashion Week uses a fleet of Jaguar XF cars ---- The moon has a magnetic field but no poles, the majority of the field is generated by impact craters on the crust. ---- **POST TENEBRAS LVX** TIL the Republic and Canton of Geneva has a nifty motto, thanks to following the architectural [references](https://en.wikipedia.org/wiki/Reformation_Wall) in Geneva's entry in the grand [tradition](https://www.youtube.com/watch?v=ELD2AwFN9Nc) of [#2 videos](http://www.everysecondcounts.eu/europe.html): "Geneva second | Genève interpelle Donald Trump" https://www.youtube.com/watch?v=tV_KBUM3yK8 > c'est toujours le plus intelligent qui cède ---- Donald John Trump (R - US) [45,9%](https://en.wikipedia.org/wiki/United_States_presidential_election,_2016) Vladimir Vladimirovich Putin (EdRo - RU) [63,6%](https://en.wikipedia.org/wiki/Russian_presidential_election,_2012) Fidel Alejandro Castro Ruz (PCC - CU) [94,73%](https://fr.wikipedia.org/wiki/Élections_législatives_cubaines_de_2013) Jefferson Beauregard Sessions (R - US) [97,25%](https://en.wikipedia.org/wiki/United_States_Senate_election_in_Alabama,_2014) ---- TIL about the [Turpan](https://en.wikipedia.org/wiki/Turpan_water_system) hydraulic engineering. I found it especially interesting, because just behind my house is one of our local (above-ground) canals, conducting glacial melt from the alpine valleys above to the [grapes and apricots](http://www.bbc.com/travel/story/20170307-an-ancient-oasis-in-chinas-remote-desert) growing below. ---- Online and offline come from nautical terms. ---- Mexican Coke refers to Coke that is made with cane sugar rather than corn syrup. ---- (not from today, but...) it's not just [Mexico and the US](https://thoughtstreams.io/rrees/til/11415/); "coca-cola" is more a brand than a specific [flavor](http://www.coca-cola.co.uk/faq/does-coca-cola-produce-the-same-drinks-in-every-country). [Edit: ... and for people who live in sufficiently cosmopolitan parts of the US, sugar-sweetened coca-cola can be found] ---- California has a grizzly bear on it's state flag but the species is extinct in the state. ---- Gnome Keyring doesn't support `Ed25519` SSH keys ---- Youtube: not only good for pseudorandomly encountering pop music from other cultures, but also serves as an unusually diverse mirroring medium for linux distros: https://www.youtube.com/watch?v=edw7HXke8ho ---- Older Siemens ES64U locomotives had sidelobes in the audio range during initial acceleration ... but someone decided this bug could be a feature, and so they played a distinct do-re-mi. ---- TIL Ernst Schröder would've have to wait nearly 80 years* —with the intervening invention of the computer — for his late XIX logical notation: ![Image 2.png](/media/636/Image%202.png) (here intended as part of a universal formal "pasigraphy", as communicated to an international mathematical conference in Zürich) to find yet another application: as a simpler, if unfortunately far too earlier, alternative to [predicate transformer semantics](http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF). * „Über Pasigraphie, ihren gegenwärtigen Stand und die pasigraphische Bewegung in Italien‟, 1897 ---- Giuseppe Peano was evidently a bit jealous of Leibniz' XVII ability to publish things like: ![Image L.png](/media/640/Image%20L.png) (to express commutativity and idempotency), for even in the late XIX he expresses himself anachronistically: ![Image 3.png](/media/639/Image%203.png) (Peano's versions of his symbols make better ping-pong paddles than our modern variants!) Evidently Peano went even further than Schröder's [Pasigraphy](https://thoughtstreams.io/Dave/til/11996/) , proposing not only the formal notation for which we remember him, but even a [creolized Latin](https://en.wikipedia.org/wiki/Latino_sine_flexione) to serve as a scientific conlang for informal argument ... but he wasn't foolish enough to attempt to revive [greek](https://thoughtstreams.io/Dave/αρχαιοελληνικαι-μουσική-και-ταινίες/10762/ )! * Peano, [Arithmetices Principia: nova methodo exposita](https://archive.org/details/arithmeticespri00peangoog) (1889) p. viii * Leibniz [Addenda ad Specimen Calculi Universalis](https://books.google.ch/books?id=C5LRAAAAMAAJ&hl=fr&pg=PA98) (ca. 1680) p. 1 ---- > One of the most surprising things about electronic mail is the ease with which misinterpretations arise was a 1985 sentiment from RAND report R3283, "Toward an Ethics and Etiquette for Electronic Mail". Now I'm imagining ca. 2005 Odeo looking at email and exclaiming "hold my beer!"