正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

Microsoft Research

554,531 subscribers

20,373 次观看 • 9 天前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

What does SRE mean for developers? Reliability Advocate Steve McGhee explains how it helps bridge the gap between writing code and running it reliably in production →

What does SRE mean for developers? Reliability Advocate Steve McGhee explains how it helps bridge the gap between writing code and running it reliably in production →

Google for Developers

10,317 次观看 • 8 个月前

Introducing the next evolution of completions in GitHub Copilot: Next Edit Suggestions (preview). Most coding activity involves editing existing code as much as it does writing new lines. It's a natural next step for completions to work on existing code as well. Available today in VS Code. Learn more:

Introducing the next evolution of completions in GitHub Copilot: Next Edit Suggestions (preview). Most coding activity involves editing existing code as much as it does writing new lines. It's a natural next step for completions to work on existing code as well. Available today in VS Code. Learn more:

Visual Studio Code

213,237 次观看 • 1 年前

👋 Meet Duet AI for Developers! Start writing code at the speed of thought with #AI code completion, code generation, and a chatbot where you can ask any code-related questions in natural language. ✨ Try it today at no cost →

👋 Meet Duet AI for Developers! Start writing code at the speed of thought with #AI code completion, code generation, and a chatbot where you can ask any code-related questions in natural language. ✨ Try it today at no cost →

Google Cloud Tech

19,155 次观看 • 2 年前

NEW on ConTejas Code Podcast: Dev Agrawal talks about ◆ How to become well known as a teach speaker ◆ Event sourcing and how to do it well ◆ SolidJS and how it works Links in reply.

NEW on ConTejas Code Podcast: Dev Agrawal talks about ◆ How to become well known as a teach speaker ◆ Event sourcing and how to do it well ◆ SolidJS and how it works Links in reply.

Tejas Kumar

25,701 次观看 • 1 年前

$PLTR is currently on a path to $20T valuation, as it continues to produce verticalized operating systems like Warp Speed and eventually, evolves into a NETWORK of digital twins.

$PLTR is currently on a path to $20T valuation, as it continues to produce verticalized operating systems like Warp Speed and eventually, evolves into a NETWORK of digital twins.

Antonio Linares

129,809 次观看 • 1 年前

Feed your todos right into Cursor as markdown and it will write the code for you. The future is letting AI do the work for you while you guide it.

Feed your todos right into Cursor as markdown and it will write the code for you. The future is letting AI do the work for you while you guide it.

Mckay Wrigley

245,007 次观看 • 1 年前

Spark is starting to become real. A self-evolving intelligence, beyond a persistent memory, with multiple ways it learns and evolves Calibrate the intelligence while building, talking to it, sharing the things you love as content, UI, art, etc., While it learns constantly learns about the tools you use: Their strengths, shortcomings, and how to better use everything in its arsenal, as well as doing the same with the specialized agents and teams it orchestrates. In a few days, it gathered 30000 memories and 500+ insights, and continued to calibrate itself with me, which will speed up how we can vibe code the next projects by Spark doing at evolved understandings. Super excited to see how it evolves and can't wait to bring it to everyone. Already integrated it with many IDEs and LLMs. It also works on your local machine. As this conversation was recorded with Ollama qwen 2.5 running on my PC.

Spark is starting to become real. A self-evolving intelligence, beyond a persistent memory, with multiple ways it learns and evolves Calibrate the intelligence while building, talking to it, sharing the things you love as content, UI, art, etc., While it learns constantly learns about the tools you use: Their strengths, shortcomings, and how to better use everything in its arsenal, as well as doing the same with the specialized agents and teams it orchestrates. In a few days, it gathered 30000 memories and 500+ insights, and continued to calibrate itself with me, which will speed up how we can vibe code the next projects by Spark doing at evolved understandings. Super excited to see how it evolves and can't wait to bring it to everyone. Already integrated it with many IDEs and LLMs. It also works on your local machine. As this conversation was recorded with Ollama qwen 2.5 running on my PC.

Meta Alchemist

243,781 次观看 • 5 个月前

After reaching AI-native terminal velocity we are swamped in code review. The core insight is that as long as you can write code in parallel you will continue to be stuck until you can review it in parallel. I was surprised by how quickly this became my daily driver for not just review code, but writing it as well.

