Microsoft Research Blog

MicroCode: Portable programming for the BBC micro:bit

June 18, 2024
MicroCode offers an affordable way to program the BBC micro:bit without needing an internet connection, fostering exploratory learning.
  1. Research Focus: May 13, 2024

    Research Focus: Week of May 13, 2024 

    May 15, 2024

    Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Large language models (LLMs) have shown remarkable performance in generating text similar to that created by people, proving…

  2. Research Focus: Week of April 29, 2024

    Research Focus: Week of April 29, 2024 

    May 2, 2024

    In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news.

  3. Research Focus March 20, 2024

    Research Focus: Week of March 18, 2024 

    March 20, 2024

    Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Large language models (LLMs) have shown impressive capabilities, yet they still struggle with math reasoning. In a recent…

  4. Research Focus Week of January 22, 2024

    Research Focus: Week of January 22, 2024 

    January 24, 2024

    Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Join Microsoft Research Forum (opens in new tab) for a continuous exchange of ideas about science and technology…

  5. Research Focus: November 22, 2023 on a gradient patterned background

    Research Focus: Week of November 22, 2023 

    November 22, 2023

    A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.

Explore More

Events & conferences

Events & conferences 

Meet our community of researchers, learn about exciting research topics, and grow your network

Podcasts

Podcasts 

Ongoing conversations at the cutting edge of research

Microsoft Research Forum

Microsoft Research Forum 

Join us for a continuous exchange of ideas about research in the era of general AI