Empty Name
رفتن به کانال در Telegram
433
مشترکین
اطلاعاتی وجود ندارد24 ساعت
اطلاعاتی وجود ندارد7 روز
اطلاعاتی وجود ندارد30 روز
در حال بارگیری داده...
کانال‌های مشابه
ابر برچسب‌ها
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
اکتبر '26اکتبر '26
اکتبر '26
+2
در 0 کانال‌ها
سپتامبر '260
در 1 کانال‌ها
Get PRO
اوت '260
در 0 کانال‌ها
Get PRO
ژوئیه '260
در 0 کانال‌ها
Get PRO
ژوئن '260
در 1 کانال‌ها
Get PRO
مه '260
در 0 کانال‌ها
Get PRO
آوریل '260
در 0 کانال‌ها
Get PRO
مارس '260
در 0 کانال‌ها
Get PRO
فوریه '260
در 0 کانال‌ها
Get PRO
ژانویه '260
در 0 کانال‌ها
Get PRO
دسامبر '250
در 0 کانال‌ها
Get PRO
نوامبر '250
در 0 کانال‌ها
Get PRO
اکتبر '250
در 0 کانال‌ها
Get PRO
سپتامبر '250
در 0 کانال‌ها
Get PRO
اوت '250
در 0 کانال‌ها
Get PRO
ژوئیه '250
در 0 کانال‌ها
Get PRO
ژوئن '250
در 1 کانال‌ها
Get PRO
مه '250
در 0 کانال‌ها
Get PRO
آوریل '250
در 1 کانال‌ها
Get PRO
مارس '250
در 0 کانال‌ها
Get PRO
فوریه '250
در 0 کانال‌ها
Get PRO
ژانویه '250
در 0 کانال‌ها
Get PRO
دسامبر '240
در 0 کانال‌ها
Get PRO
نوامبر '240
در 0 کانال‌ها
Get PRO
اکتبر '240
در 0 کانال‌ها
Get PRO
سپتامبر '240
در 0 کانال‌ها
Get PRO
اوت '240
در 0 کانال‌ها
Get PRO
ژوئیه '24
+5
در 0 کانال‌ها
Get PRO
ژوئن '24
+3
در 0 کانال‌ها
Get PRO
مه '24
+3
در 0 کانال‌ها
Get PRO
آوریل '24
+21
در 0 کانال‌ها
Get PRO
مارس '24
+12
در 0 کانال‌ها
Get PRO
فوریه '24
+12
در 1 کانال‌ها
Get PRO
ژانویه '24
+46
در 3 کانال‌ها
Get PRO
دسامبر '23
+26
در 0 کانال‌ها
Get PRO
نوامبر '23
+14
در 0 کانال‌ها
Get PRO
اکتبر '23
+22
در 2 کانال‌ها
Get PRO
سپتامبر '23
+12
در 0 کانال‌ها
Get PRO
اوت '23
+32
در 0 کانال‌ها
Get PRO
ژوئیه '23
+14
در 0 کانال‌ها
Get PRO
ژوئن '23
+29
در 0 کانال‌ها
Get PRO
مه '23
+51
در 0 کانال‌ها
Get PRO
آوریل '23
+60
در 0 کانال‌ها
Get PRO
مارس '23
+27
در 0 کانال‌ها
Get PRO
فوریه '23
+367
در 0 کانال‌ها
| تاریخ | رشد مشترکین | اشارات | کانال‌ها | |
| 15 اکتبر | +2 | |||
| 14 اکتبر | 0 | |||
| 13 اکتبر | 0 | |||
| 12 اکتبر | 0 | |||
| 11 اکتبر | 0 |
پست‌های کانال
нравится что новое приложение тиньков маскируется как трекер консервов и презервов.
В любой непонятной ситуация пей чай и делай закатки на зиму.
| 2 | вообще этот пост сделал мой день
прочитав это письмо без подписи, подумаешь что автор – ебанутый дед | 141 |
| 3 | he is just like me gang | 140 |
| 4 | извините, слишком смешно чтобы не запостить
[ALGTOP-L] A counter-attack
Dear all,
I am a retired mathematician, not dead yet.
I made some contributions to higher category theory.
I have followed closely the discussion on AI on the alg-top list, and I agree that mathematics is presently under attack. Do I need to remind you that mathematicians are not powerless? Mathematics is knowledge, and knowledge is power! A possible line of defense is to counter-attack. The first things would be to gain a bit of power by developing a good mathematical theory of artificial intelligence, especially of LLM. I admit my ignorance of the matter, although I tried to learn it by reading some literature, I have failed miserably, possibly because I am old and lazy, or because the literature on the technology under LLM is largely written by and for engineers. Frankly, I cannot believe that this technology is so complex that it cannot be fitted in a nice readable book using appropriate mathematical abstractions. If there is such a book, please let me know! Otherwise, I hope a generous and competent mathematician will write one; it will be a great service to our community! I dared to predict that once the technology under LLM is mastered by a fair number of mathematicians, it wont take long before they produce ideas for AI that are far better than those currently obtained from a purely engineering approach. And there is nothing wrong in using an AI model in the public domain to discover and to test such ideas. Our contributions to AI will give us some power in the industry, and that power will grow since mathematicians are very creative! Eventually, the industry will depend entirely on our mathematical theories!
I hope I am not just dreaming.
André Joyal | 137 |
| 5 | получил хуевую оценку
it’s over. I think I should kill myself now. | 170 |
| 6 | پیام صوتی | 171 |
| 7 | پیام صوتی | 170 |
| 8 | пришел в модный гейский отмеченный мишленом ресторан чел встал и начал играть на гитаре поздравляя своего партнера
все похлопали
баварцы мы | 164 |
| 9 | чзх сократ предсказал чатгпт
SOCRATES: [The god Theuth] invented numbers and arithmetic and geometry and astronomy, also draughts and dice, and, most important of all, letters. Now the king of all Egypt at that time was the god Thamus […]. To him came Theuth to show his inventions, saying that they ought to be imparted to the other Egyptians. […] [W]hen they came to the letters, “This invention, O king,” said Theuth, “will make the Egyptians wiser and will improve their memories; for it is an elixir of memory and wisdom that I have discovered.” But Thamus replied, “Most ingenious Theuth, one man has the ability to beget arts, but the ability to judge of their usefulness or harmfulness to their users belongs to another; and now you, who are the father of letters, have been led by your affection to ascribe to them a power the opposite of that which they really possess. For this invention will produce forgetfulness in the minds of those who learn to use it, because they will not practice their memory. Their trust in writing, produced by external characters which are no part of themselves, will discourage the use of their own memory within them. You have invented an elixir not of memory, but of reminding; and you offer your pupils the appearance of wisdom, not true wisdom, for they will read many things without instruction and will therefore seem to know many things, when they are for the most part ignorant and hard to get along with, since they are not wise, but only appear wise.” | 169 |
| 10 |  Oh I'm in Bavaria? Splendid | 194 |
| 11 | дали посмотреть моему немецкому флэтмэйту этот гем после часового обсуждения СВО с ним и уругвайским флэтмэйтом за бокалом хереса
https://www.youtube.com/watch?v=rzXPyCY7jbs | 175 |
| 12 | ойойой завтра в школу | 171 |
| 13 |  بدون متن... | 241 |
| 14 | вообще мой метатезис о кино это что самые великие фильмы всегда можно трактовать как фильмы о том как режиссер борется с тем чтобы снять THE MOVIE (ergo мегалополис это самый великий THE MOVIE about making THE MOVIE) | 290 |
| 15 |  my9movies.net/en
проходим | 261 |
| 16 |  слон сидит с дивана рассказывает полулежа | 333 |
| 17 | а все начиналось с курсовой по теории референции крипке | 322 |
| 18 | про HoTTLean читать здесь | 306 |
| 19 | Магистерская
нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный)
он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в SEPe по ним)
еще думаю ко-супервайзером попросить либо Ляйтгеба (так как big хуй with big name), либо людей из группы theoretical computer science которые занимаются Лином
__
теперь про тему
ВИДИМО, моя магистерская будет про формализацию higher inductive types в HoTTLean/SynthLean (то есть эмбеддинг HoTT в Lean через группоиды)
тему я выбрал из-за разговора с Ауди на конференции
на данный момент, выглядит сложно пиздец и выше моей головы (еще и дохуя кодить, прости господи), посмотрим как пойдет | 296 |
| 20 | почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь) | 236 |
