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

rzeta0, to random
@rzeta0@mastodon.social avatar

this last week i've been trying to get my head around what it takes to prove a function exists

most of the exercises ive been doing ask to show a set exists .. by constructing it using the given axioms of set theory

but functions don't exist directly by axioms ...

if anyone has any helpful thoughts on this.. let me know!

rzeta0, to random
@rzeta0@mastodon.social avatar

sometimes i need to create simple clean HTML for a table

i find this tool helps
https://codebeautify.org/html-table-generator

you might find it useful too

rzeta0, to dance
@rzeta0@mastodon.social avatar

Argentine Tango - a thread.

.. about the dance, the music, the culture around it, and a bit of history too.

(caveat - i'm no expert, just an enthusiast)

Let's start with a fun taster - a dance to one of the 3 main genres of music within tango culture - the milonga - we'll talk more about it later.

Enjoy it - but if you do want to watch more carefully, notice the most important element of tango - connection!

https://www.youtube.com/watch?v=YFyTwSoAjyI

rzeta0,
@rzeta0@mastodon.social avatar

Let's continue our first taste of tango with this one ...

.. chosen for the music.

Bahia Blanca by Carlos Di Sarli.

A sweeping classic that contains all the elements of tango music - gorgeous sweeping melodies, huge percussive "get off your bottom and walk to the music" sections ... the ever-so-interpretable pauses ...

https://www.youtube.com/watch?v=K9OoKyLObuQ

rzeta0,
@rzeta0@mastodon.social avatar

The first thing to say about is that it is danced by ordinary people - not trained dancers.

It is something we do socially.

Something we look forward to once (or more!) a week - like many people go to the pub at the end of the week.

This famous film "Tango, Baile Nuestro" (1982) interviews ordinary working people.

That transformation from the working week's clothes to dressing up more formally is a thing we enjoy and respect.

1/2 https://www.youtube.com/watch?v=n5OL1wnhHjE
2/2 https://www.youtube.com/watch?v=4KIH6KiyME0

rzeta0,
@rzeta0@mastodon.social avatar

The social dance event is (also) called a milonga.

People sit around the outside of the room, sometimes with tables.

Dancing flows strictly anti-clockwise, keeping within your lane.

Interpreting the music, leading, staying in lane, keeping flow - is not easy.

Disrupting this is considered disrespectful, and is why beginners wait until they are competent before being welcome at a milonga.

Note - this isn NOT about fancy moves, it is about flow "safety".

rzeta0,
@rzeta0@mastodon.social avatar

Behaviour in a milonga conforms to fairly strict rules when compared to most dance settings.

It is an environment which is more sober and thoughtful = tango, than jolly and extrovertly energetic = salsa.

Some of us prefer our evenings to be like this. I do.

The well-known "passion" of is strengthened by the constraints of fairly formal behaviour and the rules of the dance floor.

Here is Piazzolla's Oblivion - to set the right mood.

https://www.youtube.com/watch?v=dF-IMQzd_Jo

rzeta0,
@rzeta0@mastodon.social avatar

People go to a milonga intending to dance with several others. Only dancing with your own partner is the exception, not the norm.

Walking over to someone and asking them to is considered VERY BAD MANNERS. It places pressure on the invitee, and the act is very publicly visible.

Instead, a silent subtle, almost invisible, look and nod - the "cabaceo" - is used to invite and accept. Declining is without injury - you act as if you didn't notice the invitation.

rzeta0,
@rzeta0@mastodon.social avatar

Now, the cabaceo is a skill to be developed too - like much in tango - it isn't easy, and you risk making a fool of yourself, or going home without a single dance - a rite of passage for tangueros and tangueras.

A lot has been written about the cabaceo - you can read some here:

https://www.ultimatetango.com/blog/the-mystery-of-the-cabeceo-secret-power-or-secret-offense

Me, I love this code.
☑️ It equalises power between men and women.
☑️ And it negates public embarrassment to both.

Here's a video intended as a tutorial
https://www.youtube.com/watch?v=Bbc_DyNz5uM

rzeta0,
@rzeta0@mastodon.social avatar

and just for fun, here is Hagrid performing the cabceo in a less than subtle manner :)

https://www.youtube.com/watch?v=DpGKmmNUUZI

rzeta0,
@rzeta0@mastodon.social avatar

let's address the question of

"(powerful) men lead,
(subservient) women follow"

yes - the origins of tango are in a cultural context of clear roles for men and women in a macho society

things change - and today, all around the world tango is danced in pairs of all sexes, genders and identities - and that's good

there is nothing about your identity that prevents you from being a good leader or follower

https://www.youtube.com/watch?v=lUcLWmN60Ds

