Sigbovik Conference Proceedings 2025 [pdf]

(sigbovik.org)

109 points | by aleffert 11 hours ago

5 comments

  • woolion 3 hours ago
    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.
  • twic 9 hours ago
    > 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.

    • kemotep 8 hours ago
      Look I hope one day to go back to school and get my degree in Computational Heresy.
      • npsomaratna 5 hours ago
        Your cogitators possess value, Citizen. Do not waste them on unsanctioned thought-paths.

        The Emperor Protects!

  • emmericp 1 hour ago
    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...

    [2] https://www.youtube.com/watch?v=azDaPm13CT8

  • djoldman 10 hours ago
    Searched for tom murphy and was not disappointed.
  • o11c 6 hours ago
    I got distracted following the references to RFCs and noticed a nice number:

      2*7*24*60 = 047300 # two weeks, in minutes
    
    This is not a coincidence. Ignoring the trailing zeros, we have:

      5*7*011 = 5*077 = 5*0100 - 5 = 0473
    • raldi 5 hours ago
      I don’t understand.
      • xelxebar 3 hours ago
        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.

      • maxbond 5 hours ago
        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.