小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
沉浸式翻译 immersive translate
Dify.AI

《逻辑哲学论》以七个主命题为骨架,主张世界是事实而非事物的总和;事实经思想与命题构成逻辑图像,命题是基本命题的真值函项,可说者由此穷尽。逻辑形式、伦理与人生意义不可言说,只能显示,故须沉默。文章还梳理对象、事态、图像、说与显等概念,并提醒勿将本书误读为维也纳学派消灭形而上学的宣言。

《逻辑哲学论》导读:世界、图像与沉默

lucifer的网络博客 lucifer的网络博客 · 2026-10-27T16:00:00Z

Quantinuum的Helios离子阱计算机采用颜色码纠错架构,实现99.9995%的逻辑保真度,即每百万次操作仅5次错误,错误率仅为其他技术路线最佳成果的1/100。增加码距可使逻辑错误指数下降,每次降至1/12。公司称有望以更少量子比特实现容错,性能已达Apollo目标范围。

Quantinuum实现创世界纪录的99.9995%逻辑保真度

全球TMT-美通国际 全球TMT-美通国际 · 2026-10-21T02:11:38Z

为什么好的投注很难用语言解释? 道心惟微,真正赚钱的事情只有抓住机锋时刻,而能讲出叙事和故事的事情,往往亏钱越狠! 斯科特讲了十年好故事,亏了十年钱。他扔掉故事改用另一套办法之后,投资回报翻了二十倍。这套办法不靠嘴,靠模式匹配。 斯科特·史蒂文森

能说清楚就不赚钱!顶级决策真相:模式识别碾压叙事逻辑

极道 极道 · 2026-10-17T22:03:00Z
AOSP源代码发布推迟迫使开发者不得不反汇编文件定位错误逻辑并向谷歌反馈

Android 17 部分9月构建的 Bionic C 库存在宽字符处理缺陷:wcscspn() 和 wcspbrk() 在遇到 U+0100 及以上字符时,若匹配集包含两个以上低码位字符,会误判并提前终止扫描,影响 Emoji 和中文处理。由于公开源码与设备二进制实现不一致,开发者只能通过反汇编定位问题,而谷歌源码推送延迟进一步增加了排查难度。

AOSP源代码发布推迟迫使开发者不得不反汇编文件定位错误逻辑并向谷歌反馈

蓝点网 蓝点网 · 2026-10-15T04:00:00Z
Dimitri Fontaine:利用逻辑复制实现 PostgreSQL 零停机升级

本文介绍用逻辑复制实现PostgreSQL大版本零停机升级。相比pg_upgrade需停机和pg_dump恢复耗时随数据量增长,逻辑复制通过新库订阅加反向订阅,将停机压缩至约181毫秒写入停顿,且可毫秒级回滚。需处理序列、物化视图、大对象不复制及DDL问题,并借助标记行判断追平。

Dimitri Fontaine:利用逻辑复制实现 PostgreSQL 零停机升级

Planet PostgreSQL Planet PostgreSQL · 2026-10-13T12:14:03Z

2026年10月,中共中央、国务院印发《关于发展新质生产力的意见》,首次以顶层文件系统部署新质生产力。文章从网络安全视角梳理要点:数据要素与流通安全、人工智能安全治理、数字基础设施安全、新兴领域国家安全能力建设。文件推动网络安全从附属保障转为内生能力,从单点防护转为体系治理,从事后处置转为全过程韧性塑造,将带动安全产业升级、制度完善与治理范式重塑。

解读《关于发展新质生产力的意见》:新质生产力中的网络安全逻辑

绿盟科技技术博客 绿盟科技技术博客 · 2026-10-12T10:25:37Z
Dimitri Fontaine:使用Postgres逻辑复制整合数据库

