Skip to content

Instantly share code, notes, and snippets.

@tiendung
tiendung / zig2026.md
Created September 6, 2025 08:25
Zig 2026

I/O as an interface - async/await

https://youtu.be/x3hOiOcbgeA?t=3725

Tôi cảm thấy về mặt lý thuyết thì vấn đề đã được giải quyết. Những gì tôi từng làm với async/await trước đây chưa bao giờ cảm thấy hoàn thiện, chưa đủ tốt. Nhưng tôi cảm thấy có một con đường để hiện thực hóa tầm nhìn của mình với hướng đi mới này. Ý tưởng thực ra khá đơn giản, chỉ là đôi khi những ý tưởng đơn giản lại khó nghĩ ra.

Bạn biết trong các chương trình Zig, bạn luôn phải truyền allocator ở khắp nơi đúng không? Giờ bạn cũng sẽ phải làm vậy với IO. IO là gì? IO là hầu như mọi thứ. Async là một phần của IO. Await là IO. Đây là một chút tri ân tới ngôn ngữ Go. Về cơ bản nó là async mà không có await. Chúng ta cũng có hủy bỏ (cancellation), tôi sẽ nói sau. Rồi còn những thứ như mở file, networking, mutex, điều kiện, timing, và còn nhiều nữa. Tất cả đều liên quan. Bất cứ thứ gì có thể chặn luồng thực thi hiện tại, kể cả các tác vụ CPU lớn, đều thuộc về đây. Điều này có nghĩa là trong các dự án Zig, một trong những vi

@tiendung
tiendung / fsdd.md
Created September 6, 2025 07:17
FSDD: FUNCTIONAL SPECIFICATION-DRIVEN DEVELOPMENT

FSDD: FUNCTIONAL SPECIFICATION-DRIVEN DEVELOPMENT

Phát triển phần mềm Dựa trên Đặc tả và Lập trình Hàm: Kết hợp Con người và AI

Phát triển phần mềm theo hướng Spec-Driven Development (SDD) là một quy trình mà đặc tả được ưu tiên ngay từ đầu và xuyên suốt quá trình phát triển. Đặc tả có thể bao gồm các yêu cầu chính thức, như hợp đồng API, hay các tiêu chí chấp nhận không chính thức. Quy trình này rất phụ thuộc vào kiểm thử, và khi kết hợp với lập trình hàm (Functional Programming - FP), nó giúp mã nguồn trở nên dễ dàng kiểm chứng, dự đoán và bảo trì. Với sự tiến bộ của các mô hình ngôn ngữ lớn (LLM), AI có thể đóng vai trò quan trọng trong việc tối ưu hóa quy trình phát triển này.


Quy trình phát triển Spec-Driven (Spec-First Iterative Development)

30 Năm Kinh Nghiệm Đầu Tư Gói Gọn Trong Video Này!
hôm nay ấ chúng ta có cái chủ đề cũng cũng cái tên gọi cũng được các nhà đầu tư chọn đấy là 30 năm kinh nghiệm đầu tư
gói gọn trong video này thì chúng tôi cũng gửi ra một số các cái tiêu đề nhưng
mà được đây là tiêu đề được chọn nhiều nhất đại gọi là Áp đảo luôn thì thật Thực ra mà nói này cũng bộc bạch với cả
nhà ấ là trong 1 năm rưỡi nay bắt đầu từ khi livestream ấy tháng dập tháng 9 năm 2022
cho đến nay ấy thì mỗi một cái livestream ấ thì bao giờ cũng Chúng tôi là chia sẻ những cái kinh nghiệm của
mình gửi tới các nhà đầu tư để tham khảo livestream nào cũng có và ở các cái
video cũng vậy nhá Nhưng hôm nay chúng ta thôi cùng nhau Chúng ta sơ kết lại một chút bởi vì tại sao bởi vì bao giờ
cũng thế rồi chúng tôi theo chúng tôi là các cái dịp cuối năm bao giờ cũng cơ cơ
hội đầu tư nó ập đến rất lớn Hôm nay là chúng ta sẽ chia sẻ và tất cả các cái

