6 ms·

This paper was published in this year’s issue of sigbovik, the best satirical academic journal you (may) have never heard of: https://sigbovik.org/2024/ https:/

This paper was published in this year’s issue of sigbovik, the best satirical academic journal you (may) have never heard of: https://sigbovik.org/2024/ https://sigbovik.org/2024/

progbits 2y ago
I hope that means a new Tom7 video soon. Edit for context: https://news.ycombinator.com/item?id=36846820 https://news.ycombinator.com/item?id=36846820
- hprotagonist 2y ago
  he had a paper, but possibly no video this year.
  - garaetjjte 2y ago
    >I think the papers may be the canonical form of this particular project, but I'm starting on a visual version, which will probably become a video some time this month. http://radar.spacebar.org/f/a/weblog/comment/1/1227 http://radar.spacebar.org/f/a/weblog/comment/1/1227
pcthrowaway 2y ago
Oh wow, they finally solved the tabs vs spaces indentation debate in pg 102 of https://www.sigbovik.org/2023/proceedings.pdf https://www.sigbovik.org/2023/proceedings.pdf "Maximizing Code Readability Using Semicolon Indentation" Though I guess end-of-line semicolons in Javascript is the next open question > ;;;;;;;;5.2;;JavaScript > ;;;;;;;;;;;;With JavaScript, the practice of omitting semicolons from the ends of lines is one that may be divisive when implementing these principles. One of the primary controversies within JavaScript circles is whether to use semicolons or not, as JavaScript has optional semicolons. > ;;;;;;;;;;;;This proposal does not specify whether semicolons should be used at the end of lines, so as to not be controversial in this space. With this in mind, we can see this proposal in practice with a snippet of the elevator.js library[3], with and without end-of-line semicolons. // With end-of-line semicolons ;;;;element.attachEvent("onclick", function() { ;;;;;;updateEndPosition(); ;;;;;;document.documentElement.scrollTop = endPosition; ;;;;;;document.body.scrollTop = endPosition; ;;;;;;window.scroll(0, endPosition); ;;;;}); // Without end-of-line semicolons ;;;;element.attachEvent("onclick", function() { ;;;;;;updateEndPosition() ;;;;;;document.documentElement.scrollTop = endPosition ;;;;;;document.body.scrollTop = endPosition ;;;;;;win
DonaldFisk 2y ago
Thanks. That cheered me up, and I've only got as far as https://www.sigbovik.org/2023/proceedings.pdf https://www.sigbovik.org/2023/proceedings.pdf

This paper was published in this year’s issue of sigbovik, the best satirical academic journal you (may) have never heard of: https://sigbovik.org/2024/ https://sigbovik.org/2024/

progbits 2y ago

I hope that means a new Tom7 video soon. Edit for context: https://news.ycombinator.com/item?id=36846820 https://news.ycombinator.com/item?id=36846820

hprotagonist 2y ago
he had a paper, but possibly no video this year.
- garaetjjte 2y ago
  >I think the papers may be the canonical form of this particular project, but I'm starting on a visual version, which will probably become a video some time this month. http://radar.spacebar.org/f/a/weblog/comment/1/1227 http://radar.spacebar.org/f/a/weblog/comment/1/1227

pcthrowaway 2y ago

Oh wow, they finally solved the tabs vs spaces indentation debate in pg 102 of https://www.sigbovik.org/2023/proceedings.pdf https://www.sigbovik.org/2023/proceedings.pdf "Maximizing Code Readability Using Semicolon Indentation" Though I guess end-of-line semicolons in Javascript is the next open question > ;;;;;;;;5.2;;JavaScript > ;;;;;;;;;;;;With JavaScript, the practice of omitting semicolons from the ends of lines is one that may be divisive when implementing these principles. One of the primary controversies within JavaScript circles is whether to use semicolons or not, as JavaScript has optional semicolons. > ;;;;;;;;;;;;This proposal does not specify whether semicolons should be used at the end of lines, so as to not be controversial in this space. With this in mind, we can see this proposal in practice with a snippet of the elevator.js library[3], with and without end-of-line semicolons. // With end-of-line semicolons ;;;;element.attachEvent("onclick", function() { ;;;;;;updateEndPosition(); ;;;;;;document.documentElement.scrollTop = endPosition; ;;;;;;document.body.scrollTop = endPosition; ;;;;;;window.scroll(0, endPosition); ;;;;}); // Without end-of-line semicolons ;;;;element.attachEvent("onclick", function() { ;;;;;;updateEndPosition() ;;;;;;document.documentElement.scrollTop = endPosition ;;;;;;document.body.scrollTop = endPosition ;;;;;;win

DonaldFisk 2y ago

Thanks. That cheered me up, and I've only got as far as https://www.sigbovik.org/2023/proceedings.pdf https://www.sigbovik.org/2023/proceedings.pdf