Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

RISC Zero is now fully open source. 🟡 We released our entire circuit source code and compiler tech. Empowering developers, partners, and auditors worldwide to confidently build, verify, and innovate.

RiscZero's profile picture

RISC Zero

44,196 subscribers

56,942 görüntüleme • 1 yıl önce •via X (Twitter)

Bilim & Teknoloji
LIVE

Anya Rossi• Live Now

Private livecam show

0 Yorum

Yorum bulunmuyor

Orijinal gönderinin yorumları burada görünecek

Benzer Videolar

Jade Plus is fully open source, with code and components you can verify yourself. This is total transparency in Bitcoin security.
0:11

Jade Plus is fully open source, with code and components you can verify yourself. This is total transparency in Bitcoin security.

Blockstream Jade

29,384 görüntüleme • 10 ay önce

Don't trust, Verify ! You can now dig into the core building blocks of Keet to verify the code and cryptography that is being used ! Visit & to view the first wave of our open-source code ! More updates and code to follow soon!🍐
0:15

Don't trust, Verify ! You can now dig into the core building blocks of Keet to verify the code and cryptography that is being used ! Visit & to view the first wave of our open-source code ! More updates and code to follow soon!🍐

Holepunch🕳🥊

140,249 görüntüleme • 3 yıl önce

1/3 🚀Thrilled to introduce Wan2.1-FLF2V-14B - our first 14B-parameter large model for First-Last-Frame to video generation! Open-source, open-source, open-source! Empowering digital artists with unprecedented efficiency and creative flexibility. #wan #AIGC #alart
0:18

1/3 🚀Thrilled to introduce Wan2.1-FLF2V-14B - our first 14B-parameter large model for First-Last-Frame to video generation! Open-source, open-source, open-source! Empowering digital artists with unprecedented efficiency and creative flexibility. #wan #AIGC #alart

Wan

196,589 görüntüleme • 1 yıl önce

My portfolio is now open source I’ve released the source code behind my portfolio redesign 👀 → → Built with Three.js GSAP #lenis and a lot of love for smooth animations ✌️ #javascript #opensource #webdesign
0:17

My portfolio is now open source I’ve released the source code behind my portfolio redesign 👀 → → Built with Three.js GSAP #lenis and a lot of love for smooth animations ✌️ #javascript #opensource #webdesign

David

65,808 görüntüleme • 22 gün önce

Skywork Matrix-Game 3.0 is here! FULLY OPEN SOURCE! Real-Time and Streaming Interactive World Model with Long-Horizon Memory - Fully open source: code, model, and technical report - 720p @ 40FPS with a 5B model - Minute-long memory consistency - Trained on Unreal Engine + AAA games + real-world data - Scales up to 28B MoE for quality, dynamics, and generalization Homepage 👉 Code 👉 Model 👉 Tech report 👉 Create. Explore. Play. With Matrix-Game 3.0
0:15

Skywork Matrix-Game 3.0 is here! FULLY OPEN SOURCE! Real-Time and Streaming Interactive World Model with Long-Horizon Memory - Fully open source: code, model, and technical report - 720p @ 40FPS with a 5B model - Minute-long memory consistency - Trained on Unreal Engine + AAA games + real-world data - Scales up to 28B MoE for quality, dynamics, and generalization Homepage 👉 Code 👉 Model 👉 Tech report 👉 Create. Explore. Play. With Matrix-Game 3.0

Skywork

54,535 görüntüleme • 2 ay önce

Open standards are how the Ethereum ecosystem moves forward. We are proud to have collaborated with the Ethereumfndn Platform team to build the Open Intents Framework core components: solver, broadcaster, and APIs. All open-source and fully audited ↓
0:15

Open standards are how the Ethereum ecosystem moves forward. We are proud to have collaborated with the Ethereumfndn Platform team to build the Open Intents Framework core components: solver, broadcaster, and APIs. All open-source and fully audited ↓

OpenZeppelin

30,500 görüntüleme • 17 gün önce

Next.js AI Chatbot now supports artifacts: • Dynamic code execution • Image generation • Spreadsheets • ... and more! Open-source and free to get started.
0:12

Next.js AI Chatbot now supports artifacts: • Dynamic code execution • Image generation • Spreadsheets • ... and more! Open-source and free to get started.

AI SDK

382,333 görüntüleme • 1 yıl önce

🌐 Our website is now Open Source! It’s free, available to all, and ready to download. 🚀🆓 👉🏻
0:16

🌐 Our website is now Open Source! It’s free, available to all, and ready to download. 🚀🆓 👉🏻

Hey

31,544 görüntüleme • 2 yıl önce

