À, nhận định của thầy là đúng. Bản thân state machine đúng là mang tính quyết định. Thứ tôi đưa vào trong manifesto là dựa trên nền tảng không Turing-complete, nên bên trong DSL không tồn tại vòng lặp. Nhờ đó, trước khi chạy chương trình, có thể tính trước chương trình sẽ hoạt động như thế nào và cũng có thể giải thích vì sao lại cho ra kết quả như vậy.
Tôi hiểu là anh/chị đã tạo ra một DSL, nhưng tôi vẫn chưa rõ máy trạng thái xác định là nói về điều gì. Cũng tự hỏi không biết có máy trạng thái không xác định hay không... Dù sao thì tôi đã đọc rất thú vị. Mong anh/chị tiếp tục trau chuốt và phát triển nó.
Hãy kiểm tra xem router bên thứ ba của bạn có chức năng chuyển đổi địa chỉ MAC hay không, rồi thử đổi sang địa chỉ của router do nhà mạng cung cấp thì có vẻ cũng có thể vượt qua được.
Ở những nơi như opencode hay hermes agent, claude oauth đã bị gỡ bỏ hoặc không được hỗ trợ, nhưng openai oauth thì đến giờ vẫn tiếp tục được cung cấp. Tôi cũng nghĩ kiểu “vì đã mua lại openclaw rồi nên chắc sẽ không chặn đâu nhỉ?” và đang dùng ở nhiều nơi.
Có một điều bạn nên biết là vì chỉ hỗ trợ các API mà codex hỗ trợ, nên những tính năng như tạo ảnh — dù dùng được trong ChatGPT nhưng không dùng được trong codex — thì có thể xem như là không dùng được.
Tôi cũng đã thử nghiệm với mục đích "thử nghiệm cá nhân" và thấy nó hoạt động quá dễ dàng.
Claude thì chặn không cho làm mấy thứ này,
nhưng nếu là OpenAI, bên khá thoải mái cho phép những thứ như OpenClaw, thì chắc họ sẽ không ngăn nếu chỉ dùng cho mục đích cá nhân thôi nhỉ...?
Tôi chỉ giới thiệu rằng có thứ như thế này thôi, nên hãy tự chịu trách nhiệm khi sử dụng.
Từ sau Reeder thì tôi hầu như không xem qua các trình đọc khác.
Nếu là người dùng RSS reader thì đây đúng là một bài viết khiến bạn thấy rất hứng thú.
Thiết kế thì tốt, nhưng có lẽ vì vẫn còn ở giai đoạn đầu nên việc chưa có tùy chỉnh phím tắt là một thiếu sót lớn.
Trước mắt tôi sẽ dùng thêm vài ngày nữa.
Nếu chu kỳ waterfall chỉ diễn ra trong một ngày thì sao?
Cũng có trên Ollama https://ollama.com/0xIbra/supergemma4-26b-uncensored-gguf-v2
Cả bản 31b lớn hơn một chút cũng có https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-mlx-4bit
https://huggingface.co/Jiunsong/SuperGemma4-31b-abliterated-GGUF
Haha, thật thú vị vì đây là một mô hình do cộng đồng trong nước tạo ra.
À, nhận định của thầy là đúng. Bản thân state machine đúng là mang tính quyết định. Thứ tôi đưa vào trong manifesto là dựa trên nền tảng không Turing-complete, nên bên trong DSL không tồn tại vòng lặp. Nhờ đó, trước khi chạy chương trình, có thể tính trước chương trình sẽ hoạt động như thế nào và cũng có thể giải thích vì sao lại cho ra kết quả như vậy.
Cảm ơn vì góp ý!
Tôi hiểu là anh/chị đã tạo ra một DSL, nhưng tôi vẫn chưa rõ máy trạng thái xác định là nói về điều gì. Cũng tự hỏi không biết có máy trạng thái không xác định hay không... Dù sao thì tôi đã đọc rất thú vị. Mong anh/chị tiếp tục trau chuốt và phát triển nó.
Không, việc tôi cho bạn xem state diagram chỉ là một trong những cách để trực quan hóa chuyển đổi trạng thái bên trong Manifesto.
Chúng tôi đã xây dựng state machine quyết định như một framework.
Các phép tính bên trong Manifesto Core được thiết kế để luôn cho ra cùng một kết quả với cùng một trạng thái và lệnh.
Tóm lại là bạn đã tạo ra một mini language để vẽ state diagram phải không?
Ngày càng có nhiều người giả vờ như chuyên gia thông qua AI, và khi họ bắt đầu ba hoa thì thế giới trở nên quá đỗi hỗn loạn.
...
Ồ. Nghe nói đã khôi phục rồi.
Hãy kiểm tra xem router bên thứ ba của bạn có chức năng chuyển đổi địa chỉ MAC hay không, rồi thử đổi sang địa chỉ của router do nhà mạng cung cấp thì có vẻ cũng có thể vượt qua được.
Tôi sẽ sử dụng rhwp thật tốt.
Đã khoảng 10 phút rồi. Tôi đang tìm trang status.
Cuối cùng cũng tìm ra công dụng cho chiếc Mac mini bị nhét xó bấy lâu nay rồi haha
Nếu biểu diễn bằng công thức, thì có vẻ là $eml(x, y) = e^x - ln(x)$ nhỉ
Tuy nhiên, có lẽ nó chỉ thực sự phát huy tác dụng khi xuất hiện bộ xử lý có thể tính $e^x$ hoặc $ln(x)$ trong một lần
Tôi đã nghĩ sẽ rất tốt nếu có thêm cả những hạng mục như số token tối thiểu.. tiếc thật.
Càng như vậy càng thấy cần phải cảnh giác rằng mình nên học khoa học máy tính.
Ở những nơi như opencode hay hermes agent,
claude oauthđã bị gỡ bỏ hoặc không được hỗ trợ, nhưngopenai oauththì đến giờ vẫn tiếp tục được cung cấp. Tôi cũng nghĩ kiểu “vì đã mua lại openclaw rồi nên chắc sẽ không chặn đâu nhỉ?” và đang dùng ở nhiều nơi.Có một điều bạn nên biết là vì chỉ hỗ trợ các API mà codex hỗ trợ, nên những tính năng như tạo ảnh — dù dùng được trong ChatGPT nhưng không dùng được trong codex — thì có thể xem như là không dùng được.
Tôi cũng đã thử nghiệm với mục đích "thử nghiệm cá nhân" và thấy nó hoạt động quá dễ dàng.
Claude thì chặn không cho làm mấy thứ này,
nhưng nếu là OpenAI, bên khá thoải mái cho phép những thứ như OpenClaw, thì chắc họ sẽ không ngăn nếu chỉ dùng cho mục đích cá nhân thôi nhỉ...?
Tôi chỉ giới thiệu rằng có thứ như thế này thôi, nên hãy tự chịu trách nhiệm khi sử dụng.
Từ sau Reeder thì tôi hầu như không xem qua các trình đọc khác. Nếu là người dùng RSS reader thì đây đúng là một bài viết khiến bạn thấy rất hứng thú.
Thiết kế thì tốt, nhưng có lẽ vì vẫn còn ở giai đoạn đầu nên việc chưa có tùy chỉnh phím tắt là một thiếu sót lớn. Trước mắt tôi sẽ dùng thêm vài ngày nữa.
Hahaha, đỉnh quá. Mình dùng KT nên chắc phải thử mới được.