树莓派打造开源高清晰摄像机-CinePI
CinePI是一个开源的硬件项目，其由供应商提供的现成品和开发者自己 DIY 的硬件和软件组成，包括：Raspberry Pi、Pimoroni、Adafruit、Sparkfun 等。 将这些组合在…
视频剪辑开源工具-AutoCut
AutoCut是一款通过字幕来剪切视频的开源工具。AutoCut 对视频自动生成字幕。然后用户选择需要保留的句子，AutoCut 将对视频中对应的片段裁切并保存。用户只需要编辑文本文件即可完成视频的剪…
开源字体-字魂扁桃体
字魂扁桃体是针对oooooohmygosh老师的开源字体「得意黑」进行二次创作的开源字体。字魂创意字库团队对得意黑基础上加粗字重，且略微加宽字身，提升整体重量感。同时也继承自得意黑标志性特点：字形6°…
红帽（Red Hat）宣布裁员
国外科技媒体phoronix报道：红帽Red Hat 宣布裁员，涉及数百人。Red Hat 将从即日起开始通知各个国家受影响的员工，这一过程将一直持续到本季度末。Red Hat 在 2019 年被 I…
Linux 基金会宣布成立 TLA+ 语言基金会
Linux 基金会宣布正式成立 TLA+ 基金会 (TLAF)。致力于促进 TLA+ 规范语言在工业界、学术界和教育界的推广应用，推进软件工程中的数学思维，扩大其用途并促进繁荣的 TLA+ 社区，鼓励…