itfan123itfan123
  • 首页
  • 大杂烩
  • 资源分享
    • 办公文档
    • 免费模板
    • 网站源码
    • 软件工具
    • 其他
  • 技术教程
    • bug记录
    • 后端技术
      • JAVA
      • PHP
      • GO
      • C#
      • PYTHON
      • NodeJS
      • Spring
      • 其他
    • Web前端
      • js教程
      • CSS教程
      • H5
      • Vue
      • Webpack
      • uni-app
      • React
      • HTML
    • 数据库
      • mysql
      • redis
      • MongoDB
    • 运维
      • linux运维
      • Apache
      • Nginx
      • Docker
      • 安全
      • windows运维
    • 开发工具
      • VSCode
      • git
      • 免费下载
    • AI人工智能
    • 区块链
    • WEB3.0
    • 专题
    • 头条
首页 技术教程头条
bug记录后端技术Web前端数据库运维开发工具AI人工智能区块链WEB3.0专题头条
  • 小镇创客空间,能对抗"创新只在硅谷"吗?

    一个宾州小镇叫兰开斯特,它刚开了第一家创客空间,叫 Make717。名字平淡,但这件事本身值得停下来看。 我见过太多人嘲讽创客空间是科技泡沫的余烬——没几个能活过五年。可问题在于,硅谷式创新解决了大问题,却把小镇居民困在"只能买、不能做"...

    原创 2周前 (10-08) 27 阅读 #头条
    小镇创客空间,能对抗"创新只在硅谷"吗?
  • 你证明不了LLM没意识,也证明不了它有

    我问自己一个问题:如果有人能证明LLM没有意识,那"证明"本身意味着什么?这篇文章试图论证——从逻辑上,我们根本不可能证伪LLM的意识。这个判断让我后背发凉。因为我们连人类的意识都无法真正验证,又凭什么觉得自己能判定一段代码没有"内在体验"...

    原创 2周前 (10-08) 26 阅读 #头条
    你证明不了LLM没意识,也证明不了它有
  • LLM真的"懂"语言吗?一篇论文试图用范畴论给出答案

    符号接地"是AI领域纠缠几十年的老问题——机器内部那些符号,跟现实世界的意义之间,到底有没有真正的连接?LLM能写诗、能编程,看起来"懂"得挺像那么回事,但很多人心里犯嘀咕:那不过是概率游戏。这篇2025年的新论文跳出来,用范畴论这个数学工...

    原创 2周前 (10-08) 29 阅读 #头条
    LLM真的"懂"语言吗?一篇论文试图用范畴论给出答案
  • 兼容层是给用户的兜底网,不是开发者的免死金牌

    一个14年前的旧帖翻出来看,Raymond Chen讲了一个至今没被推翻的立场:Windows的兼容层,是给客户的保险,不是给开发者的借口。想想看——如果你的程序在新系统上崩了,微软悄悄塞一层垫片让它跑起来,用户开心了,你也就安心了。但Ch...

    原创 2周前 (10-08) 25 阅读 #头条
    兼容层是给用户的兜底网,不是开发者的免死金牌
  • Paper Mono:等宽字体的审美革命才刚开始?

    你有没有发现,很多优秀的开发者工具界面都在悄悄换字体?Paper Design这次推出的Paper Mono,不只是一个等宽字体那么简单。这家公司本来是做视觉设计工具的,跨界搞字体设计,反而因为不受传统排印束缚而显得有想法。我看过预览,字形...

    原创 2周前 (10-08) 23 阅读 #头条
    Paper Mono:等宽字体的审美革命才刚开始?
  • 老Sun机器还该喂什么操作系统?SunOS 4.1.4的答案让人意外

    手里有一台落灰的老Sun工作站,装什么系统才能让它活过来?很多人会直接跳过这个年代,但SunOS 4.1.4恰恰证明——越是被忽略的版本,越藏着惊喜。文章的作者显然是个骨灰级玩家,他给出的理由很实在:4.1.4对老硬件的兼容性、稳定性,以及...

    原创 2周前 (10-08) 19 阅读 #头条
    老Sun机器还该喂什么操作系统?SunOS 4.1.4的答案让人意外
  • AI Agent 终于有了"家"?还是又一个套壳故事?

    我常想一个问题:当大模型的能力越来越强,真正的瓶颈到底卡在哪里?不是算力,不是数据,而是——没人给它们一个能跑起来的地方。Runtime 瞄准的正是这个"无家可归"的空白,试图为 AI Agent 提供托管、部署、运行的完整基础设施平台。坦...

    原创 2周前 (10-08) 23 阅读 #头条
    AI Agent 终于有了"家"?还是又一个套壳故事?
  • 旧iMac改当显示器,这招你想不到

    家里那台吃灰的iMac,除了当摆设还有别的活法吗?RetinaRelay试图回答这个问题——把旧iMac改成可用显示器,让那块Retina屏再战几年。我翻了翻他们的方案,逻辑并不复杂:绕开系统限制,激活屏幕的独立显示能力。说白了,Apple...

    原创 2周前 (10-08) 27 阅读 #头条
    旧iMac改当显示器,这招你想不到
  • 构建者去哪了?NEAR社区的灵魂拷问令人不安

    一篇只有1分、零评论的帖子,标题却像一记耳光——"Where Are the Builders?"。我读着这行字,脑子里冒出的第一个念头是:Web3的繁荣期是不是早就过去了?NEAR Protocol发这篇博文,语气里带着焦虑。曾经热闹的开...

    原创 2周前 (10-08) 30 阅读 #头条
    构建者去哪了?NEAR社区的灵魂拷问令人不安
  • 俄西伯利亚怪病:该盯紧,不该慌

    西伯利亚又冒出来一种"神秘肺炎",新闻标题直接甩出"鼠疫报告"四个字,看得人心里一紧。但专家的态度很明确——这不是恐慌信号,是需要关注的流行病学事件。关注和恐慌之间其实有一道距离:关注意味着追踪病原、监测扩散路径、提前储备应对资源;恐慌则是...

    原创 2周前 (10-08) 25 阅读 #头条
    俄西伯利亚怪病:该盯紧,不该慌
  • 【IT 早报】2026年10月08日 - 本周要闻与趋势

    早上好!以下是过去 24 小时的 IT 资讯早报,共 52 条新闻。今日分类:业内动态16条、AI32条、创业2条、新科技2条。🤖 AI 共 32 条新闻 Meta和微软采取措施减少员工使用Claude AI据报道,Meta和微软正在限制员...

    原创 2周前 (10-08) 200 阅读 #头条
    【IT 早报】2026年10月08日 - 本周要闻与趋势
  • 120种鸟类都在这样做,兽医却说不对

    你有没有想过,一只鸟独处时突然整理羽毛、扭动身体——这到底算不算异常行为?一篇新研究给出了颠覆性答案:至少120个鸟类物种都存在自慰行为,这在演化上完全自然。可过去几十年间,兽医行业给出的建议却是"别碰它,这是病态信号"。研究者直接推翻了这...

    原创 2周前 (10-08) 29 阅读 #头条
    120种鸟类都在这样做,兽医却说不对
  • x32到底能不能让Lisp重获青春?

    用32位指针配64位寄存器,这听着像2010年代Linux社区的奇谈异闻——直到有人把Janet Lisp真的跑上了x32 ABI。结果呢?内存占用砍了四分之一,性能没有退步。这说明什么?说明在嵌入式和低资源场景里,x32不是被遗忘的技术债...

    原创 2周前 (10-08) 26 阅读 #头条
    x32到底能不能让Lisp重获青春?
  • AI 黑客的倒计时,比我们以为的短得多

    AI 到底还能黑多久?这不是科幻悬念了。我最近读到一篇《大西洋月刊》的深度分析,核心观点很直白:AI 驱动的攻击能力正在以季度为单位刷新上限,而防御方还在用上一代人的思路搭防火墙。一个关键变量被严重低估了——自动化漏洞挖掘的成本正以指数级下...

    原创 2周前 (10-08) 24 阅读 #头条
    AI 黑客的倒计时,比我们以为的短得多
  • 你的每一台设备,都值得有一个只属于你的AI助手

    我最近看到一篇arxiv论文,叫NanoMuse,号称能给每台设备配一个开源的个人代理。这个想法挺有意思的——你手里有手机、电脑、平板、手表,每个屏幕前的那个"助手"其实是同一个人格,能记住你的习惯、理解你的上下文,而不是每次都从零开始。现...

    原创 2周前 (10-08) 24 阅读 #头条
    你的每一台设备,都值得有一个只属于你的AI助手
  • 大模型能不能把自己"压"成便宜的小工具?

    我盯着这篇论文标题看了会儿——Agent in a Bottle,"瓶中的智能体"。比喻挺妙的:如果大模型的全部能力能装进一个小巧廉价的工件里,推理成本是不是就能像压缩文件一样降下来?目前这条路还没走通。论文的核心问题是:智能体能否自主判断...

    原创 2周前 (10-08) 28 阅读 #头条
    大模型能不能把自己"压"成便宜的小工具?
  • 攻破国家域名注册局,黑客就能劫持Google?

    攻破一个国家域名注册局,就能顺手劫持Google的域名——这听起来像科幻,但已经发生了。ccTLD注册局长期被视为域名体系里相对"低价值"的环节,攻击者绕开大厂正面防御,转而渗透这些基础设施节点,一条链条就能拿到关键域名控制权。这次事件再次...

    原创 2周前 (10-08) 33 阅读 #头条
    攻破国家域名注册局,黑客就能劫持Google?
  • 说真话"这件事,为什么越真诚越没人听?

    直说会不会比说错话更伤人?一个Substack博主试图拆解这个矛盾。他区分了一个关键概念:大多数人在"说真话"和"把真话说好"之间混为一谈。真诚本身不是问题,问题是你选的表达方式——时机、场合、语气全都决定对方愿不愿意接收真相。他给出了具体...

    原创 2周前 (10-08) 30 阅读 #头条
    说真话"这件事,为什么越真诚越没人听?
  • AI集群网络,你可能只看了皮毛

    RDMA、Collectives、Fabric——这三组缩写扔出来,有多少人能张嘴就讲清楚它们各自解决什么问题、互相之间怎么咬合?我翻到这份GitHub阅读清单时有点意外,它不是某篇博客,而是一个精心攒出来的知识地图,把AI集群网络工程从底...

    原创 2周前 (10-08) 27 阅读 #头条
    AI集群网络,你可能只看了皮毛
  • 又一个极简ZPU处理器项目出现,它值得我花时间看一眼吗?

    我又在GitHub上撞见一个ZPU项目——这次叫zylin/zpu。ZPU(Zinc Processor)这个极简RISC架构被教育圈用了快十年,市面上零散的实现已经不少,但这个项目只拿了1分0评论就扔在这儿了。说实话,我点开仓库前根本没抱...

    原创 2周前 (10-08) 28 阅读 #头条
    又一个极简ZPU处理器项目出现,它值得我花时间看一眼吗?
  • 新模型没人慌了?DeepSeek Flash 的冷遇藏着真正的危险

    DeepSeek 4.1 Flash 发版了,行业居然没炸。 这不对。三个月前一个开源小模型的发布还能拉出一整轮美股科技股波动,现在连 Flash 级别的推理提速都换不来一声尖叫。问题出在哪?出在我们把"又快又便宜"当成了理所当然。 D...

    原创 2周前 (10-08) 23 阅读 #头条
    新模型没人慌了?DeepSeek Flash 的冷遇藏着真正的危险
  • 远程职位终于敢把薪资写出来了?

    你有没有想过,为什么招聘页面总把薪资写成"面议"?一个叫做 Nokku 的平台把远程岗位连薪资一起摊在了桌面上,简历还没递出去,价格已经写死。我翻了一下觉得这事有点意思——不是求职者不够努力,是行业规则一直在鼓励模糊。远程工作比坐班更容易跨...

    原创 2周前 (10-08) 28 阅读 #头条
    远程职位终于敢把薪资写出来了?
  • 用脚走完地球,他用了十五年

    你有多久没不坐车、不开车、不坐飞机,单纯靠双腿去丈量路了?Karl Bushby 从1997年出发,花了整整十五年走完环绕全球一圈,全程零机动交通工具。没有航班,没有火车,没有摩托车——只有脚、背包,和一条又一条公路。这听起来像老式冒险故事...

    原创 2周前 (10-08) 25 阅读 #头条
    用脚走完地球,他用了十五年
  • 给AI配BGM不丢人,这是工具情感化的第一步

    你有没有觉得,盯着AI一行行吐代码,其实挺无聊的?一个开发者显然也这么想——他给Claude Code写了个mod,让它在干活的时候播放MIDI音乐。对,就是你电脑里那个自带的、有点复古的电子音色。项目丢在GitHub上,HN上3个点赞、1...

    原创 2周前 (10-08) 22 阅读 #头条
    给AI配BGM不丢人,这是工具情感化的第一步
  • AI写的数学证明,说到底还是人的脑子

    OpenAI放出了一堆数学证明,评论区一片欢呼。但我看完这篇分析后,心里不太踏实。这些证明真的算"新"吗?还是只是把人类几十年积累的推理套路换了个皮肤?作者的观点很直白:AI的训练数据来自人类的论文、教材、代码,它能跑出来的定理路径,无非是...

    原创 2周前 (10-08) 25 阅读 #头条
    AI写的数学证明,说到底还是人的脑子
  • 你的相册正在"出卖"你:Dazzle AI 的隐私野心

    你的相册,可能比你更愿意"表达"自己。Dazzle AI 就是这么一个产品——它直接读取你的相机胶卷,通过照片内容来构建对你的理解:你在哪、和谁在一起、过什么样的生活。听起来很贴心,但细想一下,这意味着你需要把手机里最私密的视觉记录——家庭...

    原创 2周前 (10-08) 22 阅读 #头条
    你的相册正在"出卖"你:Dazzle AI 的隐私野心
  • 用子代理"拆活干",Claude Pro的额度竟能用这么久?

    Claude Pro每月额度不够用,是不是该直接升级?我未必同意。一位开发者的做法挺有启发:他把复杂任务拆成多个子代理,各自独立处理小片段,主代理只负责协调。结果主会话消耗显著下降,Pro限额撑得更久。这思路不新鲜——并行计算的老原则在LL...

    原创 2周前 (10-08) 23 阅读 #头条
    用子代理"拆活干",Claude Pro的额度竟能用这么久?
  • SketchUp开源平替来了,但社区为什么没声音?

    我最近在翻GitHub时撞见一个项目:IngeTrazo,声称要做一个开源的SketchUp克隆体。想法不算新鲜——3D建模工具的开源替代早有人尝试过,但这个项目丢到Hacker News上只拿到1分、零评论,这种冷遇本身就说明问题。社区对...

    原创 2周前 (10-08) 25 阅读 #头条
    SketchUp开源平替来了,但社区为什么没声音?
  • 冷启动做不好,大模型落地全是自嗨

    大模型落地最卡的环节是什么?不是训练,不是推理速度,而是那个该死的冷启动。用户点开应用,模型加载十几秒,谁受得了?Reflex 瞄准这个痛点:GGUF 格式、冷启动优化、跑 Aleph Alpha 的 Kolibri-1。思路对了。但项目才...

    原创 2周前 (10-08) 27 阅读 #头条
    冷启动做不好,大模型落地全是自嗨
  • 每次巧合都像有人在暗中写剧本

    你有没有过这种经历:刚跟朋友提过某个人,转头就在街上撞见他。不是巧合吗?可偏偏这种"偶然"总带着某种沉甸甸的意味,让人忍不住想多看两眼。 《大西洋月刊》最近发了一篇文章,聊的就是这个主题——巧合的"奇怪力量"。文章试图拆解我们为什么对巧合...

    原创 2周前 (10-08) 32 阅读 #头条
    每次巧合都像有人在暗中写剧本
  • 一个氛围编程框架,为什么几乎没人讨论?

    刷到'氛围工程框架'这个标题,我愣了好几秒。Vibe engineering——别写规格说明、别画流程图,直接跟 AI 说你想要什么'氛围',它帮你把代码搓出来。听起来很性感,Festival 也试图给这套流程搭个框架、定个规范,让 vib...

    原创 2周前 (10-08) 23 阅读 #头条
    一个氛围编程框架,为什么几乎没人讨论?
  • WSL3比WSL2快60%?数字背后还有一个真相

    你有没有试过在Windows上跑Linux?WSL2已经够用了,但如果你还停在那儿,可能错过了一些东西。Tony的基准测试显示,WSL3相比WSL2提速5%到60%——具体看跑什么任务。轻负载场景差距不大,重计算和IO密集型任务上,WSL3...

    原创 2周前 (10-08) 20 阅读 #头条
    WSL3比WSL2快60%?数字背后还有一个真相
  • 古埃及水钟的漏洞,就是现代限流算法的祖先

    我在想,一个青铜时代的漏壶,凭什么出现在讲现代软件的文章里。答案很直接:水钟用恒定流速约束水流,漏桶算法用固定速率限制请求——三千多年前的治水逻辑,今天跑在每一台负载均衡器上。乍看像文学修辞,读完却觉得这个类比惊人地诚实:计算机科学里最体面...

    原创 2周前 (10-08) 23 阅读 #头条
    古埃及水钟的漏洞,就是现代限流算法的祖先
  • 一台Pentium 3时代的坦克游戏,被WASM从坟墓里拉了出来

    2007年,我在Pentium 3上满屏跑Netpanzer,那些像素坦克和简陋的UI刻进了童年。十几年后原作者没了,游戏死在服务器关停的那一刻。现在有人把项目捡起来,用astra 6编译成WASM,浏览器一刷就能打。这件事让我意识到,We...

    原创 2周前 (10-08) 19 阅读 #头条
    一台Pentium 3时代的坦克游戏,被WASM从坟墓里拉了出来
  • 把Google表格当后端用,这操作真行得通?

    你有没有想过,一个所有人都会用、零成本、不用配服务器的东西——Google Sheets——能不能直接充当Web应用的数据库?SheetRelay就是这么干的。它把电子表格变成Web页面和AI Agent之间的数据管道,不需要Postgre...

    原创 2周前 (10-08) 23 阅读 #头条
    把Google表格当后端用,这操作真行得通?
  • 大厂不开放Agent控制权,这个npm包想掀桌子

    我在Meta做了两年AI agent落地,最大的教训是:企业要的从来不是黑盒。Meta不会开源agent,OpenAI不会,Anthropic也不会——它们卖模型,不卖控制权。但现实是企业连代码、工具链、评估数据都想自己攥住。更扎心的是,大...

    原创 2周前 (10-08) 51 阅读 #头条
    大厂不开放Agent控制权,这个npm包想掀桌子
  • 活了一百七十多岁,这只乌龟到底凭什么?

    有一只叫Jonathan的龟,今年已经一百七十多岁了——它是目前地球上已知最年长的陆生动物。一个物种的寿命天花板被一只动物顶了一百多年,这件事本身就够惊人。但真正让我感到不安的是另一层意思:它出生于1832年,比世界上绝大多数现存国家的历史...

    原创 2周前 (10-08) 23 阅读 #头条
    活了一百七十多岁,这只乌龟到底凭什么?
  • 核钟同步229钍:原子钟的下一个十年已被改写

    我们能不能让时间再"稳"一点?Nature刚发的一篇论文给出了一个相当激进的答案——研究者用229钍的核同质异能跃迁搭出钟源,并首次实现了与原子钟的实时同步锁定。过去几年这个领域都在死磕Th-229的光核钟探测,真正难的是把核跃迁信号塞进光...

    原创 2周前 (10-08) 24 阅读 #头条
    核钟同步229钍:原子钟的下一个十年已被改写
  • 用一首歌当语言课本,这事儿靠谱吗?

    我在 Hacker News 上看到个项目叫 Lessong——一个 CLI 工具,能把任意 MP3 转成带清晰发音和字幕的语言课。作者说灵感来自 80 年代法国一档叫 Plan Langue 的广播节目,当年十几岁的法国少年就靠它学英语。...

    原创 2周前 (10-08) 27 阅读 #头条
    用一首歌当语言课本,这事儿靠谱吗?
  • AI Agent要有自己语言了?先别急着喊革命

    AI Agent需要专属编程语言,这事听起来荒诞,但Grenat已经出现在GitHub上了。一个专门面向AI智能体的语言,2个点赞、零评论——典型的"无人问津但确实在做"项目。我判断,这类东西短期内不太可能取代Python,但它的思路值得琢...

    原创 2周前 (10-08) 26 阅读 #头条
    AI Agent要有自己语言了?先别急着喊革命
  • IE那些被遗忘的转场动效,终于有人把它搬回现代浏览器了

    你还记得IE翻开新网页时那种从左到右推开、或者像百叶窗一样逐条展开的画面吗?那些效果早被Chrome的秒跳淘汰了,没人再提。但我看到有人真把它做回来了——用现代Web技术复刻IE 6那个时代的Interpage Transitions。说实...

    原创 2周前 (10-08) 22 阅读 #头条
    IE那些被遗忘的转场动效,终于有人把它搬回现代浏览器了
  • AI行业最恨的两个词,偏偏是最该说的

    AI圈最怕的两个词是什么?不是"竞争",不是"亏损",而是一个视频标题直接喊出来的那两个字。我看完了,有点不舒服。行业花了十年时间把"我们不知道"这句话从自己的词汇表里抹掉——发布会只讲确定性,财报只讲增长曲线,论文只放最高分。可越是不说,...

    原创 2周前 (10-08) 23 阅读 #头条
    AI行业最恨的两个词,偏偏是最该说的
  • 偷拍设备的进化速度,早就超过了检测手段

    你有没有想过,会议室角落那个烟雾报警器,可能根本不是报警器?偷拍摄像头伪装越来越精妙,针孔小到肉眼几乎分辨不了。USENIX Security 2024上有一篇论文叫"Eye of Sauron",专门研究如何在远距离发现这些隐藏摄像头——...

    原创 2周前 (10-08) 24 阅读 #头条
    偷拍设备的进化速度,早就超过了检测手段
  • Claude Haiku 5.5:当价格压到地板,智能跟不跟?

    我盯着 Anthropic 最新公布的 Haiku 5.5 参数看了三遍。便宜,是真便宜——但便宜到这种程度,我反而会问一个更关键的问题:性能撑得住吗?目前第三方评测显示,它的推理能力已经逼近上一代中端模型,延迟和吞吐量也拿到了不错的数据。...

    原创 2周前 (10-08) 21 阅读 #头条
    Claude Haiku 5.5:当价格压到地板,智能跟不跟?
  • Google悄悄把多模态搜索从云端拽了下来

    你有多久没认真想过,本地跑搜索这件事到底够不够用?EmbeddingGemma 2刚出来,名字里带着"Beyond Text",意思很直白——不再只吃文本了,图像、音频这些都能丢进去做语义检索。离线运行意味着数据不出本地,不需要往云端发请求...

    原创 2周前 (10-08) 26 阅读 #头条
    Google悄悄把多模态搜索从云端拽了下来
  • AI真正坐下的椅子,从来就没有人坐过

    你有没有想过,AI真正抢走的可能根本不是你的工作?人口萎缩,工厂关闭,有些岗位在诞生之初就没有工人。这篇文章戳中了一个让人不安的真相:AI不是在替换人类员工,而是在填补那些永远不会有人去填的空缺。劳动力缺口不是被创造出来的——它早就躺在那里...

    原创 2周前 (10-08) 21 阅读 #头条
    AI真正坐下的椅子,从来就没有人坐过
  • 如果十年前有这个终端开发栈,我能少走多少弯路?

    如果十年前有这套终端开发栈,我的编程之路会不会轻松很多?Sarah Robin在博客里晒出了她精心打造的Neovim终端工具链——从编辑器配置到插件生态,从窗口管理到终端模拟,几乎把终端能玩的花样都玩了一遍。说实话,这不止是工具堆砌,更像是...

    原创 2周前 (10-08) 21 阅读 #头条
    如果十年前有这个终端开发栈,我能少走多少弯路?
  • 微软5999美元开发盒开售,是真刚需还是假情怀?

    五千九百九十九美元,这价格一看就不打算讨好所有人。微软Surface RTX Spark刚开放预订,评论区的反应很说明问题——安静得出奇。我翻了翻,零评论。这台塞着RTX显卡的开发者盒子,到底是给谁准备的?本地跑大模型的人需要它吗?企业采购...

    原创 2周前 (10-08) 22 阅读 #头条
    微软5999美元开发盒开售,是真刚需还是假情怀?
  • 五百万年前的深海,鲸骨堆成了一座城

    你有没有想过,远古海洋的深处会埋着怎样的秘密?五百万年前,一群鲸鱼死了,尸体沉入大西洋的海沟底部,被沉积物一层层覆盖,形成了一座鲸骨坟场。Nature 最新报道了这个位于 Diamantina Zone 的深海鲸类墓地,数量之大、规模之广,...

    原创 2周前 (10-08) 25 阅读 #头条
    五百万年前的深海,鲸骨堆成了一座城
  • 验证本身也需要被验证:被忽略的元问题

    写完代码,跑一遍测试,绿了,收工——这是我们大多数人的流程。但如果你只能验证、却无法推理验证过程本身的有效性,那所谓的"验证"是不是自欺欺人?Brandon's 这篇博文戳中了正式验证领域的一个深层痛点:工具告诉你"正确",可你信任的是工具...

    原创 2周前 (10-08) 21 阅读 #头条
    验证本身也需要被验证:被忽略的元问题
