关于 BanQ
联系:
- 163邮箱: BanQ 163.com
- Github
简介:
- Java起步于:Jive,2004年出版:《Java实用系统开发指南》
- 创建自己的开源项目:Jdon框架和本站开源JiveJdon
- 2010年以后研究DDD领域驱动设计:DDD建模开发演示视频
- 2020年出版:《复杂软件设计之道:领域驱动设计全面解析与实战》
- 2021年自创的 “三体”建模法:
- 经验总结:上下文Context为王
- 经常阅读黑客新闻等科技媒体,常转摘于本博,做一些学习笔记
Thinking in Context:
《逻辑》三要点:《上下文为王》是大语言模型与搜索引擎本质区别:
- 悖论:罗素悖论
- 类型:类型解决了悖论,类型避免了自指矛盾。(量化、分类、物以类分、class、集合等)
- 形式:类型是一种形式。(数学、编程语言是形式逻辑;语文、物理是内容逻辑。抽象两种方法:上下文与类型)
《逻辑之道》 《培训咨询》
- 大模型能根据你问题的上下文给出答案,正如地图根据你当前所在位置导航一样。
- 搜索引擎只能全局搜索,搜索的结果不一定符合你的当前实际情况。