This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
#introduction
Hello everyone! I have just moved from types.pl to try out this instance by ACM. Since my toots were not migrated with me, let me introduce myself again.
My name is Yao Li (李垚). I am currently an assistant professor at Portland State University. My research area is programming languages/formal verification/interactive theorem proving. Always happy to chat with people about research or general things about programming languages!
RT @Grady_Booch@twitter.com
Programming will be obsolete.
— Matt Welsh
Nope. The entire history of software engineering is one of rising levels of abstraction.
— Me
https://m-cacm.acm.org/magazines/2023/1/267976-the-end-of-programming/fulltext#.Y7D06mk6QFw.twitter
🐦🔗: https://twitter.com/Grady_Booch/status/1609382384109223938
Today, my former Ph.D. student Martin Burger starts his new job as a Software Engineering and Software Quality Assurance professor at @htw@twitter.com Saarbrücken. Congratulations, Professor Martin! https://www.saarland.de/mfw/DE/aktuelles/aktuelle-meldungen/medieninfo/2022/pm_2022-12-13-Ernennung-Burger.html
Wrote ~23 blog posts this year and here are the 7 I'm most proud of.
Basically all about #databases and #distributedsystems, and mostly about building them from scratch.
https://datastation.multiprocess.io/blog/2022-02-08-the-world-of-postgresql-wire-compatibility.html
https://notes.eatonphil.com/documentdb.html
https://notes.eatonphil.com/distributed-postgres.html
https://datastation.multiprocess.io/blog/2022-06-11-year-in-review.html
https://notes.eatonphil.com/whats-the-big-deal-about-key-value-databases.html
https://tigerbeetle.com/blog/a-database-without-dynamic-memory/
https://notes.eatonphil.com/zigrocks-sql.html
https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue/
It was fun to be on the Talk Python to Me podcast to chat with https://fosstodon.org/@mkennedy about README and Changelog automation:
https://nedbatchelder.com/blog/202212/talk_python_to_me_tools_for_readme.html
Special thanks to Colin Sullivan for pointing Michael my way in the first place: https://fosstodon.org/@mkennedy/109361294408071209
For the holiday, a thread on how to befriend crows.
--
Befriending crows is a wonderful thing.
I have many crow friends at home and at work. They bring joy at unexpected moments and can rescue a miserable day even without shaking down the dust of snow that Robert Frost described.
This thread is an updated version of one I posted at the bird site in July 2019.
#birding #birdwatching #birds #urbanbirding #crows #corvids #crow #corvid #crowfriends
RT @cathykxx@twitter.com
Hey computer science and IT security students from South Asia! Are you interested in doing an internship at CISPA in Germany? https://jobs.cispa.saarland/jobs/detail/cispa-summer-voluntary-internship-program-south-asia-197
Today, my Ph.D. student Alexander Kampmann successfully defended his thesis on #Alhazen, a tool that automatically determines failure circumstances: “The program crashes when an input line has more than 1024 characters”. Congratulations, Dr. Kampmann!
https://dl.acm.org/doi/abs/10.1145/3368089.3409687
#introduction #academia #academictwitter #research
Hi! I am a professor working to better understand and help early-stage founders succeed while avoiding or coping with the negative person-level impacts of #entrepreneurship.
Research interests include wellbeing, emotion, creativity, impression management, and motives and I explore these mainly using computational and experimental methods (with #rstats). In a previous career, I built software and startups.