@dpiponi@mathstodon.xyz
@dpiponi@mathstodon.xyz avatar

dpiponi

@dpiponi@mathstodon.xyz

Disclaimer:
๐Ÿ‘ฝ My opinions are not my own. They're beamed to me by aliens

Current life:
๐ŸŽฎ Epic Games

Previous lives:
๐Ÿฉ a PhD in Riemann theta functions
๐Ÿ’ฅ many years working in movie visual effects
๐ŸŽˆ some years devising navigation strategies for balloons
๐ŸŽฒ a year drawing random samples from tricky distributions

Likes:
๐Ÿšด I like to bike
๐Ÿƒ I like to run
๐ŸŽ›๏ธ my musical tastes lie towards the electronic end of the spectrum
๐Ÿš€ I like Andor and The Mandalorian

This profile is from a federated server and may be incomplete. Browse more on the original instance.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

One of my favorite visual effects from pre-CG days was the shield effect in 1984's Dune. Lots of work with an optical printer. Underrated, I think, as I've never heard anyone talk about it.

https://youtu.be/6XFYV2h5gAo?si=eVz-fVrtMJ8wBME0&t=24

glennf, to random
@glennf@twit.social avatar

Saw a clip of the Agatha series actors bragging that the show has very little CG. The magic was allโ€ฆpractical. Who cares? What is this obsession? CG is only an issue for the director and creative people on the movie and accountants, and if it distracts by looking unreal while watching a TV show or movie. An unhealthy focus that feels anti-VFX worker, when thereโ€™s so much VFX in media that nobody realizes. This series captures the issue: https://www.youtube.com/watch?v=7ttG90raCNo&t=937s

dpiponi,
@dpiponi@mathstodon.xyz avatar

@glennf What would the actors know? They're gone when post starts. And anyway it's probably just a line they were told to repeat.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

It's not like I had any chance of resisting when one of my favourite books is published in a fancy new hardback edition

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Looked up speed of snails on Google to see if my USPS package "moving through network" from San Francisco is literally going at a snail's pace. Looks like snails would have to be 3 times faster to beat my package.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@johncarlosbaez That's why it's called snail mail.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

When I first came across Voigtlรคnder's paper on speeding up free monads [1] and some of the methods that Hinze mentions [2] I was a bit bemused about why category theory had anything to say about program optimization. But now it seems obvious. Much of optimization is a lot like algebraic manipulation where you're rearranging while hoping to keep the value the same. But in particular, a really common optimization move is to write f(g(x)) as (fg)(x) where (fg) is somehow simpler (or more reusable than) than just applying g then f. Ie. associativity - which is one of the laws of category theory. I think this step also accounts for almost all of the computational reasons for using linear algebra. Eg. graphics pipelines make good use of this kind of associativity.

[1] https://janis-voigtlaender.eu/papers/AsymptoticImprovementOfComputationsOverFreeMonads.pdf
[2] https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf

dpiponi,
@dpiponi@mathstodon.xyz avatar

Two of my favourite optimizations that are nothing other than associativity (in monoids and vectors spaces respectively):

  1. parallel prefix scan
  2. the switch from forward to reverse/adjoint mode automatic differentiation
dpiponi,
@dpiponi@mathstodon.xyz avatar

@pervognsen I got a bit obsessed with parallel prefix scan too after reading Danny Hillis' survey of Connection Machine techniques. Especially the parsing methods. I've noticed them resurfacing recently.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@pervognsen A simple (but useful) special case is associativity in structures generated by one element allowing repeated squaring.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@davidphys1 I haven't thought about Feigenbaum's constant much since I was an undergraduate so I looked at wikipedia to refresh my memory and I learnt that it also arises from the rate of convergence of the size of the circles in the Mandelbrot set and I'm wondering how I got this far through life without learning this fact.

pervognsen, to random
@pervognsen@mastodon.social avatar

There's a retired couple living in my mom's apartment complex who seems to spend 12 hours every day sunbathing outside during the summer months. They did this when we were visiting last year and they're continuing the streak apparently. After you've lived in a warm climate for a while, the whole idea of sunbathing starts to seem obscene, but this is something else.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartWronski @pervognsen @neilhenning Living in NYC is my fantasy but I don't think it's ever going to come true. Maybe it's better to always have the fantasy and never be disappointed.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartWronski @pervognsen @neilhenning Having moved recently my wife is missing friends just 20-30 miles away whereas I'm a bit antisocial and could happily move thousands of miles. Things are changing though - she really wants to give up driving and now she's seen the reality of living close to rural areas she's beginning to understand why I like cities :)

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I know I must be a uniquely weird individual because in decades of using tabbed web browsers I've still never wanted to close tabs to the right and I've often wanted to close tabs to the left.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Watched The Descent for the second time. Just as good as the first time. To me it's the perfect little horror movie.

dpiponi,
@dpiponi@mathstodon.xyz avatar

Oh, I have to watch it again. Turns out I watched the jolly upbeat American version with a happy ending.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

For me, and presumably countless others, a computer has always been primarily a creativity tool. But I think this idea may be novel or unusual to a large segment of the population.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

One of the weirder bugs I've experienced: you know how you're always being told to make sure caps lock is off when you enter your password? My Mac is currently enabling caps-lock at login and you can't disable it. It took a long time to deduce this was the problem but surprisingly I was able to log in after going round a few loops and realising an obvious trick...

A known problem with a venerable history: https://iboysoft.com/tips/macbook-stuck-on-caps-lock.html

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I love the waves of leg motion on this critter that was walking across our driveway.

Very dark red segmented worm like creature with maybe 100 legs that move in waves starting at the back and moving forward.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartoszMilewski Neural networks are robust like that! I noticed that when it feels threatened it rolls up its head, possibly to protect the antennae.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I hate typing practice. Seriously. I've been programming computers since before most of you were born. But I need to move on from being a two fingered typist, even if a fast one,

dpiponi,
@dpiponi@mathstodon.xyz avatar

@pervognsen You calling it "hell" is very helpful actually! Good to know that the frustration isn't just something I'm doing wrong.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I have to admit I enjoy seeing familiar sci-fi plots appearing as papers. This one proposes that AIs cause civilizational collapse, explaining the Fermi "paradox".

https://arxiv.org/abs/2405.00042

"AI could represent a major threat to the future course of not only our technical civilisation but all technical civilisations"

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Let me tell you about my embarrassingly stupid C++ mistake so you don't have to make it:

If X is of type std::optional<T> and Y is of type T you can assign Y to X like so:

X = Y

I sort of don't like that because X and Y are different types.

You can also write

*X = Y

which works because *X is of type T&. Now the types match.

But woe is me! Don't do the latter. If X is an empty optional then *X = Y fails silently.

It's obvious when you think about it for a moment. But when you're thinking about the bigger picture you can forget about the little things.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I kept saying to myself "he's gotta be an alien", "surely he's not human", but in my heart of hearts I didn't really believe it...until...well I'm not giving you any spoilers...

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartoszMilewski The evidence piled up but my priors were low

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartoszMilewski Which is also the theme in The Creator.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • โ€ข
  • JUstTest
  • everett
  • rosin
  • Youngstown
  • ngwrru68w68
  • khanakhh
  • slotface
  • InstantRegret
  • mdbf
  • GTA5RPClips
  • kavyap
  • thenastyranch
  • DreamBathrooms
  • magazineikmin
  • anitta
  • tacticalgear
  • tester
  • Durango
  • cubers
  • ethstaker
  • cisconetworking
  • modclub
  • osvaldo12
  • Leos
  • normalnudes
  • megavids
  • provamag3
  • lostlight
  • All magazines