Goblin plonk is a recursion scheme that I believe will be exceptionally performant and have very, very low pre-vacosts. It's called goblin Plonk because it's when a recursion goes goblin mode. Instead of performing all these expensive computations you need to do, instead of performing them or evaluating them, you cheat,. You present a lookup table which just magically has the results you're looking for. And then you worry about proving the correctness of that Lookup Table later on in the protocol.

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode