user2994cb

Interesting date on that Max Newman paper - 2nd September 1942. Newman started working at Bletchley Park on 31st August, where he was deeply involved in the decryption of the Lorenz cipher and the development of Colossus.

I like this Python3 quine, which doesn't use repr printing:

  (lambda s,q,b,k,c,e:print(b+s+k+b+q+s+q+c+q+e+q+q+c+q+b+q+c+q+k+q+c+q+c+q+c+q+e+e+q+k))("lambda s,q,b,k,c,e:print(b+s+k+b+q+s+q+c+q+e+q+q+c+q+b+q+c+q+k+q+c+q+c+q+c+q+e+e+q+k)","\"","(",")",",","\\")

If you don't like those hard-coded character constants, lack of newlines, and compiler warnings, here's a C quine on similar lines:

  #include<stdio.h>
  int main(){
    char q='"',n='\n',b='\\';
    char*f="#include<stdio.h>%cint main(){%c  char q='%c',n='%cn',b='%c%c';%c  char*f=%c%s%c;%c  printf(f,n,n,q,b,b,b,n,q,f,q,n,n,n);%c}%c";
    printf(f,n,n,q,b,b,b,n,q,f,q,n,n,n);
  }

Interesting paper here: https://mulpress.mcmaster.ca/russelljournal/article/view/208...

VRML is still used as an input format for colour 3d printing, eg. https://www.stratasysdirect.com/resources/design-guidelines/...

I'm sure there are some creative uses in C-style comments for U+2215, Division Slash: ∕

Lots of interesting details here: http://www.cl.cam.ac.uk/~mr10/cpl2bcpl.pdf

And BCPL was a cut down version of CPL: https://en.wikipedia.org/wiki/CPL_(programming_language)

A nice run through of the recent Met production here: https://vimeo.com/39374902

How about a 3d model of the universe, inverted, say, in the (model) earth's surface?

Sassoon is designed for that purpose, this version seems OK: https://www.wfonts.com/font/sassoon

Raspbian used to have a hilarious implementation of memcmp that temporarily switched to big endian mode in a (probably misguided) attempt at speeding things up. Valgrind didn't like this very much: https://bugs.kde.org/show_bug.cgi?id=322935

A useful reference: https://en.wikipedia.org/wiki/List_of_tunnels_of_the_Faroe_I...

They have tunnels through a lot of the islands as well - mostly single track with passing places (looked pretty terrifying when I was there a couple of decades ago, though I was never the one driving).

Generating mazes on 3d polyhedra & other surfaces: http://matthewarcus.github.io/polyjs/maze.html

Sirius I found deeply moving and quite different from his more cosmic novels: https://en.wikipedia.org/wiki/Sirius_(novel)

Dr. Johnson gives both spellings in his Dictionary, along with relevant quotes from Milton and Dryden, which are all spelled "spelled" or "spell'd".

That was probably a factor - does HN do this for all newbie comments though? Most of the 'dead' comments I see are more obviously dodgy.

I don't (it wasn't my project) but I've emailed my housemate (seemed polite, since we are talking about him).

And this is the (now defunct) Panos restaurant, on Hills Road:

https://i2-prod.cambridge-news.co.uk/incoming/article1345494...

The Centre for Computing History is a great place to visit - lots of machines up and running you can actually use (mainly from the 8-bit era, but other interesting things too).

Rather than Unix, our Workstation ran Panos, the only operating system that I know of named after a Greek restaurant.

One of these: http://www.computinghistory.org.uk/det/33101/Acorn-Cambridge... with a TI 32016 processor & using a BBC Micro for UI - except that my housemate Colin thought it was a bit expensive, so reverse engineered the board, redesigned it to be a little smaller (this was in the mid-80s & chip specs were changing rapidly), wire-wrapped a prototype for testing, then etched five proper PCBs, of which only a couple were populated.

That emulator is from the very talented Matthew Godbolt of "Compiler Explorer" fame, by the way.

Interesting - this comment was marked as 'dead' until I upvoted it - some sort of over-zealous spam filter misinterpreting "bbc"?

I was a Spectrum guy myself, but I did write my first C program on an Acorn Workstation clone.

This would have made a nice scene in that awful Imitation Game film, unlike the rubbish they actually put in (as well as other tales of the real Turing - the gas mask worn during hay fever season, for example).

In fact, there seems to be a lot of interesting things about 1729: https://en.wikipedia.org/wiki/1729_(number)

Feynman even has his own 1729 anecdote: https://www.ee.ryerson.ca/~elf/abacus/feynman.html

Indeed, though that's to the entire volume - I was trying to link directly to the individual Gentzen papers (though by the fairly slow download maybe they are being created dynamically).

Thanks for the interesting blog piece though - maybe you could write one about Gentzen's consistency proof?

Sorry about that, works OK for me (FF 72.0.2/Ubuntu 19.10).