Sorensen and Urzyczyn的CH同构讲义（Lectures on the Curry Howard Isomorphism）里看到的令我震惊的内容。
和λ calculus与simple type结合后产生natural deduction证明与λ
【Extractous：高性能非结构化数据提取工具，使用Rust开发并提供多语言绑定，支持PDF、Word、HTML等多种文档格式的内容和元数据提取。相比同类工具unstructured-io速度快25倍，内存
【Hive SQL如何找出最大的连续操作天数】
本文探讨了在 Hive SQL 中计算用户的最大连续操作天数的实现方法。通过窗口函数和日期差计算，文章详细展示了如何找出连续在线的天
路透引述消息人士称，华为计划在明年第一季度起量产其最先进人工智能(AI)芯片。不过由于美国的限制，华为难以生产出足够多的芯片。消息人士表示，华为已向一些科技公司提供其最新
清华大学等开源了一款用于增强LLM工作流编排能力的框架：WorkflowLLM，比GPT-4等传统LLM更擅长复杂流程设计，能处理更多步骤的任务
它懂得使用if/else判断和循环等逻辑，可以调用
马斯克：人工智能很快将在很多领域远远超过医生和律师。
AI发展的速度超越大部分人的想象，最终可能在几乎所有的事情上都超过人类。
人类将可以作为智能的“备份”。
马斯克
【Scooter – Interactive find and replace in the terminal】网页链接 Scooter – 在终端中交互式查找和替换。
美国计划在AI赛道上火力全开，国会收到建议启动曼哈顿式计划，要知道当年的曼哈顿计划让美国制造出来小男孩和胖子，现在把该计划用于Ai上面，可见美国对于Ai的重视，可以遇见的是未来
谷歌回应聊天机器人对人类发出威胁谷歌聊天机器人竟回复称人类去死吧 【美媒：谷歌AI聊天机器人竟回复称“人类去死吧”，谷歌回应】据美国哥伦比亚广播公司（CBS）11月16日报道，美国