Yihong Zhang
@yihozhang.bsky.social
Programming languages and database systems.
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!
April 20, 2025 at 10:32 PM
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!
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/questions/27...
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
cstheory.stackexchange.com
January 27, 2025 at 5:16 AM
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/questions/27...
Reposted by Yihong Zhang
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/vU3ryvZYlkk?...
November 22, 2024 at 11:27 PM
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/vU3ryvZYlkk?...