WebAssembly

Bằng chứng (17)

• 7Hacker News·12/8/2026product_launch
  Delta mở beta riêng cho lập trình đa người dùng với tác nhân

  Delta là một môi trường làm việc đa người dùng cho lập trình với tác nhân, nhằm gắn kết mã nguồn và trao đổi trong suốt quá trình phát triển. Nền tảng này dùng DeltaDB để đồng bộ worktree và hội thoại theo thời gian thực, hỗ trợ quy trình Git, và có thể đồng bộ lên đám mây hoặc các hệ thống tác nhân bên ngoài như Claude Code.

• 7The New Stack·11/8/2026funding
  Databricks mua Electric để bổ sung Postgres riêng cho từng tác tử AI

  Databricks đang mua lại Electric, công ty đứng sau PGlite và bộ máy đồng bộ Electric, nhằm phục vụ các ứng dụng tác tử có xu hướng tạo và phân nhánh cơ sở dữ liệu thường xuyên hơn. Các dự án mã nguồn mở của Electric vẫn sẽ được duy trì dưới dạng open source, nhưng dịch vụ hosted Electric Cloud sẽ dần ngừng hoạt động và khách hàng phải tự vận hành hoặc chuyển sang nhà cung cấp khác.

• 8Cloudflare Blog·6/8/2026product_launch
  Cloudflare ra mắt Kitesurf, trình duyệt ưu tiên tác tử chạy trên Workers

  Cloudflare công bố Kitesurf, một trình duyệt mới được thiết kế riêng cho các tác tử AI và chạy hoàn toàn trên Cloudflare Workers. Theo Cloudflare, Kitesurf tiết kiệm CPU và bộ nhớ hơn Chromium trong các tác vụ như chụp ảnh màn hình và trích xuất HTML, và hiện miễn phí ở bản beta trong Browser Run.

• 4InfoQ·3/8/2026framework_update
  WebAssembly trên JVM và bước chuyển sang Endive

  Andrea Peruffo trao đổi về cách WebAssembly đang vượt ra ngoài trình duyệt và được ứng dụng ngày càng nhiều trên JVM phía máy chủ. Tập podcast đề cập đến cải thiện hiệu năng của runtime, từ cơ chế thông dịch sang biên dịch JIT, cùng các ứng dụng thực tế như điện toán biên và kiến trúc plugin mô-đun.

• 7Hacker News·28/7/2026research
  Tạo hình giao cắt lưới CSG 3D được kiểm chứng hình thức bằng Lean 4

  Dự án này giới thiệu thứ được cho là hiện thực hóa đầu tiên được kiểm chứng hình thức cho kernel giao cắt lưới trong hình học rắn xây dựng 3D, được xây dựng bằng Lean 4 và đối chiếu với một đặc tả hình thức ngắn gọn. Dự án cũng nhấn mạnh cách dựa vào chứng minh được máy kiểm tra thay vì phải tin vào mã triển khai do AI tạo ra, với bản demo chạy kernel đã được xác minh trong trình duyệt bằng WebAssembly.

• 2Hacker News·26/7/2026open_source
  Dạy lập trình cho trẻ bằng Forth

  Bài viết kể về trải nghiệm của một giáo viên khi dạy lập trình cho học sinh THCS và THPT bằng ngôn ngữ Forth thay vì các lựa chọn phổ biến hơn như Python hay Scratch. Nội dung nêu rõ cách xây dựng chương trình học, nhấn mạnh tư duy dựa trên stack, giảm chú trọng cú pháp và để học sinh tự tạo các dự án sáng tạo có thể chạy trong môi trường học tập trên trình duyệt.

• 4Simon Willison·18/7/2026product_launch
  Công cụ giải thích truy vấn SQLite

  Simon Willison giới thiệu SQLite Query Explainer, một công cụ chạy ngay trên trình duyệt để thực thi truy vấn SQL trên cơ sở dữ liệu SQLite và chú thích kết quả của cả EXPLAIN QUERY PLAN lẫn EXPLAIN bytecode bằng giải thích tiếng Anh dễ hiểu. Công cụ này chạy SQLite bằng Python trong Pyodide và WebAssembly, nhằm giúp người dùng hiểu rõ hơn cách bộ lập kế hoạch truy vấn và máy ảo của SQLite hoạt động.

• 7Hacker News·17/7/2026open_source
  Minikotlin biên dịch Kotlin sang WebAssembly ngay trong trình duyệt

  Minikotlin là một trình biên dịch Kotlin viết bằng C, chạy hoàn toàn trong một tab trình duyệt và xuất trực tiếp bytecode WebAssembly GC. Dự án hỗ trợ một tập tính năng Kotlin khá rộng, gồm lớp, kế thừa, an toàn với null, generic, coroutine và các tiện ích thư viện chuẩn, kèm kiểm thử đầu-cuối mà không cần cài đặt chuỗi công cụ bên ngoài.

