A while ago @davidphys1 asked why nobody had made animations of the shunting yard algorithm with cutesy trains.
There is no surer way to summon me!
I've spent some of my spare time over the bank holidays making exactly that: somethingorotherwhatever.com/s

youtube.com/watch?v=gHniHE_Hvh

Issue 15 of ("A magazine for the mathematically curious") is out today! Read it at chalkdustmagazine.com/

Somehow a bit of my writing ended up in this amazing magazine... So if you want to know about symmetries in physics 🔄⇔💃 or are just , go have a look!

Wednesday May 9th, Tai-Danae Bradley and I are giving talks on entropy and category theory.

Her talk will dig into the consequences of an amazing fact: the function at the heart of entropy, namely

d(x) = -x ln x ,

obeys a version of the product rule!

(1/n)

You can (sort of) verify your identity on Mastodon if you own a website.

1. Go to Edit Profile > Appearance > Profile Metadata, add your website address (including https://) to the metadata section.

2. Copy the verification code into your website's code. (The verification code is next to the Metadata section)

3. Click "Save Changes" after you have done all of the above.

Your website will then be listed on your profile with a green background and a tick next to it, proving you are the owner.

Let's have some fun with the Heisenberg group H! It is the group of upper triangular matrices of the form

/ 1 a c \
| 0 1 b |
\ 0 0 1 /

Muliplying two such matrices you can easily see it's a monoid, because the result is again an upper triangular matrix:

/ 1 a+A c+aB+C \
| 0 1 b+B |
\ 0 0 0 /

1/

You can also read this thread on my blog:
blog.deinding.net/maths/heisen

Thread about Reversible Cellular Automata!

RCA is CA that has exactly one previous and exactly one next state. For example, Conway's Game Of Life is not reversible, because you can have multiple states converge to emptiness. And GoL can have [0; inf) previous states, and exactly one next. Thus, non-reversible CA constantly lose information.

The GIF shows glider in a RCA called "Single rotate", it uses Margolus neighorhood with block of size 2. (Source dmishin.blogspot.com/2013/11/t)

@jt There are plenty of pretrained models for French! I think it's probably one of the most well-studied languages: huggingface.co/models?language

Thanks for the refs!

@jt I'm not very familiar with Bayesian models for NLP, do you have some pointers? For what it's worth, there are pretrained models that can be used with very few data now if you're interested. Of course understanding them deeply is another issue...

@jt Even rereading "Attention is All You Need" feels like a trip through time now...

@mikepierce Hi! Maybe if you convert your rays to (unit) quaternions, you can use Slerp to calculate the angle? en.wikipedia.org/wiki/Slerp

The new experiment measuring the W boson's mass claims such narrow error bars that the Standard Model predictions are 6.5 standard deviations away. Most experts think this experiment, called CDFII, made a mistake somewhere.

(1/n)

@peterrowlett When I do that on the web interface I get the menu at the bottom of the page:

@roydanroy Yes! (in industry) Although I wish I could find where the ML people are on Mastodon. Back on Twitter, I follow maths and ML related people, and for now I mostly found maths people here.

People from Mathstodon: if you want to share your maths with people from other instances, keep in mind that LaTeX rendering is only available on a browser, and for people also on mathstodon.

If you still want to write formulas, mathstodon can be used to export LaTeX to unicode, like \sum to ∑, \prod to ∏, and so on.

Just click on the Tab key and if your equation can be rendered using unicode it will be transformed.

Example: ϕ(x)=∑ₖⁿ xᵏ

It's not perfect, but you can see it on a phone app!

i don't actually think there'll be any mass exodus fram twitter or that musk will substantially change anything in the short term, i just think mastodon is neat & held back only by the lack of users

Are you looking for people to follow on Mastodon and the Fediverse?

Click below for a directory of hundreds of recommended follows organised into 74 topics:

➡️ mastodon.online/@FediFollows/1

(If a category has several pages of follows, click "show older" at the bottom to see the next page.)

This is just a tiny fraction of accounts on here, but hopefully it will give people's timelines a good start.

Please do share this with anyone you think might benefit, for example people who are new here.

announcement (boosts appreciated) 

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in the world during the months of July and August 2022.

The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.

This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.

Read more: groups.google.com/g/homotopyty
Join the Discord: discord.gg/tkhJ9zCGs9

@JordiGH @ColinTheMathmo Indeed, that's an interesting thought. Maybe the federated aspect will incentivise users to interact more. On Twitter I have never felt the need to participate much in conversations (and many of them were not that interesting anyway), and I know many people with the same experience.

Great article by Christopher Manning, doing a complete historical tour of NLP: amacad.org/publication/human-l

The last part in particular, about denotational vs distributional semantics, is one of the nicest explanations I have seen on this topic.

Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!