Google's "Painful To Maintain" Binder C Linux Driver Being Removed In Favor Of Rust

Saving another 100TB of RAM with math (and Rust)

Cloudflare đã giảm thành công việc sử dụng RAM lên đến 100TB cho dịch vụ dựa trên Pingora bằng cách áp dụng thống kê. Nguyên nhân kỹ thuật nằm ở việc tối ưu hóa việc lưu trữ trạng thái trong các cây nhị phân (binary trees) mà không làm giảm độ chính xác. Hệ quả là việc sử dụng RAM giảm xuống còn 25%, giải phóng tài nguyên đáng kể cho hệ thống. Bài viết đáng học ở chỗ cho thấy cách áp dụng toán học và Rust để giải quyết vấn đề hiệu suất mà không cần thay đổi logic nghiệp vụ.

Bài viết này tiết lộ phương pháp thống kê thú vị giúp giảm đáng kể lượng RAM sử dụng trong hệ thống mạng lớn của Cloudflare.

What is still exciting in tech?

Một lập trình viên kỳ cựu than phiền rằng công nghệ không còn hấp dẫn như trước, với changelog ngày càng tệ hại, các dự án open source bị nhiễm AI-slop, phần cứng bị đóng băng và nhiều người bỏ ngành theo đuổi sở thích như làm đồ gỗ. Mặc dù vậy, cộng đồng vẫn phản hồi với nhiều điểm sáng thú vị: Linux gaming đã trưởng thành, XMPP cuối cùng cũng hoạt động tốt, cải tiến chất lượng cuộc sống với Emacs và Haskell, các phong trào local-first và self-hosting, hệ thống workflow bền vững như DBOS, tiến bộ của WASM/WASI và QUIC, hệ điều hành ngách (Haiku, NetBSD, RedoxOS), cộng đồng indie web và Neocities. Xu hướng chung là sự rút lui từ các dự án mainstream bị AI và doanh nghiệp bóp nghẹt, hướng đến các dự án nhỏ hơn, hackier và do cộng đồng dẫn dắt.

Bài viết này cho bạn thấy những điểm sáng đáng hứng thú trong ngành công nghệ dù thị trường đang tồi tệ.

My old phone is the best dash cam I own, and it uploads the clips when I get home

Droid Dashcam biến chiếc điện thoại cũ thành thiết bị ghi hình xe hơi tự động sao lưu qua …

Slint 1.18 Released

Slint 1.18 mang đến nhiều cải thiện chất lượng sống với compiler nhẹ hơn, tạo ra binary nhỏ hơn và tốc độ render văn bản lớn nhanh hơn. Windows Node.js port có event loop được cải tiến, FlexboxLayout mới mang bố cục kiểu web vào Slint, cùng với z-order có thể thay đổi tại runtime. Spring animations mới cùng với fixed easing curves, và items có thể animate và orient theo path. Ngôn ngữ bổ sung push/remove/insert trên arrays và models, giá trị mặc định tùy chỉnh cho struct fields, và Platform.uses-mock-data constant cho test data trong development. Thêm vào đó là renderer thử nghiệm dựa trên Vello, WindowMoveArea element cho title bars tùy chỉnh, screen reader support cho text inputs, và cải thiện language server cho việc rename properties và import auto-completion.

Slint 1.18 mang đến nhiều cải tiến quan trọng về hiệu suất, giao diện và tính năng mới giúp lập trình viên xây dựng ứng dụng desktop hiện đại và hiệu quả hơn.

I dual-booted Linux for a year, then deleted Windows and never thought about it again

Tác giả trải nghiệm dual-boot Linux cùng Windows trong một năm trước khi hoàn toàn loại bỏ Windows. Quá trình chuyển đổi gặp phải những khó khăn ban đầu do khác biệt về environment và công cụ development giữa hai hệ điều hành. Sau khi làm quen với Linux, tác giả nhận thấy hiệu suất tăng đáng kể và khả năng tùy biến vượt trội so với Windows. Bài viết cung cấp những bài thực tế về cách thiết lập lập trình environment trên Linux và giải quyết các compatibility issue với phần mềm chuyên dụng. Kinh nghiệm này cho thấy dù ban đầu phức tạp, Linux mang lại lợi ích lâu dài cho lập trình viên tìm kiếm sự kiểm soát và hiệu năng cao.

