Prela is a new query language developed at UCLA that represents an alternative to SQL, built entirely from binary relations (tables with two columns). This tutorial builds a toy Python implementation of Prela to explain its core operators: relation composition (.select), the & operator for pairing columns, .eq for filtering, and .where for restriction. It shows how decomposing wide tables into binary relations (akin to 6NF) lets queries compose like functions, producing dramatically shorter queries than equivalent SQL (11 lines vs 20+). A full paper and GitHub implementation are linked for further exploration.
Source: https://prela-lang.org/tutorial. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Đang tải bình luận…
ORMs vẫn cần thiết vì chúng cung cấp lớp trừu tượng an toàn, hiệu quả để tương tác với cơ sở dữ liệu, trong khi LLMs chỉ sinh code tiềm ẩn rủi ro lỗi, kém tối ưu và khó bảo trì. ORMs giúp chuẩn hóa truy vấn, tránh SQL injection và tối ưu hóa hiệu suất thông qua caching, điều mà code do LLM sinh ra khó đảm bảo.
Lập trình viên nên đọc bài này để hiểu cách ORM và SQL vẫn giữ vai trò quan trọng trong quản lý dữ liệu cơ bản, giúp tránh rủi ro lỗi và tối ưu hóa hiệu suất khi ứng dụng lớn cần kiểm soát trực tiếp dữ liệu.
Bản tin Tryton tháng 9/2026 tập trung vào việc cải thiện nội bộ trytond và các module kinh doanh. Khi một worker chết, các task đã được đặt trong hàng đợi bị bỏ qua mà không được xử lý lại, và thời gian chờ request chỉ áp dụng cho từng bước thay vì toàn bộ yêu cầu. Máy chủ hiện tự động thử lại các task bị bỏ do worker chết và áp dụng thời gian chờ cho toàn bộ request, giảm nguy cơ mất dữ liệu và request treo forever. Việc xử lý lỗi worker và thiết lập timeout toàn diện là yếu tố then chốt để nâng cao độ tin cậy của hệ thống ERP dựa trên trytond. Các nhà phát triển nên tham khảo cơ chế retry và timeout toàn request khi thiết kế các dịch vụ nền tảng tương tự.
Lập trình viên Tryton nên đọc bài này để cập nhật những cải tiến mới về ổn định server và quản lý nhiệm vụ queued, đặc biệt là cách Tryton xử lý lỗi khi công việc bị mất do worker chết, giúp phát triển ứng dụng trở nên bền vững hơn trong môi trường sản xuất.
Trong PostgreSQL, các replica bất đồng bộ thường trả về dữ liệu cũ vì chúng chỉ áp dụng WAL sau một khoảng trễ, gây ra hiện tượng đọc không thấy bản ghi vừa ghi trên primary.
Phiên bản PostgreSQL 19 bổ sung lệnh WAIT FOR cho phép một truy vấn READ chỉ định vị trí WAL (log sequence number) mà nó muốn chờ trước khi trả về kết quả.
Khi lệnh được thực hiện, phiên bản server sẽ tạm dừng việc đọc cho đến khi WAL đã được replay tới vị trí đó trên replica, từ đó đảm bảo read‑your‑writes mà không cần chuyển sang synchronous replication hoặc tăng toàn bộ độ trễ hệ thống.
Điều đáng học: thay vì phải bật synchronous replication toàn cluster hoặc chịu đọc stale data, разработчики có thể sử dụng WAIT FOR cho các giao dịch cụ thể nơi cần nhất quán đọc‑ghi, tiết kiệm tài nguyên và kiểm soát độ trễ chi tiết.
Ví dụ thực tế, một lệnh như SELECT ... WAIT FOR LSN '0/3000000' sẽ chỉ trả về sau khi replica đã áp dụng WAL tới LSN đó, cho phép ứng dụng xác nhận ngay lập tức việc ghi vừa thực hiện trên primary mà không ảnh hưởng đến các truy vấn khác.
Bài này giúp lập trình viên hiểu cách sử dụng WAIT FOR trong PostgreSQL 19 để đảm bảo tính nhất quán read-your-writes trên bản sao bất đồng bộ.
Nurb được thiết kế để biến một agent viết mã thành đối tác CAD thực tế, cho phép các nhà phát triển làm việc trực tiếp trong môi trường mô hình 3D. Nó sử dụng các thành phần Python để tạo và thao tác hình học, đồng thời dựa trên nhân OCCT để xây dựng các thể rắn chính xác. Trong quá trình làm việc, hệ thống thực hiện kiểm tra trực tiếp và đo lường để phát hiện sớm các lỗi hoặc sai lệch về kích thước. Kết quả cuối cùng được xuất ra định dạng 3MF, giúp duy nhất dữ liệu mô hình và dễ dàng chia sẻ với các công cụ CAD khác. Từ đây ta học được rằng sự kết hợp giữa ngôn ngữ scripting linh hoạt và nhân mô hình rắn mạnh mẽ, cùng với việc áp dụng tiêu chuẩn xuất bản mở, có thể tạo ra quy trình thiết kế tự động hóa và đáng tin cậy.
Bài này giúp lập trình viên hiểu cách Nurb biến một agent lập trình thành đối tác CAD hiệu quả.
AI code review đang là nút thắt thực sự và mọi người đều thừa nhận điều đó. Trong sơ đồ tổ chức, không có vị trí verifier hay bất kỳ khoản ngân sách nào dành cho việc này.
Lập trình viên nên đọc bài này vì nó cảnh báo về nguy cơ mất vị trí của những kỹ sư có kinh nghiệm trước sự phát triển nhanh chóng của AI, khi các công ty bỏ bỏ vai trò kiểm tra và đầu tư vào đội ngũ chuyên môn, khiến sự khác biệt giữa người mới và người giàu kinh nghiệm trở nên mờ nhạt.
Bài viết bắt đầu bằng việc tạo bảng comments với 1 triệu bản ghi trong PostgreSQL để đánh giá hiệu suất các chiến lược indexing. Tác giả chạy EXPLAIN ANALYZE trên các truy vấn lọc và sắp xếp theo nhiều cột, đo thời gian thực thi của sequential scan là khoảng 17 ms khi không có index. Khi tạo chỉ mục đơn cột trên cột được dùng trong WHERE, thời gian giảm xuống dưới 2 ms; nhưng chỉ mục hợp thành (c1, c2) chỉ hiệu quả khi thứ tự cột trong chỉ mục khớp với thứ tự sử dụng trong predicate và ORDER BY. Đảo ngược thứ tự cột trong chỉ mục hợp thành khiến planner phải thực hiện index scan kết hợp với recheck hoặc fallback về sequential scan, làm tăng thời gian lên 5‑8 ms tùy thuộc vào selectivity. Bài học là: thiết kế chỉ mục hợp thành cần đặt cột có tính chọn lọc cao hoặc được sử dụng trong điều kiện bằng trước, sau đó mới là cột dùng cho range hoặc sắp xếp, và luôn xác thực bằng EXPLAIN ANALYZE trên dữ liệu thực tế.
Bài viết này giúp lập trình viên tối ưu hóa hiệu suất truy vấn SQL bằng cách giải thích cách tạo và sử dụng chỉ mục composite đúng cách.
DuckDB phiên bản 2.0 dự kiến ra mắt vào mùa thu năm nay với nhiều tính năng mới nổi bật như hỗ trợ chạy dưới dạng server, triggers, kiểu dữ liệu VARIANT, I/O bất đồng bộ, SQL parser mới, định dạng lưu trữ cải tiến cùng nhiều cải tiến khác.
Lập trình viên cần đọc bài này để khám phá cách DuckDB v2.0 nâng cấp hiệu suất và tính linh hoạt cho các ứng dụng xử lý dữ liệu, từ việc chạy như một server đến hỗ trợ các tính năng mới như biến đổi dữ liệu trong SQL và lưu trữ hiệu quả hơn.
Bài viết mô tả tình huống mà người dùng thường gặp khi phải đọc qua tài liệu PDF dài như 30 trang và cảm thấy tốn thời gian, từ đó nêu ra nhu cầu về các tác nhân AI phân tích file. Nó giải thích cách xây dựng một tác nhân như vậy bằng Python, sử dụng thư viện để trích xuất văn bản từ PDF (ví dụ PyPDF2 hoặc pdfplumber) rồi đưa nội dung vào mô hình ngôn ngữ lớn qua API như OpenAI GPT để trả lời câu hỏi hoặc tóm tắt. Kết quả là người dùng có thể tải lên một bài nghiên cứu và nhận được phản hồi ngay lập tức mà không cần đọc toàn bộ tài liệu, giảm đáng kể thời gian xử lý thông tin. Bài cũng nhấn mạnh việc chia tài liệu thành các đoạn nhỏ đủ để mô hình xử lý hiệu quả và kiểm soát chi phí token. Đáng học từ bài này là việc kết hợp công cụ xử lý tài liệu truyền thống với mô hình AI tạo ra giải pháp thực dụng cho việc phân tích file tự động.
Lập trình viên nên đọc bài này để học cách xây dựng một đại lý phân tích tệp AI với Python giúp xử lý và tóm tắt các tài liệu dài một cách hiệu quả.
Read the news here, practice coding, follow structured courses and train for IELTS on our sibling products — all connected through one 8 Sync account.
The ecosystem home: product overviews, blog and full pricing.
ExploreLearn along a clear roadmap: videos, auto-graded quizzes, certificates and mentors who ship for a living.
View the roadmap1,000+ DSA problems in Vietnamese, auto-graded across 7 languages — many FREE, right in your browser.
Practice for freeAI grading for all four IELTS skills with detailed rubric feedback.
Try it freeA 22 MB AI IDE for Vietnamese devs.
Download freeOrganizational memory for AI agents.
ExploreAI that staffs your Fanpage and qualifies leads for you.
Try it