prompt: hãy viết một tài liệu mô tả hệ thống một cách chi tiết và đầy đủ, có phân tích rõ thực thể và các mỗi quan hệ, có luồng dữ liệu, các yêu cầu về dữ liệu ...


Hệ Thống Nền Tảng E-Learning Tương Tự Moodle

1. Giới Thiệu

1.1 Mục Đích

Tài liệu này nhằm mô tả chi tiết hệ thống nền tảng e-learning được phát triển tương tự như Moodle. Nó bao gồm phân tích các thực thể, mối quan hệ giữa chúng, luồng dữ liệu, và các yêu cầu về dữ liệu để đảm bảo hệ thống hoạt động hiệu quả, bảo mật và đáp ứng nhu cầu của người dùng.

Để xây dựng một nền tảng e-learning tương tự như Moodle trong vòng 6 tháng, chúng ta cần lập một chiến lược chi tiết bao gồm việc phân chia dự án thành các Epics, User Stories, và Tasks, sau đó phân công nhiệm vụ cho từng nhân sự phù hợp. Dưới đây là kế hoạch chiến lược tổng quan, bao gồm các Epics, User Stories, Tasks, và phân công nhiệm vụ cho từng thành viên trong đội ngũ.

1. Tổng Quan Chiến Lược

Phạm vi Dự án:

  • Thời gian: 6 tháng
  • Đội ngũ: 17 thành viên (bao gồm Project Manager, Tech Lead, Developers, Data Engineers, QA Testers, và UI/UX Designer)
  • Phương pháp: Agile Scrum với 12 sprint, mỗi sprint kéo dài 2 tuần

Các Giai Đoạn Chính:

Farnam Street is devoted to helping you develop an understanding of how the world really works, make better decisions, and live a better life. We address such topics as mental models, decision-making, learning, reading, and the art of living.
In a world full of noise, Farnam Street is a place where you can step back and think about time-tested ideas while asking yourself questions that lead to meaningful understanding. We cover ideas from science and the humanities that will not only expand your intellectual horizons but also help you connect ideas, think in multidisciplinary ways, and explore meaning.
Headquartered in Ottawa, Canada, and run by Shane Parrish, we operate around the globe and have helped millions of people master the best of what other people have already figured out.
fs.blog

Moodle Database Schema

mdl_adminpresets

Description: Table to store presets data

Columns

Column Type Nullable Key Default Extra
Directory Structure:
└── ModernBERT-main
├── examples
│ ├── evaluate_pylate.py
│ ├── evaluate_st.py
│ ├── train_pylate.py
│ ├── train_st_gooaq.py
│ └── train_st.py
├── src
on this side I said if if this guy leaves at the end of the year he can throw away every
psychology book that's ever been written I mean it isn't going to happening and uh so we bought it and we lived happily
ever after with Ben and one time he was taking me over to see a property
we had in Brooklyn and uh and along the way I said
uh Ben I you know I promised you I wouldn't
interfere in the business when we started and he knew a butt was coming and he just said Thank You Warren and
they're shooting him he was a lot of fun we have so many Ben rozen stories but now you've heard one
that hasn't been published before okay Becky this question comes from chai gohil
he writes this is for a G reinsurance industry is going through one of the hardest pricing environments in the last
15 years Berkshire historically has participated during these stress times when economic returns are very

https://www.youtube.com/watch?v=j3qiDOL5V4M

  • Warren Buffett giới thiệu các giám đốc của Berkshire bao gồm Greg AEL, A.G. Jane và nhiều người khác.

  • Melissa Shapiro được cảm ơn vì tổ chức sự kiện, với kỷ lục bán 6 tấn kẹo See's.

  • Năm nay chỉ bán một cuốn sách Poor Charlie's Almanack tại The Bookworm để tưởng nhớ Charlie Munger.

  • Kết quả quý 1/2024:

  • Lợi nhuận hoạt động tốt hơn trung bình