本文介绍用PostgreSQL逻辑复制将多个数据库整合到单一数据仓库。每个应用在源端有独立schema,仓库按应用建schema并各建一个订阅。由于订阅无法重命名表,命名须在源端完成。Postgres 15的列清单和行过滤器可排除敏感字段与无关租户数据,但过滤器仅对之后变更生效。DDL和序列不会复制,需手动处理;可用队列表加触发器模拟pglogical的DDL复制。Postgres 16支持从物理备库解码,减轻主库负担。

Dimitri Fontaine:使用Postgres逻辑复制整合数据库

Planet PostgreSQL Planet PostgreSQL · 2026-10-06T11:45:23Z
从实现逻辑出发,搭一个能干活的 Agent

《深入理解AI Agent》读书笔记按实现顺序梳理Agent工程要点:Agent由LLM、上下文和工具构成,最小实现为ReAct循环;核心工程量在模型之外的Harness,负责约束、验证与纠正。关键点包括KV Cache作为架构硬约束、提示词写成SOP、状态显式化、上下文压缩与隔离、双层记忆与混合检索、工具描述重于能力、沙盒默认断网、评估先行、SFT立形与RL泛化,以及通过外部化学习实现自我进化。

从实现逻辑出发,搭一个能干活的 Agent

Mobility Mobility · 2026-09-24T04:00:00Z
Dimitri Fontaine:PostgreSQL逻辑复制的十年演进

本文回顾PostgreSQL逻辑复制十年演进:从10版引入核心复制,到15版支持行/列过滤、16版支持origin防循环、18版提供冲突计数、19版测试序列复制。作者以“中心-工作节点”架构为例,展示如何用核心功能替代pglogical等扩展,并对比Citus:后者自动化分片与DDL传播,但工作节点无法独立运行,而逻辑复制保留节点自治。

Dimitri Fontaine:PostgreSQL逻辑复制的十年演进

Planet PostgreSQL Planet PostgreSQL · 2026-09-22T15:26:01Z
定价心理学:从 9.9 到 999 的逻辑

该文本仅为付费专栏的购买与登录提示,要求购买《普通人 AI 变现 0→1》后解锁全文,并绑定账号、扫码支付,无实质文章内容可摘要。

定价心理学:从 9.9 到 999 的逻辑

唐霜 唐霜 · 2026-09-19T17:43:28Z

本文介绍集合势与可数性,用对角线法证明程序可数而问题不可数,从而存在不可计算问题;同时讲解命题逻辑、一阶逻辑、图论中的点覆盖、独立集、鸽巢原理、Ramsey定理,以及有限状态自动机DFA与NFA,并说明正则语言的定义与等价性。

Notes on _CS103 Mathematical Foundations of Computing_

ChungZH 的小窝 ChungZH 的小窝 · 2026-09-19T00:00:00Z
红杉合伙人拆解xAI赢的逻辑:Colossus 2之后是太空数据中心

红杉合伙人认为xAI将胜出:创始团队离职并非崩溃,而是马斯克优先级切换。算力瓶颈已清除,Colossus 2成为全球首个吉瓦级AI集群,等效约140万块H100。下一步重心转向模型与产品,真正赌注是太空数据中心,靠Starship降本。SpaceX已收购xAI,但AI基建烧钱远超Starlink现金流,成败取决于两条曲线何时交叉。

红杉合伙人拆解xAI赢的逻辑:Colossus 2之后是太空数据中心

极道 极道 · 2026-09-14T02:47:00Z
异步编程九大维度对比:不同语言async/await底层逻辑完全不同

文章对比了Python、Rust、Swift等语言async/await的底层差异,指出它们在任务启动时机、生命周期、取消机制、异常传播等九个维度上设计不同,导致同一段异步代码在不同语言中运行结果各异。这些差异源于各语言在性能、安全与开发体验间的取舍,异步语法看似统一,实则语义并未标准化。

异步编程九大维度对比:不同语言async/await底层逻辑完全不同

极道 极道 · 2026-09-12T22:34:00Z
从“算力规模”到“产能效率”:Token工厂与模力方舟的AI产能落地逻辑

