@stphrolland@mathstodon.xyz
@stphrolland@mathstodon.xyz avatar

stphrolland

@stphrolland@mathstodon.xyz

More Amateur than Expert

Here for Linux - Functional Programming - Homotopy Type Theory - Logic - Category Theory - Denotational Design & Semantics - Machine Learning - Statistics - Probability - Natural Language Processing - Algebraic/Categorical Diagrams applied like Props Networks/Zx-Calculus/Graphical Linear Algebra - Dynamic Systems - Information Theory - Graph Theory & Transformation

"BTW I run NixOS"

Papers boosted interest me: title+abstract
my TL is kinda TODO/CHECK list

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

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

The final word from Kleisli:
So long and thanks for all the <=<

stphrolland,
@stphrolland@mathstodon.xyz avatar

@BartoszMilewski
thanks for all the fish 🙂

stphrolland, to programming
@stphrolland@mathstodon.xyz avatar

I don't know if I have become old

I have witnessed a book with all its code examples all written in a font WITH SERIF !!!

I clearly feel the sense, I mean the eternal condemnation that I will never open this book again

Or if I do it will be only so as to check that my a priori is good: that this is a bad book with bad advices for bad programmers who do not know how to choose their good code-programming font

I wonder if I have become old...

#programming #IDE

stphrolland, (edited )
@stphrolland@mathstodon.xyz avatar

@tschenkel
I tell the title of the book, at the only condition that you re-read my comment which contains twice a question about my ability to accept something which I consider wrong.

I have not dived sufficiently in the book, and was merely joking about my "old monkey" reaction

(when I was young I loved the proverb that said: so as to measure accurately how many years you are old, count the time it itakes to accept something new)

The book is: Deep Learning with PyTorch

And the first lines of the book are: If you find in this book any editing issues, damage or other issues, please
immediately let me know by email

Email which of course I have not send: so as to stay legitimately criticizing like good old monkeys like to do

gregorni, to FunctionalProgramming
@gregorni@fosstodon.org avatar

Recursion is an antipattern.

stphrolland,
@stphrolland@mathstodon.xyz avatar

@gregorni

Is it humour, your misunderstanding, or my misunderstanding ?

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

Hindustani music has lots of ragas, but they're often organized into the 32 kinds shown here, of which only 10 are very commonly used. These kinds are called "thaats".

Each thaat is a 7-note scale. I'll explain them in a western way, not an Indian way. This will make it clear how 𝑢𝑛𝑠𝑢𝑟𝑝𝑟𝑖𝑠𝑖𝑛𝑔 the ideas are to anyone who has studied western music theory.

Let's imagine our thaat starts with the note C. Then:

• it must contain C
• it must contain D or D♭, but not both
• it must contain E or E♭, but not both
• it must contain F or F♯, but not both
• it must contain G
• it must contain A or A♭, but not both
• it must contain B or B♭, but not both.

So, we get 2⁵ = 32 thaats. It's really unsurprising that C and G are locked in place, while the other 5 notes are flexible - after all, C and G are the 'tonic' and 'dominant', also called the 1 and 5, the most important notes in a scale.

A lot of thaats match familiar western modes, but later I'll show you some that may not. Maybe some expert on jazz can say if they've seen them.

Thaats are just the start of the story, since we can get extra ragas by leaving out some notes in a thaat... and as a result, different ragas can come from the same thaat.

But there's a more urgent issue: what are all the letters in this chart? The notes in the thaat are called

sa re ga ma pa dha ni

or for short

S R G M P D N

These are a lot like the western "do re mi fa so la ti".

But as I've said, we get a binary choice only for 5 of these notes, namely R G M D N, since the other 2 are locked in place. That's what the chart shows. It's a binary tree with 32 leaves, namely the thaats.

(1/n)

stphrolland, (edited )
@stphrolland@mathstodon.xyz avatar

@johncarlosbaez

Thanks

It was difficult entering in this scale: I was really not into it during all the start

But gradually she build the musical landscape... and then after she reaches the "firework" as you say... wow...

At some moment I was wondering if the Natives Lakota are not using this one or a really close similar scale for some of their Sun Dance tunes... or was it the extreme vibrato technique in her voice that forced me to hear an analogy... at some moments and then much more starting at 28:58

In general, I have a clear inclination and focus for Yaman Raga, which is more accessible for me.

So I am really grateful for having discovered and enjoyed that much the Poorvi raga. WIthout your indications and passion I would not have let go past a few minutes.

