与「ASP」相关的搜索结果

用AI给一个很冷门的软件Zblog编了个自用的插件，这软件ASP的，非常冷门，我给AI提了需求之后，AI先把整个源码下载下来，读懂之后，根据我的需求直接写代码，十几分钟就写好了，然后AI自己用VBS测试通过，我拿到线上测试，直接跑通，没有任何错误，现在的AI编程能力真是太恐怖了。

129 people on board and the ship taking on water rapidly is honestly terrifying. A fuel tanker called Atlantic Asphalt hit the American Heritage cruise ship while it was moored on the Mississippi River. Was a power loss on the tanker the real cause? 🚢 👇

楼下有位义正词严表演主流卫道士的。 我本来想让大家去看梁一梦@dream1984tube的推特，但鉴于很多人忽略了，我把他的帖子整理放这里: 梁一梦:摧毁黄仁勋的幕后黑手 2026年11月12日 11:35 我一直觉得是对华鹰派联合媒体在中期选举合谋猎杀英伟达和黄仁勋，但是媒体发表的标题文章味道越来越奇怪，充满了赤裸裸的种族歧视，现在发现他们都只是台前的打手而已，不得不让我重新审视最早纽约时报发表间谍新闻的记者 @AnaSwanson ，为什么对那么显而易见荒谬的线索高举高打，直到我检索了她过去里面，所有关于 ai 关于芯片科技关键新闻稿件以及深度报告中的重复核心信源，了解媒体工作的一定熟悉不是非常紧密和信任的关系不会信这么长期高频次的联络采纳其观点，你们猜我发现了谁—Jack Clark。 Anthropic 联合创始人、政策主管 / Anthropic Institute 负责人. Jack Clark @jackclarkSF 自己就是彭博社记者出身， OpenAI 政策总监（Policy Director） 在今年五月在阿斯彭研究所（Aspen Institute）举办的“AI and America's Place in the World”安全峰会及政策工作晚餐中，Jack Clark 与多位深入报道芯片供应链审查与地缘科技竞争的资深媒体人同场出席，其中也报过最先报道女间谍纽约时报记者，@paulmozur孟建国，他们一起进行了“AI 武器化与国家安全供应链防御”闭门讨论。 在纽约时报捕风捉梦的报道出来之后，第一个跳出来支持的国会议员 @ChrisCoons 在今年 7 月接受了 @jackclarkSF 的政治捐款，注意@jackclarkSF 生活在加州工作在旧金山Anthropic，特意专门跑去给一个Delaware州的参议院捐款，不要用那是他howntown解释， 2019 年在众议院情报委员会作证时提交的履历：众议院文件，原文他老家是"Varndean College, Brighton" 另外一个重要信息，他曾是乔治城大学 CSET 的非常驻研究员. 这次围绕猎巫黄仁勋的 @Georgetown 大学的人非常多， @MarkZJia 最高大法官的书记员 法学教授 @RyanFedasiuk 最早高呼黄仁勋辞职的上遍各种媒体的情报学讲师@dennisw5 前cia高级主管 CSET 全称是"安全与新兴技术中心"2 019 年设在乔治城大学的外交学院，专门研究 AI、半导体这类技术跟国家安全的关系。创办资金主要来自 Open Philanthropy，第一笔就是 5500 万美元。Anthropic 的 Holden Karnofsky 是它的联合创始人之一。它是"有效利他主义"（Effective Altruism）圈子最大的金主。 如果再有人我说冤枉了 @MarkZJia ，2026 年初五角大楼依据《联邦采购供应链安全法》（FASCSA）对 AI 模型供应商展开合规调查的风波中，Mark Jia 曾在华盛顿邮报及 Lawfare 连续撰文，就“国家安全行政权力界限与供应链风险认定标准”发表深度法理分析。法律论战中，其学术观点被 Anthropic 的法律抗辩团队广泛引用，用以界定“何种商业联系构成法理上的供应链国家安全穿透风险”。 全世界最早报道黄仁勋和黄乐的有浪漫关系直接抹黑黄仁勋金融时报的 @AsiaLens ，后来却说自己没有看过美国情报界的情报，他长期正面宣传报道Anthropic 的主动（划重点主动）合规政策（例如 2025 年 9 月独家报道 Anthropic 率先切断所有多数股权由中国资本持有的机构的 API 访问权，注意是独家从拿到信息来源的，为什么他独家？ 还记得针对黄仁勋的国会质询闭门会议，在媒体报道发出之前，国会议员@RepBrianMast 与@RepMoolenaar ，两人均签署 11 月 4 日对黄仁勋质询函,然后纽约时报女间谍新闻爆发，舆论做出黄仁勋是因为女间谍被国会审查一样，因为今年七月$1,500 万通过“保守派 AI 共识项目”直接捐给了他们两个，这笔资金背后金主是Anthropic PBC，通过Public First Action 渠道，Dario Amodei亲自拿了一百万美金。 在 2026 年选举周期中，Anthropic 构建了“双轨资金池”（企业 PAC AnthroPAC + 战略超级 PAC Public First Action），向此次负责向黄仁勋施压的核心国会立法者定向提供了关键支持，Anthropic 长期利益信托（LTBT）受托人 Richard Fontaine 担任 CEO 的智库 CNAS，系国会对华出口管制方案的直接设计者。在此次针对 Megaspeed 走私调查的内部听证会准备材料中，大量采纳了 CNAS 发布的《Defending the Compute Advantage》（保护算力优势）中的穿透式审查标准。 Richard Fontaine（Anthropic 长期利益信托 LTBT 受托人，2025 年 4 月/6 月加入，掌握董事会多数席位选举权）： 华盛顿核心国家安全智库新美国安全中心（CNAS）首席执行官（CEO），曾任美国参议院外交关系委员会幕僚及白宫国安会官员。 CNAS 长期向众议院外交委员会（主席 Brian Mast）和众议院中国委员会（主席 John Moolenaar）提供针对中国半导体与 AI 算力封锁的政策简报；Fontaine 直接坐镇 Anthropic 最高治理监督机构（LTBT），使 Anthropic 的对华芯片出口管制立场与国会国安鹰派高度一致。 民主党核心筹款人 Helen Milby 搭建的“Hakeem Jeffries 阵营—Anthropic 闭门通道”： 调查媒体 Sludge 于 2026 年 10 月 21 日披露， 长期为民主党“新民主党人联盟（New Democrat Coalition）”及众议院少数党领袖 Hakeem Jeffries 阵营筹款的资深筹款人 Helen Milby，同时运营着一家由企业资助的非营利组织，专门安排 Anthropic 等科技企业高管与国会民主党进行闭门对接。 Dario Amodei 在 2026 年内多次前往参议院银行委员会展开闭门政策沟通，提交关于“大算力外流对国家安全冲击”的机密级技术评估备忘录。该委员会资深共和党成员 Kevin Cramer 正是在今天成为全美首位公开要求黄仁勋辞去英伟达 CEO 职务的参议员。 一个巧合是巧合，一系列的巧合还是巧合吗？ Christopher LiddellAnthropic 董事会成员，2026 年 2 月 13 日加入，占据指定 Class T 董事席位， 特朗普第一任期白宫副幕僚长（White House Deputy Chief of Staff，深耕共和党高层与国会资金网络（2026 年 6 月曾向众议院拨款委员会小组主席 Chuck Fleischmann 捐款 $3,500），为 Anthropic 搭建起直通共和党主导的众议院各委员会的沟通桥梁。 引爆推特的，外交关系委员会的 Chris McGuire（@ChrisRMcGuire ），把金融时报报告的浪漫关系直接写成黄仁勋 "sleeping with Alice Huang, a Chinese spy" 他的推特只有 1.2 万粉丝，他以前在拜登的国安会当过 Chhabra 的下属。Chhabra 现在是 Anthropic 的国家安全负责人。今年 6 月台北 DSET 论坛他还和 Chhabra 同台，这个帖子发出之后，很短之内，众议员 Seth Magaziner 。前国家安全顾问 Susan Rice前议员 Adam Kinzinger ，纷纷立刻转载评论，达到1000万流量。 这是一次跨党派的种族主义的最高级别的清洗，意图驱逐世界殿堂级企业的华裔创始人。