After reaching AI-native terminal velocity we are swamped in code review. The core insight is that as long as you can write code in parallel you will continue to be stuck until you can review it in parallel. I was surprised by how quickly this became my daily driver for not just review code, but writing it as well.

Evan Boyle

23,986 次观看 • 5 个月前

the fbi director and acting attorney general were invited to give a talk on code as speech. the developers who wrote the code are in prison. #freesamourai

the fbi director and acting attorney general were invited to give a talk on code as speech. the developers who wrote the code are in prison. #freesamourai

Erik

19,283 次观看 • 2 个月前

LeetCode is dead. Developers don't write code line-by-line anymore. They orchestrate AI agents working in parallel, review AI-generated code, and make architectural decisions. That's the job now. But most interview processes haven't caught up. They still test algorithm memorization instead of AI fluency, code review, and judgment. We're building assessments for next-gen hiring that mirror how developers actually work. Here's how we think about it:

LeetCode is dead. Developers don't write code line-by-line anymore. They orchestrate AI agents working in parallel, review AI-generated code, and make architectural decisions. That's the job now. But most interview processes haven't caught up. They still test algorithm memorization instead of AI fluency, code review, and judgment. We're building assessments for next-gen hiring that mirror how developers actually work. Here's how we think about it:

HackerRank

343,720 次观看 • 3 个月前

New short course: Collaborative Writing and Coding with OpenAI Canvas! Explore new ways to write and code with OpenAI Canvas, a user-friendly interface that allows you to brainstorm, draft, and refine text and code in collaboration with ChatGPT. In the short course, created with OpenAI, and taught by , a research lead at OpenAI, you’ll learn to use Canvas to enhance your workflows. Canvas lets you go beyond simple chat interactions. It provides a side-by-side workspace where you and ChatGPT can edit and refine text or code collaboratively. This makes brainstorming, drafting, and iterating as you write feel more natural and effective. As the first major update to ChatGPT’s visual interface since its launch in 2022, Canvas gives a new, innovative approach to collaboration with AI. For instance, after writing the first version of your code, Canvas can review it and give suggestions for improvement. It can also help with debugging by adding logging, identifying problems to fix, and writing comments. In addition, you'll also learn what it takes to train the model for an interface like Canvas. In this video-only short course, you’ll: - Learn how to ask for in-line feedback and control the iteration of your work by directly editing selected areas of your text or code from the model’s output. - Learn how to access quick automation tools in a shortcut menu that allows you to modify your writing tone and length, enhance your code, and restore previous versions of your work. - Learn how to use Canvas as a research assistant tool with an example of asking the model to reason through the screenshot of a plot to write a research report, in which you can ask questions within the created report. - Ask the model to write Python code to replicate the graph seen on a screenshot image. - Go behind the scenes of how you can create a video game, such as Space Battleship, from scratch, edit it, and display it in one self-contained HTML file. - Get a real-world application example of creating a SQL database from the image of its architecture. - Understand the model training and design processes that power Canvas! Please sign up here:

New short course: Collaborative Writing and Coding with OpenAI Canvas! Explore new ways to write and code with OpenAI Canvas, a user-friendly interface that allows you to brainstorm, draft, and refine text and code in collaboration with ChatGPT. In the short course, created with OpenAI, and taught by , a research lead at OpenAI, you’ll learn to use Canvas to enhance your workflows. Canvas lets you go beyond simple chat interactions. It provides a side-by-side workspace where you and ChatGPT can edit and refine text or code collaboratively. This makes brainstorming, drafting, and iterating as you write feel more natural and effective. As the first major update to ChatGPT’s visual interface since its launch in 2022, Canvas gives a new, innovative approach to collaboration with AI. For instance, after writing the first version of your code, Canvas can review it and give suggestions for improvement. It can also help with debugging by adding logging, identifying problems to fix, and writing comments. In addition, you'll also learn what it takes to train the model for an interface like Canvas. In this video-only short course, you’ll: - Learn how to ask for in-line feedback and control the iteration of your work by directly editing selected areas of your text or code from the model’s output. - Learn how to access quick automation tools in a shortcut menu that allows you to modify your writing tone and length, enhance your code, and restore previous versions of your work. - Learn how to use Canvas as a research assistant tool with an example of asking the model to reason through the screenshot of a plot to write a research report, in which you can ask questions within the created report. - Ask the model to write Python code to replicate the graph seen on a screenshot image. - Go behind the scenes of how you can create a video game, such as Space Battleship, from scratch, edit it, and display it in one self-contained HTML file. - Get a real-world application example of creating a SQL database from the image of its architecture. - Understand the model training and design processes that power Canvas! Please sign up here:

Andrew Ng

128,180 次观看 • 1 年前

New short course: Building Code Agents with Hugging Face smolagents! Learn how to build code agents in this course, created in collaboration with Hugging Face, and taught by Thomas Wolf, its co-founder and CSO, and m_ric, Hugging Face’s Project Lead on Agents. Tool-calling agents use LLMs to generate multiple function calls sequentially to complete a complex sequence of tasks. They generate one function call, execute it, observe, reason, and decide what to do next. Code agents take a different approach. They consolidate all these calls into a single block of code, letting the LLM lay out an entire action plan at once, which can be executed efficiently to provide more reliable results. You’ll learn how to code agents using smolagents, a lightweight agentic framework from Hugging Face. Along the way, you’ll learn how to run LLM-generated code safely and develop an evaluation system to optimize your code agent for production. In detail, you’ll learn: - How agentic systems have evolved, gaining greater levels of agency over time—and why code agents are a next step. - How code agents write their actions in code. - When code agents outperform function-calling agents. - How to run code agents safely in your system using a constrained Python interpreter and sandboxing using E2B. - To trace, debug, and assess the code agent to optimize its behaviours for complex requests. - How to build a research multi-agent system that can find information online and organize it into an interactive report. By the end of this course, you’ll know how to build and run code agents using smolagents, and deploy them safely with a structured evaluation system in your projects. Please sign up here!

New short course: Building Code Agents with Hugging Face smolagents! Learn how to build code agents in this course, created in collaboration with Hugging Face, and taught by Thomas Wolf, its co-founder and CSO, and m_ric, Hugging Face’s Project Lead on Agents. Tool-calling agents use LLMs to generate multiple function calls sequentially to complete a complex sequence of tasks. They generate one function call, execute it, observe, reason, and decide what to do next. Code agents take a different approach. They consolidate all these calls into a single block of code, letting the LLM lay out an entire action plan at once, which can be executed efficiently to provide more reliable results. You’ll learn how to code agents using smolagents, a lightweight agentic framework from Hugging Face. Along the way, you’ll learn how to run LLM-generated code safely and develop an evaluation system to optimize your code agent for production. In detail, you’ll learn: - How agentic systems have evolved, gaining greater levels of agency over time—and why code agents are a next step. - How code agents write their actions in code. - When code agents outperform function-calling agents. - How to run code agents safely in your system using a constrained Python interpreter and sandboxing using E2B. - To trace, debug, and assess the code agent to optimize its behaviours for complex requests. - How to build a research multi-agent system that can find information online and organize it into an interactive report. By the end of this course, you’ll know how to build and run code agents using smolagents, and deploy them safely with a structured evaluation system in your projects. Please sign up here!

Andrew Ng

127,724 次观看 • 1 年前

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

“Math is code. And code is math.” Carina Hong CEO Axiom on why that idea matters for AI: “For centuries, mathematicians reasoned in natural language. But because of the Curry–Howard correspondence, a proof can also be a program.” “You can translate natural-language math into formal code using systems like Lean. Lean is both a theorem-proving language and a programming language.” “That means you can generate solutions as code and then formally verify them. You can even use the same system to verify programs themselves.” “This creates a flywheel of generation and verification, where AI can both write solutions and prove that they’re correct.”

Forward Future

24,729 次观看 • 5 个月前

You write frontend code. You write backend code. Wasp lets you write a third kind: full-stack code. Pages, routes, auth, jobs, and more, all defined in a single spec that ties your whole app together. And as of today, it's 100% TypeScript. 🟦 Introducing the Wasp TS Spec. 🐝👇

You write frontend code. You write backend code. Wasp lets you write a third kind: full-stack code. Pages, routes, auth, jobs, and more, all defined in a single spec that ties your whole app together. And as of today, it's 100% TypeScript. 🟦 Introducing the Wasp TS Spec. 🐝👇

Matija Sosic

11,751 次观看 • 1 个月前

Claude Code UI is now available in VSCode via CodeGPT extension! 🙌 You can now run Claude Code directly in your editor and control the planning process. You can pause it, edit tasks, or add new ones while Claude is working. This helps keep Claude on track and makes it way more effective since you can adjust things as it goes. Setup: - Download the extensión - Click the Claude Code OAuth - Authorize the extension - Paste your account code to link Claude Code directly - Done ✅ Works on VSCode and JetBrains editors (Android Studio, IntelliJ, PyCharm, etc.) VSCode : Jetbrains:

