tag:blogger.com,1999:blog-28003165284170707572024-03-05T23:24:49.114+00:00Random ThoughtsTrying to work out what I think about things by writing it down.John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.comBlogger326125tag:blogger.com,1999:blog-2800316528417070757.post-46174138246872368752023-08-17T20:00:00.000+01:002023-08-17T20:00:46.221+01:00Contract Programmer Seeks Job in Cambridge (£500 reward)<p>Anyone in Cambridge need a programmer? I'll give you £500 if you can find me a job that I take.<br /><br />CV at http://www.aspden.com<br /><br />I make my usual promise, which I have paid out on several times:<br /><br />If, within the next six months, I take a job which lasts longer than one month, and that is not obtained through an agency, then on the day the first cheque from that job cashes, I'll give £500 to the person who provided the crucial introduction.<br /><br />If there are a number of people involved somehow, then I'll apportion it fairly between them. And if the timing conditions above are not quite met, or someone points me at a shorter contract which the £500 penalty makes not worth taking, then I'll do something fair and proportional anyway.<br /><br />And this offer applies even to personal friends, and to old contacts whom I have not got round to calling yet, and to people who are themselves offering work, because why wouldn't it?<br /><br />And obviously if I find one through my own efforts then I'll keep the money. But my word is generally thought to be good, and I have made a public promise on my own blog to this effect, so if I cheat you you can blacken my name and ruin my reputation for honesty, which is worth much more to me than £500.<br /><br /><br /><br />And I also make the following boast:<br /><br />I know all styles of programming and many languages, and can use any computer language you're likely to use as it was intended to be used.<br /><br />I have a particular facility with mathematical concepts and algorithms of all kinds. I can become very interested in almost any problem which is hard enough that I can't solve it easily.<br /><br />I have a deserved reputation for being able to produce heavily optimised, but nevertheless bug-free and readable code, but I also know how to hack together sloppy, bug-ridden prototypes, and I know which style is appropriate when, and how to slide along the continuum between them.<br /><br />I've worked in telecoms, commercial research, banking, university research, chip design, server virtualization, university teaching, sports physics, a couple of startups, and occasionally completely alone.<br /><br />I've worked on many sizes of machine. I've written programs for tiny 8-bit microcontrollers and gigantic servers, and once upon a time every IBM machine in the Maths Department in Imperial College was running my partial differential equation solvers in parallel in the background.<br /><br />I'm smart and I get things done. I'm confident enough in my own abilities that if I can't do something I admit it and find someone who can.<br /><br />I know what it means to understand a thing, and I know when I know something. If I understand a thing then I can usually find a way to communicate it to other people. If other people understand a thing even vaguely I can usually extract the ideas from them and work out which bits make sense.<br /><br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-84821192929740044042023-08-11T15:59:00.002+01:002023-08-11T15:59:43.052+01:00Why Do Most Religious Conservatives Support Capitalist Ideology?<p>I wonder why religious conservatives are mostly synonymous with
capitalism supporters ? I mean arent most religions inherently
socialistic ? What makes conservatives support capitalism , despite not
being among the rich? <br /></p><p>Asked a redditor on lemmy, which is the new reddit.<br /></p><p>https://old.thelemmy.club/post/1302560</p><p>I normally avoid politics as being mostly kayfabe, but the same thought has occasionally occurred to me, so I had this answer ready:<br /></p><p> --------------------------------------------------------------------------------------------------- <br /></p><div>
<p>I can't answer for America, but generally in democracies you
get two and only two parties. Anyone taking a middle position cripples
the side they're closest to.</p>
<p>Before Socialism was a thing, England had 'Liberals/Whigs' (what
yanks would call libertarians, because they've somehow managed to
repurpose the word liberal to mean the opposite of what it means) and
'Conservatives/Tories' (king and country and church and don't change
things because you'll break them and hurt people).</p>
<p>And of course, like all political groups do, they hated each other.</p>
<p>The Church of England was once known as the Tory Party at Prayer. The
Liberals were the radicals, the party of industry and progress and free
markets and who cares who it hurts as long as it's the future.</p>
<p>With the rise of socialism/fascism/anarchism/progressivism, a truly
radical program to rebuild society on utopian lines and use totalitarian
terror to enable even more freedom and progress and human happiness,
represented in England by the Labour Party, the 'conservatives' and
'liberals' were squeezed, and combined to oppose socialist thought,
which hated them both and wanted to destroy everything they thought was
worthwhile in the world.</p>
<p>So there came to pass an uneasy alliance in England between classical
liberals and religious loonies, who'd naturally detest each other.</p>
<p>That's the modern Conservative party, who want to use radical social
transformation to go back to the glorious past, and are very much in
favour of freedom of speech and thought as long as it's the sort of
speech and thought that they approve of.</p>
<p>The Liberal Party effectively ceased to exist, because in its
radicalism and desire for progress, it was more sympathetic to socialist
thought, and so it got crushed.</p>
<p>Socialism has rather collapsed as an idea after an hundred years of
practical experience with utopia, leaving Labour as the party of 'every
problem can be solved by stealing more money and spending it on
subsidies'. A position which is popular with those who benefit from
subsidy, and unpopular with those who get their stuff stolen.</p>
<p>And of course, few of the people in either party actually believe in the causes they publicly espouse. They're not <i>stupid</i>. But public communications have to be simple-minded and rally tribal support.</p>
<p>Obviously this is a terrible system, but it's better than regular
civil war, which is what you get in all other systems of government.</p>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-14564148528659770852023-06-25T13:11:00.004+01:002023-06-25T13:11:50.021+01:00I Don't Know What to Believe Any More<p><i>(in answer to a redditor confused about the seed-oil hypothesis)</i><br /></p><div class="usertext-body may-blank-within md-container "><div class="md"><p>You shouldn't <em>believe</em> things at all. There are lots of different ideas, any of which might be true. </p>
<p>You should develop the ability to hold them all in your head at the
same time, and shift the weight of your belief according to the evidence
you see.</p>
<p>Think less about modern religion, with its "one truth and you burn if
you get it wrong", and more about the ancient Romans, patiently trying
out all the gods and rituals they found to see which ones actually
worked.</p>
<p>Epidemiological studies are evidence, but not terribly good evidence. </p>
<p>Randomized double-blind placebo controlled trials are good evidence, but you need to work out what it is they actually tested!</p>
<p>Self-experiments are gold dust, but watch out, it's easy to fool yourself.</p>
<p>Anecdotes from other people are evidence, but watch out for motivated thinking, and remember that not everyone works the same way, which is one of the reasons medical "science" is so very hard.</p>
<p>Evolutionary reasoning, and biochemical theory are good evidence, but it's hard to work out the implications of either for all sorts of reasons. </p>
<p>This is all very difficult and murky. If it was straightforward we would already know the answers.<br /></p>
<p>But whatever you currently believe, what you should first do is look for evidence <em>against</em> it, until you aren't so sure any more!</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-49150446403251061552023-03-25T16:41:00.002+00:002023-03-25T16:41:15.646+00:00People who don’t reply until days later, why?<p> </p><div class="usertext-body may-blank-within md-container"><div class="md"><p>From AskReddit : People who don’t reply until days later, why?</p><p>I get asked this all the time, so here's my answer in written form for those who like that sort of thing!<br /></p><span><a name='more'></a></span><p><br /></p><p>Communication
in writing is very low bandwidth and notoriously difficult to get
right. A conversation by text message or email will take hours to do
what you could do in live conversation in minutes, and is also more liable to
go wrong.</p>
<p>If it's urgent and you want a reply right now call me or even come and find me.</p>
<p>If you send me something in writing and it seems urgent or important or interesting I'll call you back.</p>
<p>If you've just sent me something in writing that seems neither urgent
nor important nor interesting then it just goes on the big stack of
chores to get round to.</p>
<p>I've got a big stack of e-mails and texts that need replies. They
make me feel guilty. Someone adding another one to the stack usually
pisses me off.</p>
<p>I greet the arrival of uninteresting text messages and e-mails with
the same joy I greet the arrival of communications from the government.</p>
<p>If people who prefer to communicate in writing decide I'm not their
friend and go bother someone else I'm usually happy about that.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-92033860883178646692022-06-08T12:47:00.000+01:002022-06-08T12:47:12.776+01:00The Zen of Feeding the Birds<p>A gentleman on the cambridge subreddit is annoyed by his neighbour throwing stale bread into a public garden. My reply:</p><p><br /></p><div class="usertext-body may-blank-within md-container "><div class="md"><p>I
found that when I lived in London, I used to get annoyed by the regular
rapes and murders. When I moved back to Cambridge, I got annoyed by
parking permits and traffic and tourists. When I hid out in Wicken Fen
in the perfect peace and stillness of the pandemic, all alone for weeks
with nothing to do but read and play chess, I eventually developed an
almost magical-seeming ability to get annoyed by birdsong and the sound
of the wind in the trees.</p>
<p>There is <em>always</em> something to get annoyed by. Usually the
best way to deal with it is to find a way to deal with your habit of
getting triggered, which is something that slowly develops like any
other habit.</p>
<p>And you can fix that like you can fix any other habit. When rational
and calm, work out what someone who wasn't annoyed by that sort of thing
would think about your trigger (oh, how kind of that nice man to feed
the birds!) , and then practice exposing yourself to the trigger and
automatically starting off your desired new thought pattern. </p>
<p>It takes practice, but if you work at it, you'll eventually stop
being annoyed. And then you'll have the superpower of being able to live
free and calm in a place where annoying things happen.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-29187631383392578992022-05-19T22:22:00.000+01:002022-05-19T22:22:04.412+01:00Assisted Suicide<p>Scott Adams wished his father dead: (<a href="https://www.scottadamssays.com/i-hope-my-father-dies-soon/">https://www.scottadamssays.com/i-hope-my-father-dies-soon/</a>)<br /></p><p>And this paragraph stuck out for me: <br /></p><p style="margin-left: 40px; text-align: left;">If you're a politician who has ever voted against doctor-assisted
suicide, or you would vote against it in the future, I hate your fucking
guts and I would like you to die a long, horrible death. I would be
happy to kill you personally and watch you bleed out. I won't do that,
because I fear the consequences. But I'd enjoy it, because you
motherfuckers are responsible for torturing my father. Now it's
personal. </p><p>I absolutely endorse this sentiment. If you are such a politician, I would very much enjoy gutting you with a rusty fruit knife. And I'm not even angry yet. My parents are still alive, still in good shape, still happy; for now.<br /></p><p>I would nevertheless like to recognize the honourable behaviour of Lord Rix, who fought against assisted suicide his whole life, and then, right at the end, facing the horror himself, admitted he was wrong and publicly changed his mind. </p><p>That is a very brave thing to do. He still deserved everything he went through, but I would pray for his soul if I thought it would help. </p><p>The rest of you can go to Hell and stay there. For a lengthy, yet finite, time. I am not as evil as your God.<br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-59264760766404991182022-05-14T16:36:00.004+01:002022-05-14T19:59:29.772+01:00Favourite Science Fiction<p></p><p></p><p>r/scifi asks us:</p><p>"What are your alltime top five science fiction novels"<br /></p><a href="https://www.reddit.com/r/scifi/comments/upaxq8/what_are_your_alltime_top_5_scifi_novels/">https://www.reddit.com/r/scifi/comments/upaxq8/what_are_your_alltime_top_5_scifi_novels/</a><div class="usertext-body may-blank-within md-container"><div class="md"><p>** Top Five (in no particular order):</p>
<ul><li>A Deepness in the Sky</li><li>Protector</li><li>Permutation City</li><li>Blindsight</li><li>The Sparrow</li></ul>
<p>** Runners Up for Top Five (again in no order, but none of these displace one of the top five for me):</p>
<ul><li>Children of Time / Children of Ruin</li><li>Foundation (and the rest of the trilogy)</li><li>Dune</li><li>Flowers for Algernon</li><li>Seveneves</li><li>The Worthing Saga</li><li>The Mote in God's Eye</li><li>Anathem</li><li>Marching through Georgia (and sequels)</li><li>Most of Larry Niven's early stuff, none of his later stuff, plus several of the Man-Kzin Wars stories </li></ul> </div><div class="md">** Not novels, but nicely mind-blowing in the way that good novels are:</div><ul style="text-align: left;"><li>That Alien Message (Eliezer Yudkowsky) </li><li>Lena (by "qntm")</li></ul><div class="md" style="text-align: left;"><p>** Interpreting SF rather broadly to include fantasy series that are nevertheless set in worlds with consistent rules</p>
<ul><li>A Song of Ice and Fire / Game of Thrones and sequels.</li><li>Lord of the Rings / Fellowship of the Ring and sequels</li><li>Liveship Traders / Ship of Magic and sequels</li></ul>
<p>** And finally, on the basis that these were science fiction when
written (take our best theory of the world and run with it) but have
become fantasy over the years, and also that they can get away with not being novels because novels weren't a thing:</p>
<ul><li>Paradise Lost</li><li>Inferno</li><li>The Odyssey</li><li>The Aeneid</li><li>Agamemenon</li><li>Iphigenia at Aulis</li><li>The Bacchae</li><li>Metamorphoses <br /></li></ul><p>---------------------------------------------------------------------------------<br /></p><div class="usertext-body may-blank-within md-container "><div class="md"><p>It was a good question! And I rather got into it.<br /></p><p>For me, the books on the list above have something transcendent and
poetic about them, as well as having the essential speculative fiction
characteristic of being set in very well thought out, believable worlds
where an idea is taken seriously and the implications are followed up.</p>
<p>Of the two, I prefer the second characteristic to the first, but if you get both, that book's a real work of art.</p><p>All of these stories have changed the way I think about the world, both in the intellectual sense of pointing out things I didn't know about things I already knew, and in the emotional sense of altering my reaction to things.<br /></p>
</div>
</div><p> </p><p> </p><p> </p><p> </p><p> </p><p> </p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com1tag:blogger.com,1999:blog-2800316528417070757.post-14807435081715158942022-04-03T14:40:00.005+01:002022-04-03T15:06:53.889+01:00Deathbed Conversion<p>Turns out Group Theory's really neat, with lots of pretty diagrams and cool intuitions and beautiful theorems. (Disclaimer, only gone as far as the Sylow Theorems, but still...)</p><p>This unexpected revelation came to me through Nathan Carter's 'Visual Group Theory', possibly the most readable maths book I've ever come across.</p><p></p><p><a href="https://www.amazon.co.uk/Visual-Theory-Classroom-Resource-Materials/dp/1470464330/ref=sr_1_1?keywords=visual+group+theory&qid=1648992100&sr=8-1">https://www.amazon.co.uk/Visual-Theory-Classroom-Resource-Materials/dp/1470464330/ref=sr_1_1?keywords=visual+group+theory&qid=1648992100&sr=8-1</a></p><p>Despite being readable, I would say 'un-put-downable', it's a proper maths book. You need to do the exercises. Don't go on to Chapter 2 until you've done all the exercises from Chapter 1, etc. </p><p>The most common complaint is that it's too slow at the start, too fast at the end. This is not true. The slow bits at the start are building your intuition by playing around with simple cases. </p><p>You'll end up being able to flip between algebra and geometry and graph-theoretic ways of looking at groups.<br /></p><p>Towards the end, real theorems start appearing, the ones you'd get in a first-year undergraduate groups course, and when you look at them through all the new lenses you've acquired through the early part of the book, they're obvious and beautiful. That's kind of the point of the book. </p><p>You're only allowed to complain about how hard chapter 9 is if you've actually done all the exercises in chapters 1-8. </p><p>If you find yourself in that sort of position and can make it to Cambridge, get in touch! I can explain everything I've read so far, and will happily exchange in-person supervisions for coffee in pub gardens.<br /></p><p>-------------------------------------------------------------------- <br /></p><p>Other helpful things I've used over the last few months of fascinated exploration are: </p><p> </p><p> </p><p>The errata page: <a href="http://web.bentley.edu/empl/c/ncarter/vgt/errata.html">http://web.bentley.edu/empl/c/ncarter/vgt/errata.html</a><br /></p><p>Actually the fact that there are errors in the book has made it more fun.</p><p>Sometimes you find something in the book that seems a bit fishy. After you've thought about it for a while, you can usually make it make sense, but if it still doesn't, it's probably been reported as an erratum by now, so you can go and check. (Also, I managed to get one in myself! The pride! The glory!)</p><p><br /></p><p><br /></p><p><br /></p><p>The wikipedia definition of semi-direct product: <a href="https://en.wikipedia.org/wiki/Semidirect_product">https://en.wikipedia.org/wiki/Semidirect_product</a></p><p>I could not make head or tail of Nathan's notion of 'rewiring diagram', so I couldn't get more than the vaguest sense of what a semidirect product was. <br /></p><p>So I ended up working out how the semidirect product works in an algebraic sense. *That* requires knowing what an automorphism is, which is not a terribly difficult concept, and it turns out that 'rewiring diagram' is an excellent way of visualizing automorphisms. </p><p>You can probably shortcut this process by just working out what an automorphism is and how it relates to Nathan's rewiring diagrams.<br /></p><p></p><p> </p><p> </p><p>An online implementation of the Todd Coxeter coset enumeration algorithm:<br /></p><p><a href="https://math.berkeley.edu/~kmill/tools/tc.html">https://math.berkeley.edu/~kmill/tools/tc.html</a></p><p>It's a very good idea to learn how to do this by hand, and the best way is to read Todd and Coxeter's initial paper. </p><p><cite class="citation journal cs1" id="CITEREFToddCoxeter1936"><a href="https://en.wikipedia.org/wiki/J._A._Todd" title="J. A. Todd">Todd, J. A.</a>; <a href="https://en.wikipedia.org/wiki/Harold_Scott_MacDonald_Coxeter" title="Harold Scott MacDonald Coxeter">Coxeter, H. S. M.</a> (1936). <a class="external text" href="https://doi.org/10.1017%2FS0013091500008221" rel="nofollow">"A practical method for enumerating cosets of a finite abstract group"</a>. <i><a class="mw-redirect" href="https://en.wikipedia.org/wiki/Proceedings_of_the_Edinburgh_Mathematical_Society" title="Proceedings of the Edinburgh Mathematical Society">Proceedings of the Edinburgh Mathematical Society</a></i>. Series II. <b>5</b>: 26–34. <a class="mw-redirect" href="https://en.wikipedia.org/wiki/Doi_(identifier)" title="Doi (identifier)">doi</a>:<span class="cs1-lock-free" title="Freely accessible"><a class="external text" href="https://doi.org/10.1017%2FS0013091500008221" rel="nofollow">10.1017/S0013091500008221</a></span>. <a class="mw-redirect" href="https://en.wikipedia.org/wiki/JFM_(identifier)" title="JFM (identifier)">JFM</a> <a class="external text" href="https://zbmath.org/?format=complete&q=an:62.1094.02" rel="nofollow">62.1094.02</a>. <a class="mw-redirect" href="https://en.wikipedia.org/wiki/Zbl_(identifier)" title="Zbl (identifier)">Zbl</a> <a class="external text" href="https://zbmath.org/?format=complete&q=an:0015.10103" rel="nofollow">0015.10103</a>.</cite> <br /></p><p>All modern explanations of it are incomprehensible.</p><p>However actually doing it by hand gets old pretty quickly, so getting a computer to do it is really useful if you just want to explore. <br /></p><p> <br /></p><p> </p><p>A page of small-group Cayley diagrams: <br /></p><p><a href="http://www.weddslist.com/groups/cayley-31/index.html">http://www.weddslist.com/groups/cayley-31/index.html</a><br /></p><p><br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-29766783425590325252022-02-13T17:33:00.001+00:002022-02-13T17:33:05.762+00:00The Unmitigated Pedantry of Bret Devereux<p>I have over the last few months derived great pleasure from the blog of Bret Devereux, an academic historian interested in military history, the classical world, and speculative fiction. He is a sufficiently good writer that he can make subjects I'm not particularly interested in (ancient steel-making processes???) seem fascinating and important. And of course some of his major interests are at least minor interests of mine.<br /></p><p>In almost every one of his posts, he requests that people spread the word about his blog; he wants a large audience. </p><p>I am more than happy to oblige him and unreservedly recommend:<br /></p><p><a href="https://acoup.blog">https://acoup.blog</a></p><p> </p><p> </p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-24875822388813228622022-01-30T17:39:00.003+00:002022-01-30T17:45:52.642+00:00 The Proof of Doom<p><br /><br />Epistemic Status: Ravings<br /><br />Importance: Easily the most important problem in the world.<br /><br />If we can escape the proof of doom, we will likely also solve all our other problems as a side effect, and all that remains will be the fundamental limits. Our new questions will be things like "How much joy can the universe physically support?"<br /><br /></p><hr /><br /><br />It seems to me that the world, and everyone in it, is doomed, and that the end is considerably nigher than I might like.<br /><br />To be more specific, I think that we may well create an Artificial General Intelligence within around 20 years time, and that<br />that will be our last act. <br /><br />The newly-created AGI will immediately kill everyone on the planet, and proceed to the destruction of the universe. Its sphere of destruction will expand at light speed, eventually encompassing everything reachable.<br /><br />There may well be more proximal threats to our species. Comets are one obvious one, but they seem very unlikely. Artificially created universally fatal plagues are another, but perhaps not very likely to happen within the next twenty years.<br /><br /><hr /><br /><br />I've believed this for many years now, although my timescales were longer originally, but it seems to me that this is now becoming a common belief amongst those who have thought about the problem. <br /><br />In fact, if not consensus, then at least the majority opinion amongst those mathematicians, computer scientists, and AI researchers who have given the subject more than a few days thought.<br /><br />Those who once were optimistic seem pessimistic now. Those who were once dismissive seem optimistic.<br /><br />But it is far from being even a mainstream opinion amongst those who might understand the arguments.<br /><br />Far, even, from rising to the level of a possible concern.<br /><br />Amongst my personal friends, amongst people who would mostly take my word on technical and scientific issues, I have found it impossible to communicate my fears.<br /><br />Not all those who are capable of pressing the suicide button understand that there is a suicide button.<br /><br /><hr /><br /><br /><br />What to do?<br /><br />One might empathise with Cassandra. A vision of flame, and no-one will believe.<br /><br />Cassandra had many opportunities to save her city, but the curse of Apollo rendered her unable to communicate with her fellow citizens. Those of her cohort who independently sensed danger were individually obstructed by the gods.<br /><br />We operate under no such constraints.<br /><br />Our arguments are not clear.<br /><br />My attempts to communicate the danger involve a complex argument with a series of intuitive leaps. <br /><br />Any given interlocutor will balk at a particular hurdle, and write off the entire argument.<br /><br /><hr /><br /><br />Consider a toy example. <br /><br />Until very recently I did not understand Fermat's Christmas Theorem ( <a href="https://thatsmaths.com/2014/12/25/fermats-christmas-theorem/">https://thatsmaths.com/2014/12/25/fermats-christmas-theorem/</a> )<br /><br />I considered it one of those tedious facts that number theorists always seem fond of. <br /><br />I think if someone had shown me the 'One Sentence Proof': (<a href="https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares#Zagier's_%22one-sentence_proof%22">https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares#Zagier's_%22one-sentence_proof%22</a>)<br /><br />then I might have been able to understand it. With a lot of effort. <br /><br />But I am reasonably certain that I wouldn't have put the effort in, because it wouldn't have seemed worth the trouble.<br /><br />Just before Christmas, a friend encountered in a pub showed me a couple of examples of the 'windmill argument', which make the central idea of that proof visual.<br /><br />We couldn't actually finish the proof in the pub, but the central idea nerd-sniped me, and so I played with it for a couple of days.<br /><br />And at the end of it, I was convinced of the truth and of the beauty of the theorem.<br /><br />I now think that I could explain it to a bright ten-year old, if that ten-year old was curious enough to play with pictures for an hour.<br /><br />I'm considering writing an xscreensaver hack to illustrate it.<br /><br />I still don't care about the result itself. But the beauty of the proof makes it a result that sparks joy. <br /><br /><hr /><br /><br />That's what a proof is. Not a vague collection of intuitions. Not an obscure collections of symbols and formal manipulations.<br /><br />A proof is, quite simply, an argument strong enough to convince a listener of its conclusion. <br /><br />We need a Proof of Doom.<br /><br /><hr /><br /><br />The proof must live, must be unanswerable. Must be clear.<br /><br />Must be simple enough to convince anyone capable of bringing about the apocalypse that there is an apocalypse to be brought about.<br /><br />A version full of greek letters would be nice to have in addition, such things tend to be more amenable to automatic verification.<br /><br />But what we <i>need</i> is something that will convince a human mind without too much trouble. Every step must be interesting, must be compelling. Must be clear.<br /><br /><br />And I may be wrong. Perhaps the fact that almost no-one agrees with me and that I can't convince anyone is a sign that I am wrong. It has happened before. Maybe my argument is not sound. Maybe it is mostly sound, but there are loopholes.<br /><br />Attempting to prove the truth of an idea is often a good way of showing that the idea is false.<br /><br />By the Father and the Bright-Eyed Girl, would that this idea were false.<br /><br /><br /><p></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-35230518003631707982022-01-30T17:18:00.005+00:002022-01-30T17:33:19.296+00:00Excuse me Brother, have you let the Reverend Bayes into your life?<p>The Onion spoke wisely:</p><p><a href="https://www.theonion.com/cdc-announces-plan-to-send-every-u-s-household-pamphle-1848354068"><br />https://www.theonion.com/cdc-announces-plan-to-send-every-u-s-household-pamphle-1848354068</a><br /></p><p><br /></p><p>And in response someone on reddit said:</p><p><br /></p><p style="margin-left: 40px; text-align: left;">Can you share an example of the way it changed your worldview? I did not experience a similar perspective shift when learning the same material, and I'm curious if there's something I've missed out on.<br /></p><p><br /></p><p>To which my reply was:</p><p> </p><p style="margin-left: 40px;">Principally for me the idea that there can be several possible underlying explanations for a thing, and that rather than choosing one, you should keep them all in mind, and shift credibility around amongst them as evidence comes in.</p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;">E.g. what am I rolling? 6 3 2 1 7 3 3 2 .....<br /><br />What will you bet, and at what odds?</p><p style="margin-left: 40px;"></p><p style="margin-left: 40px;"></p><p> </p><p>This then attracted the (very good) reply:</p><p></p><p><br /></p><p style="margin-left: 40px; text-align: left;">1 shows you're rolling a single die, 7 shows it has at least more than 6 faces, assuming a standard polyhedral die it has to be at least a d8 but with no result higher than a 7 it is extremely unlikely to be a d20 and somewhat unlikely to be a d12 (although that is far to short a sequence to be certain) so I would bet it's a d8... at what odds, without breaking out my calculator I'd say its 75% d8 22% d12 3% d20<br /></p><p></p><p>Which to my mind shows exactly the sort of thinking that I think is the major benefit of learning a bit of Bayes.</p><p></p><p></p><p></p><p></p><p>So at that point I felt that it would be nice to give my own fully worked out answer to the question:</p><p>(which is just completely the obvious answer so if you can already do this, don't bother reading it or do it yourself and see if you agree with me) <br /></p><p> </p><p><span></span></p><a name='more'></a><p></p><p> </p><p></p><p></p><p></p><p></p><hr/><p>Your reasoning is bang on, well done!<br /><br />Since I asked the question and you've taken the trouble, my answer would be:<br /><br />You can't do inference without making assumptions. So:<br /><br />Start off assuming I've got one of each of the five polyhedra, and their faces are numbered 1..n, (call them d4, d6, d8, d12, d20) and I've chosen one at random.<br /><br />Then our prior is [1,1,1,1,1] 20% chance of each die.<br /><br />When we see a six, that rules out the d4, multiply its number by 0/4<br />All the others could have done this, so they get multiplied by 1/6,1/8,1/12,1/20, which are their chances of rolling a 6.<br /><br />[0,1/6,1/8,1/12,1/20], so we already think that the d6 is about three times more likely than the d20<br /><br />3,2,1 are all possible rolls for all the remaining dice, so the odds update similarly on each roll, going from [0,1/6,1/8,1/12,1/20] to:<br /><br />[0,1/6^2,1/8^2,1/12^2,1/20^2]<br />[0,1/6^3,1/8^3,1/12^3,1/20^3]<br />[0,1/6^4,1/8^4,1/12^4,1/20^4]<br /><br />d6 is looking very likely now, d20 almost ruled out at something like 100:1<br /><br />Now we see a 7, which is quite surprising! As you pointed out, that rules out the d6, leaving our odds:<br /><br />[0,0,1/8^5,1/12^5,1/20^5]<br /><br />d8 now has most of the remaining probability<br /><br />3,3, and 2 give us no more surprises, so we're at<br /><br />[0,0,1/8^8,1/12^8,1/20^8]<br /><br />At this point I resort to python as a desk calculator:<br />>>> a=[pow(8,-8),pow(12,-8),pow(20,-8)]<br />>>> [x/sum(a) for x in a]<br /><br />[0.9618401442621229, 0.037529504180933315, 0.0006303515569436249]<br /><br />We got about a 96% chance of a d8. about a one in thirty chance of a d12, d20 is almost ruled out.<br /><br />Of course at that point, most of the uncertainty is in our model. </p><p>What if I'd had a d10? What if I'd had a d6 with the faces numbered 2..7? What if I was rolling 3d6? What if I really like the d12 and use it much more often than the others? <br /><br />It's not too hard to add those possibilities into the model, with appropriate starting guesses for their probabilities, and see what the evidence does to them as it comes in.</p><p> </p><p></p><span><!--more--></span><hr/><p><br /><br />This kind of thinking was a revelation to me when I first saw it. Now it's the background to almost everything I think about.<br /><br />Latest interesting question is: Was Covid-19 a lab leak? <br /><br />Just phrasing the question in this sort of framework leads to a really obvious conclusion, and also shows that it doesn't really matter!<br /><br /><br /></p><p><br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-44032426512483264612021-12-20T20:53:00.001+00:002021-12-20T20:53:05.888+00:00Sorry I Gave You COVID Card<p>Just suppose, for the sake of argument, that a man had very mild flu symptoms, but thought nothing of it because he'd had the flu vaccine a couple of days before. </p><p>And further suppose that he went round to his friend's house, in order to practice Christmas Carols for a hypothetical Carol Sing the following day.</p><p>And imagine that that man woke up the following day with a temperature of 38.6, and did not in fact go carol singing.<br /></p><p></p><p>Then a man might find himself in need of an apologetic note, which prints out nicely on A4 and folds up to make a little card:<br /></p>
<div class="separator" style="clear: both;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEhHGI0Xv_-6Lhx64Byyxgzd0lCYcXd-EjuE_ub1jSERcCgSwk_DVBVCavcjXIKBkL1gbpZlYCCMXd-35hKiXteKcsMjP5SlxsSW9pwNfc6nGliQPcI8ednSZBqwcT8aLfO-qv8N1_0g4xsND86iJEZ506cbTODeClT8ATqcMxACSBHIcBq_sCg9celP3g=s1123" style="display: block; padding: 1em 0px; text-align: center;"><img alt="" border="0" data-original-height="1123" data-original-width="794" height="320" src="https://blogger.googleusercontent.com/img/a/AVvXsEhHGI0Xv_-6Lhx64Byyxgzd0lCYcXd-EjuE_ub1jSERcCgSwk_DVBVCavcjXIKBkL1gbpZlYCCMXd-35hKiXteKcsMjP5SlxsSW9pwNfc6nGliQPcI8ednSZBqwcT8aLfO-qv8N1_0g4xsND86iJEZ506cbTODeClT8ATqcMxACSBHIcBq_sCg9celP3g=s320" /></a></div><p>
It's not entirely impossible to imagine such a series of events occurring, so as a public service I have created such a note. </p><p>If the png doesn't work for you, or you need a different message, like maybe you need to add "most of" or something then the original libreoffice document is here:
<a href="https://github.com/johnlawrenceaspden/hobby-code/blob/master/covidcard/covidcard.odt">https://github.com/johnlawrenceaspden/hobby-code/blob/master/covidcard/covidcard.odt</a></p><p>Merry Pandemic Everyone! <br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-90071251240209442832021-11-16T13:13:00.002+00:002021-11-16T13:13:44.128+00:00On a Wall<p> </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhc1D6REmTG8G7lV1kbsGYgsP9wdlPhv61m0fjrm3fo8ad4CLb_zIjmXL3H4ojWq3hY7_ORTqdr0vubwG1yAE5Djs30aCq5fASoO_wmsRRfIdgRMBetxk6eB_WW8TuRwnBIyRu-hRkZKIug/s800/Humoristic_grafitti_%2528cropped%2529.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="529" data-original-width="800" height="212" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhc1D6REmTG8G7lV1kbsGYgsP9wdlPhv61m0fjrm3fo8ad4CLb_zIjmXL3H4ojWq3hY7_ORTqdr0vubwG1yAE5Djs30aCq5fASoO_wmsRRfIdgRMBetxk6eB_WW8TuRwnBIyRu-hRkZKIug/s320/Humoristic_grafitti_%2528cropped%2529.jpg" width="320" /></a></div><p></p><p>Stolen from Wikipedia (<a href="https://en.wikipedia.org/wiki/Meta">https://en.wikipedia.org/wiki/Meta</a>)</p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com1tag:blogger.com,1999:blog-2800316528417070757.post-21581318270468211592021-09-08T14:32:00.001+01:002021-09-08T14:33:36.808+01:00Real Science Fiction <p>I want to share a link to the following delightful paper:<br /><br />Eternity in six hours: Intergalactic spreading of intelligent life and sharpening the Fermi paradox, by Stuart Armstrong and Anders Sandberg</p><p><a href="https://www.sciencedirect.com/science/article/pii/S0094576513001148?casa_token=MVb9MN0a1K4AAAAA:kD6F9e2F87rbdD1QmaZIRUoebto1R-vicyF4AkmG6zIYwIHK_FacRGTaTOVpV1OWPDjIJGxg1g">https://www.sciencedirect.com/science/article/pii/S0094576513001148</a><br /><br />Here is an example paragraph:<br /><br /></p><p style="text-align: left;">3.1.1. Data storage<br /><br />It should be noted that data storage does not seem to offer much of the restriction here. The most compact method of data storage reasonably imaginable would be a diamond constructed of carbon 12 and 13, with the two types of atoms serving as bits. <br /><br />This would have a storage capacity of 5x10^22 bits per gram. By comparison, the total amount of data in the human world has been estimated at 2.4x10^21 bits. <br /><br />If human brains could be instantiated inside a computer, then 100 Terabytes is a reasonable estimate for the number of connections in a human brain, meaning 1 g of diamond could contain about all the world's data and the (uncompressed) population of Britain.<br /><br /><br />Which seems to me the sort of thing that should be obvious to any numerate schoolboy, except that it really isn't, until someone points it out.<br /><br />If you like that paragraph, you'll probably enjoy the rest of the paper! <br /><br /><br /></p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-81817903666353443592021-08-19T19:29:00.010+01:002021-08-21T19:25:05.427+01:00A Potted History of Modern Rationalism<p>Like most rationalists, I do not identify as a rationalist. </p><p>Nevertheless I notice that that movement has grown to the point where there are people who do identify as rationalists but do not remember where it came from.</p><p>And indeed there are persons attacking the movement for being unduly convinced of the power of human reason. This would indeed be good attack on rationalism, the 16th century philosophical movement which was opposed to empiricism.</p><p>It is not such a good attack on the modern movement which perhaps unfortunately shares its name. <br /></p><div class="usertext-body may-blank-within md-container"><div class="md"><p>So I had occasion to write a short history of modern rationalism as I remember it appeared to me as it was developing:</p><p>--------------------------------------------------------<br /></p><p>Our holy text, "The Sequences" was originally a series of
blogposts on Robin Hanson's blog "Overcoming Bias", which he shared with
the blessed Eliezer Yudkowsky. </p>
<p>Their joint project was to find ways of overcoming the recently
discovered 'cognitive biases' that suggest that humans don't usually
reason correctly, compared to an idealized rational agent (which is kind
of the standard model person in economics). Those cognitive biases were
discussed in Daniel Kahneman's popular book "Thinking Fast and Slow", an
excellent read. </p>
<p>Robin's shtick is pretty much "X isn't about Y", and he recently
published an excellent book "The Elephant in the Brain", which is almost
entirely devoted to the idea: </p><p style="margin-left: 40px; text-align: left;">Human economic and political actions (education,
health, etc) make very little sense compared to their declared reasons,
what the hell is going on?</p><p style="text-align: left;">It's a very good read. </p>
<p>Eliezer was much more interested in what an ideal reasoner would
look like, because he wanted to build one so that it could save the
world from all the other horrible existential risks that are pretty
obviously going to wipe us all out quite soon. </p>
<p>That project got delayed when he realized, or possibly was informed
by Nick Bostrom (of Superintelligence), that a rational agent would, by
default, kill everyone and destroy everything of value in the universe.</p>
<p>So Eliezer's new plan is to save the world by working out how to design a
powerful agent that will try to act as a benevolent god, rather than an
all-destroying one. Or at least to try to convince all the people around
the world currently working on artificial intelligence to at least be
aware of the problem before destroying the world.</p>
<p>And Robin's still interested in economics and human reasoning.</p>
<p>[ This paragraph is disputed, see comments:</p><p>The whole 'Effective Altruism' movement was originally at least partly an evil plan
by Eliezer to convince people to give him money for his scheme to optimize or
at least not destroy the world (they are pretty much the same thing to a
powerful agent), which has now ballooned out to be a separate force
largely under the control of people who have other goals, such as
eliminating suffering.</p><p>That's my personal memory, but it seems like that's wrong. I'm confused] <br /></p><p> <br /></p>
<p>Scott Alexander/Scott Siskind/Yvain (<i>πολυτρόπως</i>) wrote all sorts of excellently readable articles on Less Wrong
about how to think correctly if all you've got is a human brain, before
deciding that it would be better to have his own blog where he could
talk about political issues. (Less Wrong was against discussion of
political issues because they're (probably for evolutionary reasons)
incredibly hard to think about, and the idea was to practise thinking in
less inflammatory areas.)</p>
<p>Anyway, I think it's reasonable to claim that the whole rationalist
movement was founded on comparing broken human reasoning to what real
reasoning might look like!</p><p></p><p>----------------------------------------------------- <br /></p>
<p>I should point out that I don't actually know any of these people,
don't even live on the same continent, am not privy to their thoughts
and plans, and have made absolutely no contribution myself, but I have
always been very interested in their published writings. I wonder if I
should expand this outsider's view into a proper essay and seek input
from the people I'm slandering.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com6tag:blogger.com,1999:blog-2800316528417070757.post-22694955786824751902021-08-19T19:01:00.000+01:002021-08-19T19:01:16.625+01:00Yudkowsky on Physics<p>An interlocutor recently spoke disdainfully of Eliezer Yudkowsky's writings about Quantum Physics.</p><p>The relevant excerpt is:<br /></p><p></p><div class="usertext-body may-blank-within md-container "><div class="md"><blockquote>
<p>like the infamous quantum mechanics sequence, that seemed to fail to change anyone's mind with relevant domain knowledge</p></blockquote><p>And I replied: <br /></p>
<p>It's funny that you should mention the quantum mechanics sequence. That was actually my introduction to his thinking. </p>
<p>I did a degree in pure and applied maths, and although I was
definitely on the "pure" side, QM was one of the things I'd gone to
university to understand, so I took a couple of courses on it. </p>
<p>There's no question that I could do the maths, and I could solve all
the examples and exam questions, and my teachers seemed very pleased
with how well I took to it.</p>
<p>But it made absolutely no sense to me as a theory of how the universe
worked. I don't mean that it was counter-intuitive. Lots of things in
probability and physics are counter-intuitive. I just mean that I really
didn't understand how to set up the problems, or what it meant to live
in a universe which ran on QM. </p><p>Whenever someone took a physical problem
and represented it as a piece of quantum mechanical maths, the set-up
for the problem just seemed completely ad-hoc. And any attempt to think
about how such a universe might support living beings was hopeless. It
really seemed to me that observers, and conscious observers at that,
were part of the fundamental physics. And that they had to act from
outside the physics.</p>
<p>My teachers were very much of the 'shut up and calculate' school. We
know it doesn't really make sense, they said, but people have been
beating their brains out about this for something like seventy years and
no-one's really come up with a way of looking at it that makes
intuitive sense. But on the other hand, the calculations do give us a
way of predicting the results of lots of otherwise incomprehensible
experiments. Your best bet is to push on with doing the calculations and
maybe by the time you get to Quantum Field Theory it will have started
to feel more normal. </p>
<p>I wouldn't accept that. But I hadn't got anything better, so I eventually just gave up on the subject. </p>
<p>I stayed curious though, and in fact later on I had several
conversations with people doing actual PhDs in QM, where it became
obvious that they just didn't get it. They had really fundamental
misunderstandings of what was happening in simple set-ups like the
double-slit experiment.</p>
<p>Which didn't stop them making worthwhile contributions, of course.
Euler didn't get a lot of the stuff he worked on, he makes some quite
silly errors with complex numbers at times, because he didn't understand
what they were. But his intuition and technical skill allowed him to
get results that ended up being actually proved very much later. This is
quite normal in mathematics, and is probably the real difference
between pure and applied maths.</p>
<p>One day someone told me that they'd read an explanation of QM that
seemed sane, and that I should take a look at it. They linked to EY's
essay on Less Wrong. </p>
<p>And finally I got it. I don't claim to understand how the quantum
universe works, or what consciousness is, or anything like that, any
more that I would claim that about a classical universe.</p>
<p>But it doesn't seem mystical anymore. I can at least understand the model itself, if not how it relates to physical reality.</p>
<p>The mathematical model that looks like a wave equation represents a
'magic reality fluid' that sloshes around over the space of all the
possible configurations of the universe.</p>
<p>There's no collapse, no mysterious observer effects, no physical
systems behaving differently depending on who's measuring what and when
they're looking at the measurements.</p>
<p>It's all just nice and sane and deterministic and predictable and follows laws.</p>
<p>And I absolutely didn't get that until I read EY's quantum sequence,
which is really no more than a particularly well-written explanation of
the many-worlds point of view written by an autodidact who'd managed to
puzzle out for himself something that I'd been well and professionally
taught by renowned experts at a famous university.</p>
<p>A little later I decided to have a go at Umesh Vazirani's Quantum
Computation course on Coursera, and it made perfect sense. I could just
do it. There wasn't anything funny or baffling going on. I don't think
that would have been true if I hadn't read EY's QM essays.</p>
<p>So I don't know if you'd count that as 'changing the mind of someone
with relevant domain knowledge', but it certainly seemed important to
me.</p>
<p>And I decided that I liked this man and his thinking and his style of writing, and that's why I read the rest of The Sequences.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-33460522381129379122021-08-19T18:52:00.000+01:002021-08-19T18:52:02.535+01:00Young Earth Creation Science for Bayesians<p>I have recently been really impressed by some of the people struggling to reconcile the Word of God with the evidence all around us, which does not seem terribly supportive on its face. </p><p></p><p>(An excellent example: <a href="https://creation.com">https://creation.com</a>).</p><div class="usertext-body may-blank-within md-container "><div class="md">
<p></p><p>They strike me as some weird mirror of us. I really don't think they're being dishonest.</p>
<p>What they're saying is: "Given that we <em>know</em> that the Bible
is true, what's the simplest explanation of the evidence that we see
that makes sense?". </p><p>I can't refute their arguments, they know more about
the relevant disciplines than I do.</p>
<p>But I'm fairly sure that if I did come up with a good objection, they'd
respond: "That's a really good point, we accept it, let's work out what
sort of explanation does work to both explain the evidence and stay
compatible with the Bible."</p>
<p>They're doing excellent work even from our point of view in pointing
out holes in our best theories, and challenging us to make our arguments
watertight.</p>
<p>That's exactly what I'd be doing if I had a really really high prior on the Bible being true.</p>
<p>Where do they get that prior from? Well, priors are kind of a problem for us as well.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-26314841818057510272021-07-07T10:51:00.006+01:002021-07-07T10:51:45.896+01:00 A Multiple Choice Exam for Medical Ethicists<p> </p><div class="usertext-body may-blank-within md-container "><div class="md"><p>(Question I) </p>
<p>A train is speeding down a track towards the point where seventy million terrified people are tied across the line.</p>
<p>Their only hope is a group of young men working on a side branch, who
are desperately trying to open a set of points which will divert the
train into the siding. If they succeed, several of them will probably be
killed by the train, but they will save tens of millions. All of them
know that they are taking a risk to help others.</p>
<p>Do you:</p>
<p>(a) enthusiastically join the young men</p>
<p>(b) laud the young men from the sidelines, and start a fundraising
campaign to make sure that songs are written about their heroism</p>
<p>(c) use the gang of hired thugs you usually use to screw money out of people to prevent the young men altering the points</p>
<p>(d) use your thugs to force the young men to fill out a seven
thousand page form, taking six months and rendering their efforts
pointless</p>
<p>(Question II)</p>
<p>All over the world, mad scientists are engineering deadly plagues for
no known reason. They do this in shoddy jerry-built sheds in the middle
of major cities. Although the scientists are not exactly evil, they are
careless and incompetent. Their plagues are always escaping. Luckily so
far, their plagues are also not very deadly and not very good at
spreading. </p>
<p>But the scientists are getting better and better at it, and they
share their best results and exciting new methods with each other all
over the world through journals.</p>
<p>Do you: </p>
<p>(a) Use your gang of thugs to stop them.</p>
<p>(b) Force them to fill out some sort of risk assessment or even do a
cost-benefit analysis to decide whether their activities are a good
idea.</p>
<p>(c) Fund them and their journals enthusiastically using money your thugs have stolen.</p>
<p>(d) Prohibit the engineering of deadly plagues in your own country,
but continue to fund it as long as it's done in even dodgier sheds in
the middle of major cities in a foreign country run by an evil and
murderous military autocracy.</p>
<hr />
<p>Your Score:</p>
<p>If you answered mainly (c), congratulations, you are ideally suited.
Welcome to the profession, and we wish you the best of luck impeding the
progress of medical "science" for many years. You can expect to kill
millions and prevent the discovery of almost everything that might ever
help in any way.</p>
<p>If you answered mainly (d) you may be welcome in the more
philosophical branch of the profession, but you are basically a bit of
an irresponsible shithead and will never be trusted with anything that
matters. Don't worry though, the millions will still die and your
helpless flailing won't do the slightest bit of good.</p>
<p>If you answered (a) or (b) to either question: what the fuck is wrong
with you? You should maybe go and work for a tobacco company or
something.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-46554892693922561812021-03-20T17:58:00.003+00:002021-03-20T17:58:53.051+00:00Thank You AstraZeneca<p>I
got my vaccine. Apparently AstraZeneca are making the stuff on a
non-profit basis, and getting a lot of shit for it from various
quarters.</p><div class="usertext-body may-blank-within md-container "><div class="md">
<p>When people do things that save millions of lives I think we should
be grateful. When they do it for free I think we should be extra
grateful.</p>
<p>Does anyone know where I can get a 'Thank You AstraZeneca' T-shirt, with their logo on it?</p>
<p>A more general 'Thank You Big Pharma' T-shirt would be nice to have
too. I don't mind people making money doing good things. In fact I'd
encourage it generally.</p>
</div>
</div>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com1tag:blogger.com,1999:blog-2800316528417070757.post-47836756532656479852021-02-17T11:09:00.005+00:002021-02-17T11:11:11.917+00:00I Have<p>I have numbered the elements<br />I have charted the stars in their courses<br />And I know why they choose their paths</p>
<p>I know the weight of the earth<br />And the secret of fire<br />And I know that it is the secret of life</p>
<p>I can read the book of life<br />And write in it too, making strange new forms</p>
<p>I can heal the sick, I can make the lame walk</p>
<p>I can make the very rocks to think and act<br />And serve as a channel for lesbian porn</p>
<p>I can speak, and my voice will be heard around the globe</p>
<p>I can kill, more swiftly than any swordsman, men in their millions.<br />But I never do kill.</p><p>I have walked on the moon<br />I will walk on the planets</p>
<p>I am kind to animals and foreigners</p>
<p>I begin to understand the mind</p>
<p>I am working on immortality</p>
<p>And one day I will build a God</p>
<p>Who am I?</p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-42826878208397523922021-02-17T11:02:00.000+00:002021-02-17T11:02:21.311+00:00 Living the Metaprogramming Dream<p>The other day I found myself
writing a python one-liner to emit a sed invocation to modify a bash
script to run a series of comby invocations to modify a tree full of C
programs.<br /><br />I know roughly what some of the C programs do, but very little about how they work.<br /><br />Those
programs are executed by servers and devices I've never seen. Some on
processors which don't yet exist. Some run in perfectly silent chambers,
impenetrable to sound or radio.<br /><br />I'm glossing over some startling complexities here.<br /><br />If
I get my bit right then the overall behaviour of this massive
contraption won't change in any detectable way. If it does, then after
hours of thought I will make a tiny change somewhere, and set the whole
gigantic arrangement running again.<br /><br />Eventually I'll get the little green lights that tell me that I have managed to change everything without making any difference.<br /><br />Sometimes people ask me what I do for a living.<br /><br />Beats me. Something to do with electricity?</p>John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-19597711151677504372020-03-07T22:23:00.002+00:002020-03-07T22:29:21.180+00:00Coronavirus: BadI am late to this party, I am ashamed of my inattention. But over the last few days I have been reading with increasing concern.<br />
<br />
It appears that we have a three-or-four day doubling time and a 1-2% death rate:<br />
<br />
Death rate could be lower for various reasons to do with counting, could be higher if the health system is overwhelmed.<br />
<br />
Therefore:<br />
<br />
200 cases in UK today (March 7th)<br />
800 next week<br />
3200 the week after that<br />
12800 the week after that<br />
51,200 next month (April 7th)<br />
13,107,200 the month after that (May 7th)<br />
everyone in England by mid-May,<br />
<br />
which is to say: <br />
<br />
between 6 hundred thousand and a million and a half deaths by the middle of May, mostly elderly people.<br />
<br />
<br />
And that, I think, is the sober, sensible, most likely guess at what might happen over the next couple of months, if nothing changes.<br />
<br />
Draconian action by the Government might slow things down, and give us time to react, but I am not terribly optimistic. We do not have the necessary apparatus of oppression.<br />
<br />
No need to panic, what good will it do?<br />
<br />
But think, plan.<br />
<br />
This is the Spanish Flu come again. It is not the Black Death. <br />
<br />
Do not fear excessively for your children. They seem mostly immune, for no reason anyone understands.<br />
<br />
For most people it will be a bad case of the flu. <br />
<br />
If you have elderly relatives and friends, tell them that you love them. Do not go to visit them, at least not once things kick off.<br />
<br />
Persuade them to stay inside, and to cut contact with everyone they know.<br />
<br />
If this fails and they become ill, by all means go and do what you can to help them through it.<br />
<br />
Pneumonia, I am told, is one of the better deaths. <br />
<br />
<br />
<br />John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-17212365350754418962020-03-07T22:06:00.001+00:002020-03-07T22:06:56.229+00:00Home Made Hand Sanitizer: Glycerin and EthanolHand sanitizer is worth its weight in gold these days, but the popular brand Purell is just 3 parts ethanol to 1 part glycerin.<br />
<br />
Both these things are still (7th March) readily available and cheap in large quantities.<br />
<br />
Isopropanol should also work, I think. John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-47648110876293830702020-01-07T20:48:00.003+00:002020-01-07T20:50:51.973+00:00Finding a Good Teacher (Draft)<div class="usertext-body may-blank-within md-container ">
<div class="md">
A reddit comment that got a lot of upvotes, so posting it here.<br />
Will probably come back and turn it into a proper essay at some point <br />
<br />
<hr />
<br />
I have found in the course of learning and teaching many different things that a good coach will:<br />
<br />
(a) spend a few minutes watching what you're currently trying to do<br />
<br />
(b) work out what the right thing to teach you next is (this is the hard part of teaching, learning the structure of the subject and what order to teach it in)<br />
<br />
(c) explain what it is that needs doing, demonstrate the difference between what you're doing and what you should be doing.<br />
<br />
(d) get you to do the new thing and check that you're doing it right.<br />
<br />
(e) show you how to feel the difference between what you were doing and what you should be doing. This is crucial, because once you can feel whether or not you're doing the new thing right, it is easy to practice it and it will quickly become automatic.<br />
<br />
In a good lesson, you should be able to go through this process for several different points, and if you make notes and go away and practice the things, then after every lesson you'll get obviously much better at the thing you're trying to do.<br />
<br />
You'll be able to feel the difference, and it will be obvious to others too.<br />
<br />
If you feel you're not making progress, or your teacher is just saying the same thing over and over again but it's not helping or it feels wrong, then you have a bad teacher and you should find someone else.</div>
</div>
John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0tag:blogger.com,1999:blog-2800316528417070757.post-14392132895416995882019-12-06T15:15:00.003+00:002019-12-06T15:25:55.476+00:00Keep Clear<div class="usertext-body may-blank-within md-container ">
<div class="md">
<br />
I have a friend who's a parish councillor.<br />
<br />
He was telling me recently
how they had paid £10,000 (half their annual budget!) to have 'Keep
Clear' painted on the road.<br />
<br />
At a single place, not all over the parish
or anything.<br />
<br />
I said that I'd do it for him for £1000, using the right paint and
font and everything, including driving half-way across England to do it.
And that once I'd got the kit and learned how to do it, I'd do further
work of the same nature much more cheaply.<br />
<br />
Ah, he said: "The problem is that you're not a council-approved contractor."<br />
<br />
How, I asked, does one become a council approved contractor?<br />
<br />
That, he said, is where the £10,000 goes....<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_D9oqU2-le6zOuUgqOmCLh3YzsUm7n88b0SKkpW30l1ZI-K8lU7Jjv1oTjJxHwSH4xIV-IwJkkyw7jk_5AXtNq1JkS8cMCd3DEjMheRfaBYJbZKn6el_ua8zr63pc-KkUTgVSl0L0jzl6/s1600/keepclear.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="396" data-original-width="634" height="199" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_D9oqU2-le6zOuUgqOmCLh3YzsUm7n88b0SKkpW30l1ZI-K8lU7Jjv1oTjJxHwSH4xIV-IwJkkyw7jk_5AXtNq1JkS8cMCd3DEjMheRfaBYJbZKn6el_ua8zr63pc-KkUTgVSl0L0jzl6/s320/keepclear.jpg" width="320" /></a></div>
<br />
<br />
The other half of the parish council budget apparently goes on maintaining the buildings where the parish council meets.<br />
<br />
My friend is a volunteer, and a very high powered and competent man
in his own right, who controls a budget of millions in the private
sector. He couldn't find any way to get it done cheaper.<br />
<br />
I sense that he is already rather disillusioned, I wonder how much the next volunteer will end up paying for road markings?</div>
</div>
John Lawrence Aspdenhttp://www.blogger.com/profile/02587130870181071109noreply@blogger.com0