-
From that perspective, if we as maintainers want to go a different direction, we should’ve given it a different brand even if it’s backwards compatible.
— Sebastian Markbåge (@sebmarkbage) June 27, 2023 -
The Natural Number Game is in the process of being ported to Lean 4. Beta version at https://t.co/qmoOfBhCKc. Over the next two months there will be an intense period of development, with new worlds added like Even/Odd world. Repo at https://t.co/gaxWxPdSb4. Suggestions welcome!
— Kevin Buzzard (@XenaProject) June 27, 2023 -
no. molecules are not real https://t.co/UCTcAzA5fU
— QC (Jesscamp, EU Microsolidarity) (@QiaochuYuan) June 26, 2023 -
what do people even tweet this late at night. i'm almost completely out of thoughts on this flight. it's just like "i'm tired" "my butt hurts" "i still like ed sheeran actually"
— QC (Jesscamp, EU Microsolidarity) (@QiaochuYuan) June 27, 2023 -
i still love programming but i’m totally burned out on the programming discourse. at least atm. not good energy. i wonder what a fun and playful version of this could look like
— дэн (@dan_abramov) June 26, 2023
React Native