awesome-console-services: curated list of services reachable via HTTP
Comments
Read more →News
Posts from AI labs, universities, the tech press by region, engineering teams and newsletters.
The PingCAP TiDB Cloud Leaks
Comments
Read more →Lobsters NYC Meetup on the 28th of October
I previously arranged (by PMing everyone who mentioned it) a 5 Lobster meetup in Mexico. I'll be in NYC next week and think this could be nice. There will be cross contamination from Array Language people. We can target e.g. 5:30PM until ???, perhaps by Bryant Park or Borough…
Read more →Unauthorized Access to PingCAP Cloud Resources
Comments
Read more →leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs
Comments
Read more →Upcoming Critical PHP Security Release
Comments
Read more →