stpaultim, to ChatGPT
@stpaultim@fosstodon.org avatar

ChatGPT has the option to provide it with some personal information about yourself, so that it can personalize the answers it gives you.

At this point, I find the answers a bit heavy handed. It seems to want to force juggling, drones, and my interest in open source web development into answers that don't really need it.

It was cute the first time, but it's getting boring/annoying.

#ChatGPT #OpenAI

stphrolland,
@stphrolland@mathstodon.xyz avatar

@stpaultim You can ask it not to interfere too much depending on the questions. In my case it started to talk about Category Theory and my learning germanic languages at every questions. So I asked for it to only dwelve into such topics when my questions are related to this or that.

That no longer interferes with my question in paleoarchelogy now ;-)

zanzi, to random
@zanzi@mathstodon.xyz avatar

Brainstorming this with @julesh, and so far our least worst proposal is "loose x", ie "a loose monoid is a free term algebra over the signature of a monoid".

Mathematicians with strong opinions on what is or isn't "free" should speak up soon or forever hold their peace.

https://mathstodon.xyz/@zanzi/111603340100862385

stphrolland,
@stphrolland@mathstodon.xyz avatar

@julesh @zanzi I thought a dedicated word for "loose in a certain manner" was Lax, like in Lax Functors, Is it be appropriate to call them Lax Monoid ?

stphrolland,
@stphrolland@mathstodon.xyz avatar

@zanzi @julesh Hyper-Relaxed ? (just joking)

mcc, to random
@mcc@mastodon.social avatar

I'm basically working under the assumption that any AI legislation that does not begin by banning commercial use of the misleading term "AI" is going to be fatally flawed

stphrolland,
@stphrolland@mathstodon.xyz avatar

@mcc I wonder if you want to constraint #LLM (not #IA which you mistake with LLM) to Mutation Testing which is a technique that apply code modification at random.

Personnally, I see a clear distinction between Random and Statistical first. You could also have chosen "Stochastic Generator" to choose a word that appease our Stochastic Animal Brain regurgitator of Human Culture, a brain which is the result of a stochastic processes of DNA/RNA replications with mutation over billions of years, a process called life.

Or "Chaotic Generator", I would have loved that also.

I intervene because it is easy to dismiss the huge work of mathematicians and computer scientists since at least 70 years
and much more if we take linear algebra into account, and say about what they have done: let's just accurately say they do "random text generators"

Just my point of view

stphrolland, to til
@stphrolland@mathstodon.xyz avatar

#TIL #nixos

nix-tree

if I want to navigate easily in the tree of dependencies ofthe nix store so as to understand why my system depends upon such or such package/library

helps when nixos-rebuild breaks because of an old unknown hidden package become obsolete (unmaintained/deprecated/insecure)

nix-tree can be installed from nixpkgs

stphrolland, to til
@stphrolland@mathstodon.xyz avatar

#TIL shellcheck

If you dont know about shellcheck, and you write #bash #linux scripts and you happen to make mistakes and typos; try this tool

shellcheck my_scrip.sh

since yesterday it has found ALL of my mistakes instantly

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

Perth-based composer Alan Lamb makes music from the resonance of wires.

At the age of 5, he remembers his nanny putting her ear to the telephone poles to "hear the sound the world made". Later he had a recurring dream, in which the sound of a sustained major sixth emanated from a train which descended distant hills and then ran through the air above where he was standing.

Pursuing these memories, in 1974 he constructed devices to amplify the upper harmonics of nylon and catgut threads. Later he got the idea of using wires suspended in magnetic fields and of 'strumming' them using pulsed electric currents. The device produced interesting sounds - but he was not yet satisfied.

One night in the summer of 1975, during a holiday in Scotland, he pulled to the roadside to sleep in his in his van. Later he was awoken by the sound of another major sixth - but this time it was not a dream. He had stopped beside telephone wires which sang throughout the night, the sound waxing and waning with the wind! Hearing the wires sing, Lamb felt emotionally transported and became determined to record their music.

Later he returned to Australia to pursue postgraduate research into neurobiology. As his progressed, he continued to feel deeply frustrated in his attempts to record the music of wires.

A breakthrough occurred in 1976 when he visited the Great Southern Region of Western Australia. He found a half-mile stretch of abandoned telephone wires... all singing softly in the wind. Lamb was able to buy them for just $10 - and thus began his musical career.

He's now considered one of the founders of "dark ambient" music.

(1/2)

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

