Skip to content

Add notes from 2022-08 #59

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 12 commits into from
Aug 4, 2022
Merged

Add notes from 2022-08 #59

merged 12 commits into from
Aug 4, 2022

Conversation

encukou
Copy link
Member

@encukou encukou commented Aug 2, 2022

No description provided.

Copy link
Member

@JelleZijlstra JelleZijlstra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

some typos

Mariatta and others added 4 commits August 2, 2022 09:56
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
@Mariatta
Copy link
Member

Mariatta commented Aug 2, 2022

Thanks for the typo fixes :)

Mariatta and others added 6 commits August 3, 2022 11:10
Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
Co-authored-by: CAM Gerlach <CAM.Gerlach@Gerlach.CAM>
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>

### Diataxis Workshop

- 70 ppl signed up, ~35 are accepted.
Copy link
Member

@CAM-Gerlach CAM-Gerlach Aug 3, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- 70 ppl signed up, ~35 are accepted.
- 70 ppl signed up, 35 are accepted.

Tiny nitpick, but I assume you mean approximately, not proportionally here

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

~ stands for "around" here.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For some historical background, is the approximate symbol; ~ (tilde) was originally intended and used as a diacritic intended for overprinting over other letters for non-Latin characters, but historically was used informally for (among other purposes) an approximation (heh) of the actual approximate symbol before Unicode existed. And of course, when writing shorthand notes, its faster to type than an alt/option code.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I never knew ~ can mean proportionally, but it's widely understood as around/about/approximately, let's keep it simple :)

https://en.wikipedia.org/wiki/Tilde#Common_use_in_English

≈ seems more of a mathematical thing.

https://en.wikipedia.org/wiki/Approximation#Typography

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think I've ever seen ≈ used as a unary operator.
In formal writing this would be spelled out, in a proper mathematics text the operator would be defined. But these are shorthand notes.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

≈ is unusual and thus slightly harder to read for me personally (though I can type it just fine), and the suggestion is a “tiny nitpick” in notes, so I'll take the liberty to merge without it.
But feel free to continue the discussion if you want.

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
@encukou encukou merged commit ab85206 into python:main Aug 4, 2022
@encukou encukou deleted the 2022-08 branch August 4, 2022 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants