The paper "Making Turing machines useful (Or, how I got Doom to run on a Turing machine)" builds a Turing machine to run Doom (duh), by implementing a RISC-V (RV32I) emulator. While in Sigbovik fashion the utility of the exercise is far outshined by its complexity, there's a number of interesting choices regarding much of what are usually handwaved away regarding tape and state management. To be fair, TM have far less utility as real programming languages than lambda-calculi do, so it's common for professors to dismiss any attempt to optimize TM programs -- which is a root of evil. Since evil is also the source of doom, everything converges here.
A Turing machine is Doom complete?
ccdoom is delightfully impressive. It's a compiler compliant with the C standard, which outputs DOOM (the word, and the game) for all programs.
> ccdoom is a freestanding C implementation, as distinct from hosted implementations. The difference is that freestanding implementations need not support the full standard library, and may specify an alternative name and signature for main [2, Section 5.1.2.2].
> int math_errhandling(int argc, char* argv[]);
> Since math_errhandling is the program entry point and therefore always implicitly used, any program that fails to define it then contains a use of an undefined identifier, which is undefined behaviour [2, Section 6.9.1p5].
> On the other hand, any program which does define math_errhandling also has undefined behaviour. Per the standard [2, Section 7.12p20]:
Does this mean that all C programs invoke undefined behavior?
All C programs targeting this particular freestanding implementation do.
I'm surprised that the recent advances in applying typography to engineering problems [1, 2] are not published at SIGBOVIK but are apparently going to a more serious journal.
[1] https://www.researchgate.net/publication/390635826_Structura...
> In this paper, we introduce NEURALATEX, which we believe to be the first deep learning library written entirely in LATEX.
Right, that's enough computers everyone. Back to books.
Look I hope one day to go back to school and get my degree in Computational Heresy.
Your cogitators possess value, Citizen. Do not waste them on unsanctioned thought-paths.
The Emperor Protects!
Oh hell yeah, hopefully this means we get a new Tom7 video soon!
Is Tom doing anything this year?
Searched for tom murphy and was not disappointed.
His Youtube videos are gold. This one, in which he aims to take the imprecision of floating point numbers to extreme applications, such as training neural networks with linear activation functions or even implementing cryptologically-safe functions, is superb.
This was harder to find than I would've thought, so for anyone else curious:
I was.
I got distracted following the references to RFCs and noticed a nice number:
2*7*24*60 = 047300 # two weeks, in minutes
5*7*011 = 5*077 = 5*0100 - 5 = 0473I don’t understand.
Maybe RFC 9759, which is referenced in the article "HTTP offload is a dumb great idea whose time has come"?
https://www.ietf.org/rfc/rfc9759.html
OP apparently noticed that two weeks is almost 20480 decimal = 050000 octal minutes, just 320 = 0500 minutes in fact.
I'm also out of the loop but after some research, 0473 seems to be a TikTokism meaning "hug me, please." I would assume that this code uses octal notation, hence GP doing their math in octal, but the sources I've turned up describe codes with digits illegal in octal, so I don't really know.