#prog #article
Generate All the Things
In this post, we’ll look at one technique from property-based testing repertoire: full coverage / exhaustive testing. Specifically, we will learn how to conveniently enumerate any kind of combinatorial object without using recursion.
Generate All the Things
In this post, we’ll look at one technique from property-based testing repertoire: full coverage / exhaustive testing. Specifically, we will learn how to conveniently enumerate any kind of combinatorial object without using recursion.
matklad.github.io
Generate All the Things
In this post, we'll look at one technique from property-based testing repertoire: full coverage / exhaustive testing.
Specifically, we will learn how to conveniently enumerate any kind of combinatorial object without using recursion.
Specifically, we will learn how to conveniently enumerate any kind of combinatorial object without using recursion.
❤2
Любишь кататься? Ну вот и хорошо, у тебя нету обязанности любить что-то ещё
👍16👎12🤔1
#prog #cpp #article
Retrofitting Temporal Memory Safety on C++
(thanks @skucherenko)
Статья об опыте использования в Chrome двух механизмов для предотвращения UAF. Первый — карантин, в который помещается удалённая память и из которого она удаляется лишь тогда, когда становится известно, что на неё больше нет указателей. Второй — теггирование указателей на уровне процессора.
Retrofitting Temporal Memory Safety on C++
(thanks @skucherenko)
Статья об опыте использования в Chrome двух механизмов для предотвращения UAF. Первый — карантин, в который помещается удалённая память и из которого она удаляется лишь тогда, когда становится известно, что на неё больше нет указателей. Второй — теггирование указателей на уровне процессора.
Google Online Security Blog
Retrofitting Temporal Memory Safety on C++
Posted by Anton Bikineev, Michael Lippautz and Hannes Payer, Chrome security team Memory safety in Chrome is an ever-ongoing effort to prot...
Стоило побриться — и мне, двадцатичетырёхлетнему парню, не продают алкоголь без паспорта 🙄
❤7
Forwarded from Just links
Inverse Occam’s razor https://www.nature.com/articles/s41567-022-01575-2
https://arxiv.org/abs/2204.08284
https://arxiv.org/abs/2204.08284
Nature
Inverse Occam’s razor
Nature Physics - Scientists have long preferred the simplest possible explanation of their data. More recently, a worrying trend to favour unnecessarily complex interpretations has taken hold.
👍2
Как это называется, когда вместо иконки WhatsApp тыкаешь иконку приложения Сбера?
❤2👏1
#prog #db #postgresql #sql #article
«Ленивый сахар» PostgreSQL
SQL - декларативный язык - то есть вы описываете "что" хотите получить, а СУБД сама решает, "как" именно она будет это делать. Некоторые из них при этом позволяют им "подсказывать", как именно лучше выполнять запрос, но PostgreSQL - нет.
Тем не менее, "синтаксический сахар" некоторых языковых конструкций позволяет не только писать меньше кода (учите матчасть!), но и добиться, что ваша база будет делать часть вычислений "лениво", только при фактической необходимости.
«Ленивый сахар» PostgreSQL
SQL - декларативный язык - то есть вы описываете "что" хотите получить, а СУБД сама решает, "как" именно она будет это делать. Некоторые из них при этом позволяют им "подсказывать", как именно лучше выполнять запрос, но PostgreSQL - нет.
Тем не менее, "синтаксический сахар" некоторых языковых конструкций позволяет не только писать меньше кода (учите матчасть!), но и добиться, что ваша база будет делать часть вычислений "лениво", только при фактической необходимости.
Хабр
«Ленивый сахар» PostgreSQL
Блиц, Блиц, скорость без границ! SQL - декларативный язык - то есть вы описываете "что" хотите получить, а СУБД сама решает, "как" именно она будет это делать. Некоторые из них при этом позволяют им...
👍2