second reality

A capture of Second Reality, the real-time audiovisual demo by Future Crew first shown at Assembly 1993, recorded from a 486DX2-66 with a Gravis Ultrasound. It showcases the peak of early 1990s PC demoscene techniques.

A 12-minute demo of the Alternate Reality Kit, built by Randall Smith at Xerox PARC in 1986. It is a simulated physical world in which users manipulate objects and program by direct interaction.

A one-minute demo of Safespaces, an open source 3D and VR desktop built on the Arcan project.

A one-minute clip of Stephen Colbert at the White House Correspondents' Dinner delivering the line that reality has a well-known liberal bias.

A five-minute video showing how to build a counter in the Imba web programming language in under a minute, then style it.

UploadVR covers a Facebook Reality Labs prototype that tracks facial expressions using cameras mounted in a VR headset. The updated version captures subtle micro-expressions for realistic avatars.

A lecture by Commodore Grace Hopper on the future of computing, posted by MIT Lincoln Laboratory. It includes her well-known nanosecond wire demonstration and humorous comparisons of device latencies.

Brandon Thomas demos Laser Pong, a game he built on a laser projector and projected onto buildings around Atlanta. It was a weekend project.

John Carmack's roughly 90-minute keynote at Oculus Connect 2014, covering mobile VR and the Gear VR work, followed by audience questions.

A Gamereactor interview at E3 2012 with John Carmack, who shows his lag-free head-mounted display running DOOM 3 BFG Edition. He discusses what the headset could mean for the games industry.

Cliff Click of Azul Systems asks what a JVM is supposed to do, in a Google Tech Talk from 2011. He covers the services a JVM provides, such as garbage collection and compilation, and the messy reality beneath the abstractions.

Casey Muratori follows up his refterm proof-of-concept, a GPU-based terminal renderer, with a second part covering memory usage, glyph sizing and correct Unicode and VT handling. It is built to show that a terminal can be fast and correct without heroic effort.

Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.

Daniel Lemire's QCon talk on how simdjson parses gigabytes of JSON per second. It covers SIMD vectorization, branch prediction and the lessons learned building a fast parser.

Gregory Chaitin is interviewed on Closer To Truth about whether mathematics is invented or discovered. He gives a nuanced view that ties the question to the nature of reality.

A short clip, titled Orwell Comes to America, on reasoning and perception. One HN user links it repeatedly as the science showing human minds are bad at reasoning and do not see reality as it is.

The second talk in the Mill CPU series by Mill Computing, covering the Belt, the Mill's operand-passing model that replaces general registers. It explains the cost of register renaming in conventional wide CPUs and how the Belt reaches high instruction-level parallelism.

Bryan Cantrill's Monktoberfest 2023 talk takes on AI doomerism, weighing the theoretical existential risks against the reality on the ground. He takes a skeptical but thoughtful view of how to balance AI's potential against its risks.

A clip of Australian Prime Minister Malcolm Turnbull saying the laws of Australia prevail over the laws of mathematics, regarding encryption. The audio is quiet in the second half.

A short Microsoft promo comparing classic Teams with the rewritten new Teams side by side, claiming faster startup and better performance. The new version is shown taking around nine seconds to launch.

Second half of a demonstration of the 1982 Xerox Star user interface. It shows how the Star differed from the later Lisa and Mac interfaces, with strengths in networking and printing and little direct manipulation.