lambdock: Dock cách mạng cho Wayland với trái tim Lisp nhúng

lambdock — một dock desktop mã nguồn mở dành riêng cho Wayland — đang thu hút sự chú ý của cộng đồng Linux nhờ kiến trúc độc đáo: kết hợp lõi C/GTK4 hiệu năng cao với engine GNU Guile Scheme nhúng ngay trong quá trình chạy. Dự án hứa hẹn vượt qua giới hạn của Cairo-Dock hay Plank, mang lại khả năng tùy biến vô hạn theo phong cách Emacs — với REPL tương tác trực tiếp, đa dock linh hoạt và animation mượt mà dựa trên frame-clock.

Được tạo ra bởi tác giả jjba23, lambdock không chỉ là một dock thông thường mà là một "con thuyền" sinh ra từ đống tro tàn của nhiều nguyên mẫu thất bại. Sau nhiều lần thử nghiệm với Python, Rust, JavaScript và cả giải pháp thuần Lisp, tác giả đã tìm ra công thức "thánh giá" của mình: nhúng libguile vào trong C của GTK4, tạo ra một hệ thống vừa nhanh như code native, vừa linh hoạt như một trình thông dịch Lisp sống động.

Hành trình qua "nghĩa địa" các nguyên mẫu

"Little did I know how many paradigms, ideas and PoCs would collapse before my vision became tangible reality."

Tác giả đã trải qua ít nhất 4 cuộc thử nghiệm lớn trước khi tìm ra hướng đi đúng:

• Pure Lisp + Guile GI: Thất bại vì tài liệu thưa thớt, lớp binding rối rắm, và sự căng thẳng giữa GTK (hướng đối tượng) với Scheme (hàm thuần) tạo ra quá nhiều rào cản kiến trúc.
• Python + GTK3/4: GIL và single-thread bottleneck khiến animation không mượt, bộ nhớ nặng nề, IPC mong manh — không phù hợp cho dock cần độ trễ thấp.
• Rust + GTK: Borrow checker trở thành "cơn ác mộng" khi làm việc với GTK, async event loop xung đột với main thread của GTK4, và thiếu reflection khiến việc nhúng một Lisp REPL trở nên gần như bất khả thi.
• JavaScript/Node + Layer Shell: Tiêu tốn tài nguyên quá lớn, tích hợp kém với Wayland protocol ở mức thấp, không có đường nào để mở rộng bằng Lisp.

Kiến trúc "hai tầng" đột phá

lambdock animation minh họa dock hoạt động

Thay vì chọn một trong các ngôn ngữ trên, tác giả quyết định: dùng chính ngôn ngữ mà GTK được viết — C. Và rồi phát hiện ra libguile.h — thư viện của GNU Guile Scheme — cho phép kết nối hai chiều giữa C và Lisp. Kết quả là một kiến trúc "hai tầng":

• Lõi C (GTK4): đảm nhiệm rendering, xử lý đồ họa, quản lý cửa sổ, và các tác vụ cấp thấp — mang lại hiệu năng native tuyệt đối.
• Engine Guile Scheme: là "trái tim sống" điều khiển toàn bộ hành vi — từ cấu hình, theme, bố cục đến các macro metaprogramming và REPL tương tác.

Sức mạnh thực sự nằm ở cầu nối hai chiều: Scheme không chỉ là dữ liệu tĩnh mà còn có thể kích hoạt hành động trong engine C đang chạy. Điều này mở ra khả năng chỉnh sửa dock trực tiếp mà không cần khởi động lại, không rớt một khung hình nào.

REPL nhúng — "hackability" vô hạn như Emacs

Kết nối REPL với dock từ Emacs hoặc terminal

Điểm nhấn đáng giá nhất của lambdock chính là REPL (Read-Eval-Print Loop) nhúng. Khi bật tính năng này (trong file settings.scm), dock sẽ tạo một socket Unix domain (ví dụ /tmp/lambdock-repl.sock) để bạn kết nối từ Emacs (Geiser), socat, hay ncat.

Bạn có thể:

• Thay đổi theme, kích thước icon, hoặc định nghĩa lại launcher chỉ bằng một lệnh Scheme.
• Gọi (reload-dock!) để nạp lại toàn bộ cấu hình — xem dock biến đổi ngay lập tức.
• Điều tra trạng thái dock đang chạy một cách sống động, không cần dừng chương trình.

Điều này tạo nên một vòng lặp phát triển cực kỳ mượt: mở Emacs, sửa code, đánh giá biểu thức, xem kết quả trực tiếp trên dock — giống hệt trải nghiệm lập trình trong Emacs.

Đa dock và khả năng mở rộng vượt trội

lambdock không giới hạn ở một dock duy nhất. Bạn có thể chạy nhiều dock độc lập cùng lúc trên các cạnh màn hình khác nhau, mỗi dock có trạng thái, vị trí, theme, và danh sách launcher riêng nhờ vào cấu trúc LambdockState, dock-position, dock-theme, dock-monitor, dock-items.

Dự án sử dụng gtk4-layer-shell để render và định vị, hoạt động tốt trên các compositor Wayland hỗ trợ wlr-layer-shell-unstable-v1. Tuy nhiên, GNOME (Mutter) hiện chưa được hỗ trợ do không triển khai protocol này — một giới hạn đáng chú ý cho người dùng phổ thông.

"The Lamb" và triết lý tự do

Tên "lambdock" là sự kết hợp chơi chữ: "lamb" (con chiên) — lấy cảm hứng từ logo Agnus Dei (Chiên Con của Thiên Chúa vác thánh giá và lá cờ đỏ) — nhấn mạnh sự thuần khiết, hy sinh và tinh thần mã nguồn mở. Tác giả hài hước ví von rằng dùng dock này "gần như là một trải nghiệm tôn giáo".

Với việc đã được đóng gói chính thức trên GNU Guix (lệnh cài đặt chỉ gồm guix install lambdock) và upstream vào Nixpkgs (có sẵn cả Flake), lambdock đang mở ra chặng đường mới cho cộng đồng Linux. Nó chứng minh rằng sự kết hợp giữa nghệ thuật lập trình Lisp và hiệu năng C không chỉ khả thi mà còn có thể tạo ra những công cụ desktop đẹp mắt, mạnh mẽ và cực kỳ linh hoạt.

"Long live Free Software, long live Lisp, and happy docking! 🐑⚓λ"

Đối với người dùng Việt Nam yêu thích tùy biến sâu, lambdock là một dự án đáng theo dõi — đặc biệt nếu bạn đã làm quen với Emacs, Guix, hoặc NixOS. Hãy thử cài đặt từ kho phần mềm của Guix hoặc Nixpkgs và trải nghiệm một cách hoàn toàn mới để "dock" desktop của mình.