stphrolland,
@stphrolland@mathstodon.xyz avatar

@johncarlosbaez I would have personally sorted this in Field-Recording rather than traditionnal Dark Ambient (just because I love subgenres names :-) )

Just to say thanks for the discovery . Dont think I had ever even heard about his name before: And I really like his sound. I have listened to the whole album, it is extremely really nice sonic journey.

This is the type of music that is perfect for programming: not too much structure but lots of things happening, and drones have always this calming effect

Nice mathstodon consequence!

stphrolland,
@stphrolland@mathstodon.xyz avatar

@sfera314 @johncarlosbaez funnily I would not have sorted this one track in Field Recording because of the omni-presence of string-pad which pave a clear harmonic signature

But I have loved the piece from start to end.

In this style with strings leading the sonic landspace, I had this piece which I really liked: When Blue Turn To Grey by The [Law-Rah] Collective https://www.youtube.com/watch?v=RTIJCLpEBGk

But now the track by Fransceco Giannico is one level higher I think. The delicateness of the string audio is exquisite. And the glitch/vynil like sounds are like little jewels

Thanks for your awesome musical suggestion!

stphrolland,
@stphrolland@mathstodon.xyz avatar

@johncarlosbaez I think it remains a good categorization.

If you listen to a typical drone-oriented Dark Ambient track https://youtu.be/iek2Yq3r3KE?si=UVhzQ7F2hyo47kTm&t=150 you have there many many ingredients that you find also in Lamb's sound

Dark Ambient is an umbrella term, you'd be frankly unlucky not to be able to put any calm-but-noisy music in the Dark Ambient genre.

I was a bit touchy in my remark: It was just that personnally when bands use intensively accoustic landscape sounds more than electronic sounds, I tend to put them in the genre Field Recording

I am SUPER happy that you speak about this genre!

stphrolland,
@stphrolland@mathstodon.xyz avatar

@johncarlosbaez I really like the second track: Sermersuaq.

I would definitely label this Dark Ambient and could be part of a playlist.

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

If you like numbers don't just study math - study tuning systems in music! Music theory has cool names for individual numbers, like the 'schisma', which is 32805/32768.

Lots of people say they don't like math because they don't like numbers. In reaction, many mathematicians say that math is not really about numbers. Indeed, I don't spend most of my days messing with numbers: I spend a lot of time thinking about shapes, abstract structures, ideas from physics, and so on.

But some mathematicians do love numbers and spend a lot of time on them. I love them as a kind of hobby. The properties of the number 24, for example, are utterly mind-blowing, connecting higher-dimensional spheres to lattices and string theory.

The study of tuning systems offers humbler fun with numbers. If you go up a fifth you multiply the frequency of your sound by 3/2. Do this twelve times and you almost go up 7 octaves. But you're off by a factor of

531441/524288 ≈ 1.01346

This is called the 'Pythagorean comma' - a glitch in the Pythagorean tuning system.

There's also a tuning system called 'just intonation', based on simple fractions as shown below. In this setup if you play the sequence C G D A E C you don't get back where you started: you wind up higher by a factor of

81/80 ≈ 1.0125

This is called the 'syntonic comma' - a glitch in just intonation.

In the 6th century, Boethius noticed that these two commas are close but not quite the same - a kind of meta-glitch between glitches! He called their ratio the 'schisma'. It's

(531441/524288)/(81/80) = 32805/32768 ≈ 1.00113

It's also the ratio between 8 justly tuned perfect fifths plus a justly tuned major third and 5 octaves.

I find this fun!

stphrolland,
@stphrolland@mathstodon.xyz avatar

@johncarlosbaez I suppose 3/2, 5/4 and 6/5 are the frequency ratio of corresponding harmonics (relative to the tonality root note)? For the fifth at 3/2 ok, but I never really thought about the thirds Major or minor at 5/4 and 6/5.

eniko, to random
@eniko@peoplemaking.games avatar

Possum is the regular noun and opossum is for when you want to show your respect for possums

stphrolland,
@stphrolland@mathstodon.xyz avatar

@eniko I would have sworn possum is a regular VERB, present tense, 1st person singular: I can
possum, potes, potest, possumus, potestis, possunt

LMMS, to NixOS

Thanks to Micheal Gregorius, LMMS now builds on #NixOS! The culprit was our build script assuming perl was inside /usr/bin/ - which doesn't really exist on Nix.

https://github.com/LMMS/lmms/pull/6855

stphrolland,
@stphrolland@mathstodon.xyz avatar

