There's no Linux on my Raspberry Pi anymore — it boots straight into a local LLM instead

This Month in Ladybird

Ladybird là một dự án trình duyệt mới được xây dựng từ đầu, nhằm mang lại trải nghiệm hiện …

pnpm 12.0

pnpm phiên bản 12.0 đã được phát hành là bản ổn định sau khi viết lại toàn bộ bằng Rust. …

I gave my local LLM Adobe's closed-source converter, and it rebuilt the entire format from the bytes up

Bài viết mô tả việc tác giả cung cấp bộ chuyển đổi đóng nguồn của Adobe cho một mô hình LLM chạy local để xem nó có thể hiểu định dạng file từ dữ liệu thô không. Mô hình được sử dụng là GLM-5.3-Flash, được mô tả là cực kỳ mạnh và có thể chạy trên máy có phần cứng mạnh như GPU cao cấp hoặc nhiều nhân CPU. Sau khi được huấn luyện hoặc đưa vào bộ chuyển đổi, GLM-5.3-Flash đã tái tạo toàn bộ cấu trúc định dạng từ cấp byte, tái dựng được các trường và mối quan hệ mà không cần tài liệu gốc. Kết quả cho thấy LLM có khả năng phân tích ngược định dạng đóng nguồn khi được cung cấp đủ dữ liệu nhị phân và nguồn lực tính toán đủ lớn. Điều này gợi ý rằng với phần cứng đủ beefy và mô hình lớn như GLM-5.3-Flash, các nhà phát triển có thể sử dụng LLM để khám phá hoặc tái tạo các định dạng file độc quyền mà không cần truy cập mã nguồn.

Bài viết này chứng minh khả năng tái tạo định dạng Adobe của mô hình ngôn ngữ lớn GLM-5.3-Flash, mở ra triển vọng ứng dụng AI trong phân tích và xử lý file chuyên sâu.

A Raspberry Pi taught me what actually matters in self-hosting, and it's not what the homelab subreddits obsess over

Tác giả đã thực hiện nhiều thí nghiệm trên Raspberry Pi, một bo mạch SBC giá rẻ, để khám phá tự lưu trữ. Qua việc chọn hệ điều hành nhẹ và chấp nhận các trade‑off về bộ nhớ hạn chế, anh ấy đã học cách tối ưu hoá tài nguyên trên thiết bị chỉ có 1‑2 GB RAM. Anh ấy thiết lập các sao lưu thực tế (ví dụ sử dụng rsync và ổ cứng ngoài) giúp bảo vệ dữ liệu mà không tốn kém. Điều đáng học là việc tập trung vào các giải pháp nhẹ nhàng và sao lưu thực dụng mang lại lợi ích lớn hơn so với việc theo đuổi các xu hướng phức tạp trên cộng đồng homelab. Kinh nghiệm này nhắc nhở mọi người rằng trong tự lưu trữ, sự đơn giản và hiệu quả chi phí thường quan trọng hơn là các chỉ số ảo hoặc phần cứng cao cấp.

Bài bài viết này giúp lập trình viên hiểu được những yếu tố thực sự quan trọng trong self-hosting, vượt qua những điều mà các cộng đồng mạng thường quan tâm thái quá.

How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering

Cuộc thi verification cho Rust Standard Library do Rust Foundation và AWS khởi xướng tháng 11/2024 đã chứng minh hiệu quả của phương pháp crowdsourced, multi-tool. Sự thành công đến từ việc tận dụng các công cụ khác nhau như Coq, Lean và Isabelle để kiểm chứng từng thành phần riêng biệt. Kết quả là 89 hàm trong Rust Standard Library đã được chứng minh chính xác vượt xa khả năng của manual proof engineering. Bài viết cung cấp insight quý giá về cách tích hợp nhiều công cụ verification vào quy trình phát triển thực tế, giúp lập trình viên hiểu được tiềm năng của verification tự động trong các dự án lớn.

Bài viết này cho thấy cách thức sử dụng đám đông và đa công cụ để kiểm chứng thư viện chuẩn Rust vượt qua giới hạn của kỹ thuật chứng minh thủ công.

How to Make Your SKILL.md Interactive

Để tạo skill tương tác hoạt động trên Claude Code, Cursor và Codex, tác giả đã bổ sung các câu hỏi dạng interactive vào file SKILL.md. Nguyên nhân kỹ thuật là do mỗi harness sử dụng cách khác nhau để render markdown, đặc biệt là phần code blocks. Hệ quả là một số tính năng hoạt động không nhất quán giữa các nền tảng. Điểm đáng học là cách sử dụng specific markdown syntax để đảm dụng compatibility.

Bài viết hướng dẫn tạo tệp SKILL.md tương tác giúp lập trình viên tối ưu trải nghiệm làm việc trên nhiều nền tảng.

Announcing rustup 1.29.1

rustup 1.29.1 mang đến bản cập nhật quan trọng cho hệ sinh thái Rust, giúp người dùng quản lý phiên bản toolchain dễ dàng hơn. Phiên bản này khắc phục vấn đề liên quan đến xử lý đường dẫn chứa ký tự đặc biệt trên Windows, cải thiện tính ổn định cho người dùng Windows. Bản cập nhật cũng tối ưu hóa quá trình tải Rust toolchain, giảm thiểu thời gian cài đặt đáng kể so với các phiên bản trước. Đây là một cập nhật đáng chú ý cho bất kỳ lập trình viên Rust nào sử dụng Windows, đặc biệt khi làm việc với các dự án có đường dẫn phức tạp.

Bài viết này giúp bạn cập nhật công cụ Rust quan trọng nhất để phát triển phần mềm an toàn và hiệu quả.