◀ Năm trước | ◁ Tháng trước | << Tuần trước | < Ngày trước | 2026-04-29 | Ngày sau >
21
 

Ghostty rời GitHub

 (mitchellh.com)
Ghostty sẽ rời GitHub vì các sự cố lặp lại đã cản trở công việc thực tế, và dự án sẽ giảm dần sự phụ thuộc trong khi giữ lại một mirror chỉ đọc.
5 điểm bởi GN⁺ 1 ngày trước | 3 bình luận
22
 

Phát hành trình duyệt Dillo 3.3.0

 (dillo-browser.org)
Dillo 3.3.0 bổ sung điều khiển từ xa qua `dilloc`, cải thiện đăng nhập OAuth, thêm hỗ trợ thử nghiệm FLTK 1.4 và nhiều nâng cấp về tính năng lẫn độ ổn định.
4 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
23
 

Những điều tôi nhận ra sau khi viết 50 công cụ MCP: gọi hàm là một mối quan hệ thân mật bất thường

 (evan-moon.github.io)
Một bài viết phân tích vì sao thiết kế công cụ MCP khác RPC ở chỗ ý định, mô tả và niềm tin trở thành trung tâm thay vì chỉ là chữ ký hàm.
6 điểm bởi bboydart91 1 ngày trước | Bình luận và thảo luận
24
 

Prompt API

 (developer.chrome.com)
Prompt API cho phép gửi yêu cầu ngôn ngữ tự nhiên tới Gemini Nano trong Chrome để xử lý AI on-device với hỗ trợ đa phương thức, đầu ra có cấu trúc và quản lý ngữ cảnh.
5 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
25
 

Vì sao không đơn giản chỉ dùng Lean

 (lawrencecpaulson.github.io)
Một bài nhìn lại lịch sử các proof assistant ngoài Lean, đồng thời lý giải vì sao Isabelle và các hướng tiếp cận khác vẫn có chỗ đứng trong hình thức hóa toán học hiện đại.
1 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
26
 

Gửi đến sinh viên

 (ozark.hendrix.edu)
Một lời nhắn gửi tới sinh viên ngành điện toán: hãy đặt con người, đạo đức và suy nghĩ sâu lên trên lợi nhuận, tốc độ và diễn ngôn công nghệ thống trị.
1 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
27
 

Warp công bố chuyển sang mã nguồn mở và mô hình phát triển lấy tác nhân làm trung tâm

 (x.com/zachlloydtweets)
Warp đang mã nguồn mở Warp client theo giấy phép AGPL và tái cấu trúc quy trình phát triển theo mô hình ưu tiên tác nhân với Oz và sự hậu thuẫn từ OpenAI.
4 điểm bởi ragingwind 1 ngày trước | 1 bình luận
28
 

GitHub hiện đang gặp sự cố

 (githubstatus.com)
GitHub đang gặp sự cố khiến Pull Requests bị suy giảm hiệu năng và có thể không hiển thị đầy đủ kết quả đã được lập chỉ mục.
1 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
29
 

Super ZSNES - Trình giả lập SNES dựa trên GPU

 (zsnes.com)
Trình giả lập SNES dựa trên GPU được viết lại từ ZSNES, hỗ trợ tăng cường đồ họa, UI độ phân giải cao và nhiều tính năng tiện ích hiện đại.
1 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
30
 

Quarkdown - Markdown được tăng cường các tính năng mạnh mẽ

 (quarkdown.com)
Quarkdown kết hợp Markdown với khả năng dàn trang cấp độ LaTeX để tạo tài liệu, sách, slide và website tĩnh trong một công cụ mã nguồn mở duy nhất.
2 điểm bởi GN⁺ 1 ngày trước | 1 bình luận
31
 

Warp công bố mã nguồn mở cho môi trường phát triển agentic dựa trên terminal

 (github.com/warpdotdev)
Warp đã mã nguồn mở terminal của mình và cùng lúc thử nghiệm cách tiếp nhận đóng góp mã nguồn mở với sự hỗ trợ của tác nhân AI.
6 điểm bởi happyhaki 1 ngày trước | 4 bình luận