I've contributed a TLA+ formatter to the official tlatools. It is also integrated into the VS Code extension. In this article I want to share a few thoughts on what I've learnt along the way about what it takes to write a formatter: https://t.co/UTA60gmqTJ
In this report we describe the 2025 Apple Foundation Models ("AFM"). We also introduce the new Foundation Models framework, which gives app developers direct access to the on-device AFM model.
https://t.co/nEbtxuGrjD
This is joint work with Simon Lehnerer, @FScozzafava, Jonathan Janke, and Mohamed Ali.
Multilingual Reasoning Gym:
- https://t.co/mfT7BmcdJj
- https://t.co/CLeW0t8PDq
Releasing two multilingual reasoning resources from my internship at Apple:
(1) 𝗠𝘂𝗹𝘁𝗶𝗹𝗶𝗻𝗴𝘂𝗮𝗹 𝗥𝗲𝗮𝘀𝗼𝗻𝗶𝗻𝗴 𝗚𝘆𝗺: reasoning puzzle generation across 94 tasks in 14 languages
(2) 𝗺𝗔𝗰𝗲𝗥𝗲𝗮𝘀𝗼𝗻-𝗠𝗮𝘁𝗵: 140k translations of challenging math problems
People with the most to teach live like they have the most to learn — and Steve loved learning. He was the most curious person I’ve ever met, which made him the best teacher I’ve ever known. Happy birthday, my friend.
Today is my 73nd birthday, meaning I’m now 72 years old. I have to count 0 as a birthday too.
72 is a poetic number.
2 * 2 * 2 * 3 * 3
(2 ^ 3) * (3 ^ 2)
Actually, the Earth is in the same position around the sun as when I was born, tomorrow, August 12.
See you next year!
@mkj84655 Well, basically put the components in the right spot according to the BOM, program the 4 EPROMs with the provided microcode and you should be good to go. There’s no step by step procedure at the moment