Haskell for all: Record type inference for dummies

Issue 530

Haskell Weekly issue 530 covers the Haskell ecosystem activities report for March–May 2026 from Well-Typed (covering GHC, Cabal, HLS work), a guide on creating statically-linked Haskell executables with Nix, an introduction to the pqi library aiming to decouple Haskell PostgreSQL drivers from libpq, an introductory post on record type inference, and a deep dive into representing sheaves in Haskell using category theory. Brief announcements include apecs-0.10.0 (ECS package), Fourmolu 0.20.0.0 formatter release with GHC 9.14 support, GHC 9.12.5-rc2, and new Hpack-Dhall and Stock packages.

How to Use Dart Dot Shorthands: A Handbook for Devs

Dart 3.10 (phát hành tháng 11/2025 cùng Flutter 3.38) bổ sung tính năng dot shorthands, cho phép lược bỏ tên kiểu dữ liệu lặp khi trình biên dịch có thể suy luận từ ngữ cảnh, ví dụ viết .center thay vì MainAxisAlignment.center. Tính năng này hỗ trợ nhiều ngữ cảnh như enum, trường/method tĩnh, constructor, biểu thức nullable hay async, nhưng chỉ hoạt động khi kiểu dữ liệu đã được xác định rõ ràng.

Lập trình viên Dart cần đọc bài này để tối ưu hóa mã Flutter bằng các dot shorthand mới, giảm thiểu lỗi do kiểu dữ liệu không rõ ràng và áp dụng hiệu quả trong các trường hợp như widget chaining, switch-case hoặc các biểu thức asynchrone.

Polygraph: Let AI agents see cross repo and maintain session memory.

Polygraph là công cụ do nhóm phát triển Nx tạo ra, cung cấp khả năng nhìn xuyên suốt nhiều repository (cross-repo visibility) và duy trì bộ nhớ phiên làm việc (session memory) cho các AI agent lập trình. Nó xây dựng một dependency graph thống nhất trên nhiều repo (giống như một monorepo tổng hợp) mà không cần di chuyển mã nguồn, cho phép các nhà phát triển làm việc xuyên suốt nhiều repo trong cùng một phiên, đồng thời hỗ trợ chuyển giao ngữ cảnh giữa các thành viên nhóm.

Lập trình viên nên đọc bài này để khám phá cách Polygraph giúp giải quyết vấn đề quản lý mã nguồn phân tán và giao tiếp giữa các dự án, từ đó tiết kiệm thời gian và tránh rắc rối trong việc duy trì và hợp tác trên nhiều repository khác nhau.

QSOE v0.1 Released As A QNX-Inspired RISC-V OS

QSOE v0.1 is a new open-source operating system inspired by QNX Neutrino, targeting the RISC-V architecture exclusively. It features a dual-kernel design: QSOE/N uses a custom-built Skimmer microkernel, while QSOE/L runs the seL4 microkernel. Both share the same user-space and adopt QNX design principles including a small kernel, async message-passing IPC, and a resource-manager model. Currently supported targets are the SiFive HiFive Unmatched board and QEMU. The project is Apache 2.0 licensed and hosted on GitLab.

BASIC09 Programming Language Front-End Developed For LLVM

Developer Boisy Gene Pitre has created a BASIC09 front-end for LLVM called 'basic09c', capable of lexing and parsing BASIC09 code, building an AST, performing semantic checks, and emitting LLVM IR. BASIC09 is a structured BASIC dialect from the 1980s used on OS-9/6809 and Tandy Color Computer systems. The goal is to preserve and compile existing BASIC09 programs by targeting modern LLVM backends. However, LLVM developers Eli Friedman and Nikita Popov indicated the project won't be merged into the main LLVM codebase, suggesting it live as an independent project that links to LLVM as a library.

The Quiet Codebase: What Vedanta and Yoga Taught Us About Software

A philosophical essay drawing parallels between Vedanta and Yoga principles and software development practices. It argues that code complexity mirrors the complexity of the developer's mind, using concepts like Maya (misreading reality as inevitable), Vairagya (non-attachment to one's own code), and Dharana (focused attention) to advocate for intentional simplicity. Practical takeaways include pausing before adding new abstractions, cultivating the courage to delete unnecessary code, protecting deep work conditions, and regularly asking 'what is actually necessary?' as a guiding question for both codebases and life.

How to Write an Effective Software Design Document

Bài viết hướng dẫn chi tiết cách viết Software Design Document (SDD) hiệu quả dựa trên kinh nghiệm từ Google và Microsoft, bao gồm thời điểm viết, mức độ đầu tư, các phần quan trọng (mục tiêu, bối cảnh, SLOs, monitoring, dependencies, security, logging, v.v.), cùng ví dụ thực tế về thiết kế lớp caching. Ngoài ra, tài liệu cũng chia sẻ cách triển khai SDD qua quá trình review nhóm.

Lập trình viên nên đọc bài này để hiểu cách xây dựng tài liệu thiết kế hiệu quả, từ đó tránh rủi ro trong quá trình phát triển phần mềm và cải thiện chất lượng dự án.