#game #meme

(надо бы почитать поиграть далее)

#prog #article #retroit

Графика древности: от текста к видеоиграм

Или про историю пиксельной графики (с неизбежной привязкой к истории развития железа)

#prog #rust

Важный фикс для std: Cell::swap теперь паникует для частично перекрывающихся аргументов. Почему? Потому что без этого нормально выглядящий код, который использует Cell, может привести к use after free или чему похуже в комбинации с Cell::swap.

Демонстрация проблематичного кода (паникует на nightly, но падает с double free на stable):

use std::cell::Cell;
use std::mem::transmute;
use std::convert::TryInto;

// This ought to be sound.
fn as_cell_of_array<T, const N: usize>(
    c: &[Cell<T>; N]
) -> &Cell<[T; N]> {
    unsafe { transmute(c) }
}

fn main() {
    // Oops, now this safe code can cause a use-after-free.
    let x = [
        Cell::new(vec![1]),
        Cell::new(vec![2]),
        Cell::new(vec![3]),
    ];

    let x1: &Cell<[_; 2]> =
        as_cell_of_array(x[0..2].try_into().unwrap());
    let x2: &Cell<[_; 2]> =
        as_cell_of_array(x[1..3].try_into().unwrap());

    x1.swap(x2);
}

Дякувати Богу шо я не гетеросексуаліст

Господа подписчики, из тех, кто сейчас живёт в Армении. Как вы тратите деньги со счётов в российских банках?

Вопрос не праздный, потому как сейчас я перевожу деньги в наличные драмы весьма неоптимальным способом — через переводы Unistream — и, что гораздо хуже, несколько армянских банков больше с ними не работают.

🤔 Вчера открыли МЦД-4 и теперь на карте метро есть пентаграмма

Хотя для чего-то, что называется "Московский центральный диаметр", это выглядит на редкость криво

Истории в тг момент

#prog #rust #article

Using Kani to Validate Security Boundaries in AWS Firecracker

Thanks to Kani, the Firecracker team was able to verify critical areas of code that were intractable to traditional methods. These include our noisy-neighbor mitigation, a rate limiter, where interactions with the system clock resulted in traditional testing being unreliable, as well as our VirtIO stack, where the interaction with guest memory lead to a state space impossible to cover by other means.

We found 5 bugs in our rate limiter implementation, the most significant one a rounding error that allowed guests to exceed their prescribed I/O bandwidth by up to 0.01% in some cases. Additionally, we found one bug in our VirtIO stack, where a untrusted guest could set up a virtio queue that partially overlapped with the MMIO memory region, resulting in Firecracker crashing on boot. Finally, the debug assertions added to the code under verification allowed us to identify a handful of unit tests which were not set up correctly. These have also been fixed.

Сиськи прекрасны.

Даже женские.

Пропаганда алкоголизма 😱

Иллюстрирую традиционные ценности

https://twitter.com/kirusha_kras/status/1700882669754626261/photo/1

Шмели могут засыпать внутри цветка, если очень сильно устали в течении дня 💔💔💔

#prog #cpp #video

CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”

Про дизайн SwissTable, используемой сейчас в Rust std

#prog #cpp #article

My Dream C++ Additions

Ожидаемо для этого автора, почти все фичи взяты из Rust. Хотя:

> Explicit self reference instead of implicit this pointer

> Of course, this looks rather similar to Rust’s syntax, but believe it or not, I had this idea long before I learned that Rust does self in this way.

C++ Papercuts

(написано до "My Dream C++ Additions")

My current day job is now again a C++ role. And so, I find myself again focusing in this blog post on the downsides of C++.

Overall, I have found returning to active C++ dev to be exactly what I expected: I still have the skills, and can still be effective in it, but now that I have worked in a more modern programming language with less legacy cruft, the downsides of C++ sting more. <...>

In this blog post, I will focus on the minor problems of C++ that have affected me the most, the little usability papercuts, the petty inconveniences that just waste time. Instead of focusing on comparing them to Rust or other programming languages, I will focus on why they don’t make sense from a C++ point of view, with reference to just C++. <...>

While I am proud of my C++ skills, I am not too proud to appreciate that better technology can render them partially obsolete. I am not too proud to appreciate having features that make it easier. In most cases, it’s not a matter of the programming language doing more work for me, but of C++ creating unnecessary extra make-work, often due to decisions that made sense when they were made, but have long since stopped making sense – don’t get me started on header files!