got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems

screenshots 1/2

screenshots 2/2

put it on youtube so you can show your non-twitter friends too

very nice. What is language is this? Japanese?

yesss. it was heavily inspired by neon genesis evanglion

ありがとう

why do section heads look like NGE episode cards actually why does this whole video look like the dashboard at NERV

magi 😍

@disconcision int-okara, ek-su 🙇

howwwwwwww??????

quite a lot of prompting and detailed feedback and directing 😅

needs the dramatic music

Bro wtf why this so tuff

@onehappyfellow brother share prompt

@onehappyfellow lol it was a semi-lengthy process with lots of back and forth and feedback and iterations but ngl i think opus 5.5 absolutely nailed it, it looks so so cool 😭

@onehappyfellow can I steal pls :]

@onehappyfellow steal.. what? the prompt? lol I can talk you through what the process looked like but there was no single prompt that one-shat this

@onehappyfellow

Satisfying

very fucking cool

thank u 🥰

Did you prompt it to use a NGE-inspired style? I'm asking because I had Opus 5.5 come up with ideas of design for an agents orchestration app, and one of the proposal was this 😅 I'm wondering if it reflects some underlying preferences of the model.

Damn this is the first video I’ve seen that gets fake nge almost right

Is it opus on its own, or do you need third party APIs?

had to use a local tts engine for the speech (voicevox) but otherwise yeah pretty much opus did it on its own

why is it japanese

Wow vibes

It's a bit dry imo, the constant shaking also feels a bit off-putting. The chapter titles are pro and the aesthetics are great. But it definitely needs more animation and "juice". Juice it up man!

amazing! Emmy nomination. what was the prompt? how many tokens?

Next episodes: System F DTT Linear Type Theory HoTT