everyone's always on about the Virtual Boy as the origin of virtual reality or whatever but this completely erases the far older history of "Wink-o-Vision" which clearly defined all the standard conventions and tricks that the entire industry is just rediscovering the hard way 🧵
Wink-o-Vision's founder was a japanese player-piano technician in the days when they were enormous machines that filled rooms. while doing some routine repairs, he discovered that his flashlight shining through the piano's "roll" made his assistant wink and blink uncontrollably
fascinated by this, he spent years investigating how the speed of the piano and spacing of the notes could be tuned to make people's eyes blink in specific patterns
notably, after an initial "metronome sequence" the lights could be removed and the patient could maintain the beat
he would spend long nights in his labs inducing himself with different winking patterns and trying to perform different tasks, fascinated by how this distorted his perception of depth and perspective
this all came to a head when he induced himself with a wink pattern and went to a local airing of one of those new-fangled "moving pictures". however the projector technician made an error and the film shook wildly. everyone was nauseated except him -- he saw incredible effects!
somehow the flat canvas had developed depth!
this being his first ever "moving picture" he just thought that he had a normal experience, but was horribly dismayed when he enthusiastically went to his second movie without winking... it was all flat!
it didn't take him long to figure out what had happened, and he paid the technician to show him how he had "messed up" the projection.
it didn't take him long to automate this process and develop the very first Wink-o-Vision projection system
by placing the projector *behind* the screen, he could start with the screen lifted and blast everyone directly with light attenuate with film designed just like his player piano rolls!
once the audience was winking, he would lower the curtain and begin the film... with depth!
unfortunately, backwards projection with sufficient power to induce winking had many significant challenges, and movies needed to be explicitly mastered and designed to really take advantage of the technology
Wink-o-Vision was clearly regarded as the superior format by the hardcore Picturefiles (as they called themselves then) but the cheaper and easier to develop flat in-front-of-screen movie format ultimately won out and dominated the market
I know what you're thinking: why haven't I ever heard of this company? who was this man?
as it turns out, you have! Wink-o-Vision still exists today, but under a different name: Sony Interactive Entertainment
That's right, I've been talking about Segata Sanshiro this whole time
• • •
Missing some Tweet in this thread? You can try to
force a refresh
mnghgh i should probably write an article digging into how compilers and interpreters/sanitizers "think" about provenance and how people get confused when they conflate the two and also how allocations in even existing OSes are extremely hierarchical
but i'm so tired..........
it's weird because i would be 100% bullshitting as someone who doesn't work on either of those but also compilers aren't actually that complicated because we solved the halting problem and its friends decades ago with the trivial insight of "a 'maybe' is actually a fine answer"
like literally here's your protip hack for understanding everything compilers do:
* hey if i can prove this about your program i can do an optimization
* that's hard but there's lots of cases where the answer is easy
* when the answer is hard, just *don't do the optimization*
floats just silently swapping to a proper partial order when it Really Matters is the most chaotic-good choice i have ever seen a programming language make, and i am lowkey obsessed with it and trying to figure out how to hack it into other languages
if you want a technical justification for this, you can claim that Java is just exposing "Level 2" semantics for IEEE754 (2008) floats.
the objectively superior semantics (level 3, 4, and totalOrder try to distinguish NaNs and act weird under cursed non-normalized reprs)
Strict Provenance is framed as "a new memory model" but it's actually a set of library APIs that make your code *trivially correct under all coherent memory models*. If you use these APIs "correctly", then it doesn't *matter* what the memory model is, your code supports it!
can't sleep, so here's a big braindump on the social and historical relationship between speedrunning and glitches, and how the concept of a glitch is too blurry for simple hard and fast rules
so like i could start this either by digging into definitions or the historical/social context. i think it's more interesting to start at the context, so for now what exactly a "glitch" is will be left unspecified
(i will note i'm not really part of any speedrunning community, but i am a very avid consumer of the artifacts of these communities, so whenever possible i will try to provide source material from actual speedrunners. hopefully i won't mess this up too much.)