We just released an open-source framework that makes it easy to build visual reasoning agents (with GRPO).
0:14

We just released an open-source framework that makes it easy to build visual reasoning agents (with GRPO).

sunil kumar

108,420 görüntüleme • 1 yıl önce

Now Shipping: Microsoft Build Two days of real code, real systems, and real workflows for developers building and scaling AI. June 2–3, 2026 / San Francisco Registration is now open:
0:14

Now Shipping: Microsoft Build Two days of real code, real systems, and real workflows for developers building and scaling AI. June 2–3, 2026 / San Francisco Registration is now open:

Microsoft Developer

95,430 görüntüleme • 3 ay önce

RISC Zero is building the first formally verified RISC-V zkVM. Using Veridise's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.
0:14

RISC Zero is building the first formally verified RISC-V zkVM. Using Veridise's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.

RISC Zero

49,738 görüntüleme • 1 yıl önce

Retro9000: Up to $40m in retroactive grants for Avalanche L1s 🔺 This new grant program aims to reward developers who contribute to the testnet and launch their project on mainnet, empowering developers to do what they do best–innovate and build. More on Retro9000 👇
0:18

Retro9000: Up to $40m in retroactive grants for Avalanche L1s 🔺 This new grant program aims to reward developers who contribute to the testnet and launch their project on mainnet, empowering developers to do what they do best–innovate and build. More on Retro9000 👇

Avalanche🔺

561,990 görüntüleme • 1 yıl önce

Introducing DeepSeek Coder! - SOTA large coding models with params ranging from 1.3B to 33B. - Building games, testing code, fixing bugs, and analyzing data... You dream it, we make it. - Free for commercial use and fully open-source. Try it out now at
0:19

Introducing DeepSeek Coder! - SOTA large coding models with params ranging from 1.3B to 33B. - Building games, testing code, fixing bugs, and analyzing data... You dream it, we make it. - Free for commercial use and fully open-source. Try it out now at

DeepSeek

161,997 görüntüleme • 2 yıl önce

We're excited to introduce Ocelot, an open-source and Brave-trained AI model built specifically to summarize web content. Ocelot is now available in Leo, our browser's AI assistant, and as an open-source model for the developer community.
0:12

We're excited to introduce Ocelot, an open-source and Brave-trained AI model built specifically to summarize web content. Ocelot is now available in Leo, our browser's AI assistant, and as an open-source model for the developer community.

Brave

100,506 görüntüleme • 1 ay önce

We are excited to launch our two models Pharia-1-LLM-7B-control and Pharia-1-LLM-7B-control-aligned. Both models and the code used to train them are now publicly available and open-sourced for non-commercial research and educational use. Read our model blog post here: Learn more about our open-source codebase Scaling: #writtenbyalephalpha
0:13

We are excited to launch our two models Pharia-1-LLM-7B-control and Pharia-1-LLM-7B-control-aligned. Both models and the code used to train them are now publicly available and open-sourced for non-commercial research and educational use. Read our model blog post here: Learn more about our open-source codebase Scaling: #writtenbyalephalpha

Aleph Alpha

44,296 görüntüleme • 1 yıl önce

Dream Recorder is yours to build. Download the open-source code, gather the off-the-shelf hardware components, 3D print the shell, and assemble everything. No soldering required.
0:15

Dream Recorder is yours to build. Download the open-source code, gather the off-the-shelf hardware components, 3D print the shell, and assemble everything. No soldering required.

MODEM

18,378 görüntüleme • 11 ay önce

Claude Code got a massive open-source rival 🤯 This tool maps your entire codebase, automates terminal commands, and lets you use 500+ different AI models, including completely free ones. 100% Open-Source.
0:19

Claude Code got a massive open-source rival 🤯 This tool maps your entire codebase, automates terminal commands, and lets you use 500+ different AI models, including completely free ones. 100% Open-Source.

Alvaro Cintas

54,172 görüntüleme • 2 ay önce

Nuxt Movies Demo now leverages the browser View Transitions API 🪄 Source code is open source on
0:13

Nuxt Movies Demo now leverages the browser View Transitions API 🪄 Source code is open source on

Nuxt

383,127 görüntüleme • 3 yıl önce

🚨 China has released an AI employee that runs 100% locally. It can do research, code, build websites, create slide decks, and generate videos.. all by itself. And it comes with its own computer. 100% Open Source.
0:17

🚨 China has released an AI employee that runs 100% locally. It can do research, code, build websites, create slide decks, and generate videos.. all by itself. And it comes with its own computer. 100% Open Source.

Alvaro Cintas

455,087 görüntüleme • 2 ay önce