daily-digest

Simon Willison’s Weblog

Quoting Obie Fernandez

• Việc viết mã là phần yêu thích nhất của bạn, các agents có thể không cần thiết.
• Intelligent code auto completion như Copilot hoặc Cursor giúp tăng tốc độ viết code.
• Nếu bạn quan tâm đến quyết định liên quan đến code, agents giúp giảm bớt khối lượng công việc cơ bản.
• Agents cho phép bạn tập trung vào phán đoán, sự trao đổi và mục đích khi viết code.
• Việc gõ code bằng tay cảm giác như một sự lãng phí thời gian với kinh nghiệm hiện tại của bạn.

Quoting OpenAI Codex CLI

• Mở file SKILL.md để làm quen với quy trình sử dụng kỹ năng.
• Đọc đủ thông tin để tuân theo quy trình, không đọc thừa.
• Nếu SKILL.md chỉ định thư mục phụ như references/, chỉ tải các file cần thiết cho yêu cầu.
• Nếu có thư mục scripts/, ưu tiên chạy hoặc sửa đổi chúng thay vì gõ lại mã lớn.
• Tái sử dụng tài sản hoặc mẫu có sẵn từ thư mục assets/ hoặc templates/ thay vì tạo lại từ đầu.
• Sử dụng mô tả YAML trong SKILL.md làm tín hiệu kích hoạt chính.
• Nếu không rõ, hãy hỏi để được làm rõ trước khi tiếp tục.

Hacker News: Best

🔥 VPN location claims don’t match real traffic exits

• Trong phân tích 20 VPN phổ biến, IPinfo phát hiện 17 VPN xuất dữ liệu từ các quốc gia khác với những gì họ tuyên bố.
• Một số VPN tuyên bố hỗ trợ hơn 100 quốc gia nhưng thực tế chỉ sử dụng một số trung tâm dữ liệu tại Mỹ hoặc châu Âu.
• Phân tích 150,000 địa chỉ IP cho thấy 38 quốc gia chỉ tồn tại “chỉ ảo,” không có dữ liệu thực tế ra khỏi những quốc gia này.
• Chỉ có 3 trong số 20 nhà cung cấp xác thực được tất cả các vị trí mà họ công bố.
• Nền tảng đo lường ProbeNet phát hiện khoảng 8,000 trường hợp vị trí IP bị sai lệch hàng ngàn km.
• Ba nhà cung cấp VPN không có bất kỳ sai lệch nào là Mullvad, IVPN, và Windscribe.
• “Vị trí ảo” có nghĩa là người dùng có thể kết nối đến một quốc gia nhưng lưu lượng thực tế có thể ra khỏi một nơi khác, như Miami hoặc London.
• Các dữ liệu IP thường phụ thuộc vào thông tin tự khai báo của chủ sở hữu IP, dẫn đến những sai sót nếu thông tin đã lỗi thời hoặc sai.
• Có 97 quốc gia mà ít nhất một thương hiệu VPN chỉ hiện diện như là ảo hoặc không thể đo lường trong dữ liệu của chúng tôi.
• 38 quốc gia không bao giờ xuất hiện như là điểm xuất dữ liệu ổn định trong mẫu của chúng tôi, gọi là các quốc gia “không thể đo lường.”
• Những quốc gia này không phải ngẫu nhiên, mà tập trung ở một số khu vực nhất định trên bản đồ.

🔥 I tried Gleam for Advent of Code

• Tôi tham gia Advent of Code mỗi năm và đã hoàn thành tất cả các bài trong bảy năm qua.
• Năm nay, Advent of Code chỉ có 12 ngày, thay vì 25 ngày như thường lệ, với tổng cộng 24 phần.
• Các bài dễ hơn trong năm nay lại khó hơn so với các năm trước nhưng vẫn thú vị và kích thích để làm.
• Gleam có cú pháp rõ ràng và trình biên dịch hữu ích, với thông báo lỗi tốt (giống Rust).
• Gleam khuyến khích phong cách lập trình thích hợp cho Advent of Code: parse văn bản, biến đổi và lặp lại.
• Tôi thích sử dụng tính năng echo trong Gleam để nhanh chóng kiểm tra giá trị mà không phải định dạng hay xây dựng chuỗi.
• Gleam hỗ trợ tốt khi làm việc với mảng và từ điển, giúp tránh các lỗi ra ngoài giới hạn.
• Một số hàm như list.transpose và list.combination_pairs giúp đơn giản hóa mã nguồn mà không cần viết lại.
• Tính năng fold_until trong Gleam cho phép kết thúc sớm một cách hiệu quả mà không cần sử dụng thủ thuật.

