ionchy's Avatar

ionchy

@ionchy.ca

it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian πŸ‡¨πŸ‡¦πŸ‡ΉπŸ‡ΌπŸ‡­πŸ‡°πŸ³οΈβ€πŸŒˆ I inherited https://types.pl https://ionathan.ch

779
Followers
287
Following
1,472
Posts
11.04.2023
Joined
Posts Following

Latest posts by ionchy @ionchy.ca

oh I forgot about this roll lol. I quoted the wrong post

11.03.2026 01:34 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
34: 3277 Minolta Hi-Matic AF2 Kodacolor 100

the rest of them here: flic.kr/s/aHBqjCMGEQ

11.03.2026 01:34 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
two dogs tied to a bike rack
they are large with black coats, white bellies, brown legs, long fur, and long ears (idk what breed this is)

two dogs tied to a bike rack they are large with black coats, white bellies, brown legs, long fur, and long ears (idk what breed this is)

a small window as seen from off a bridge with my shadow in it

a small window as seen from off a bridge with my shadow in it

a wheely office chair with a red seat on the sidewalk next to a streetlamp and a parked car

a wheely office chair with a red seat on the sidewalk next to a streetlamp and a parked car

a motorcyclist in black leather and a red bike as seen from above

a motorcyclist in black leather and a red bike as seen from above

last one is literally Pillion

11.03.2026 01:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

it's been a while but I'm finally back at it again with the film fotos

11.03.2026 01:14 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image Post image

oh fuck yes FINALLY winco restocked their bulk section with gross weirdo!!! pretty good price too

09.03.2026 20:47 πŸ‘ 32 πŸ” 8 πŸ’¬ 8 πŸ“Œ 0

oooo

09.03.2026 05:09 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Sure but all of this is very complex when all you really need is static HTML pages for posts that will never ever change or be interacted with ever again

09.03.2026 00:39 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
πŸ₯’ ionchy πŸ³οΈβ€πŸŒˆ
@ionchy
1 yr ago
🐈amorphism
a commutative square where 🐈 f maps 😺 to A, out maps F(😺) to 😺, f maps F(A) to A, and fmap ∘ 🐈 f to F(A)
#catamorphism#🐈#😺#MathML

πŸ₯’ ionchy πŸ³οΈβ€πŸŒˆ @ionchy 1 yr ago 🐈amorphism a commutative square where 🐈 f maps 😺 to A, out maps F(😺) to 😺, f maps F(A) to A, and fmap ∘ 🐈 f to F(A) #catamorphism#🐈#😺#MathML

thank u wayback for preserving my vision

09.03.2026 00:29 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
big json post open in nvim

big json post open in nvim

okay never mind so maybe that's not so helpful

09.03.2026 00:24 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

bonus points if it has all the styling and links to tag pages (for that user)
otherwise I'll just grep what I need from the json

09.03.2026 00:20 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I know it's been more than a year now but has someone made a way to turn the cohost export into a static site
the Wayback Machine is just a bit slow so I'd like to host just my own posts somewhere so that they're browsable more easily

08.03.2026 23:39 πŸ‘ 8 πŸ” 0 πŸ’¬ 5 πŸ“Œ 0

Yorgos Lanthimos is so back

08.03.2026 20:09 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
"There is such thing as a free lunch. You just have to offer it." β€” Kingturtle

"There is such thing as a free lunch. You just have to offer it." β€” Kingturtle

❀️

06.03.2026 02:14 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

πŸ”πŸ‘οΈ

06.03.2026 00:23 πŸ‘ 43 πŸ” 4 πŸ’¬ 1 πŸ“Œ 0

I also checked Thank You Thank You, Jax, Mr. Rabbit, Madis, Function, Habitat, Moka, and Fante's is still out of stock

28.02.2026 16:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

damn I missed the population: 69420

25.02.2026 01:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
TWINK PITS

TWINK PITS

25.02.2026 01:02 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
24.02.2026 03:50 πŸ‘ 466 πŸ” 136 πŸ’¬ 2 πŸ“Œ 0

idk why bluesky keeps thinking my handle is invalid

24.02.2026 01:25 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

​

24.02.2026 00:19 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Why do I have to pretend that I'm going to print something in order to save it as a PDF. Why do I have to engage in a little ruse.

23.02.2026 21:43 πŸ‘ 19302 πŸ” 2927 πŸ’¬ 345 πŸ“Œ 1
Post image Post image Post image Post image

Unintended tube study: Covent Garden & Leicester Square.
πŸ“·: Zeiss Super Ikonta
🎞️: Kodak Gold
#filmphotography #believeinfilm

22.02.2026 20:24 πŸ‘ 147 πŸ” 34 πŸ’¬ 3 πŸ“Œ 1
Unlock your X account
 
Hello πŸ₯’ Jon 🍲,
 
You may be able to reinstate your account @ionathanch. If so, you’ll be able to keep some of your account information (like your @username and people you follow), while removing some other information.
 
 
Get started now by logging in to X.
 
