Lưu trữ | GeekNews

Giải bài toán “Passport Application” của Vương quốc Anh bằng Haskell

(jameshaydon.github.io)

Một trường hợp dùng LogicT trong Haskell để mô hình hóa các yêu cầu giấy tờ đệ quy khi xin hộ chiếu Vương quốc Anh và tìm các đường chứng minh quốc tịch khác nhau.

1 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Hoàn thiện acticrawl.com chỉ trong 17 giờ với Claude Code: khả năng mới của hợp tác cùng AI

(youtube.com)

Dùng Claude Code, Rails 8 và TailwindCSS, dự án đã hoàn thiện toàn bộ frontend của một dịch vụ thu thập dữ liệu chỉ trong 17 giờ, từ thiết kế đến kiểm thử và triển khai.

36 điểm bởi bamchi 2025-06-29 | 9 bình luận

Phạm vi bản quyền của blog kỹ thuật doanh nghiệp là như thế nào?

Liệu việc chỉ tổng hợp tiêu đề và liên kết từ các blog kỹ thuật doanh nghiệp, kèm chức năng tìm kiếm cơ bản, có vi phạm bản quyền không?

2 điểm bởi dankim0124 2025-06-29 | 5 bình luận

BusyBeaver(6) thực sự rất lớn

(scottaaronson.blog)

Cận dưới của BB(6) vừa tăng lên tới mức ít nhất là 2 pentated to 5, cho thấy số Busy Beaver thứ 6 vượt xa mọi quy mô thực tế có thể quan sát được.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Bộ Quốc phòng Mỹ thông báo ngừng cung cấp dữ liệu thời tiết vệ tinh

(text.npr.org)

Bộ Quốc phòng Mỹ sẽ ngừng chia sẻ dữ liệu thời tiết vệ tinh, làm dấy lên lo ngại về dự báo bão và theo dõi băng biển ở hai cực.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Qwen VLo - từ việc 'hiểu' thế giới đến 'miêu tả' thế giới

(qwenlm.github.io)

Qwen VLo là mô hình preview mở rộng khả năng hiểu hình ảnh của Qwen sang tạo và chỉnh sửa ảnh bằng ngôn ngữ tự nhiên, gồm cả poster, chú thích và đầu vào đa ảnh.

1 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

SymbolicAI: Góc nhìn neuro-symbolic về LLM

(github.com/ExtensityAI)

SymbolicAI là framework neuro-symbolic kết hợp Python truyền thống với LLM, cung cấp primitive Symbol, contract kiểm chứng đầu ra và cơ chế cấu hình engine bắt buộc.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Trải nghiệm chạy hệ điều hành họ Unix Xv6 bằng CPU tự làm tại nhà và trình biên dịch C tự xây dựng

(fuel.edby.coffee)

Một nhóm sinh viên đã tự thiết kế CPU, xây dựng trình biên dịch C và port thành công Xv6 để chạy cả trên trình mô phỏng lẫn phần cứng thật.

12 điểm bởi GN⁺ 2025-06-29 | 4 bình luận

Sự nghiện ngập đang được thiết kế

(substack.com/masonyarbrough)

Các nền tảng xã hội mới thường lặp lại cùng mô hình gây nghiện vì bị chi phối bởi vốn mạo hiểm, quảng cáo và tối ưu hóa tương tác.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Cập nhật về nhãn hiệu JavaScript

(deno.com)

Deno tiếp tục theo đuổi việc hủy nhãn hiệu JavaScript của Oracle, tập trung vào lập luận rằng đây là tên gọi chung của một ngôn ngữ lập trình chứ không phải thương hiệu sản phẩm.

1 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Facebook bắt đầu xin quyền dùng Meta AI trên ảnh trước khi chia sẻ

(theverge.com)

Facebook đang thử nghiệm cho phép Meta AI xử lý ảnh chưa chia sẻ trong camera roll để tạo gợi ý nội dung, làm dấy lên lo ngại về quyền riêng tư và dữ liệu huấn luyện AI.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Tôi đã xóa bộ não thứ hai của mình

(joanwestenberg.com)

Bài viết chia sẻ trải nghiệm xóa “bộ não thứ hai” và nhấn mạnh rằng học thật, hành động thật quan trọng hơn việc tích lũy thông tin.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

Các sĩ quan IDF được lệnh nổ súng vào đám đông không vũ trang gần điểm phát lương thực ở Gaza

(haaretz.com)

Các lời khai nội bộ cho biết binh sĩ IDF đã nhận lệnh nổ súng vào đám đông Palestine không vũ trang gần các điểm phát lương thực ở Gaza.

1 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

SecTracker — nền tảng mã nguồn mở quản lý bug bounty và nghiên cứu bảo mật

(github.com/secfathy)

Nền tảng mã nguồn mở all-in-one giúp nhà nghiên cứu bảo mật quản lý bug bounty, theo dõi tiến độ và tích hợp công cụ nghiên cứu trên web stack hiện đại.

9 điểm bởi xguru 2025-06-29 | Bình luận và thảo luận

Copilot Chat của VS Code được phát hành mã nguồn mở

(github.com/microsoft)

Copilot Chat của VS Code đã được phát hành mã nguồn mở, hỗ trợ hỏi đáp ngôn ngữ tự nhiên và áp dụng đề xuất AI trực tiếp trong mã.

2 điểm bởi GN⁺ 2025-06-29 | 1 bình luận

MCP: Hệ thống plugin phổ dụng (một cách tình cờ)

(substack.com/worksonmymachine)

MCP ban đầu dành cho trợ lý AI nhưng thực tế có thể mở rộng thành một hệ thống plugin phổ dụng kết nối mọi nguồn dữ liệu và công cụ.

30 điểm bởi GN⁺ 2025-06-29 | 4 bình luận

FLUX.1 Kontext [Dev] – Công bố open-weight cho chỉnh sửa hình ảnh

(bfl.ai)

Black Forest Labs đã phát hành miễn phí open-weight của FLUX.1 Kontext [dev], mang khả năng chỉnh sửa hình ảnh tạo sinh 12B tham số chất lượng cao lên phần cứng tiêu dùng.

8 điểm bởi GN⁺ 2025-06-29 | 1 bình luận