Блог*

GitHub умудрился сломать поиск по странице. Да, который в самом браузере. К А К

#ai Твиты из декабря 2022, так что не факт, что перечисленные эксплойты актуальны. https://twitter.com/zswitten/status/1598380220943593472

#prog #article Private Key Redaction: UR DOIN IT RONG Because posting private keys on the Internet is a bad idea, some people like to “redact” their private keys, so that it looks kinda-sorta like a private key, but it isn’t actually giving away anything secret. Unfortunately, due to the way that private keys are represented, it is easy to “redact” a key in such a way that it doesn’t actually redact anything at all. RSA private keys are particularly bad at this, but the problem can (potentially) apply to other keys as well. I’ll show you a bit of “Inside Baseball” with key formats, and then demonstrate the practical implications. Finally, we’ll go through a practical worked example from an actual not-really-redacted key I recently stumbled across in my travels. <...> You can redact about 4/5ths of that giant blob of stuff, and your private parts (or at least, those of your key) are still left uncomfortably exposed.

#rust #quotes source

Секта свидетелей IEEE-754, блин

#prog #article PATH_MAX simply isn't

#meme Это не я. У меня нос короче

#quotes #трудовыебудни

#meme

#prog #rust #article Fast(er) binary search in Rust В принципе, применимо далеко не только к Rust, за вычетом трюков с префетчингом. Спойлер: обогнать binary_search из std возможно, уменьшив количество бранчей и лучше утилизируя кеш, но это требует определённой подготовки данных (помимо сортировки).

#article The Vicious Circle of Documentation Ever worked at a company (or on a codebase, or whatever) where it seemed like, no matter what the question was, the answer was written down somewhere you could easily find it? Most people haven’t, sadly, but they do exist, and I can assure you that it is an absolute pleasure. On the other hand, practically everyone has experienced completely undocumented systems and processes, where knowledge is shared by word-of-mouth, or lost every time someone quits. Why are there so many more undocumented systems than documented ones out there, and how can we cause more well-documented systems to exist? The answer isn’t “people are lazy”, and the solution is simple – though not easy.

#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. И вот последнее выглядит неимоверно впечатляюще.

#prog #rust #rustasync #article Using Rustlang's Async Tokio Runtime for CPU-Bound Tasks Да, это возможно и в этом есть смысл. Описываемый подход используется в InfluxDB, а InfluxBD используется в проде.

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