rzeta0,
@rzeta0@mastodon.social avatar

Let's also bust the myth that creativity is only in leading and following is a passive responsive act.

Sure - as beginners, leaders are learning to lead, and followers to follow

But as dancers progress and become advanced - followers express themselves within the framework of following - and good leaders listen and create the space for followers to do that.

Leaders and followers who can do this are in demand !

"how leaders listen"
https://www.youtube.com/watch?v=XdylFqkMAOo

rzeta0,
@rzeta0@mastodon.social avatar

and just for fun .. here's two men dancing

https://www.youtube.com/watch?v=e_ld91XqVBc

gvwilson, to random
@gvwilson@mastodon.social avatar

As someone who has taught Git to (literally) several thousand people over 15 years, most of them without CS backgrounds, I am deeply grateful to @b0rk and others for producing cheat sheets and being honest up front about how bad its ergonomics are. It is the opposite of gatekeeping: it tells newcomers who are unsure of themselves that it's not their fault when things go wrong (as they invariably do with Git because of the aforementioned ergonomics).

rzeta0,
@rzeta0@mastodon.social avatar

@gvwilson @b0rk

The open source community is overflowing with amazing technical talent.

But sadly not enough people who know about user experience design or "ergonomics" (a very accurate word imho).

I know as a user I can't demand anything from open source but I guess I can try to raise awareness that user-centric design it is a thing.

rzeta0, to generative
@rzeta0@mastodon.social avatar

One of the challenges for #generative artists is trying to find a fresh new approach or algorithm. Lots of ideas have been done to death.

Occasionally a new idea pops up.

Q. What's yours?

In the last year, mine was the gradient estimation method for rendering the fine structure of the Mandelbrot and Julia sets. It was an algorithm that was a genuine surprise discovery for me!

https://youtu.be/Dn6nPvi4d04

#creativecoding #generativeart

DrALJONES, to Germany
@DrALJONES@mastodon.social avatar