This option will be available for 30 days, starting today. Please note that after 30 days, you won’t be able to reinstate this account. To learn more about this process, visit our Help Center.
 
Thanks,
X

Unlock your X account Hello πŸ₯’ Jon 🍲, You may be able to reinstate your account @ionathanch. If so, you’ll be able to keep some of your account information (like your @username and people you follow), while removing some other information. Get started now by logging in to X. This option will be available for 30 days, starting today. Please note that after 30 days, you won’t be able to reinstate this account. To learn more about this process, visit our Help Center. Thanks, X

twitter is BEGGING me to come back

21.02.2026 14:48 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
@ionathanch Oct 17, 2011
I remember when I was celebrating my 2 000th Tweet a long time ago... Now I'm at 15

@ionathanch Oct 17, 2011 I remember when I was celebrating my 2 000th Tweet a long time ago... Now I'm at 15

I got an archive of my tweets when I left so I went to check what the oldest tweet was. back in 2011 I did a great purge of old tweets but regardless this means that the account itself is literally at least 15 years old

21.02.2026 02:21 πŸ‘ 5 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Your Account is locked

My account was locked for not meeting X's age requirements. 

X requires all users to be over the age of 13 in order to create an account. If you believe your account was locked by mistake, please provide the following details to help us verify your account.

Your Twitter username (required)
Your full name (required)
Your email address (required)

This is where we’ll contact you.

If you need to add an email address to your account, or change the email address you are using for your report, please follow these instructions.


Confirm your identity (required)

Upload a copy of your valid government-issued photo ID such as a driver’s license or passport. Your ID is used only to confirm your identity. Please upload a legible copy with your full name completely visible. If you administer this account on behalf of an organization, business, or another person, please upload identification of the person who actually administers this account.

Your uploaded documents will be kept confidential, and will be deleted after we've used them to confirm your identity and date of birth.

Submit

Your Account is locked My account was locked for not meeting X's age requirements. X requires all users to be over the age of 13 in order to create an account. If you believe your account was locked by mistake, please provide the following details to help us verify your account. Your Twitter username (required) Your full name (required) Your email address (required) This is where we’ll contact you. If you need to add an email address to your account, or change the email address you are using for your report, please follow these instructions. Confirm your identity (required) Upload a copy of your valid government-issued photo ID such as a driver’s license or passport. Your ID is used only to confirm your identity. Please upload a legible copy with your full name completely visible. If you administer this account on behalf of an organization, business, or another person, please upload identification of the person who actually administers this account. Your uploaded documents will be kept confidential, and will be deleted after we've used them to confirm your identity and date of birth. Submit

it finally happened... I got locked out of my twitter account
end of an era (← has not posted since end of 2024 anyway)

21.02.2026 02:11 πŸ‘ 5 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I'm starting a 2026 cinema thread. I got Pillioned tonight

21.02.2026 01:02 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
A git flow diagram from Microsoft's docs as of Feb 18 2026: https://learn.microsoft.com/en-us/training/modules/introduction-to-github/3-components-of-github-flow#git-flow

A git flow diagram from Microsoft's docs as of Feb 18 2026: https://learn.microsoft.com/en-us/training/modules/introduction-to-github/3-components-of-github-flow#git-flow

An excerpt from Atlassian's git flow docs, with the text "Hotfix branches" and a git flow diagram. Screenshot taken Feb 18 2026 from here: https://www.atlassian.com/git/tutorials/comparing-workflows/gitflow-workflow#:~:text=finish%C2%A0%270.1.0%27-,Hotfix%20branches,-Maintenance%20or

An excerpt from Atlassian's git flow docs, with the text "Hotfix branches" and a git flow diagram. Screenshot taken Feb 18 2026 from here: https://www.atlassian.com/git/tutorials/comparing-workflows/gitflow-workflow#:~:text=finish%C2%A0%270.1.0%27-,Hotfix%20branches,-Maintenance%20or

I don't mean to pile on here, but it looks like the updated version of the diagram was heavily cribbed (if not outright ripped off) from Atlassian's docs without attribution

18.02.2026 13:02 πŸ‘ 25 πŸ” 3 πŸ’¬ 3 πŸ“Œ 5

I actually have similar questions about a bunch of symbols that ultimately ended up in that Miscellaneous Technical Unicode block. When have you ever seen an EE textbook use ⏧ for "electrical intersection"? Which Euler's constant is Ɛ?

16.02.2026 23:06 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

There's still the unsolved mystery of where the symbol is *from*, since a type foundry creates the type if there's a demand for it. Who demanded it? And what actual documents that aren't typographical catalogues have used it to mean azimuth?

16.02.2026 22:54 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

A theory I like is that the downward zigzag arrow represents the light ray as it enters a sextant, which you can use to measure an azimuth
This makes it extra annoying that the Noto font uses a wavy arrow, which ruins the symbolism
I wonder if they'll fix it if I complain. where's the Noto repo

16.02.2026 22:51 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0