Mike Potanin

this is actually insane > be tech guy in australia > adopt cancer riddled rescue dog, months to live > not_going_to_give_you_up.mp4 > pay $3,000 to sequence her tumor DNA > feed it to ChatGPT and AlphaFold > zero background in biology > identify mutated proteins, match them to drug targets > design a custom mRNA cancer vaccine from scratch > genomics professor is “gobsmacked” that some puppy lover did this on his own > need ethics approval to administer it > red tape takes longer than designing the vaccine > 3 months, finally approved > drive 10 hours to get rosie her first injection > tumor halves > coat gets glossy again > dog is alive and happy > professor: “if we can do this for a dog, why aren’t we rolling this out to humans?” one man with a chatbot, and $3,000 just outperformed the entire pharmaceutical discovery pipeline. we are going to cure so many diseases. I dont think people realize how good things are going to get

@merettm Are there any proof in Coq/Lean?

Very excited about the "First Proof" challenge. I believe novel frontier research is perhaps the most important way to evaluate capabilities of the next generation of AI models. We have run our internal model with limited human supervision on the ten proposed problems. The problems require expertise in their respective domains and are not easy to verify; based on feedback from experts, we believe at least six solutions (2, 4, 5, 6, 9, 10) have a high chance of being correct, and some further ones look promising. We will only publish the solution attempts after midnight (PT), per the authors' guidance - the sha256 hash of the PDF is d74f090af16fc8a19debf4c1fec11c0975be7d612bd5ae43c24ca939cd272b1a . This was a side-sprint executed in a week mostly by querying one of the models we're currently training; as such, the methodology we employed leaves a lot to be desired. We didn't provide proof ideas or mathematical suggestions to the model during this evaluation; for some solutions, we asked the model to expand upon some proofs, per expert feedback. We also manually facilitated a back-and-forth between this model and ChatGPT for verification, formatting and style. For some problems, we present the best of a few attempts according to human judgement. We are looking forward to more controlled evaluations in the next round! 1stproof.org #1stProof

@develop7 @nu_shell Let's wait until someone figures out how to fix this bug.

@MikePotanin @nu_shell No, it's ignoring relevant questions and signing off the code submitter doesn't seem to understand they don't like

@nu_shell team does not like AI. And they don't like to fix bugs too. github.com/nushell/nushel…

Нашу петицию уже подписало 99 человек. Когда каждый из тех кто подписал будет приглашать подписать петицию всего по 1 человеку в день, то количество подписавших будет удваиваться каждый день. И когда те кого мы пригласили подписать петицию будут делать так же, то всего за 27 дней можно собрать больше 8 млрд подписей, то есть сделать так, что всё население планеты подпишет петицию. При этом каждому потребуется пригласить не более 27 человек. change.org/p/declare-all-…

Найденную мной багу в nusрell он пофиксил. Слава роботам!

@drakonard github.com/potan/nushell/… It works! Will you make a pull request to the developers?

Let's play a game. I'm your open-source Genie at a GitHub land. You have your 3 wishes. Wishes can be expressed only as issues on GitHub. Waiting for your links. I will try my best to fulfill your wishes.

Пока США занимается Венесуелой, лишая Китай доступа к ее нефти, Китай мог бы заняться Ираном, организовав там переворот. Сильный был бы ход, но не в стиле Китая.

Светлое будущее настанет, когда ИИ сможет мантейнить брошенные авторами пакеты, и они перестанут пропадать из каналов.

habr.com/ru/articles/97… Статейка небольшая, думаю перевести ее на английский. А там Nu имеет такую же коннотацию, что и в русском?

Just busyness.

Зеркальный тест пройден!

Is walking in the water real now, interesting

@veraizmaylova41 А ка накие беспилотники она может устанвливаться?

В Украине началось серийное производство дальнобойной снайперской винтовки Horizon's Lord C такой винтовки в ноябре 2023 украинский снайпер Вячеслав Ковальский вместе с напарником ликвидировал российского оккупанта на расстоянии 3800 метров, установив мировой снайперский рекорд.

Как они могли такому научиться?

@vs_polia Китайский - попса! Надо учить аймара!

новый доеб unlocked: учить европейские языки это неуважаемо, надо учить китайский видимо чтобы заслуживать уважения ебланов из интернета вайб бати которой такой «учи китайский, будешь зарабатывать миллиарды»

@vs_polia Я вот пытаюсь учить ложбан, такие вопросы постоянно возникают....

заметила, что пока учу греческий часто спрашиваю «а нахуя мне это знать?» и ленюсь запоминать думая, что не встретится это и мне интересно было ли у вас такое? самое забавное, что я специально включила рандомное видео и услышала там эти слова которые посчитала ненужными

Self-promotion incoming 📢 Are you looking for a flexible library of #inexact/#approximate #arithmetic units for your next #hardware design? Consider using my approx library, now extended with (in-)exact (parallel) accumulators: github.com/aproposorg/app…

@vs_polia Мечтаю о генномидификации, которая позволит питаться опилками и электричеством.

не поймите неправильно, я люблю вкусную еду и все такое, но я заебалась думать о том, что съесть постоянно. я хочу быть существом из чистой энергии двигающемся на заряде от солнца. я хочу фотосинтезировать.

И ещё статья на тему mathnet.ru/links/8bf2d71d…

Механизмом, который обходит эту проблему, будет "общая касса", когда доход каждого изымается, и потом делится поровну. (Правда, чтобы прийти к равновесию в игре с общей кассой надо иметь лучшую память и меньше метаться туда-сюда, а без этого лучше каждый сам за себя.)

Искал про машинное обучение, нашел чудесное про игры: stratum.ac.ru/education/text… stratum.ac.ru/education/text… stratum.ac.ru/education/text… stratum.ac.ru/education/text… Во многих играх (из теории игр) равновесие Неша оказывается не слишком выгодным для всех участников.