![[IR]《Language-Model...](http://wx3.sinaimg.cn/bmiddle/5396ee05ly1hvnnyzvu79j20jq0zaqat.jpg)
[IR]《Language-Model Prior Overcomes Cold-Start Items》S Wang, H Ding, Y Gu, S Aydore... [Salesforce Researc & AWS AI Labs] (2024) 机器学习人工智能论文
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的重视，可以遇见的是未来