• 7Hacker News·16/7/2026framework_update
  Bản viết lại trình biên dịch Roc đạt mức tương đương tính năng sau 487 ngày

  Nhóm phát triển trình biên dịch Roc cho biết bản viết lại khoảng 300.000 dòng từ Rust sang Zig đã đạt mức tương đương tính năng với trình biên dịch ban đầu sau 487 ngày. Cột mốc này giúp các bản demo được cập nhật và tạo ra đầu ra WebAssembly nhỏ hơn, nhưng đây chưa phải là bản phát hành chính thức; phiên bản 0.1.0 dự kiến ra mắt vào cuối năm nay.

• 3Simon Willison·16/7/2026open_source
  Kết xuất sơ đồ Mermaid thành ký tự Unicode dạng hộp

  Simon Willison chia sẻ trải nghiệm thử một bộ hiển thị Mermaid cho terminal viết bằng Rust, được tìm thấy trong mã nguồn của Grok CLI vừa được mở mã nguồn. Ông cũng thử chạy thành phần này trong trình duyệt bằng WebAssembly, tạo ra một công cụ hiển thị sơ đồ Mermaid dưới dạng ký tự Unicode kiểu hộp. Bài viết là ghi chú ngắn dành cho lập trình viên về việc đưa một thành phần terminal có sẵn lên môi trường web.

• 5Hacker News·15/7/2026research
  Trình duyệt Firefox chạy bằng WebAssembly

  Một bản trình diễn cho thấy toàn bộ trình duyệt Firefox, bao gồm Gecko, các thành phần giao diện và động cơ JavaScript SpiderMonkey, được biên dịch để chạy trong WebAssembly. Dự án sử dụng WISP cho TCP qua WebSockets và có thêm một JIT thử nghiệm từ WASM sang JS để kiểm tra hiệu năng. Tác giả mô tả đây là một thử nghiệm kỹ thuật và gợi ý một dự án browser-in-browser nhẹ hơn cho mục đích thực tế.

• 5Hacker News·6/7/2026model_release
  Ternlight: mô hình embedding 7 MB chạy trên trình duyệt

  Ternlight là một mô hình embedding nhỏ có thể chạy trực tiếp trong trình duyệt nhờ WebAssembly. Bài viết nhấn mạnh kích thước rất gọn và khả năng xử lý cục bộ, giúp tạo embedding văn bản trên thiết bị mà không cần gọi máy chủ.

• 2Simon Willison·3/7/2026product_launch
  Simon Willison phát hành bản tin dành cho nhà tài trợ tháng 6/2026

  Simon Willison cho biết bản tin tháng 6/2026 dành riêng cho nhà tài trợ hiện đã доступ dụng cho người đăng ký trả phí. Số này đề cập đến Claude Fable 5, GPT-5.6, các hạn chế xuất khẩu của Mỹ, GLM-5.2, cùng nhiều dự án như Datasette, sqlite-utils, shot-scraper và các dự án WASM liên quan.

• 5Hacker News·30/6/2026open_source
  Kubernetes được chuyển để chạy ngay trong trình duyệt

  Ngrok đã giới thiệu Webernetes, một dự án đưa môi trường kiểu Kubernetes chạy ngay trong trình duyệt, kèm bản demo công khai và mã nguồn. Đây có vẻ là một màn trình diễn kỹ thuật hơn là một nền tảng cloud sản xuất, nhằm thể hiện cách tiếp cận thử nghiệm để mô phỏng các khái niệm cụm máy chủ trong giao diện web.

• 5Hacker News·29/6/2026research
  Trình giả lập Game Boy biên dịch JIT sang WebAssembly để chạy nhanh hơn trong trình duyệt

  Một nhà phát triển đã xây dựng WATaBoy, trình giả lập Game Boy biên dịch lệnh SM83 sang WebAssembly thay vì chỉ dùng bộ thông dịch. Dự án nhằm kiểm tra liệu việc tận dụng JIT của trình duyệt có thể nhanh hơn một bộ thông dịch chạy trực tiếp hay không, đặc biệt trong các môi trường như iOS nơi JIT bị hạn chế. Bài viết xem đây là một bằng chứng khái niệm và bài đo hiệu năng.

• 3Simon Willison·23/6/2026product_launch
  Bộ kiểm thử OPFS và Pyodide

  Simon Willison giới thiệu một bộ kiểm thử tương tác cho Origin Private File System (OPFS) được hỗ trợ bởi Pyodide. Công cụ này cho phép tạo, đọc, xóa và truy vấn các tệp SQLite trong OPFS, đồng thời kiểm tra khả năng lưu bền vững và tính năng trình duyệt trên cả máy tính lẫn thiết bị di động.

• 5Hugging Face Blog·23/6/2026framework_update
  Transformers.js thử nghiệm Cross-Origin Storage API đề xuất để chia sẻ bộ nhớ đệm

  Hugging Face giới thiệu các thử nghiệm trong Transformers.js với Cross-Origin Storage API đang được đề xuất nhằm giảm việc tải xuống và lưu trữ trùng lặp giữa các origin khác nhau. Bài viết cho thấy các tệp mô hình và tài nguyên WebAssembly dùng chung có thể được lưu một lần và tái sử dụng, thay vì bị tải lại cho từng trang web dùng cùng tài nguyên.