at Microsoft Research. Jacdac https://xitter.cf/t.co/pvNvKCcwsm, MicroCode https://xitter.cf/t.co/9vEdkKt7jk, MakeCode https://xitter.cf/t.co/eJZxzpKNOA.

Redmond, WA
Joined February 2016
Looking for community feedback on MicroCode for micro:bit, a code editor for youngest (K-3, K-5) on the micro:bit V2. Try it out at aka.ms/m9 ! @microbit_edu @MSMakeCode
3
10
1
15
Surprise for my 4yo son. After 3 days of enthusiastic coding in browser he's ready for @KittenBot1's Arcade Shield. And I want my PC back.😆 Thanks, @pelikhan and @MSMakeCode. #MicroCode is awesome.🥰
1
8
17
Calling all STEM-friendly classrooms! 📣 Microsoft #MakeCode Arcade gives students meaningful experiences with coding. These free resources from #MicrosoftEDU empower students to create and explore through game-based learning. msft.it/6015dTYut @msmakecode
1
24
66
Wow, @uwcse: you don’t even need an SMT solver to see the glaring contradiction here. Please take a break, reflect on your behavior, and debug yourself.
So this same emeritus professor who @uwcse was adamant to REPUDIATE in January is now *checks noted* being invited to give a colloquium by the department. Sure looks like they’re taking their DEI efforts seriously by giving the misogynistic attention seeker a stage 🙄
7
Thomas Ball retweeted
We'll be presenting at the Microsoft Research Summit this week! Register below to view our session "Empowering Mathematicians with Technology". Leo de Moura of MSR, Jeremy Avigad of CMU, and Heather Macbeth of Fordham share their thoughts on how Lean is changing math!!🤗😎
#MSFTResearchSummit is starting in PDT! On the agenda—Join the kick-off plenary "The Fifth Paradigm of Scientific Discovery," attend sessions in the "Enabling a Resilient & Sustainable World" or "Efficient Large-Scale AI" tracks, & partake in a live Q&A: msft.it/6011dTopR

3
24
This!!!
812
9,811
356
52,014
Translating #MicroCode for #microbit is coming along. Who has 15 minutes to translate the tooltips in their native language? microsoft.github.io/microcod…
4
7
11
Looking for community feedback on MicroCode for micro:bit, a code editor for youngest (K-3, K-5) on the micro:bit V2. Try it out at aka.ms/m9 ! @microbit_edu @MSMakeCode
6
21
3
31
Full house at the #tlaplus workshops at #Microsoft Bengaluru.
2
4
27
Team Jacdac celebrating at James Devine’s wedding! @MSMakeCode @microbit_edu
1
1
9
Only human... sigh...
1
1
8
We are at ISTE! #ISTELive Join the @MSMakeCode session on Tuesday and Wednesday at 9am CDT 👋 Come say hello at booth 2840 👉microbit.org/news/2022-06-22…
1
7
34
Thomas Ball retweeted
For those who want to get started with #jacdac, here are the tutorials available on #makecode: makecode.microbit.org/# Buy: bit.ly/3b19dGr #STEM #education #programming #coding #electronics #microsoft #learning #school @makecode
1
7
Hardware shouldn't be a mystery to your software. The latest release of @MSMakeCode unveils the new Jacdac hardware spec, helps make that easier to accomplish. It's a significant development and one to watch! 👏👏👏
Excited for the release of @MSMakeCode; especially JacDac, which brings plug-and-play hardware to the MakeCode world! Check out all the new goodness in their release notes: makecode.com/blog/microbit/2…
2
6