Kinh nghiệm thực tế về chuyển đổi từ Windows sang Linux sẽ giúp lập trình viên hiểu rõ ưu nhược điểm của mỗi hệ điều khiển phát triển.

The Terminal Is an Art

Tác giả trải nghiệm gần 30 năm sử dụng Unix và Linux, dành phần lớn thời gian làm việc trong terminal không vì bắt buộc mà vì nó mang lại trải nghiệm hiệu quả nhất. Nguyên nhân kỹ thuật là terminal cung cấp giao diện dòng lệnh (CLI) trực tiếp với hệ thống, giảm thiểu lớp trừu tượng và tăng tốc độ tương tác. Hệ quả là tác giả có thể hoàn thành công việc nhanh hơn so với sử dụng giao diện đồ họa (GUI), đặc biệt với các tác vụ lặp đi lặp lại hoặc quản lý hệ thống từ xa. Bài viết đáng học hỏi ở chỗ nó trình bày terminal không chỉ là công cụ mà còn là một nghệ thuật, giúp lập trình viên tối ưu hóa workflow và nâng cao năng suất công việc.

Bài này giúp bạn hiểu tại sao terminal là công cụ mạnh mẽ và nghệ thuật mà lập trình viên nên thành thạo.

Ubuntu on Windows is about to become more popular than Ubuntu itself

Ubuntu trên Windows đang thu hút sự quan tâm nhờ sự phát triển của Windows Subsystem for Linux (WSL), đặc biệt là phiên bản WSL2 که tích hợp nhân Linux thực tế. Nguyên nhân kỹ thuật là khả năng chạy các binary Linux gốc mà không cần máy ảo nặng, cùng với hệ thống tệp được mounts tự động giữa hai môi trường. Điều này làm giảm trở ngại cho các nhà phát triển muốn sử dụng công cụ Ubuntu mà vẫn làm việc trên nền tảng Windows họ quen thuộc. Do đó, số người dùng Ubuntu qua WSL có thể vượt quá số người cài đặt Ubuntu độc lập trên phần cứng riêng. Bài học là đầu tư vào lớp tương thích giữa hệ điều hành có thể mở rộng cộng đồng người dùng một cách đáng kể hơn việc tập trung chỉ vào bản phân phối độc lập.

Bài viết giải thích tại sao phiên bản Ubuntu chạy trên Windows sắp vượt qua bản Ubuntu gốc trên Linux, mang lại góc nhìn thú vị về sự phát triển của hệ điều hành và xu hướng tích hợp đa nền tảng.

Why building a Rust LSP is hard

Việc triển khai Language Server Protocol (LSP) cho Rust gặp nhiều thách thức do hạn chế về bộ nhớ, đặc biệt khi xử lý các dự án lớn với hàng triệu dòng code. Nguyên nhân kỹ thuật đến từ việc Rust compiler cần phân tích toàn bộ cây AST (Abstract Syntax Tree) và mô hình borrow checker phức tạp, khiến quá trình phân tích chiếm dụng lượng RAM đáng kể. Hệ quả là nhiều Rust LSP hiện tại tiêu thụ quá nhiều tài nguyên, gây chậm trội cho môi trường phát triển. Bài viết đưa ra giải pháp tối ưu hóa bằng cách giảm thiểu phân tích không cần thiết và sử dụng kỹ thuật incremental compilation, giúp giảm 40-50% mức sử dụng bộ nhớ so với các implementation thông thường. Các lập trình viên làm việc với Rust nên đọc bài này để hiểu cách xử lý các vấn đề hiệu năng trong ngôn ngữ có hệ thống type phức tạp như Rust.

Bài viết giải thích thách thức khi xây dựng Rust LSP tiết kiệm tài nguyên bộ nhớ cho lập trình viên.