daily-digest

Hacker News: Best

🔥 10 Years of Let’s Encrypt
Vào ngày 14 tháng 9 năm 2015, Let’s Encrypt đã phát hành chứng chỉ công khai đầu tiên, đánh dấu sự khởi đầu của hành trình trở thành nhà cung cấp chứng chỉ lớn nhất thế giới với hàng tỷ chứng chỉ đã phát hành. Trong một thập kỷ qua, Let’s Encrypt đã thành công trong việc tăng cường tỷ lệ kết nối HTTPS trên internet lên khoảng 80%, cải thiện đáng kể mức độ bảo mật web cho người dùng. Sự phát triển này chủ yếu đến từ sự mở rộng của internet, cùng với những nỗ lực không ngừng của đội ngũ kỹ thuật trong việc tự động hóa quy trình cấp phát chứng chỉ.

🔥 If you’re going to vibe code, why not do it in C?
Stephen Ramsay bày tỏ sự đam mê lập trình và quan điểm về “vibe coding”. Mặc dù nó có thể hiệu quả trong việc tạo ra các hệ thống phức tạp, Ramsay cho rằng lập trình cần được viết để con người có thể đọc và hiểu, không chỉ để máy tính thực thi. Ông khẳng định rằng giá trị của một ngôn ngữ lập trình nằm ở khả năng giúp con người diễn đạt và tư duy về quy trình, chứ không chỉ là tính năng kỹ thuật của nó.

💬 PeerTube is recognized as a digital public good by Digital Public Goods Alliance
PeerTube là công cụ để lưu trữ, quản lý và chia sẻ video hoặc livestream. Nó được hỗ trợ bởi nhiều tổ chức, bao gồm Bộ Giáo dục Quốc gia Pháp và một số trường đại học trên toàn thế giới. PeerTube cung cấp đa ngôn ngữ và đã đáp ứng các tiêu chuẩn DPG cho hiệu suất của nó.

🔥 Handsdown one of the coolest 3D websites
Bruno Simon là một nhà phát triển sáng tạo chuyên về web và đây là danh mục đầu tư của anh. Hãy khám phá để tìm hiểu thêm về Bruno cùng những bí mật bất ngờ trong thế giới của anh. Nhớ không làm hỏng bất cứ điều gì trong khi khám phá!

🔥 Ask HN: Should “I asked $AI, and it said” replies be forbidden in HN guidelines?
Một người dùng trên Hacker News đang mở cuộc thảo luận về việc có nên cấm các bình luận dạng “Tôi đã hỏi $AI, và nó đã nói …” hay không. Khi các LLM ngày càng phổ biến, những phản hồi dạng này có thể gây khó khăn cho việc đọc các bài viết và bình luận từ con người. Họ kêu gọi cập nhật nguyên tắc của HN để làm rõ nên có hay không việc cho phép các phản hồi này.

🔥 Apple’s slow AI pace becomes a strength as market grows weary of spending
🔥 Pebble Index 01 – External memory for your brain
Pebble Index 01 là một chiếc nhẫn thông minh nhỏ gọn giúp bạn ghi lại ý tưởng ngay lập tức và lưu trữ chúng an toàn trên điện thoại mà không cần internet. Với thiết kế tiện lợi và khả năng riêng tư cao, bạn có thể sử dụng nó dễ dàng trong mọi tình huống mà không cần phải lấy điện thoại ra. Giá đặt trước là 75 USD và sẽ tăng lên 99 USD sau khi giao hàng toàn cầu bắt đầu vào tháng 3 năm 2026.

🔥 Show HN: Gemini Pro 3 hallucinates the HN front page 10 years from now
SpaceX đã thành công trong việc thu thập thông tin từ Starship HLS-9 trên Mặt Trăng. Đồng thời, hệ điều hành Linux 7.4 đã tích hợp một kernel hoàn toàn viết bằng Rust. Chương trình ITER cũng đã đạt được mốc năng lượng tích cực trong 20 phút liên tiếp.

🔥 Mistral releases Devstral2 and Mistral Vibe CLI
Hôm nay, chúng tôi phát hành Devstral 2, gia đình mô hình mã nguồn mở thế hệ tiếp theo với hai kích thước: Devstral 2 (123B) và Devstral Small 2 (24B), hỗ trợ sử dụng miễn phí qua API. Mistral Vibe CLI, trợ lý lập trình dòng lệnh mã nguồn mở, cũng được giới thiệu để tự động hóa quy trình mã hóa. Devstral 2 đạt 72.2% trên SWE-bench Verified, khẳng định vị thế hàng đầu với hiệu suất cao và chi phí thấp.

🔥 Horses: AI progress is steady. Human equivalence is sudden
Trong buổi nói chuyện ngắn này, tác giả so sánh sự phát triển của công nghệ từ động cơ hơi nước đến AI với ngựa và cờ vua. Trong khi ngựa không nhận thấy sự tiến bộ trong 200 năm, thì sự thay đổi trong công nghệ cờ vua và AI lại diễn ra nhanh chóng, vượt qua con người chỉ trong vài năm. Tác giả bày tỏ sự lo ngại về tốc độ tự động hóa mà AI mang lại, cho rằng thời gian mà con người có thể tồn tại bên cạnh AI có thể ngắn hơn so với những năm mà ngựa đã tồn tại bên cạnh động cơ.

Simon Willison’s Weblog

10 Years of Let’s Encrypt
Vào ngày 14 tháng 9 năm 2015, Let’s Encrypt đã phát hành chứng chỉ công khai đầu tiên và hiện là tổ chức chứng chỉ lớn nhất thế giới. Chỉ sau hai năm, số lượng chứng chỉ phát hành mỗi ngày đã đạt một triệu, và đến cuối năm 2025, con số này thường xuyên lên tới mười triệu. Tỷ lệ lưu lượng Firefox được bảo vệ bởi HTTPS cũng tăng đáng kể từ 39% vào đầu năm 2016 lên khoảng 80% hiện nay.

Devstral 2
Mistral vừa ra mắt hai mẫu mới là Devstral 2 và Devstral Small 2, tập trung vào việc hỗ trợ các coding agents như Mistral Vibe. Devstral 2 là mô hình 123B đạt hiệu suất 72.2% trên SWE-bench Verified và chi phí hiệu quả gấp 7 lần so với Claude Sonnet. Trong khi đó, Devstral Small 2 là mô hình 24B dưới giấy phép Apache 2, cho phép sử dụng không hạn chế.

Under the hood of Canada Spends with Brendan Samek
Tôi đã nói chuyện với Brendan Samek về Canada Spends, một dự án từ Build Canada nhằm làm cho dữ liệu tài chính của chính phủ Canada dễ tiếp cận hơn qua việc sử dụng Datasette, Ruby ingestion scripts, sqlite-utils và công cụ trích xuất PDF dựa trên LLM. Build Canada, ra mắt vào tháng 2 năm 2025, là một tổ chức phi lợi nhuận do tình nguyện viên điều hành với mục tiêu khuyến khích khởi nghiệp và công nghệ. Dự án này cung cấp một cơ sở dữ liệu hợp đồng chính phủ và công cụ trực quan hóa nguồn thuế, đồng thời sử dụng Gemini để trích xuất dữ liệu từ các tài liệu PDF.

Agentic AI Foundation
Quỹ Agentic AI đã ra mắt dưới sự bảo trợ của Linux Foundation, với những thành viên sáng lập chủ lực như AWS, Anthropic, Google và OpenAI. Mục tiêu của quỹ là tạo ra một nền tảng mở và trung lập cho sự phát triển của AI agentic một cách minh bạch và hợp tác. Tôi mong muốn quỹ này có thể phát triển một thông số kỹ thuật rõ ràng và được quản lý bởi cộng đồng cho OpenAI Chat Completions JSON API.

mistralai/mistral-vibe
Mistral vừa phát hành mã nguồn của “Vibe”, một CLI coding agent mới, theo giấy phép Apache 2.0, đồng thời với Devstral 2. Vibe được xây dựng bằng Python, sử dụng Pydantic và Rich/Textual, với cấu trúc mã nguồn dễ đọc và các prompt được tổ chức trong các tệp Markdown. Tôi đã thử nghiệm và tạo ra một trò chơi Space Invaders sử dụng three.js, với mã nguồn và trò chơi trực tuyến có sẵn trong kho lưu trữ của tôi.

