ionchy

@ionchy

it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 I inherited ⍼

301 Following800 Followers1,585 Posts

Bluesky

Is this your profile?Claim it and ionchy.dirty.social is yours.Claim profile

ionchy@ionchy· 27d

still from a postapocalyptic movie? nope this is just downtown

ionchy@ionchy· 28d

not to compare apples to drones but I'm also pretty sure the logo is AI-generated. it's like slightly off everywhere

ionchy@ionchy· 28d

in case you missed it, ICFP 2026 is sponsored by Anduril, who have gotten themselves a booth at the conference for the low, low price of almost 5 full student registrations icfp26.sigplan.org (and don't forget your Anduril merch swag bag!)

ICFP 2026 sponsors:
Amazon automated reasoning
Jane Street
Anduril
Harmonic
Bloomberg

Admission Item
3-Day ICFP Conference + Co-located events
Total
$840.00
Session
Haskell Symposium (1-Day Pass) | Aug 28th
Total
$255.00
PLMW (1-Day Pass)
Total
$255.00
Haskell Symposium (1-Day Pass) | Aug 29th
Total
$255.00
Subtotal
$1,605.00
Order Total
$1,605.00

ionchy@ionchy· 29d

here you may have four (4) fotos from my latest roll

bridge stretching out over the river with a person dressed in red standing by a railing, cloudy blue skies above

green line (B) trolley parked at boston college

two parked red line trains seen from behind a chain link fence

harvard station ramps going up outbound and down inbound

ionchy@ionchy· Jul 5

my film fotos aren't coming back for another two weeks so I only have fone fotos to post

a narrow wooden bridge with a sign that says pedestrians prohibited

a wooden walkway along a river with a biker and a runner passing underneath some rusted metal structure

a pile of concrete blocks underneath a bridge supported by green metal pillars and beams

ionchy@ionchy· Jul 5

okay how did this happen

branch history shows pointer to a commit, which then points to a commit at an EARLIER time, which then continues pointing to the future

ionchy@ionchy· Jun 24

even more stuff I've seen lately

epaulette shark or leopard catshark swimming in a shallow pool up towards a submerged hand

Myrtle the large sea turtle resting on a ledge in the giant ocean tank

ionchy@ionchy· Jun 24

can you believe Freddi Fish used these as currency?

ionchy@ionchy· Jun 20

eggbug forever

part of a stone wall inset into a brick wall with a bunch of graffiti, including a drawing of eggbug and "eggbug 4ever"

ionchy@ionchy· Jun 19

there was a band playing on the sidewalk and a woman with bagpipes passed by and they started playing together??

ionchy@ionchy· Jun 19

more stuff I've seen lately

a tile with a painted spotted orange cat

a marble foot on a pedestal on an ornate cabinet

ionchy@ionchy· Jun 17

I went to see Vienna Vienna open for Daisy Grenade and had the bright idea to take a video at the same time as and also behind someone else taking a video lmaooo

ionchy@ionchy· Jun 9

Backrooms (2026)

narrow and short hallway with yellow tiles and red stripes opening to a subway station with a fare machine in the middle

an open loading bay partially lit by sunlight with one red pole

ionchy@ionchy· Jun 9

here's another stitch of three offset double exposures, I think once I get my negatives I can rescan the whole strip myself and fill in the gaps (I wonder how long photos show up on bsky's new carousel layout...)

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

ionchy@ionchy· Jun 9

new roll! it didn't latch onto the sprocket holes properly so my first few exposures are partially doubly exposed. I have two slightly different shots of the same thing but one of them was split across two frames so I tried to stitch them together and put a strip of the second one in the gap

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

ionchy@ionchy· Jun 7

some stuff I've seen lately

am emergency exit door plastered with newspaper clippings

two fish fossils overlapping at the tail
knightia humilis

ionchy@ionchy· May 23

start doing computer science <3

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

ionchy@ionchy· May 22

NJPLS starts NOW!!

David Van Horn giving his talk on gradual typing

ionchy@ionchy· May 17

dominoes meme
small domino: freddi fish
large domino: blue prince

ionchy@ionchy· May 16

i miss him... the og multigrain loafe... (latest photo I could find was October 2024)

ionchy@ionchy· May 16

this is maybe incredibly niche and philly-local but even though supposedly Metropolitan Bakery sold their factory and recipes to Merzbacher's who are still selling their bread under the Metropolitan brand I swear the same multigrain loaf I used to get doesn't even SMELL the same

load of multigrain bread by "Metropolitan Bakery" cut in half

ionchy@ionchy· May 15

and all that jazz

me holding Chicago playbill out in front of the stage during intermission

ionchy@ionchy· May 12

> 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. www.cbc.ca/news/canada/...