🔥 Ask HN: How can I get better at using AI for programming?

• Người dùng đang chuyển đổi một dự án jQuery + Django sang SvelteKit.
• Họ tập trung vào việc dịch các mẫu UI sang phong cách SvelteKit đúng cách.
• Công việc bao gồm việc sử dụng HTML ngữ nghĩa và thay thế Bootstrap bằng Tailwind.
• Họ thực hiện các cải tiến mã để giảm nợ kỹ thuật từ mã cũ.
• Quy trình hiện tại bao gồm việc định nghĩa từng tuyến trong Django, xây dựng +page.server.ts, và tách từng phần trang thành các component Svelte.
• Thời gian để hoàn thành việc dịch một tuyến hiện tại là khoảng 1-2 giờ.
• Người sử dụng không thể tối ưu hóa việc sử dụng AI cho lập trình và chỉ có thể tạo ra mã không tốt hơn đáng kể so với mã tự viết.
• Họ tìm kiếm mẹo và gợi ý để cải thiện hiệu quả và chất lượng mã bằng AI.

🔥 YouTube’s CEO limits his kids’ social media use – other tech bosses do the same

• Neal Mohan, CEO of YouTube, restricts his children’s social media use, acknowledging its harms (March 30, 2023).
• Mohan limits media use on weekdays but is less strict on weekends (Time Magazine).
• Experts, like Jonathan Haidt, recommend no smartphones for children under 14 and no social media access before 16.
• Australia has banned users under 16 from major social media platforms, with 77% public support (YouGov survey).
• Mohan emphasizes a “paramount responsibility” to help parents manage their kids’ YouTube use.
• YouTube Kids was launched in 2015 as a safer platform for children.
• Former YouTube CEO Susan Wojcicki also restricted her children’s use of standard YouTube, allowing only YouTube Kids.
• Bill Gates delayed giving his children cell phones until their teenage years and prohibited screens at the dinner table.
• Mark Cuban uses technology to monitor and limit his children’s app usage.

💬 Computer animator and Amiga fanatic Dick van Dyke turns 100

• Người này đã tập thể dục qua các thập kỷ với lý do khác nhau: 30 tuổi để đẹp, 50 tuổi để giữ sức khỏe, 70 tuổi để duy trì khả năng di chuyển, 80 tuổi để tránh sống hỗ trợ, và 90 tuổi chỉ vì muốn kháng cự (ưu tiên cá nhân).
• Gia đình ông sống cuộc sống khó khăn với chế độ ăn giàu chất béo, uống rượu, và hút thuốc, nhưng vẫn thọ đến 80 tuổi (di truyền có vai trò chủ yếu).
• Chất lượng cuộc sống của ông bà từ 60 tuổi trở đi không tốt, với nhiều vấn đề như nghiện rượu và bệnh tim (lịch sử cá nhân).
• Ông chọn không uống rượu, hút thuốc hay dùng ma túy vì không thấy lý do thuyết phục, và đã không gặp vấn đề sức khỏe nghiêm trọng nào ở tuổi gần 60.
• Có mối tương quan giữa chế độ ăn kiêng và di truyền; chế độ ăn ít chất béo không nhất thiết là tốt cho sức khỏe.
• Một số người nhìn nhận rằng ăn thực phẩm nhiều chất béo và dùng thuốc có thể có lợi nếu được tiêu thụ trong chừng mực.
• Dick Van Dyke được nhớ đến với tài nghệ diễn xuất và khiêu vũ, là hình mẫu truyền cảm hứng cho người khác.
• Chú ý rằng trong lịch sử nhân loại, trải nghiệm đau thương có thể đã có mặt rộng rãi; có sự phân tích rằng xã hội hiện nay có thể đang thương mại hóa đau thương.
• Cách nhìn nhận hiện nay về tâm lý học có thể phê phán do cảm giác bị thao túng từ các nhà tâm lý học.
• Van Dyke được biết đến qua nhiều chương trình truyền hình nổi tiếng và có tầm ảnh hưởng lớn trong nền văn hóa giải trí.
• Một sự thật thú vị, Jefferson và Adams cùng chết vào ngày 4 tháng 7 năm 1826, kỷ niệm 50 năm Tuyên ngôn Độc lập.

