你好,HN社区,
我是LensFlowPro的开发者。我之所以开发这个应用,是因为我对macOS上当前的屏幕录制状态感到沮丧:
QuickTime是原生应用,但缺乏系统音频录制(没有第三方插件)和摄像头叠加功能。
OBS功能强大,但对于快速演示来说感觉过于繁重和复杂。
Electron应用常常耗电且反应迟缓。
技术栈:
这是一个100%原生应用,使用Swift和AVFoundation构建。它利用了ScreenCaptureKit API(在macOS 12.3中引入)进行高性能捕获,CPU使用率最低。
主要功能:
- 系统音频捕获
- 鼠标高亮
- 摄像头叠加
- 省电友好
这是一个付费应用(一次性购买),但我为HN社区准备了一些优惠码供大家试用:
H3MWYLAX4YRX
6PL3MFTKTWEF
LFHW373HME6Y
我很想听听你们对实现效果或功能请求的反馈!
返回首页
最新
我正式证明了结构类型与名义类型的辩论无法胜利:任何固定轴的类型系统在某些领域必然会失败。
核心结果是:对于一个具有固定轴(如结构、继承、层次)的类型系统,存在一个领域,其需求无法完全被捕捉。这并不是特定语言的局限,而是一个数学上的不可能性结果。
压缩包中包含的内容:
- 完整的 Lean 4 形式化(可通过 lake build 编译)
- 针对 Python、TypeScript、Java 和 Rust 的实例化
- 类型系统结构的公理提取自实际语言规范,而非虚构
主要定理:对于任何固定轴的类型框架,存在一个领域 D,使得无法实现完整的类型定义。
如果有任何漏洞,或者这是否结束了结构类型与名义类型的辩论,请告诉我。
今天是星期二,我正在寻找可以解决的实际问题。
我希望获得一些一般性的见解,例如:
- 任务规划
- 注意力管理
- 邮件工作流程
- 客户关系管理
- 精简流程以便收款 / 减少摩擦等
如果您有任何具体的想法,请随时分享。提前感谢!
pdf: <a href="https://download.ssrn.com/2026/1/6/5877662.pdf?response-content-disposition=inline&X-Amz-Security-Token=IQoJb3JpZ2luX2VjEKT%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJIMEYCIQCd%2FayXVPYy8C9vyG42DKPkHUfsAjYLKy5%2Fo6CHi3O%2ByAIhAKBZTUGATP5mw9%2FfP34xfHHs2nr%2FdPOWQTQapbiCX1kQKrwFCGwQBBoMMzA4NDc1MzAxMjU3IgxIVY59yJAG6BlhvUEqmQUqpEyEgN4QtLQL9FJQ8FOVff69YbuF22b08IDqrc4%2FQOQHIJeCPBstkKkCNlxzcq602HV%2BxxCsHYsRQG37L8zUAZza54xKvyyIeOBbEsQT4FzGLHPTGycr8M6W7Ug8SfxgARqUXYUAVKwRcCJuDxquVMsCqregvUAabVT3SGfv0jYpbarMbqEsuSXOzMV8AdDP2aG0KBwIztJ%2FxEnvTKu3GOmBA6E221b%2FjDga1PZROEP2UHWA6uPB835tRc8HkHBp%2B17jqjRKOiKxLSOmPry1uIupIgqjoWzV1a5sS3VOKLiZX0aJLM3ygfAUnwKRTN3y9qasw9P5P2Latp4X4mhXElFNNvC1m1E6xOaQH8LtdmmXltDJX0Aj4v1C1G7VAfwLmGfDmJvmcsCQs%2BAhR68BL1%2FGg65EV3w7yJnO77n8F1Q81QAvhlo%2Fyj%2B61tSj9E3bK3ydQojvvn4IqihtZwcPXzVkYfj0aruPRsNx9uemXQlLbYcSfap1cBCI6yr7z4rh9046Morgq5KFd977qKZiytu51alWD4kest4Isuze2FRSpVPZPp94yl78TABaGS3oUtivP3%2BKYrgHvUa%2FziriOerEZIhIwE%2BJ1YqUXbRmkWYPsec%2Bb2YS9I2KhcchW41HA0M4OcxkvR7ADq9gwDJPGrmbNN4qOE%2FtKMWFFhKZPkbtzB%2B2uMAtKka2vDjrL%2BOjp0%2BRCXbsZ3ynzkRKkyASq9R3hscJrWk9DXqy0z%2BAn0Vf7bQuCWzgOl5noyOUhjK1joLLOfEJLmUpRvZDWvCT1h%2FH1tvtT2ZiNqLpBVwnMK1pjo2pCp1zIjePJ%2BB%2B74u2%2FrOmcD%2FbOWohZzpXCs6rB9upw%2FAgg4BCOo8aW%2FRg9oSNixYnLarZRzCNovfKBjqwAXWrcRuixCgVYJGj%2BbngNx%2FR3yaOCvpfzyT%2FZUK2VvCz2sO5mi74oYk7ge1UeTpqovCVa5gqk0dXw8L0BUfCSi9BzewX4cSfzI%2FUW4p9MN1%2Bot1tjdA32HmbZ1nJfdjeCwTSyr6s92UoNv8TC8lvWZTusGE0UwzqAr0EseYh2TNvxUxHexsVpfLdq3x5SzuZ6RP0rFxJLg%2FqCLA1Msi7yuM95D4H6R2exUgQmtK9bjCj&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20260107T035015Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAUPUUPRWEROZGM7DD%2F20260107%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=d8b5d3278c4497cf2e8d6352666b667df8be9ae69817f8d8862496a11354bec3&abstractId=5877662" rel="nofollow">https://download.ssrn.com/2026/1/6/5877662.pdf?response-cont...</a>