Claude Code UI is now available in VSCode via CodeGPT extension! 🙌 You can now run Claude Code directly in your editor and control the planning process. You can pause it, edit tasks, or add new ones while Claude is working. This helps keep Claude on track and makes it way more effective since you can adjust things as it goes. Setup: - Download the extensión - Click the Claude Code OAuth - Authorize the extension - Paste your account code to link Claude Code directly - Done ✅ Works on VSCode and JetBrains editors (Android Studio, IntelliJ, PyCharm, etc.) VSCode : Jetbrains:

Daniel San

106,169 次观看 • 11 个月前

👀 Ever want a second set of eyes on your code? GitHub Copilot code review can help! Available in preview, Copilot code review offers fast, AI-powered feedback on your code as you write it. You can quickly apply any feedback that Copilot suggests, directly in the editor.

👀 Ever want a second set of eyes on your code? GitHub Copilot code review can help! Available in preview, Copilot code review offers fast, AI-powered feedback on your code as you write it. You can quickly apply any feedback that Copilot suggests, directly in the editor.

Visual Studio Code

75,224 次观看 • 1 年前

✂️ Introducing: Shortest! Shortest is an open-source AI-powered testing framework that allows developers to write end-to-end tests in plain English, as simple as: shortest(“user can sign up and create a $5 product”) More tests = fewer regressions as AI writes and ships code.

✂️ Introducing: Shortest! Shortest is an open-source AI-powered testing framework that allows developers to write end-to-end tests in plain English, as simple as: shortest(“user can sign up and create a $5 product”) More tests = fewer regressions as AI writes and ships code.

Sahil Lavingia

722,467 次观看 • 1 年前

Reviewing AI-generated code is the new bottleneck. Writing code was slow before. Now, in a few minutes, you can generate virtually unlimited lines of code using AI. But developers are now spending 70% of their time checking that code. That's the new bottleneck. I've been using Cline, and they have a feature that actually helps with this: You can click a button and have Cline generate an inline explanation for every single line of AI-generated code. Take a look at the attached video. What it does: 1. You can read the code and the explanation together 2. You don't lose context while reviewing code 3. You understand the "why" behind each change And here is the best part: It works on any git diff. You can use it to review PRs, understand commits from other people, or catch up on a codebase you haven't touched in a while.

Reviewing AI-generated code is the new bottleneck. Writing code was slow before. Now, in a few minutes, you can generate virtually unlimited lines of code using AI. But developers are now spending 70% of their time checking that code. That's the new bottleneck. I've been using Cline, and they have a feature that actually helps with this: You can click a button and have Cline generate an inline explanation for every single line of AI-generated code. Take a look at the attached video. What it does: 1. You can read the code and the explanation together 2. You don't lose context while reviewing code 3. You understand the "why" behind each change And here is the best part: It works on any git diff. You can use it to review PRs, understand commits from other people, or catch up on a codebase you haven't touched in a while.

Santiago

64,399 次观看 • 7 个月前

I used to spend hours redrawing system diagrams and updating docs every time our architecture changed. It was messy, disconnected, and hard to keep everyone aligned. Then I moved everything into Miro . → Diagram complex systems with UML, ERD, or cloud templates → Use Miro AI to generate and update diagrams in seconds → Keep designs, docs, and teams aligned in one workspace Now our documentation evolves as fast as our code. Map it, solve it, ship it. All in Miro. Try it here: #MiroPartner

I used to spend hours redrawing system diagrams and updating docs every time our architecture changed. It was messy, disconnected, and hard to keep everyone aligned. Then I moved everything into Miro . → Diagram complex systems with UML, ERD, or cloud templates → Use Miro AI to generate and update diagrams in seconds → Keep designs, docs, and teams aligned in one workspace Now our documentation evolves as fast as our code. Map it, solve it, ship it. All in Miro. Try it here: #MiroPartner

SARAH

176,811 次观看 • 8 个月前

How to say “as, like” in Kurmanji? Learn it and use it 💪

How to say “as, like” in Kurmanji? Learn it and use it 💪

Kurdish (Kurmanji) Lessons

15,363 次观看 • 2 年前