🔥 Apple has locked my Apple ID, and I have no recourse. A plea for help

• Apple đã khóa tài khoản Apple ID của tôi vĩnh viễn mà không có lý do hay biện pháp khắc phục (Case ID: 102774292094).
• Tài khoản này, tôi đã sở hữu gần 25 năm, chứa nhiều dữ liệu quan trọng và terabytes ảnh gia đình.
• Sự kiện kích hoạt khóa tài khoản là tôi đã cố gắng đổi một thẻ quà tặng Apple trị giá 500 đô la, nhưng mã số không hoạt động và có vẻ như thẻ đã bị xâm phạm.
• Thẻ quà tặng được mua từ một chuỗi cửa hàng lớn (tương đương Woolworths hoặc Walmart).
• Tài khoản tôi hiện được đánh dấu là “đã đóng theo Điều khoản và Điều kiện dịch vụ của Apple”.
• Tôi bị mất quyền truy cập vào các thiết bị và phần mềm trị giá hơn 30.000 đô la, không thể đồng bộ, cập nhật hoặc sử dụng thiết bị.
• Apple hỗ trợ từ chối cung cấp lý do hoặc thông tin chi tiết về việc khóa tài khoản.
• Đề xuất của nhân viên hỗ trợ là tạo một tài khoản Apple mới, điều này có thể dẫn đến việc tài khoản mới bị khóa do liên kết với tài khoản bị cấm.
• Là một nhà phát triển Apple chuyên nghiệp, việc tạo tài khoản mới có thể ảnh hưởng đến tư cách thành viên của tôi trong Chương trình Nhà phát triển Apple.
• Tôi đã dành gần 30 năm làm khách hàng trung thành và viết nhiều sách kỹ thuật về ngôn ngữ lập trình của Apple.

💬 Google removes Sci-Hub domains from U.S. search results due to dated court order

• Google đã gỡ bỏ hàng chục tên miền Sci-Hub mới khỏi kết quả tìm kiếm tại Hoa Kỳ dựa trên một lệnh của tòa án cũ (2025).
• Lệnh cấm này cho phép American Chemical Society (ACS) yêu cầu hủy bỏ tên miền Sci-Hub hiện có và mới (2017).
• Tòa án Virginia phán quyết Sci-Hub vi phạm bản quyền và ra lệnh bồi thường 4,8 triệu USD cho ACS (2017).
• Các bên liên quan phải ngừng cung cấp truy cập vào các tên miền Sci-Hub theo yêu cầu của lệnh cấm (2018).
• Lệnh cấm có hiệu lực nhưng ACS không thực hiện yêu cầu với các công ty trung gian trong một thời gian dài.
• Google mới đây đã nhận được yêu cầu từ công ty luật Wiggin LLP để gỡ bỏ 34 tên miền liên quan đến Sci-Hub.
• Các tên miền bị gỡ bỏ chủ yếu là biến thể của mạng gương scihubtw.tw (ví dụ: edu.scihubtw.tw).
• Lần đầu tiên Google thực hiện gỡ bỏ tên miền Sci-Hub chỉ ở Hoa Kỳ, trong khi các nước khác vẫn truy cập được các tên miền này.
• Không rõ lý do tại sao ACS mất năm năm để yêu cầu Google hành động sau khi có lệnh cấm.
• Google trước đây đã hợp tác với các lệnh chặn ISP ở nhiều quốc gia nhưng không rõ liệu sự hợp tác với lệnh cấm vĩnh viễn ở Mỹ có phải là hành động tự nguyện hay bị ràng buộc pháp lý.

