ElixirConf US - Learning Resources / Talks - Elixir Programming Language Forum

gleam.run/gleam

Nền tảng lập trình xã hội thế hệ tiếp theo.

Là công cụ mới giúp lập trình viên dễ dàng chia sẻ, cộng tác và học hỏi từ cộng đồng bằng ngôn ngữ Gleam—một ngôn ngữ mạnh mẽ kết hợp tính an toàn và hiệu suất—từ đó mở rộng khả năng sáng tạo và phát triển dự án một cách hiệu quả hơn.

Issue 533

Số 533 của Haskell Weekly điểm tin cộng đồng nổi bật như quyết định rời bỏ Haskell của Scarf sau 7 năm sử dụng, báo cáo trạng thái GHC từ hội thảo Haskell Implementors' Workshop 2026, đóng cửa tryhaskell.org, sự kiện Diff package áp dụng LiquidHaskell cho kiểm tra tĩnh, và thư viện PGQueuer-hs 0.0.1 mới chạy trên PostgreSQL. Phần giới thiệu cộng đồng giới thiệu server bookmark tự lưu trữ, thư viện học tự động hóa hoạt động, và công cụ chạy thử LeetCode cục bộ.

Đọc bài này để cập nhật những thay đổi quan trọng trong sinh thái Haskell—từ việc chuyển đổi công nghệ của một nhà phát triển lâu năm đến những tiến bộ mới trong công cụ và thư viện, giúp bạn nắm rõ xu hướng và cách ứng dụng trong dự án của mình.

Hologram: The Journey to Local-First Elixir in the Browser (ElixirConf EU 2026)

Hologram đã trải qua các phiên bản v0.5 đến v0.8 trong năm qua và đang hướng tới mô hình local-first trong trình duyệt. Bài viết giới thiệu tổng quan về local-first, giải thích khái niệm, lý do cộng đồng quan tâm, cũng như lộ trình phát triển tiếp theo của dự án.

Lập trình viên nên đọc bài này để khám phá cách Elixir có thể trở thành nền tảng mạnh mẽ cho ứng dụng local-first trong trình duyệt, giúp tối ưu hóa hiệu suất và bảo mật bằng cách loại bỏ phụ thuộc vào cloud, đặc biệt khi đang tìm giải pháp cho dự án hiện tại.

ElixirConf US - Learning Resources / Talks - Elixir Programming Language Forum

Building Careers, Balancing Life: Stories from the Elixir World and Beyond | ElixirConf US 2025 Comments welcome! View the elixirconf tag for more ElixirConf talks!

active_memory

active_memory is an Elixir/Erlang hex package providing a typed, attribute-queryable in-memory store built on top of ETS and Mnesia. It functions as a simple ORM with support for record expiry (TTL), crash resilience, and atomic take-once reads.

A Road to Lisp: Which Lisp

Bài viết so sánh các dialect Lisp hiện đại, giúp người đọc hiểu rõ sự khác biệt giữa chúng.

Lập trình viên nên đọc bài này để hiểu cách chọn lisp phù hợp với dự án hiện tại, từ những ưu điểm kỹ thuật đến tính tương thích với cộng đồng và công cụ phát triển hiện đại.

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages

Giáo sư Leroy, người sáng tạo ra ngôn ngữ lập trình OCaml, là chuyên gia hàng đầu trong lĩnh vực lập trình hàm, xác minh hình thức (formal verification) và ngôn ngữ lập trình.

Nếu bạn đang tìm hiểu về ngôn ngữ lập trình mạnh về tính chính xác logic và ứng dụng trong việc thiết kế hệ thống an toàn, thì bài này sẽ giúp bạn hiểu rõ hơn về OCaml và cách nó kết hợp lý thuyết lập trình chức năng với chứng minh hình thức, từ đó mở rộng kiến thức cho các dự án phức tạp như hệ thống y tế, an ninh mạng hay hệ thống điều khiển tự động.