ionchy

@ionchy.ca

799 Followers 302 Following

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

ICFP 2026 sponsors: Amazon automated reasoning, platinum Bloomberg, platinum Jane Street, platinum Harmonic, startup Nectry, startup Luddy, in-kind
behind a large concrete building, a brownish-yellow sky of smoke and clouds
dirty brown skies
ICFP logo
ICFP 2026 sponsors: Amazon automated reasoning Jane Street Anduril Harmonic Bloomberg
bridge stretching out over the river with a person dressed in red standing by a railing, cloudy blue skies above
a narrow wooden bridge with a sign that says pedestrians prohibited
branch history shows pointer to a commit, which then points to a commit at an EARLIER time, which then continues pointing to the future
epaulette shark or leopard catshark swimming in a shallow pool up towards a submerged hand
purple sea urchin
part of a stone wall inset into a brick wall with a bunch of graffiti, including a drawing of eggbug and "eggbug 4ever"
a band on the sidewalk jamming alongside a woman playing the bagpipes
a wooden red-orange fish
God Save the Queens chorus, partially obscured by the arm of someone else filming
a tall parking complex half in the sunlight with a lampost right in the middle, blue skies above
narrow and short hallway with yellow tiles and red stripes opening to a subway station with a fare machine in the middle
left: a stool sliced in half and rotated about a bar in the middle, laying on the sidewalk middle: vita gelato shop front window with people right: a pigeon hanging out near the yellow warning line of a subway stop
photo of narrow yellow door but the top part of it is a light-leaked magenta colour, the bottom part is a light-leaked red colour, and a small strip in the middle is normal and has no light leakage
a stuffed rainbow gnome
START DOING COMPUTER SCIENCE * VARIABLES WERE SUPPOSED TO BE GIVEN NAMES * YEARS OF PROGRAMMING yet STILL MORE TO CREATE * Don't want to write code anyway? We have a field for you: It's called THEORY * "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them (This is REAL computer science, done by REAL computer scientists): [graph of the ARPANET] the Internet [photo of an FPGA] FPGAs [screenshot of RocqIDE] proof assistants They have given us beautiful tools
David Van Horn giving his talk on gradual typing
dominoes meme small domino: freddi fish large domino: blue prince
sliced loaf of bread in a plastic bag
load of multigrain bread by "Metropolitan Bakery" cut in half
me holding Chicago playbill out in front of the stage during intermission
Metro Vancouver is running out of drinking water — and the solutions are interesting Despite being one of the wettest regions on Earth, climate change and high demand expected to worsen supply CBC News · Posted: May 02, 2026 11:00 AM EDT | Last Updated: May 2 Vancouver is running out of water — and the solutions are wild As Metro Vancouver’s population grows and its reliable snowpack shrinks, the race is on to secure the region's water supply for the next century. But the solutions on the table are bolder than you might expect, ranging from tapping backup lakes to giant straws and massive dam expansions. CBC's Johanna Wagstaffe investigates how the city plans to keep the taps running. Correction: This video was edited after it was first published to correct spelling errors in the names of two people. Climate change and increasing demand are both expected to contribute to a water supply crisis in Metro Vancouver over the next century, projections show. Despite the region being one of the wettest on Earth, data analyzed by CBC meteorologist Johanna Wagstaffe indicates Metro Vancouver's current system will need significant upgrades to last through hotter summers and the drier years to come. Some of the solutions to solve the looming water supply crisis are elaborate — including the equivalent of sticking a giant drinking straw in a lake, and creating pipes large enough to fit a car through. As Wagstaffe reports, the region sees the highest per-capita water usage in the country, and officials say large infrastructure projects and residents actively conserving water are both needed over the next century.
giant inflatable rat on the sidewalk
trying to scroll left on the carousel triggers opening the left menu instead
screenshot of above skeet showing carousel slide at Pope Francis's head
four-tile skeet of pope francis holding up nothing
one guy on the sidewalk looking up at another guy up on a ladder leaning against a brownstone
cat on a cat bed attached to an open window
a blue satchel, a limbless headless bust, a cardboard box of junk, all lined up on the sidewalk in front of a building's vent
a bent mattress against a bollard on the sidewalk
a grey box
Pilgrim Roasters Colombia Marisela Sanchez's Geisha Notes: pomegranate, kiwi Region: Palestina, Huila Process: washed Altitude: 1620 masl
me in front of a street sign for Gay st.
Colombia Finca El Paraiso - M-03 Horchata Thermal shock washed Notes: cinnamon, coconut milk, chocolate, lime zest Roast level 2/5
boys go to jupiter on stage ft. singer, guitar, keyboard, trumpet, trombone
Kevin Walkman performing Billy Doesn't Want U
Twinless movie poster
idkhow performing Downside
Little LaTeX Pearls 08 Apr 2026 ∣ last updated 08 Apr 2026 • Computer Touching Over the course of the LaTeX-typeset papers I’ve written during grad school, there are some tricks and macros I’ve carried with me all throughout. Here’s a small catalogue of some of the generally applicable ones. Contents Correct package ordering Correct spacing after abbreviations Stacking footnotes on top of punctuation Spacing before and after math environments More spacing adjustments Theorem statements on the next line Custom QED symbol Math and newlines in titles Custom equation tags Fixing theorem environments in LLNCS Appeasing arXiv
GitHub has one day left to do the funniest thing possible image of GitHub platform uptime at 90.00% uptime by 29 March
table of symbols and TeX macros, with `\shortmid` highlighted. here's the full list: Table 99: AMS Binary Relations ≊ \approxeq ≖ \eqcirc v \succapprox  \backepsilon ≒ \fallingdotseq ≽ \succcurlyeq ∽ \backsim ⊸ \multimap ≿ \succsim ⋍ \backsimeq ⋔ \pitchfork ∴ \therefore ∵ \because w \precapprox ≈ \thickapprox ≬ \between ≼ \preccurlyeq ∼ \thicksim ≎ \Bumpeq ≾ \precsim ∝ \varpropto ≏ \bumpeq ≓ \risingdotseq ⊩ \Vdash ⊜ \circeq p \shortmid ⊨ \vDash ⋞ \curlyeqprec q \shortparallel ⊪ \Vvdash ⋟ \curlyeqsucc ⌢ \smallfrown ≑ \doteqdot ⌣ \smallsmile
Metropolitan Bakery Buy 12 loaves and get your 13th free Eleven holes have been punched
Almond croissant, fig bar, kouign amann, yogurt cake Slice
hovering over various cards on the paper ephemera page reveals the back side of the cards
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 curved path cleared through the snow, seen from above
🥢 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
big json post open in nvim
"There is such thing as a free lunch. You just have to offer it." — Kingturtle
Depths of Wikipedia at the Theatre of Living Arts
TWINK PITS
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
@ionathanch Oct 17, 2011 I remember when I was celebrating my 2 000th Tweet a long time ago... Now I'm at 15
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
movie poster for Pillion
JPEG XL