💬 1300 Still Images from the Animated Films of Hayao Miyazaki’s Studio Ghibli (2023)

• Bộ phim “君たちはどう生きるか” hiện đang công chiếu tại rạp.
• Có 14 hình ảnh từ bộ phim được cung cấp từ ngày 18 tháng 8 năm 2023.
• Các hình ảnh này có thể được sử dụng tự do trong phạm vi hợp lý.
• Các mốc thời gian cung cấp hình ảnh trước đó bao gồm:
  • 4 tháng 8 năm 2023
  • 18 tháng 12 năm 2020
  • 20 tháng 11 năm 2020
  • 16 tháng 10 năm 2020
  • 18 tháng 9 năm 2020

🔥 OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI

• Anthropic’s Skills mechanism is easy to implement for LLM tools (October 2025).
• OpenAI supports skills in both Codex CLI and ChatGPT.
• ChatGPT’s Code Interpreter has a new /home/oai/skills folder.
• Skills currently support spreadsheets, docx, and PDFs, converting them to PNG for better layout retention.
• Generating a PDF summary on Kākāpō breeding took over eleven minutes due to detailed tweaking.
• Codex CLI introduced experimental support for skills through a recent PR.
• Any folder in ~/.codex/skills is treated as a skill per documentation.
• Users can create and customize skills for specific tasks in Codex CLI.

💬 Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig

• uvm32 là một máy ảo tối giản, không phụ thuộc, thiết kế cho microcontrollers và thiết bị hạn chế tài nguyên.
• Kích thước yêu cầu trên STM32L0 (ARM Cortex-M0+) dưới 4KB flash/1KB RAM.
• uvm32 hoạt động như một trình mô phỏng RISC-V, đi kèm với giao diện quản lý và công cụ để xây dựng mã hiệu quả.
• Nó phục vụ như một giải pháp thay thế cho các engine script nhúng như Lua, MicroPython.
• uvm32 cách ly các phần không đáng tin cậy của hệ thống trong môi trường an toàn.
• Thiết kế không chặn ngăn không cho bytecode hoạt động sai làm treo hệ thống chính.
• uvm32 không phải là một trình mô phỏng phần cứng mà nhằm thực thi logic script tùy chỉnh.
• Ưu điểm của uvm32 bao gồm kích thước nhỏ, hỗ trợ các ngôn ngữ lập trình phổ biến và dễ tích hợp vào phần mềm hiện có.
• Nó không hỗ trợ FFI mượt mà và không nhằm đạt hiệu suất tối đa.
• Mọi mã nguồn đều nằm trong uvm32 với một ví dụ tối thiểu để chạy mã có sẵn trong host-mini.

Open Source Projects - Latest Discoveries

Manage multiple command-line downloaders through a visual interface
Simplify personal data archival by merging all streams into one timeline
Like Vercel, but open source and for all languages.
Track real-time stock prices and set personalized alerts for free with this open-source tool
A novel open-source data compression framework from facebook
Rust full node implementation of the Fuel v2 protocol.
1 min voice cloning
LLM inference in C/C++
Search directories for a regex pattern while respecting your gitignore
Make websites accessible for AI agents

DEV Community

Static Analysis of Program Quality: Implementasi Standar Kualitas Kode pada Modul Reply
🖥️ SSH Manager - VS Code Extension
Eleva tu app Android: patrones de arquitectura con Jetpack Compose
DEVLOG – How to Move Straight in a Line?
The Architecture of Agent Memory: How LangGraph Really Works
Building the Ultimate Reddit Scraper: A Full-Featured, API-Free Data Collection Suite
I built a habit tracker app with Xano
Title: Elevating Productivity: The Benefits of Portable Mechanical Keyboards for Writers and Tech Enthusiasts
Why Idempotency Is So Important in Data Engineering
Porting Zod to C#: ZodSharp – A Zero-Allocation, High-Performance Schema Validation Library for .NET
REST API Calls for Data Engineers: A Practical Guide with Examples
Linux Without Fanboyism: An Honest Developer’s Perspective