Do we have any progress? :)

PICO-8 v0.2.5 was just released and one of the features is a beta for online leaderboard functionality - https://www.lexaloffle.com/bbs/?tid=49075 - (search for "high score").

I know multiplayer networking is out of scope for TIC games, but just basic network stuff to support leaderboards, seeded runs, and perhaps "news"... man that would be so cool to have integrated into TIC-80. Hopefully the nature of competition here will motivate you to add this sooner rather than later!