Posts
662
Practical notes on AI assistants, software architecture, and developer tooling.
Posts
662
Tags
288
Featured
0
FrontierMath 中的超图 Ramsey 型问题长期被认为需要专家 1-3 个月才能解决,近日由 GPT-5.4 Pro 首次给出正确构造方案,随后 Claude Opus 4.6、Gemini 3.1 Pro 等多个模型也相继完成了求解。本文解析这道题的数学背景、难点所在,以及 AI 解法的意义。
Continue reading
FrontierMath 中的超图 Ramsey 型问题长期被认为需要专家 1-3 个月才能解决,近日由 GPT-5.4 Pro 首次给出正确构造方案,随后 Claude Opus 4.6、Gemini 3.1 Pro 等多个模型也相继完成了求解。本文解析这道题的数学背景、难点所在,以及 AI 解法的意义。
OpenAI 整理了一套用 GPT-5.4 生成高质量前端界面的实用方法,涵盖图像理解、设计系统约束、叙事结构与工具验证,帮助开发者从模型能力出发制作更具品质感的页面。
本文详细介绍如何使用 Azure Developer CLI(azd)的 ai agent 命令,两条命令就能将 AI Agent 从本地仓库部署到 Microsoft Foundry 生产端点,并涵盖本地调试、实时日志监控和前端接入全流程。
适配器模式是处理第三方集成、遗留系统对接最实用的结构型设计模式之一。本文通过支付系统和云存储两个真实场景,展示如何在 .NET 中用适配器模式保持核心业务逻辑清洁、可测试、易切换。
系统讲解 EF Core 10 中多 DbContext 的使用场景与实现——多数据库配置、同库 schema 隔离、读写分离、跨上下文事务、迁移独立管理,包含常见错误和决策矩阵。
系统介绍 EF Core 10 三种数据初始化策略——HasData、UseSeeding/UseAsyncSeeding 和自定义 Program.cs,覆盖选型决策矩阵、关联实体种入、环境差异化和常见问题排查,帮你从第一天起就选对方案。
Andrew Lock 逐一拆解 System.Diagnostics.Metrics 的全部七种 Instrument 类型——Counter、UpDownCounter、Gauge、Histogram 及其 Observable 版本——结合 .NET 运行时和 ASP.NET Core 的真实源码,讲清楚每种类型的适用场景和记录方式。
Andrew Lock 详细拆解 Microsoft.Extensions.Telemetry.Abstractions 的指标 Source Generator:它生成了什么代码、带来哪些约束、强类型标签如何使用,以及为什么他最终认为手写代码往往更好。
Andrew Lock 介绍 System.Diagnostics.Metrics API 的核心概念 Meter 与 Instrument,演示用 dotnet-counters 监控内置运行时指标,并手把手带你为 ASP.NET Core 应用添加自定义业务指标。
Andrew Lock 详解如何用 MeterListener 在进程内订阅 System.Diagnostics.Metrics 的 Instrument,涵盖回调配置、observable 触发、标签处理与线程安全聚合,并通过 Spectre.Console 实时展示 ASP.NET Core 运行时指标。
系统梳理 .NET 进程内线程同步的全套 API——lock 语句、Lock/Monitor、Mutex、Semaphore、ReaderWriterLock、事件类、CountdownEvent、SpinLock、Barrier 等,附分类对照表与实用准则。
系统介绍 EF Core 10 中批量操作的五种方案——SaveChanges 批处理、AddRange、ExecuteUpdate/ExecuteDelete、第三方 BulkExtensions——配合真实基准测试数据与决策矩阵,帮助你在正确的场景选对工具。