deleted_by_author

  • Loading...
  • rzeta0,
    @rzeta0@mastodon.social avatar

    @DrALJONES Germany is embarrassing itself in the eyes of history.

    rzeta0, to random
    @rzeta0@mastodon.social avatar

    Little bit of sunshine.. after almost 3 months of rain.

    rzeta0, to random
    @rzeta0@mastodon.social avatar

    this simple exercise took me 2 weeks !

    i was struggling with:

    • seeing n-tuples as functions
    • proving existence of the cartesian product of sets by first generalising (union of sets) and then selecting (axiom of specification)

    doing scratch work (as recommended by prof Jay Cummings) with a simple example helped clarify thinking

    https://analysis-solutions.blogspot.com/2024/03/tao-analysis-i-352.html

    rzeta0, to worldwithoutus
    @rzeta0@mastodon.social avatar

    "origin stories" worth remembering ..

    Israel - created by the British, breaking promises to the Palestinians - the Balfour Declaration - the Balfour Betrayal. The west has since provided cover for its 75 years of apartheid, violent oppression, murder of journalists, cultural and environmental vandalism, and now - genocide.

    - its revolution was as a direct result of Western interference, overthrow of their leader, and support for a brutal dictator and western stooge, the Shah.

    johncarlosbaez, (edited ) to random
    @johncarlosbaez@mathstodon.xyz avatar

    It looks like they've found protonium in the decay of a heavy particle! 🎉

    Protonium is made of a proton and an antiproton orbiting each other. It lasts a very short time before they annihilate each other.

    It's a bit like a hydrogen atom where the electron has been replaced with an antiproton! But unlike a hydrogen atom, which is held together by the electric force, protonium is mainly held together by the strong nuclear force. It's also much smaller than a hydrogen atom.

    There are various ways to make protonium. One is to make a bunch of antiprotons and mix them with protons. This was done accidentally in 2002 during the first experiment that created antihydrogen. They only realized this upon carefully analyzing the data 4 years later.

    This time, people were studying the decay of the J/psi particle. The J/psi is made of a heavy quark and its antiparticle. It's 3.3 times as heavy as a proton, so it's theoretically able to decay into protonium. And careful study showed that yes, it does this sometimes!

    The new paper on this has over 550 authors, so I won't list them all. It also has a rather dry title - not "We found protonium!"

    • Observation of the anomalous shape of X(1840) in J/ψ→γ3(π+π−), https://arxiv.org/abs/2310.17937

    The idea here is that sometimes the J/ψ particle decays into a gamma ray and 3 pion-antipion pairs. When they examined this decay, they found evidence that an intermediate step involved a particle of mass 1880 MeV/c², a bit more than an already known intermediate of mass 1840 MeV/c².

    This new particle is a bit lighter than twice the mass of a proton, 938 MeV/c². So, there's a good chance that it's protonium!

    rzeta0,
    @rzeta0@mastodon.social avatar

    @BartoszMilewski @johncarlosbaez

    I wonder if the proton can have an electron, and the anti-proton an anti- electron?

    I have no idea if such a configuration is possible or stable enough to detect.

    pvonhellermannn, to random
    @pvonhellermannn@mastodon.green avatar

    It seems, IS, utterly crazy, that amidst everything else the UK government is ruthlessly continuing its clampdown on climate protesters. But it is.

    Excellent article by Natasha Walter here on how Dr Sarah Benn got 30 days in prison for holding up a placard saying “Stop New Oil” and overall recent developments:

    “the direction of travel is fast and frightening and its repercussions are growing.”

    https://www.theguardian.com/commentisfree/2024/apr/13/climate-crisis-protest-activism-repression

    rzeta0,
    @rzeta0@mastodon.social avatar

    @pvonhellermannn

    Do we trust a labour gov to undo this legislative oppression?

    I don't.

    That's why we need the greens to get lots of seats in parliament.

    DrALJONES, to iran
    @DrALJONES@mastodon.social avatar

    deleted_by_author

  • Loading...
  • rzeta0,
    @rzeta0@mastodon.social avatar

    @DrALJONES the USA will suffer hugely if it faces Iran.

    Compare with Iraq 2003. Iraq was disabled by a no fly zone, downgraded military, and totally compromised with respect to surveillance. And yet the USA lost (what did it win?). And created two decades of instability, hostility and terrorism in the wider region eg ISIS emerged from Iraq.

    Iraq was an injured poodle in comparison to Iran.

    johncarlosbaez, (edited ) to random
    @johncarlosbaez@mathstodon.xyz avatar

    You can win $1,000,000 for proving the Hodge Conjecture - it's one of seven Millennium Prize problems.

    But if you want to become a millionaire, this is one of the hardest ways. So it's better to work on this for the love of math. Indeed, the only person who has won a Millennium prize so far turned it down, and still lives in his mom's apartment!

    So what's the Hodge conjecture? It says roughly that for a smooth complex projective variety, all the rational homology classes that could possibly be represented by linear combinations of subvarieties actually 𝑎𝑟𝑒.

    (Do you feel that million-dollar prize slipping further away already?)

    I could explain what this means a bit better, but Frank Calegari does a great job here:

    • Motives and L-functions, Section 4, https://www.intlpress.com/site/pub/pages/journals/items/cdm/content/vols/2018/0001/a002/

    So I'll just rhapsodize on what it means that the Hodge Conjecture is still unsolved. It means the human race is profoundly ignorant about how polynomials are connected to topology. For smooth manifolds - the playground for differential geometry - we know a shitload about which homology classes can be represented by smooth submanifolds. But for projective varieties - the playground of algebraic geometry - we are comparatively clueless about the analogous question.

    And in sense, the reason is that polynomial functions are a lot less flexible than smooth functions. You can't bend a polynomial in just a small region while leaving it alone elsewhere. So algebraic geometry is a lot further from topology than differential geometry is. It imposes a lot of extra constraints, and we don't fully understand the implications of those constraints.

    Sorry, no really serious math in this post, just chat....

    rzeta0,
    @rzeta0@mastodon.social avatar

    @johncarlosbaez

    I'm a beginner and terminology is a real barrier. So I'll attempt to work out what

    "smooth complex projective variety"

    means...

    smooth = no discontinuities in the derivative of a function?

    complex = that smooth function is a complex function?

    projective = ? guessing that maybe not all smooth complex functions can project a shape from C to C and preserve topology?

    variety = ? I failed. no clue. variant of what?

    DrALJONES, to Germany
    @DrALJONES@mastodon.social avatar

    deleted_by_author

  • Loading...
  • rzeta0,
    @rzeta0@mastodon.social avatar

    @DrALJONES

    disappointed to see the German Greens are complicit too.

    andrew_chou, (edited ) to FreeBSD
    @andrew_chou@toot.cafe avatar

    no idea how far this will reach but let's try:

    if I were to start learning more about one of the listed BSD operating systems, which would you recommend? Guessing the answer could be different if we're talking about daily desktop usage vs server, so maybe clarify your answer via a reply if you can (fwiw, probably more interested in daily desktop usage, but open to whatever too).

    rzeta0,
    @rzeta0@mastodon.social avatar

    @andrew_chou

    Depends on what you want to learn.

    Do you want to learn about the general principles of Unix/BSD or do you want to learn how to admin a PC-focussed variant of BSD?

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