1.83K subscribers
3.3K photos
131 videos
15 files
3.57K links
Блог со звёздочкой.

Много репостов, немножко программирования.

Небольшое прикольное комьюнити: @decltype_chat_ptr_t
Автор: @insert_reference_here
Download Telegram
Обидно, что я совсем не получаю денег с OnlyFans.

Может быть, дело в том, что я нигде себя не продвигаю.

Возможно, я недостаточно хорош.

Не исключено, что это из-за того, что у меня нету аккаунта на OnlyFans.
🌚16🤔52🤮2🥴1
Forwarded from Гусь
This media is not supported in your browser
VIEW IN TELEGRAM
Вы в курсе что у Дуолинго появилось дейтин РЕАЛИТИ-ШОУ, где каждый из его участников говорит на своем языке, который другие не понимают, и им нужно УЧИТЬ язык чтобы наладить контакт, пока их параллельно прессует зелёная сова??? Безумие
9🤯7🤮4😁3😱1
Внезапно
😐6🤯4🤩3💩2🤨2
Язык #go — особенный. И явно нумерованные аргументы в форматировании строк в стандартной библиотеке там тоже особенные.

source

(#prog)
🥴212🤯2🤮1🌚1🤨1
Видел в игре рекламу реклам в играх.

Это будущее — отстой.
🤔5
Сделал в местном заведении заказ, принесли сначала бутылку лимонада и тарелку с приборами (пустую). Очевидно, из этой ситуации есть только один выход...
Forwarded from shitposting 3.0 [+ dragons]
👍18😢2
Заплатил деньги и взял в рот
🔥10🤮6🥰1
Блог*
...Вот это
Почему на этом сообщении больше реакций "🤮"?
🤡7🤔2🥰1
Forwarded from The After Times
😭19😢2🌚2
The After Times
Photo
This media is not supported in your browser
VIEW IN TELEGRAM
#prog #rust #rustasync #article

Efficient indexing with Quickwit Rust actor framework

Или немного о том, почему разработчики Quickwit решили реализовать свой акторный фреймворк. Также в тексте есть ссылка на статью Actors with Tokio, которая описывает, как создавать свои акторы, имея асинхронный рантайм, и показывает некоторые частые ошибки при подобном наивном подходе.
👍10
#prog #rust #article

Writing Code with ChatGPT? Improve it with Kani

<...> The experiments we did include the following three tasks:

1. Writing a prompt to generate unverified code with ChatGPT.
2. Checking the generated code with Kani to see if it’s correct.
3. Using ChatGPT and Kani iteratively to converge to code that passes verification.

И вот последнее выглядит неимоверно впечатляюще.
👍5