🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We're pleased to announce the first official release of Lean 4! Release notes: github.com/leanprover/lea… Post on the community blog about future release cycles: leanprover-community.github.io

Cool stuff: EnvSensor in DeviceScript 🛒KB Brain RP2040 👉🏻bit.ly/3qGXTYt 🛒Jacdac Kit B👉🏻bit.ly/3QXfWnZ #kittenbot #jacdac #rp2040 #raspberrypi #Microsoft #DeviceScript #developers hackster.io/kittenbot/envs…

There are 85 million people with disabilities in China, yet many do no have access to the assistive technology (AT) they need. Inclusive Design Lab is a co-design experience run by MustardTek that serves to break down these barriers. msft.it/60159YA7z

Congratulations to the MustardTek for their project designed using the #Jacdac modules by KittenBot , which has been awarded the "Maker of Merit" at the Maker Faire Shanghai. This project is funded by Microsoft Accessibility Innovation Grant. blogs.microsoft.com/accessibility/…

Symbolic Automata: ω-Regularity Modulo Theories Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi. arxiv.org/abs/2310.02393

NEW!!! You can now play your own Microsoft MakeCode Arcade game creations on Xbox!! 🎮 Download the app today! xbox.com/en-US/games/st… #kidscancode #CSK8 #Xbox #csed

Absolutely amazing. Microsoft MakeCode let’s you play your games (or your kid’s games) ON YOUR XBOX tiktok.com/t/ZT8UmkMrt/ fantastic way for your kid to learn to code for FREE

Unleash the full potential of your gaming or productivity setup with our latest mechanical keyboard! 🚀With built-in macro execution, which powered by devicescript, say goodbye to PC software dependencies. Your custom macros run directly from the keyboard, offering unparalleled

Consider participating in the following IDC 2024 workshop: microsoft.com/en-us/research….

This is an Arcade Adaptor designed for the Calliope mini Calliope, which can be used to connect to the Newbit Arcade Shield, allowing the Calliope mini to easily turn into a MakeCode Arcade game console or MicroCode programming device. #kittenbot #calliopemini #makecode

Just co-authored a blog post with Emery Berger arguing that #AI requires dramatic changes in #computingsystems research. #programminglanguages #computingresearch #LLMs #ML #computers blog.sigplan.org/2024/04/23/ai-… sigarch.org/ai-software-sh… #POSW #AISW

Any pointer to program/accepted papers for #PLDI2024?

Paper on Jacdac to appear at PLDI 2024! #PLDI2024 microsoft.github.io/jacdac-docs/

RiSE Team @ MSR It is up now! pldi24.sigplan.org/track/pldi-202…

The list of accepted papers is now on our website: pldi24.sigplan.org/track/pldi-202…

hackster.io/news/the-best-…

MicroCode offers an affordable way to program the BBC micro:bit without needing an internet connection, fostering exploratory learning. msft.it/6015Y0VHb

Professor Tom Reps retires after 39 years of research and mentorship. Dubbed "the soul of the department" by colleagues, his parting gift is a new professorship honoring late wife (and CS Professor Emerita) Susan B. Horwitz. Get the full story: cs.wisc.edu/2024/07/16/pro…

If you're at #FSE2024 talk to Shuvendu Lahiri about our work inferring formal program specs from informal natural language intent. Formal specs can be used for as a mechanism for intent-aligned code generation, or tasks like bug finding! Project page: nl2postcond.github.io

Introduction GenAIScript, a JavaScript-ish script environment to build LLM-powered tools. microsoft.github.io/genaiscript/ (it’s been long in the making)