@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.

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.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

https://www.bbc.com/news/articles/c0kl4glp547o

I blame all the stupid rule based systems for getting your attention. iOS Focus is the most needlessly complex solution to a problem relative to the problem difficulty I've ever seen.

dpiponi,
@dpiponi@mathstodon.xyz avatar

@mangoiv Even if you could get your head around it, do you really feel like learning yet another rule based system in order to tell your phone you feel like chilling out for a bit?

JimPropp, to random

Is there a video that provides intuition about why countable subsets of R (even dense ones) have outer measure zero, by zooming in on a cover of such a set by a union of countably many intervals?

dpiponi,
@dpiponi@mathstodon.xyz avatar

@johncarlosbaez @JimPropp I've mentioned here before that I find this the most counterintuitive thing I know in mathematics - even though it's sort of obvious.

monsoon0, to random
@monsoon0@mathstodon.xyz avatar

Do you want to know more about the mathematics of computing? This @SMBCComics is a great start 👇🏼 https://www.smbc-comics.com/comic/the-talk-3

dpiponi,
@dpiponi@mathstodon.xyz avatar

@monsoon0 "quantum computing isn't just a matter of trying all the answers in parallel" That makes a nice change! I hate every other pop-sci description.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I don't know if I hallucinated this but maybe someone recognises it:

I'm sure I once (~20 years ago) saw an arbitrary precision real number library for C or C++ that worked by picking some fixed precision and worked until it produced a result at the required precision, or, if it convinced itself it couldn't achieve that precision, did some kind of backtracking so it could redo the computation at a higher fixed precision. Somewhat analogously to how transactional memory works - and I think under the hood there may have been some unusual memory model.

Sound familiar to anyone?

dpiponi,
@dpiponi@mathstodon.xyz avatar

Maybe it's this https://en.wikipedia.org/wiki/Real_RAM and maybe my own memory is unreliable.

dpiponi,
@dpiponi@mathstodon.xyz avatar

Or specifically, I'm now sure it was this implementation: https://irram.uni-trier.de/

That transactional thing might be my own hallucination in which case I like it and maybe I'll implement it...

dpiponi,
@dpiponi@mathstodon.xyz avatar

@BartoszMilewski Right. This is a design pattern I've seen a few times, though in Haskell rather than C++.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

I'd love something like algebraic effects in C++. So I could write code like (and this is just a sketch, not a realistic proposal for syntax):

handle (new -> MyOwnMemoryAllocator)
{
int* x = new int[n];
...
}

or

handle(out -> Log)
{
out << "debugging stuff" << endl;
}

dpiponi,
@dpiponi@mathstodon.xyz avatar

In the old days we used to routinely install (and chain) our own handlers for effects :)

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