1confirmation has invested in every Polymarket round ever and we keep doubling down. We are a seed stage fund and investing late stage is not our mandate. Here’s why we broke our rules: - There’s a 100+ year history of people wanting skin in the game on things like politics and culture and the time to accelerate that is now in an AI world where the biggest problem young people have is knowing what’s true. Everyone is becoming a trader/investor, and a product that converts that energy into better information and more truth is truly unique. - Polymarket is much more than sports and global. In the U.S. right now sports is all the rage. A better sportsbook is fine but it’s not the most enduring aspect of a prediction market business. Better information and more truth on politics, geopolitics and culture is the why and most young people you talk to IRL know that Polymarket is in a class of its own on this front even though that discourse here can get lost. - The business is leveling up. I’ve seen a lot over the past 6 years and it’s far from perfect but the exec team in place now is exceptional, the US product is best in class and the revenue is making new highs. I have not loved the messaging about a token at times bc it’s always best to underpromise and overdeliver by quietly delivering value to users. But the idea that a token is dead is foolish. - Shayne has a will to win like none other and is the most direct and transparent person I know. He’s just himself and authenticity wins. Posting here for transparency. Talk soon.

WATCH: Money managers are urging clients to revisit bonds for attractive yields. But inflationary pressures may mean investors need to look beyond bonds to diversify, says Mount Lucas' David Aspell

After the tea, President Xi Jinping and Madame Peng Liyuan visited the National Archives accompanied by President and Mrs. Trump.  President Xi underscored that China and the United States are distinct in many ways, with different histories, cultures, social systems and development paths. But the people of China and the United States are just like each other in aspiring for a better life. By recognizing and respecting the differences, understanding and learning from each other, focusing on the greatest common ground, lengthening the list of cooperation and properly managing differences, the two countries can achieve steady and long-term development of their relationship.

One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

I see your concerns around competitive integrity with more online play in the VCT next year. We’ll share more soon about all the measures we’re putting in place to protect it. But there’s one important thing to understand: online does not mean anonymous. If you cheat in ranked, you’ll likely lose your account. Worst-case scenario, you get a hardware ID ban and can’t play VAL on that computer anymore. Now imagine doing that in a VCT Open Qualifier. All the same protections still apply, including our kernel-level anti-cheat. But there’s much more on the line. You’re competing as an individual, not just a random account. As you advance, you’ll need to verify your identity with a government ID. We know who you are. And after the Opens the competition moves to LAN anyway. So if you’re caught cheating, you’re not just risking a VAL account. You’re risking your ability to compete in the VCT altogether. And I’ll personally ban your ass for a very long time. If you have real aspirations to go pro, it is an incredibly stupid risk to take.