Japanese government passes bill to make digital textbooks official

Digital textbooks are expected to be used as official learning materials from as early as fiscal 2030 after government screenings in fiscal 2028.

AI Masterclass

About the Track: AI Masterclass Artificial Intelligence is reshaping the way we live, work, and build technology. The AI Masterclass Track brings together three powerful courses from world-class experts to give you a comprehensive, practical, and hands-on education in the age of AI. Whether you want to understand the big picture, apply AI patterns in real-world software, or dive deep into the mathematics and code behind large language models, this Track has you covered. Why take this Track? Together, these three courses form a complete journey through today’s AI landscape—from understanding generative AI at a strategic and practical level, to applying proven patterns in software development, to mastering the technical foundations of LLMs. You’ll gain not only knowledge but also exercises, quizzes, and code examples that ensure you can confidently apply what you’ve learned in your work. Don’t fall behind or just keep up with AI—master it. Courses Included Generative AI in a Nutshell - Henrik Kniberg A fast-paced, visual, and practical guide to the strange new world of Generative AI. With Henrik’s signature hand-drawn illustrations and down-to-earth explanations, you’ll explore what generative AI is, how it works, how to use it, and how to lead through this transformation—without drowning in jargon or hype. Patterns of Application Development Using AI - Obie Fernandez Learn pragmatic patterns and principles for integrating AI into real-world applications. Drawing from his experience building an AI-powered platform, Obie introduces practical design patterns like “Multitude of Workers” and “Self-Healing Data,” helping you unlock the power of AI in adaptive, user-centric systems. The Hundred-Page Language Models Course - Andriy Burkov A concise yet thorough guide to modern Large Language Models, blending math, illustrations, and hands-on coding. You’ll build your own models from scratch in Python, understand transformers, and explore instruction fine-tuning—all while benefiting from Andriy’s clear explanations and exclusive video content.

GitHub - facebookresearch/repoprover: Research code base for Automatic Textbook Formalization

Research code base for Automatic Textbook Formalization - facebookresearch/repoprover

GitHub - facebookresearch/repoprover: Research code base for Automatic Textbook Formalization

Research code base for Automatic Textbook Formalization - facebookresearch/repoprover

Use Vim Like A Pro

AI Masterclass

About the Track: AI Masterclass Artificial Intelligence is reshaping the way we live, work, and build technology. The AI Masterclass Track brings together three powerful courses from world-class experts to give you a comprehensive, practical, and hands-on education in the age of AI. Whether you want to understand the big picture, apply AI patterns in real-world software, or dive deep into the mathematics and code behind large language models, this Track has you covered. Why take this Track? Together, these three courses form a complete journey through today’s AI landscape—from understanding generative AI at a strategic and practical level, to applying proven patterns in software development, to mastering the technical foundations of LLMs. You’ll gain not only knowledge but also exercises, quizzes, and code examples that ensure you can confidently apply what you’ve learned in your work. Don’t fall behind or just keep up with AI—master it. Courses Included Generative AI in a Nutshell - Henrik Kniberg A fast-paced, visual, and practical guide to the strange new world of Generative AI. With Henrik’s signature hand-drawn illustrations and down-to-earth explanations, you’ll explore what generative AI is, how it works, how to use it, and how to lead through this transformation—without drowning in jargon or hype. Patterns of Application Development Using AI - Obie Fernandez Learn pragmatic patterns and principles for integrating AI into real-world applications. Drawing from his experience building an AI-powered platform, Obie introduces practical design patterns like “Multitude of Workers” and “Self-Healing Data,” helping you unlock the power of AI in adaptive, user-centric systems. The Hundred-Page Language Models Course - Andriy Burkov A concise yet thorough guide to modern Large Language Models, blending math, illustrations, and hands-on coding. You’ll build your own models from scratch in Python, understand transformers, and explore instruction fine-tuning—all while benefiting from Andriy’s clear explanations and exclusive video content.

High school textbooks to teach various aspects of generative AI

A total of 220 textbooks for 11 subjects have passed the second round of screenings conducted under the current curriculum guidelines.

The Hundred-Page Language Models Course