496
Підписники
Немає даних24 години
Немає даних7 днів
Немає даних30 днів
Архів дописів
433
нравится что новое приложение тиньков маскируется как трекер консервов и презервов.
В любой непонятной ситуация пей чай и делай закатки на зиму.
433
вообще этот пост сделал мой день
прочитав это письмо без подписи, подумаешь что автор – ебанутый дед
433
Repost from сладко стянул
извините, слишком смешно чтобы не запостить
[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
433
пришел в модный гейский отмеченный мишленом ресторан чел встал и начал играть на гитаре поздравляя своего партнера
все похлопали
баварцы мы
433
чзх сократ предсказал чатгпт
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.”
433
дали посмотреть моему немецкому флэтмэйту этот гем после часового обсуждения СВО с ним и уругвайским флэтмэйтом за бокалом хереса
https://www.youtube.com/watch?v=rzXPyCY7jbs
433
вообще мой метатезис о кино это что самые великие фильмы всегда можно трактовать как фильмы о том как режиссер борется с тем чтобы снять THE MOVIE (ergo мегалополис это самый великий THE MOVIE about making THE MOVIE)
433
Магистерская
нашел научника, видимо буду писать с John Dougherty (очень приятный чел ирл + умный)
он физик по образованию, но также помогал формализовать HoTT в Коке и написал пару философско-физических статей про HoTT и gauge theories (написал энтри в SEPe по ним)
еще думаю ко-супервайзером попросить либо Ляйтгеба (так как big хуй with big name), либо людей из группы theoretical computer science которые занимаются Лином
__
теперь про тему
ВИДИМО, моя магистерская будет про формализацию higher inductive types в HoTTLean/SynthLean (то есть эмбеддинг HoTT в Lean через группоиды)
тему я выбрал из-за разговора с Ауди на конференции
на данный момент, выглядит сложно пиздец и выше моей головы (еще и дохуя кодить, прости господи), посмотрим как пойдет
433
почти (надеюсь) закончил все бюрократические и учебные дела за этот семестр. можно выдохнуть (надеюсь)
