Intro video for a programming language, made by Opus 5.5 (Taelin, X video)

Summary
This video is a stylized anime opening parody created by Victor Taelin (Higher Order Co.) to promote the Bend programming language and its parallel formal proof system. Framed as a direct homage to the opening of Neon Genesis Evangelion set to "A Cruel Angel's Thesis", the video showcases Bend's mathematical foundations, parallel execution, and automated verification capabilities.

What is shown

• [00:00 - 00:13]: Opening credits for Higher Order Co. (企画・原作 HIGHER ORDER CO., Project Bend., LAWS.bend, PROOF.bend) overlaid on animated interaction combinator nets and lambda calculus expressions.
• [00:14 - 00:21]: Flashing geometric triangles and bold typography title cards: "BEND", "ベンド", and "並列証明 BEND ベンド" (Parallel Proof Bend).
• [00:22 - 00:37]: Verification grid puzzle demo showing a check of "LAW: the flag is unreachable", triggering an "EXPLOIT" counterexample before verifying ∀ moves. ¬won.
• [00:38 - 00:51]: Text prompt "Which laws must always hold in order to trust code no one reads?" with animations illustrating mathematical induction, case analysis, and equality rewriting (e : a = b, P(b)).
• [00:52 - 00:58]: Parallel computing diagrams illustrating "Fork-Join-Fork", bitonic sort (depth O(log² n)), and dependent types.
• [01:03 - 01:07]: Benchmark visualization rendering a Mandelbrot fractal comparing single-core C (1.596 s) to parallel Bend (0.057 s), highlighting a "66x" speedup.
• [01:08 - 01:23]: Rapid Evangelion-style text flashcards for key technical concepts: "annihilation", "commutation", "OPTIMAL BETA REDUCTION", "DEPENDENT TYPE THEORY", "STRUCTURAL RECURSION", "PROVE IT", "MASSIVELY PARALLEL EXECUTION", "BIDIRECTIONAL CHECKING", "CONFLUENCE", and "PROOF".
• [01:24 - 01:30]: Infinity loop node reduction, first-order logic statement ∀x. P(x), and closing credits directing viewers to bend-lang.com.

Claims & numbers

• Displays a Mandelbrot benchmark where Bend completes execution in 0.057 s compared to C at 1.596 s, claiming a 66x speedup [01:04 - 01:07].
• States that bitonic sort achieves a tree depth of $O(\log^2 n)$ [00:57].

Notable quotes

• "Which laws must always hold in order to trust code no one reads?" [00:38]
• "LAW: the flag is unreachable" [00:29]
• "∀ moves. ¬won" [00:37]

Assessment
This is a promotional teaser video combining creative motion graphics and code visualization to generate interest in the Bend programming language. The 66x performance claim is based on an embarrassing-parallel Mandelbrot example compared against unparallelized C code, functioning as a high-level demonstration of parallel scaling rather than an exhaustive benchmark suite.

Lyrics & themes
The audio features the complete vocal track of "A Cruel Angel's Thesis" (Zankoku na Tenshi no Tēze), the opening theme song of Neon Genesis Evangelion:

• [00:02]: "Zankoku na tenshi no you ni, shounen yo shinwa ni nare" ("Like a cruel angel, young boy, become a legend")
• [00:22]: "Aoi kaze ga ima, mune no doa wo tataitemo..." ("Even if the blue wind now knocks on the door of your heart...")
• [01:10]: "Madobe kara yagate tobitatsu, hotobashiru atsui patosu de..." ("Soon taking flight from the window, with spurting hot pathos...")
• [01:22]: "Kono sora wo daite kagayaku, shounen yo shinwa ni nare" ("Embracing this universe and shining, young boy, become a legend")

Lore & references

• Neon Genesis Evangelion: The title layout, typography (Mincho-style serif text against solid backgrounds), rapid visual cutting, and audio track are directly modeled after Gainax's 1995 anime opening.
• Higher Order Co. & Bend: References Victor Taelin's work on massively parallel functional programming, interaction combinators (annihilation and commutation rules), the Higher-order Virtual Machine (HVM), and optimal beta reduction.
• Formal Verification & Type Theory: References automated testing and interactive theorem proving concepts, including dependent type theory, structural recursion, bidirectional type checking, and confluence.

Visual style & craft
The video utilizes crisp 2D and 3D vector graphics, interactive simulation captures (such as the grid maze and Mandelbrot renderer), and chalkboard textures paired with rapid typography transitions. The visual sequencing is precisely edited to align with the rhythm and transitions of the Evangelion theme music.

Described by gemini-3.8-flash on 2026-10-05 from the video's audio and frames.