Online Z3 Guide(microsoft.github.io)
56 points by Bluestein | 15 comments
microsoft.github.io on Hacker News
17 stories on the front page, newest first. Scroll down to watch the site change over time.
Show HN: Microsoft releases Flint, a visualization language for AI agents(microsoft.github.io)
327 points by chenglong-hn | 118 comments
Project homepage for Flint, a Microsoft Research visualization intermediate language that lets AI agents generate charts rendered via Vega-Lite, ECharts, or Chart.js.
VibeVoice: A Frontier Open-Source Text-to-Speech Model(microsoft.github.io)
406 points by lastdong | 150 comments
Project page for Microsoft's VibeVoice, an open-source TTS model generating up to 90 minutes of multi-speaker conversational audio using LLM and diffusion.
Generative AI Scripting(microsoft.github.io)
162 points by baublet | 38 comments
Generative AI for Beginners(microsoft.github.io)
575 points by Anon84 | 86 comments
Microsoft's free 12-lesson course site teaching beginners how to build generative AI applications, covering LLMs, prompt engineering, and app design.
TypeChat(microsoft.github.io)
482 points by DanRosenwasser | 145 comments
Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.
