user2994cb
Re:Damas-Hindley-Milner inference two ways
on Thursday October 17, 2024 @03:19AM (#41867203)
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.
Re:Writing the Most Boring Quine
on Sunday March 05, 2023 @04:51AM (#35028222)
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)","\"","(",")",",","\\")
Re:The Classic C Quine (2003)
on Tuesday January 11, 2022 @07:17AM (#29890622)
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);
}
Re:Whitehead and Russell’s Principia rewritten in Coq
on Tuesday December 07, 2021 @03:15AM (#29470154)
Interesting paper here: https://mulpress.mcmaster.ca/russelljournal/article/view/208...
Re:Image file formats that didn’t make it
on Wednesday November 10, 2021 @11:35AM (#29176648)
VRML is still used as an input format for colour 3d printing, eg. https://www.stratasysdirect.com/resources/design-guidelines/...
Re:‘Trojan Source’ Bug Threatens the Security of All Code
on Monday November 01, 2021 @01:35PM (#29070028)
I'm sure there are some creative uses in C-style comments for U+2215, Division Slash: ∕
Skateboard Tricks and Topological Flips
Re:The Programming Language B (1973)
on Monday August 09, 2021 @08:38AM (#28115997)
Lots of interesting details here: http://www.cl.cam.ac.uk/~mr10/cpl2bcpl.pdf
Re:The Programming Language B (1973)
on Monday August 09, 2021 @08:21AM (#28115849)
And BCPL was a cut down version of CPL: https://en.wikipedia.org/wiki/CPL_(programming_language)
Finally, someone put a Greggs in Far Cry 5
Peter Zinovieff, British composer and synth pioneer, dies aged 88
Re:The Leitmotifs of Wagner's Ring
on Friday April 16, 2021 @07:34AM (#26832590)
A nice run through of the recent Met production here: https://vimeo.com/39374902
Re:Logarithmic Maps of the Universe (2005)
on Wednesday February 24, 2021 @06:41AM (#26248922)
How about a 3d model of the universe, inverted, say, in the (model) earth's surface?
Re:Comic Mono
on Thursday December 24, 2020 @02:50AM (#25525782)
Sassoon is designed for that purpose, this version seems OK: https://www.wfonts.com/font/sassoon
Re:Big-endian mode supported for Raspberry Pi with bootable images ava...
on Friday December 04, 2020 @08:19AM (#25301922)
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
Re:Faroe Island roundabout under the Atlantic Ocean
on Friday December 04, 2020 @04:27AM (#25300530)
A useful reference: https://en.wikipedia.org/wiki/List_of_tunnels_of_the_Faroe_I...
Re:Faroe Island roundabout under the Atlantic Ocean
on Friday December 04, 2020 @04:21AM (#25300491)
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).
Re:Maze Algorithms (2011)
on Saturday June 06, 2020 @03:23AM (#23437434)
Generating mazes on 3d polyhedra & other surfaces: http://matthewarcus.github.io/polyjs/maze.html
Geometry Formulas and Facts
Re:Last and First Men
on Saturday February 22, 2020 @04:15PM (#22393367)
Sirius I found deeply moving and quite different from his more cosmic novels: https://en.wikipedia.org/wiki/Sirius_(novel)
Online Sale: The Erwin Tomash Library on the History of Computing
Re:BBC Micro Bot
on Thursday February 20, 2020 @01:17PM (#22377195)
Dr. Johnson gives both spellings in his Dictionary, along with relevant quotes from Milton and Dryden, which are all spelled "spelled" or "spell'd".
Re:BBC Micro Bot
on Thursday February 20, 2020 @08:53AM (#22375050)
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.
Re:BBC Micro Bot
on Thursday February 20, 2020 @08:23AM (#22374869)
I don't (it wasn't my project) but I've emailed my housemate (seemed polite, since we are talking about him).
Re:BBC Micro Bot
on Thursday February 20, 2020 @08:22AM (#22374857)
And this is the (now defunct) Panos restaurant, on Hills Road:
https://i2-prod.cambridge-news.co.uk/incoming/article1345494...
Centre for Computing History (Cambridge, UK)
Re:BBC Micro Bot
on Thursday February 20, 2020 @05:31AM (#22374076)
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).
Re:BBC Micro Bot
on Thursday February 20, 2020 @05:23AM (#22374040)
Rather than Unix, our Workstation ran Panos, the only operating system that I know of named after a Greek restaurant.
Re:BBC Micro Bot
on Thursday February 20, 2020 @04:05AM (#22373748)
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.