AI产业竞争正从算力规模转向产能效率,Token工厂将算力转化为可计量的Token产出。四川雅安“天绛·白泽Token工厂”已上线,目标月产能10万亿词元。Gitee AI(模力方舟)作为应用侧大模型平台,提供Serverless API、私有化部署与智算一体机,与Token工厂形成互补而非替代关系。

从“算力规模”到“产能效率”:Token工厂与模力方舟的AI产能落地逻辑

Gitee 官方博客 Gitee 官方博客 · 2026-09-10T11:32:59Z
Viacheslav Sarzhan:Percona PostgreSQL 3.1.0 操作器:透明数据加密、逻辑副本与持久化日志

Percona博客近期发布多篇技术文章,涵盖Stefan Fercot加入Percona的缘由及其在Percona Live Amsterdam大会上的亮相,MySQL的OpenID Connect认证现已完全开源,以及关于PostgreSQL供应商锁定风险的探讨。

Viacheslav Sarzhan:Percona PostgreSQL 3.1.0 操作器:透明数据加密、逻辑副本与持久化日志

Planet PostgreSQL Planet PostgreSQL · 2026-09-09T16:08:31Z
Percona PostgreSQL 操作器 3.1.0:透明数据加密、逻辑副本与持久化日志

Percona公司博客近期发布多篇技术文章,包括Stefan Fercot加入Percona的缘由及其在Percona Live Amsterdam大会上的亮相,MySQL的OpenID Connect认证现已开源,以及探讨PostgreSQL供应商锁定风险。

Percona PostgreSQL 操作器 3.1.0:透明数据加密、逻辑副本与持久化日志

Percona Database Performance Blog Percona Database Performance Blog · 2026-09-09T16:08:31Z
现场围观金融AI决赛,大厂挑人的逻辑我悟了

AFAC2026金融智能创新大赛总决赛聚焦金融AI实战,吸引超5000支队伍参赛。赛题贴近真实业务,考验选手的问题理解、工程意识与跨界能力。大赛强调AI人才需兼具判断力与落地能力,优胜者可获奖金、大厂offer及创投支持,并链接产业生态,助力人才成长与创业发展。

现场围观金融AI决赛,大厂挑人的逻辑我悟了

量子位 量子位 · 2026-09-08T05:05:03Z
逻辑学简史:逻辑、数学与计算机语言三百年共生史

逻辑从古希腊辩论裁判工具,经布尔代数化、弗雷格形式化,到哥德尔不完备定理和图灵停机问题划定边界,最终成为计算机硬件、复杂度理论、编程语言及AI验证的基石。文章强调逻辑非思辨游戏,而是驱动现代技术的工业核心。

逻辑学简史:逻辑、数学与计算机语言三百年共生史

极道 极道 · 2026-09-07T22:33:00Z
AI时代学编程:别背语法了,学逻辑才是正经事!

AI时代学编程,重点不在背语法,而在学逻辑。文章通过实例说明,编程思维能帮人精确表达需求,避免AI误解。核心是掌握循环、条件、调试等基础概念,用结构代替模糊愿望。这样与AI协作时,人负责思考“做什么”,AI负责“怎么写”,效率翻倍,沟通也更清晰。

AI时代学编程:别背语法了,学逻辑才是正经事!

极道 极道 · 2026-09-05T08:12:00Z

本文介绍一款在线逻辑门延迟计算工具,用于分析数字电路时序。用户可输入传播延迟、上升/下降时间、级联门数量及负载电容,计算总延迟、平均上升时间、最大工作频率和延迟-功耗积。工具提供CMOS典型延迟参考、预设工艺场景,并说明传播延迟定义及影响因素,辅助电路性能评估。

逻辑们延迟计算

老董日志 老董日志 · 2026-09-03T22:18:45Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 1tok 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator 模力方舟 Gitee AI

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码