@LMMS Just by curiosity. Once when talking about those /usr/bin lines that can break nix package when they come from another linux flavor, some one posted this post, and statements and links are indeed correct:

Post in question talking about this automatic rewriting of line /usr/bin in scripts: https://toot.community/@polyna/110855389482005184

Any idea why in some cases like yours, /usr/bin in scripts are not replaced ?

Just for my understanding of nix and nixos.

Perhaps someone in the #nixos community has elements of answer?

passenger, to random
@passenger@kolektiva.social avatar

I'm an ageing goth. Of course I think about the Roman Empire. It's only normal to remember one's youthful conquests.

stphrolland,
@stphrolland@mathstodon.xyz avatar

@passenger You're rather Ostro-goth or Wisi-goth ? Or WYSIWYGoth ?

christianp, to random
@christianp@mathstodon.xyz avatar

Huge sunk cost fallacy as I've spent all day hand-drawing every mathematical symbol in unicode, and even though my handwriting isn't very good I pretty much have to finish this t-shirt

stphrolland,
@stphrolland@mathstodon.xyz avatar

@christianp It is asemic mathematics or calligraphy ?

stphrolland,
@stphrolland@mathstodon.xyz avatar

@christianp No problem: indeed that what means "Asemic" = no semantics.

Asemic Calligraphy / Asemic Writing is a trend in calligraphy, where the importance is given on the shape of the symbols used, rather than the meaning.

(you can see this as the lattest level of calligraphy after un-readable japanese brush motion calligraphy or unorthodox-heretic-gothic glyphs)

And I was trying to put in some humor asking if it could be Asemic Mathematics, because in your case there was a lot of mathy things.

Sorry, I work on the design of a programming language, and I see stuffs about Syntax and Semantics everywhere

louis, to random
@louis@emacs.ch avatar

Any remarks on or alternatives? I still enjoy hand-writing notes a lot, but they get lost easily.

Remarkable has some history of removing features and replacing them with "subscriptions" after the buy. I'd love to hear from owners.

stphrolland,
@stphrolland@mathstodon.xyz avatar

@louis I got tired that the Remarkable2 is not an android stuff. ALso it happens strange things when the 6GB of memory is full or almost filled, and I have found it uneasy to clean the documents that were to be deleted. Otherwise it is a pretty good device for note taking.

mathling, to genart
@mathling@mastodon.social avatar

#GenerativeArt interlude

Fish

You haven't seen a lot of new works out of my lately because I've been playing with a whole new (textual) interface to my underlying components.

It is interesting when you have a different API with different affordances how you end up recasting/reworking a lot of things, so a lotta refactoring is happening too.

Anyway, here is one of the outputs of
"'unique huge diff-slant fish in some 10 deepsea tiling"

#SVG #XQuery #IXML #CreativeCoding

stphrolland,
@stphrolland@mathstodon.xyz avatar

@mathling By curiosity how IXML intervenes in your process, and which IXML grammar parser do you use ?

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

See why a celebrity wandering through a mirrored hexagonal room would need 144 bodyguards to block one paparazzo from taking a snap of them, allowing for reflections. (H/T @math3ma and @emilyriehl)

https://www.gregegan.net/SCIENCE/Lattices/Lattices.html

Within a hexagon, a blue dot and a red dot wander around in circles, while a kaleidoscopic arrangement of 144 green dots respond in a way that blocks any reflection of the blue dot in the walls of the hexagon from being seen by the red dot.

stphrolland,
@stphrolland@mathstodon.xyz avatar

@gregeganSF Is it something that is taken into account in POV-ray techniques ?

b0rk, (edited ) to random
@b0rk@jvns.ca avatar

a couple of years ago on twitter I asked why man pages don't have examples and had a surprisingly interesting discussion https://twitter.com/b0rk/status/1427308140916363269

I learned that:

  • GNU tools intentionally left examples out of man pages, because the idea was that the examples were in the "info" pages instead (which I never heard of it in ~15 years of using Linux, apparently it’s am emacs thing)
  • BSD man pages do tend to have examples (for example man grep on Mac OS has some examples, on Linux it doesn't)
stphrolland,
@stphrolland@mathstodon.xyz avatar

@b0rk In Linux word, in the end, so as to have examples on the command line, we should then use the limited commands tldr, teeldeer, cheat and variations ? And our bash history ? Personnally I also do some dedicated functions in my bashrc for some infrequent command usage, (but not so infrequent), or markdown files with interesting examples

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