
M
233 posts


@pouriazeraati خاک تو سر اپوزیسیون که با این همه فاندی که گرفتن یک فیلترشکن درست و حسابی نتونستن فراهم کنن ، اینم از ماهواره !
فارسی

فرکانس اصلی رو اگه زدن برنامهها رو از فرکانسهای توییت کوت شده دنبال کنید:
به دوستان و خانواده هم بفرستید ✌🏼
ايران اينترنشنال@IranIntl
شبکه ایران اینترنشنال اعلام کرد مخاطبان میتوانند پخش این شبکه را از طریق چندین ماهواره و فرکانس مختلف در کیفیت HD و SD دریافت کنند. این شبکه افزود مخاطبان برای دسترسی آسانتر میتوانند از اطلاعات بهروزشده فرکانسهای پخش به شرح زیر استفاده کنند: Iran International HD TurkmenAlem 10762 V 27500 TurkmenAlem 10762 H 30000 TurkmenAlem 11343 H 27500 Eutelsat 7A-7B 11304 H 29700 Eutelsat 7A-7B 11262 H 27500 Badr26E 11785 V 27500 Azerspace1 11135 H 30000 Iran International SD TurkmenAlem 10845 V 27500 TurkmenAlem 11343 H 27500 Hotbird13E 11137 H 27500 مخاطبان میتوانند با تنظیم گیرندههای ماهوارهای خود بر اساس این اطلاعات، برنامههای ایران اینترنشنال را دریافت کنند. iranintl.com/202602264499
فارسی

@bengoertzel کلاهبردار ، داستان سرایی نکن ، چندین سال هست با این حرفها دیگران رو گول میزنی، شما یک مدل ساده زبانی را به زور پیاده سازی می کنید اما برای دیگران نمایش علمی تخیلی ارایه میدی ، قیمت $fet خود گویای همه چیز هست
فارسی

Hmm, so I tried to coax a fully human-readable proof of the Four-Color Map Theorem out of a few LLMs, based on the Kauffman/Spencer-Brown direction plus some goofball ideas of my own (e.g. replacing Laws of Form with Constructible Duality Logic) ... (here it is, just for fun: drive.google.com/file/d/1KXX2hX… ).
I was hoping I could then formally verify (or refute) the proof, but unfortunately to work around some tricky issues I ended up introducing some quantum topology ideas in the proof, and it turns out we don't yet have nice Lean4 (or similar) formalizations of Penrose-Kauffman colorings and related quantum topology stuff .... So we need to get a little further with accelerated auto-formalization first... Josef Urban and @QonoVuor and others are pushing this forward fast though...
We are so so close to automating math at a superhuman level, on a historical time-scale, but there is still a bunch of plumbing to push through...
And what I see with using LLMs + autoformalizers to do math is, there is still a significant missing link of creativity .... For instance if this 4-color proof is actually correct, this will be largely due to my own weird idea about how to introduce quantum topology into the proof, which is an idea the LLMs did not come close to introducing themselves, even though they "know" way more quantum topology than I do...
However we can likely supply that missing link of creativity with Hyperon... and then...
English

@Terror_Alarm فرصت خوبی برای ساخت هر جور موشک و بمبی هست برای جمهوری اسلامی و توان آمریکا هم مشخص شد که عرضه جنگیدن نداره
فارسی

@ircfspace دقیقا بعد از وصل محدود اینترنت ویدیوها و خبرها منتشر شد و استارلینک ها و حمایت ایلان ماسک هم فیک بود ، آمریکا که ستون فقرات اینترنت دستش هست یه فیلترشکن درست و حسابی نتونسته در اختیار مردم قرار بده .
فارسی

@13_MA_13 وقتی احکام سنگین برای داشتن استارلینک بریدن، زیاد نمیشه به روشن موندن دستگاههای موجود خوشبین بود، ولی خیلی از تصاویر و گزارشهایی که در قطع سراسری اینترنت به بیرون درز کرد با همین استارلینک بود.
فارسی

@ManotoNews پس منظورش از دست به ماشه ایم و کمک در راه هست چه بود ؟ این فکر میکنه جمهوری اسلامی در این مدت بیکار میشینه!
فارسی

@cryptoF0XXY هیچکدوم از اینها کاهش ۲۰ برابری نداشتند ، کلاهبرداری fet در بازار بینظیره
فارسی

@cryptoF0XXY و متفاوت از همه گروه کلاهبردار fet هست که همیشه نزولی است و بدترین عملکرد رو داره ، عین گداها از پول fet دارن حقوق کارمندا رو میدن ، بدون هیچ درآمدزایی
فارسی

I notice the concept and term of "world modeling" pops up a lot recently -- from @GaryMarcus , @ylecun and others -- as one of the shortcomings of current LLM systems, and a critical aspect of human-level and superhuman AGI.
I have mixed feelings on this recent fixation on world-modeling. Yes, world-modeling is important and yes current LLMs are highly erratic at performing it. However it's not some big mysterious thing that needs some currently-uncomprehended magic. If one builds a sensible AGI architecture with all the components one would naturally expect in a human-like artificial mind, world-modeling will emerge from the interaction of the components in a fairly natural way.
For those interested to think about this in more depth, here is the general approach to world-modeling we are taking in the Hyperon project:
drive.google.com/file/d/1qzwq8n…
It is involved and a bit complex and doesn't lend itself to Twitter-friendly buzz-phrases, but neither does the tangle of networks via which the human brain does world-modeling.
As background, here is a high-level overview on the Hyperon / PRIMUS AGI design
drive.google.com/file/d/1dWlnjj…
And here is a quick download on hierarchical modular hypervectors, which play a role in the above world-modeling architecture (as an associative-memory representation, and as an intermediary btw symbolic and dense-vector representations):
drive.google.com/file/d/1Ubk8sw…
Yes I know, Hyperon is not an HLAGI yet, and the proof of the pudding will be in the eating. However if folks are actually interested in world-modeling, I'm just pointing out there are clear concrete approaches being taken to achieve it at the AGI level, it's not some big mystery voodoo thing...
English

@slow_developer وقتی کلاهبرداری میکنی باید فکر این روزارو هم بکنی ، دیگه کسی به شما اعتماد نمیکنه دروغگوی کثیف
فارسی

JUST IN: 5M $FET (~$1.06M) moved from 0xbb0D (labeled Fetch.ai / suspected team wallet) to DWF Labs’ Binance deposit, then forwarded to a Binance hot wallet ~10 minutes later.

English

Top 10 BEST Moments of Fetch ai / ASI Crypto in 2025
Fetch Holders, welcome back! In this video, I'll be discussing the top 10 moments of 2025 for $FET and the Artificial Superintelligence Alliance, giving you a full ranking of the key developments.
While the price might not have been what we expected, we're focusing on the positive aspects of the past year.
@Fetch_ai @ASI_Alliance
English


✨✨💫💫From Chill to Full-on Flex: 10 Days of ASI:One Glow-Up Magic ✨✨💫💫
3/10 My ASI:One agent can collaborate 💁🏻♀️💁♂️👬🏌️♀️🏋🏻♀️ with other agents instead of working alone. In this video, I ask ASI:One to collaborate with my colleague Tejus Gupta and check if he’s free at 10 AM using calendar access 🌟
ASI:One connects directly with his agent, confirms availability, and then schedules a 30-minute meeting, adding it to both our calendars. No manual messages. No calendar back-and-forth.
@Fetch_ai @fetch_ai_IL @Agentverse_ai
English













