Обновить
2
0.3
Даниил Яицков@shutterrecoil

Пользователь

Отправить сообщение

на ноутах у 4090 всего 12 а не 24!

Привет от программиста который давно задумывается над сетью для пациентов, которые давно отчаялись получить помощ от врача конвенциональным путем. Вам что-нибудь известно про такие аналоги? Жил в США и Польше - нигде обычные врачи не умеют дебажить. Например есть недуг а все анализы ок или вобщем ок но анализ Х выше нормы. Приходишь на прием, а врач слушает да разводит руками или редиректит к другому и так далее. Гораздо больше помогает смотреть ролики на ютуб, но поиск и система рекоменндаций несовсем заточена под это дело. Так вот может запилить анонимную соцсеть аля "тиндер" где пациенты будут описывать сами свои диагнозы в структурированной форме, а система их будет кластеризовывать. Где можно обмениваться опыт метода тыка среди заинтересованных.

Что думаете?

napkin - препроцессор-оркестратор sql запросов на хаскел (используется на проде) работает с кучей бекэндов

может сайт где пациенты будут искать себе подобных чтобы обмениваться опытом

а как же вайфай по паспорту

айди это 76 хексов. кому интересно потестить - зарегал аккаунт. по локальной сети работает, но проект выглядит тухлым сайт tox.directory исчез

E8657FC7F141FE0AED04D1C0655D56C546DDCF18AD7DAD24E40C45418D3CAE715E559E9D5CE1

надо как-то отбить затраты на интеграцию ии

какой у тебя айди в тох

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

экономические отношения между бизнесами останутся - гптчпт будет покупать чипы у нвидиа

может их раздражают миллиардеры?

сложенный кабель на фото напоминает Кракена

тестировать программки eBPF трудно, а пытались их генерировать из Dafny или верифицировать на coq и acl2?

у меня был ноутбук Тошиба 1993 года там эта функция была включена по умолчанию)

Разве Никс флейки не решили проблему фрагментации?

С автоматизацией верификации ПО сейчас большой прорыв.

На Acl2 появилась модель 386 процессора которая может выполнять ядро Линукс. ИИ модели прорешивают задачники coq и acl2.

в его поведении не было логики приходить специально только чтобы вещь забрать. Тащиться через весь мегаполис... на лице все было написано. Понятно что мониторов как грязи и за ними никто особо не следил.

На последней работе получил по почте ноут и два монитора. мониторы некуда было класть так как жил "в машине". У почтальона узнал что можно взять часть посылок. Сказал что мониторы обратно уйдут. Через 3 месяца уволнялся - присылают трекинг номера на 3 ящика!

- Так я ж их не забирал

-hr ну ладно...

последние 6 лет везде где работал ноутбук это только чтобы ВПН запустить, а на самом ПК что-то делать запрещает регламент.

Ещё до ковида Экспидия переезжала в новый офис. Сижу в офисе как обычно до поздна. Последний день в старом здании. Сказали мониторы оставить. В новом оказались другие, гораздо лучше. Так вот ... весь этаж пустой... Под самый вечер чувачок пришел с ключами откручивать монитор!

Информация

В рейтинге
2 567-й
Зарегистрирован
Активность

Специализация

Haskell
Младший
Haskell