Sign in

Yihong Zhang

@yihozhang.bsky.social
102 followers 117 following 2 posts

Programming languages and database systems.

PostsRepliesMedia
Yihong Zhang @yihozhang.bsky.social · 20/04/2025
Want to catch up with SE and PL researchers across the Pacific Northwest? Have a cool project to share? The PNW PLSE 2025 is happening on May 7th, at the Uber Engineering Office in Seattle downtown, and you can sign up at pnwplse.org!
Picture of PNW PLSE 2024 attendance
013
Yihong Zhang @yihozhang.bsky.social · 27/01/2025
I learned a fascinating result today! Consider the class of decider functions `Str->Bool` expressible in STLC, the set of languages it decides is exactly REG, the set of regular languages! cstheory.stackexchange.com/questions/27...
cstheory.stackexchange.com
Can typed lambda calculi express *all* algorithms below a given complexity?
I know that the complexity of most varieties of typed lambda calculi without the Y combinator primitive is bounded, i.e. only functions of bounded complexity can be expressed, with the bound becoming
020
Reposted by Yihong Zhang
Yaron Minsky @yminsky.bsky.social · 22/11/2024
This talk from Jonathan Ragan Kelley highlights the basic pressure around parallelism and hardware, and the coevolution of hardware (particularly GPUs) and parallel programming paradigms, as well as some directions for us to go next. Great talk. youtu.be/vU3ryvZYlkk?...
youtu.be
[PLDI24] The Future of Fast Code: Giving Hardware What It Wants
YouTube video by ACM SIGPLAN
0379