Cửa hàng DApp | Trung tâm Web3 với các sự kiện và trò chơi

Chủ đề thịnh hành

Bonk Eco continues to show strength amid $USELESS rally

Pump.fun to raise $1B token sale, traders speculating on airdrop

Boop.Fun leading the way with a new launchpad on Solana.

BOOP+2,03%

Boopa-3,27%

PORK-3,43%

Kobi Gurkan

Tiền điện tử ứng dụng, bảo mật, những thứ thử nghiệm - Trưởng bộ phận Nghiên cứu @BainCapCrypto

Kobi Gurkan đã đăng lại

weijie.eth04:56 22 thg 7

TEEs vốn dĩ yêu cầu sự tin tưởng vào các nhà điều hành và nhà sản xuất, nhưng cũng có thể sử dụng chúng theo cách mà *cải thiện* an ninh của hệ thống mà không tạo ra các điểm nghẽn tin tưởng mới. Tôi đã viết về hai trường hợp sử dụng mà điều này là khả thi:

2,29K

Kobi Gurkan19:02 21 thg 7

Chào @TekGear, có ai đó dạy về Twiddler cho iOS không: 1. Được hướng dẫn bằng giọng nói, để bạn có thể luyện tập mà không cần nhìn vào màn hình? 2. Có một loại phản hồi bằng giọng nói nào đó để tôi có thể có trải nghiệm phản hồi về cách tôi gõ trong các ứng dụng thông thường? Tôi nghĩ rằng điều này tồn tại cho các phương pháp nhập liệu thay thế khác nhưng tôi chỉ không biết.

556

Kobi Gurkan đã đăng lại

guille07:53 10 thg 7

Vậy, một sự thật thú vị, hóa ra bạn có thể chứa một số lượng vector (đã chuẩn hóa) theo cấp số nhân trong một danh sách sao cho tích vô hướng giữa bất kỳ hai vector khác nhau nào cũng ≤ eps.

7,32K

Kobi Gurkan07:13 10 thg 7

Comet từ @perplexity_ai có thể chỉ hoạt động cục bộ không?

564

Kobi Gurkan19:09 7 thg 7

Đã xóa các chủ đề ban đầu của thí nghiệm của tôi để sử dụng Claude Code để chuyển longfellow-zk sang rust Tôi không hài lòng với cách trình bày, vì nó có thể khiến mọi người nhầm lẫn rằng điều gì đó tuyệt vời đã xảy ra trong khi nó thậm chí còn không hoạt động Để lại hình ảnh ở đây để tham khảo, và đã để lại các chủ đề cuối cùng rõ ràng hơn

1,78K

Kobi Gurkan04:24 7 thg 7

Tôi đã gặp một bài báo thú vị vào cuối tuần này về "Những Dấu Hiệu Sớm của Khả Năng Steganographic trong LLM Tiên Phong" Cụ thể, họ đang thử nghiệm các mô hình không được tinh chỉnh mà có sẵn rộng rãi, như GPT 4.5 1/4

1,46K

Kobi Gurkan23:59 6 thg 7

có vẻ như đây là một cơ hội thật sự thú vị cho sinh viên

Arantxa Zapico 🧉25 thg 6, 2025

🚨 ASCrypto 2025 đã đến! 🗓️ 29–30 tháng 9 | Medellín | Liên kết với Latincrypt 👨‍🏫 Học 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 từ các chuyên gia hàng đầu 💥 2 ngày, 3 mô-đun: IVC, STARKs, MPC 👥 Với @benediktbuenz, Sophia Yakoubov, @aszepieniec 👇

869

Kobi Gurkan01:52 6 thg 7

Cập nhật cuối cùng từ thí nghiệm - sau khi kiểm tra cẩn thận hơn, nó chứa nhiều triển khai thực tế hơn của các thành phần prover, bao gồm một fft hai chiều được tuyên bố, với các chỉ số cập nhật, mà chậm hơn. Hầu hết sự tham gia của tôi chủ yếu là kiểu "đây có phải là một triển khai thực sự không? Bạn có chắc không? Đừng đi tắt mà hãy làm việc trong một ngày nếu cần." Điều này đặt ra câu hỏi về việc một "quản lý trung gian cho LLMs" (như @alexhevans đã gọi) sẽ hoạt động tốt như thế nào ở đây 😅

Kobi Gurkan09:56 5 thg 7

ok, hơi xấu hổ một chút - tôi đã không cài đặt rust trên máy đó, vì vậy mã được tạo ra thậm chí không biên dịch được và các phép đo hiệu suất chỉ là ước lượng, như @MatteoFrig60839 cũng đã nhận thấy Tôi đã cố gắng nhiều hơn để đưa nó vào trạng thái tốt hơn, nhưng vẫn chưa phải là một triển khai hoàn chỉnh Tôi vẫn sẽ khá nghi ngờ nếu nó vừa đúng vừa nhanh hơn một triển khai C++ chất lượng sản xuất được làm thủ công cẩn thận Bài kiểm tra cuối cùng là có một chứng minh được tạo ra bằng rust được xác minh trong một trình xác minh C++ - tôi không thể làm đúng vào lúc này và sẽ cần thêm sự thúc đẩy Sẽ thật tuyệt nếu chúng ta có một hàm xác minh chứng minh đầy đủ tốt trong C++ và chỉ định CC hướng tới điều đó.

1,87K

Kobi Gurkan01:52 6 thg 7