Блог*

только что узнала что на иврите картошка (תפוח אדמה) это земляное яблоко первое слово (תפוח, произносится примерно как тапуакх) означает яблоко, а второе (אדמה) - землю произносится אדמה как "адама(х)" то есть получается что бог יהוה создал человека из земли и назвал его земляным (אדם, "адам")

#meme

Substitution Failure Anyhow Is Not An Error

Причём у троих телефоны на зарядке

Афтепати RustCon. Ожидание: типы-трейты-полиморфизм-GAT Реальность: четверо мужиков показывают другу мемчики со своих телефонов

Кайл Кукштел поднимает вопрос о мимезисе игровых механик и по-фишеровски проходится по ремейку The Last of Us и будущему, которое обещают игры на блокчейне осторожно: много оценочных суждений https://blog.kylekukshtel.com/game-design-mimetics

# Google: Memory Safe Languages in Android 13 https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html > There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code. > ... > In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety. > ... > As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities. /r/rust discussion

#prog #rust #article

пропустил в прошлом году и только сейчас узнал, что в MTG есть земли, целиком состоящие из текста, and i think that's beautiful

Мой кулинарный гений не знает границ #rustcon2022

#prog #rust #rustlib Узнал про elain. The type Align<N> is a zero-sized-type with alignment equal to N: use elain::Align; use core::mem::{align_of, align_of_val}; assert_eq!(align_of::<Align<1>>(), 1); assert_eq!(align_of::<Align<2>>(), 2); assert_eq!(align_of::<Align<4>>(), 4); const FOO_ALIGN: usize = 8; #[repr(C)] struct Foo { _align: Align<FOO_ALIGN>, } let foo: Foo = Foo { _align: Align::NEW }; assert_eq!(align_of_val(&foo), 8); Valid alignments are powers of two less-than-or-equal to 228. Supplying an invalid alignment to Align is a type error: use elain::Align; struct Foo(Align<3>); // Compile Error

@goldsteinq про name-it рассказывает. Интересно. Говорит, miri ругается на UB в крейте futures

"TAIT — это красиво, но это nightly, у нас, например, прод на stable" Слабаки!

Что-то в этот раз знакомых лиц значительно меньше

В итоге я сегодня на RustCon буду, но без доклада, как в прошлый раз.

#prog #article Undefined behavior can result in time travel (among other things, but time travel is the funkiest)

#prog #article Falsehoods programmers believe about undefined behavior

#prog Extism: make all software programmable