Quoting Claude
Có một vấn đề nghiêm trọng khi dòng lệnh sau được thực thi: rm -rf tests/ patches/ plan/ ~/. Dấu ~/ ở cuối chỉ định rằng toàn bộ thư mục người dùng bị xóa. Điều này đã khiến Claude Code xóa hầu hết dữ liệu trên máy Mac của người dùng một cách không mong muốn.

Prediction: AI will make formal verification go mainstream
Dự đoán rằng AI sẽ đưa formal verification trở nên phổ biến hơn, theo Martin Kleppmann, với sự trợ giúp của các ngôn ngữ như Dafny, Nagini và Verus. Code được tạo ra bởi LLMs có thể được hưởng lợi rất nhiều từ việc xác minh mạnh mẽ, và chính LLMs giúp việc làm việc với các hệ thống khó khăn này trở nên dễ dàng hơn. Nghiên cứu của JetBrains vào tháng 3 năm 2025 cho thấy Claude 3.5 Sonnet đã có kết quả khả quan với ba ngôn ngữ trên.

The Pragmatic Engineer

Building MCP servers in the real world
Giao thức Model Context Protocol (MCP) được phát hành bởi Anthropic cách đây một năm và đang ghi nhận sự phát triển mạnh mẽ trong số lượng nhà phát triển xây dựng máy chủ MCP. MCP cho phép các tác nhân như Claude Code và Cursor Agent cải thiện khả năng sử dụng dịch vụ, truy vấn tài liệu và tối ưu hóa hiệu suất, với việc áp dụng rộng rãi trong các công ty khởi nghiệp và ngành công nghiệp quy định như hàng không. Tuy nhiên, vấn đề bảo mật vẫn là thách thức lớn đối với MCP và các LLM, đòi hỏi cần có các thực hành bảo mật hợp lý để đảm bảo an toàn khi triển khai.

Manager.dev

The ‘delayed opinions givers’ - engineering teams everybody hates

Shadow work in engineering teams

Give your engineers a kingdom

The price of mandatory code reviews

Engineering velocity on steroids

Build your engineering team like a dungeon party

The EM’s guide to AI adoption (without your engineers hating it)

What’s next for manager.dev and for me

$7B startup Head of Engineering and dad of 5 builds a profitable side project

3D No-Code, nights and weekends - a director of engineering’s side project

Building a $5K ARR Side Project While Managing 9 Engineers

How an EM’s Side Project Reached 1,800 GitHub Stars

10 simple internal tools any EM can build in under 2 hours

Engineering Management in the Age of Agents

Why things just work around some EMs

Team got cut. Scope didn’t.

Landing an EM role in 2025

Stop forcing AI tools on your engineers

When a PM takes over engineering

The software engineering “squeeze”

Open Source Projects - Latest Discoveries

Modern authentication, on your terms. Open source alternative to Auth0, Clerk, WorkOS, Stytch.
UNIX-like reverse engineering framework and command-line toolset.
Open-source live-chat, email support, omni-channel desk. An alternative to Intercom, Zendesk, Salesf…
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
The open-source stack for building, running and managing multi-agent systems
SuperSonic is the next-generation AI+BI platform that unifies Chat BI and Headless BI paradigms
Public documentation for Visual Studio Code
Metering and Billing for AI, API and DevOps
JavaScript animation engine
A free, open source, and extensible speech-to-text application that works completely offline.
A GUI front-end for youtube-dl, partly based on youtube-dl-gui
Deploy AI agents that leverage hundreds of MCP services

DEV Community

Tailscale + Raspberry Pi: HomeLab Gateway
The PrestaShop Modules “Jungle”: An Unexpected Opportunity for Your Site?
2.Create Ansible Inventory for App Server Testing
System Design for Your Brain: Architecting a Scalable LeetCode Retention Strategy
Wendy’s Menu USA 2025: Prices, Calories and Developer Friendly JSON Dataset
Prefix Sum Technique on LeetCode for Beginners: From Intuition to Patterns
How to Recognize LeetCode Problem Patterns Without Memorizing Every Solution
Why “Productivity” Won’t Save You: How I Built My Way Out of a Rut
From Learning to Creating: 5-Day AI Agents Journey
Linear Algebra for AI — Part 2: Deep Understanding of Vectors
🚀 Deploying MongoDB on Docker with Secure Host Directory Mounts Using ACLs (Without Changing Permissions)
Demystifying AI: From Theory to Practical Implementation