‹‹ ‹ 35 36 37 38 39 40 41 42 43 44 › ››
最新文章
  • Backd:用社区投票替代融资背书的创业项目发现平台,能走多远? 54分钟前
  • iPhone隐私不比Android强?牛津大学研究打破苹果安全神话 55分钟前
  • Show HN: Dadgpt Open Source Halloween Costume 58分钟前
  • Retroviral insertions contributed to divergence of human and chimpanzee brains 60分钟前
  • Implications of Large-Scale Test-Time Compute 2小时前
  • UK government sets out $800M of AI security funding 2小时前
  • Xbox Turns Down Netflix $500M Offer 2小时前
  • Show HN: Close the UI building AI agent loop with Protoshot 2小时前
  • BBC interview with Ondřej Surý, Debian/Ubuntu PHP package maintainer 3小时前
  • Talking with strangers is surprisingly informative 3小时前
网站分类
  • 大杂烩
  • 资源分享
    • 办公文档
    • 免费模板
    • 网站源码
    • 软件工具
    • 其他
  • 技术教程
    • bug记录
    • 后端技术
      • JAVA
      • PHP
      • GO
      • C#
      • PYTHON
      • NodeJS
      • Spring
      • 其他
    • Web前端
      • js教程
      • CSS教程
      • H5
      • Vue
      • Webpack
      • uni-app
      • React
      • HTML
    • 数据库
      • mysql
      • redis
      • MongoDB
    • 运维
      • linux运维
      • Apache
      • Nginx
      • Docker
      • 安全
      • windows运维
    • 开发工具
      • VSCode
      • git
      • 免费下载
    • AI人工智能
    • 区块链
    • WEB3.0
    • 专题
    • 头条
粤ICP备19068341号
所有资源都来源于爬虫采集,如有侵权请联系我们,我们将立即删除
Powered By Z-BlogPHP Theme By 编程老白