TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #418 · 9 мар.

Оператор pipe позволяет писать более компактный код, реализуя логику объединения данных (Union). Важно помнить, что его поведение зависит от контекста. Побитовые операции (логическое OR) result = 5 | 3 # 5 (0101) | 3 (0011) = 7 (0111) Самое главное - не путать с оператором or, это другое! Объединение множеств set_a = {1, 2, 3} set_b = {3, 4, 5} set_c = set_a | set_b # {1, 2, 3, 4, 5} set_c |= {5, 6} # {1, 2, 3, 4, 5, 6} Слияние словарей dict_1 = {"a": 1, "b": 2} dict_2 = {"b": 3, "c": 4} merged = dict_1 | dict_2 # {'a': 1, 'b': 3, 'c': 4} merged |= {"d": 5} # {'a': 1, 'b': 3, 'c': 4, 'd': 5} Аннотации типов, заменяет Union def process_data(value: int | str) -> None: print(value) Допустимо использовать в isinstance или issubclass isinstance(3, int | float) # True Паттерн-матчинг status_code = 404 match status_code: case 200 | 201 | 204: print("OK") case 400 | 404 | 500: print("ERROR") Для использования в своих классах требуется переопределить метод __or__ Так же нашел библиотеку pipe которая добавляет еще много возможностей. Рекомендую ознакомиться ;) #basic

Hashtags

Резултати

Пронајдени 5 слични објави

Пребарај: #webp

当前筛选 #webp清除筛选
探索号

@seeker_rc · Post #19987 · 08.05.2026 г., 11:25

平时做网站主要使用 webp 格式的图片,顺便做了一个 png 转 webp 格式的工具网站 支持一次最多 20 张图片的转换 支持查看转换后图片大小缩小的比例 网站地址: https://pngtowebp.info via V2EX 分享创造 标签: #webp#网站#格式 ⚡️探索号频道 ⚡️探索者频道 ⚡️探索者交流群 ⚡️ Youtube 频道:科技探索者 每天推荐有趣内容,欢迎订阅、转发。

新闻派

@nnpai · Post #48 · 17.02.2022 г., 12:28

Adobe Photoshop 23.2 已正式支持 WebP 文件格式:压缩率更高,无需插件 Adobe 宣布,在 Photoshop 桌面版 23.2 中,Photoshop 已完全支持 WebP 文件格式,WebP 文件现在可以在 Photoshop 中打开、创建、编辑和保存,不需要插件或其它偏好设置。 WebP 是一种以减轻网站负担为目的而开发的格式,在保持图像质量的同时具有比 JPG 格式更高的压缩率。由于文件大小比 JPG 格式小,因此可以有效加快网站的显示速度。除了 JPG 等有损压缩外,还可以支持无损压缩、透明处理、GIF 等动画处理。 #Adobe#Photoshop#WebP ©新闻派 @nnpai

PC-webp转png图片格式转换工具 说明: 这是一款工具,大小仅716KB,完全免费,可以说是目前我所见过最方便的webp格式转换工具了。 别看这个工具体积小巧,但功能方面还真不含糊,目前有两种转换方式。 一.鼠标右键转换 如果想要将功能集成到鼠标右键菜单里,得先在工具里点一下“添加右键”的按钮,这样一来就可以直接一键将“.webp”转换为“.png”了,比改后缀还要方便 如果你要一次性转换多张“.webp”格式的图片,那么还可以进行批量处理。 二.批量转换 只需要把所有图片放在同一个文件夹下,然后通过工具将整个文件夹内的图片进行格式转换,转换成功后还可以自动删除原来的webp格式图片,用起来非常方便。功能就是这么个功能,看起来很不起眼,但你还真别说,使用频率还挺高,反正也不占用什么体积,建议电脑里都下一个备用~ 地址: 【在本贴评论区】 类型:#webp#png#图片#工具#软件#pc

拔毛工 🥸

@bamaogong · Post #878 · 16.09.2025 г., 00:13

#在线工具#视频转换#WebP#GIF EzWebP 在线视频转 WebP GIF 工具,支持 MP4、MOV、AVI、WebM、MKV 等格式,可自由设定分辨率、帧率和时段,浏览器本地运行,完全免费,无需注册。 🧲 网站网址:http://www.ezwebp.com/zh