凯特琳

数学工具在当代和未来的进化革命的可能性

摘要：在《数学深渊》中看到，数学已发展到很高深专业，但如果连三体方程都不能解，高深要来何用？黎曼猜想就算证明了又能怎样？能求出给定区间内所有的质数吗？能求出哥德巴赫猜想里和是某个大偶数的所有质数对吗？阅读全文

posted @ 2019-07-08 21:47 凯特琳阅读(168) 评论(0) 推荐(0)

超过光速的方法

摘要：我在《谈谈现代物理学》 https://www.cnblogs.com/KSongKing/p/9863498.html 中提出过超过光速的方法，现节选如下：昨天还关注了动质量的问题。按照相对论的理论，物体的速度越大，动质量就越大。这是戏论。阅读全文

posted @ 2019-07-07 22:22 凯特琳阅读(954) 评论(0) 推荐(0)

关于电和磁的关系

摘要：我看到百度贴吧民科吧的灵魂的守卫者提出了一些电磁的新模型，这是有意义的。事实上，物理学一直没有搞清楚电和磁的关系，只知道电生磁磁生电，但是，电和磁有没有共同的本体？这个本体是什么？这是物理学没有给出答案的。磁阅读全文

posted @ 2019-07-07 22:16 凯特琳阅读(1537) 评论(0) 推荐(0)

广义相对论的一个问题

摘要：广义相对论认为引力等价于空间弯曲，比如，恒星发出的光经过太阳周围时会因为太阳的引力发生偏转，这解释为太阳周围的空间发生了弯曲，或者说光子所处的空间有一个 “曲率” 。光子会经过无穷个点，每个点有各自的曲率，当然阅读全文

posted @ 2019-07-07 20:45 凯特琳阅读(596) 评论(0) 推荐(0)

我同意三江方士对哥德巴赫猜想的看法

摘要：我同意三江方士对哥德巴赫猜想的 “有限域成立的命题，无穷域必然成立” 的看法，三江方士是百度贴吧民科吧的一个网友，他发表了一篇《证明"哥猜"不过一句话》的帖子，如下： http://tieba.baidu.com/p/6166286490?share=9105&fr= 阅读全文

posted @ 2019-07-07 14:45 凯特琳阅读(1372) 评论(2) 推荐(0)

用机器学习逼近求解高阶方程

摘要：最近在看三体，大概是三体的微积分方程不好解，目前还没有完全解出来的方法，另外，即使加了一些条件限制来解，也发现三体没有周期性解。这些内容见百度百科的 “三体” 词条。才 3 个质点就这样了，那根据宇宙某个时刻的状态计算未来某阅读全文

posted @ 2019-07-06 21:59 凯特琳阅读(525) 评论(0) 推荐(0)

我给出了一个四色定理的证明

摘要：四色定理，实际上是看平面图形的 “共聚” 行为最多可以发生在几个图形上。我们先来看看什么是地图：地图就是平面上 n 个图形。图形之间会 “接壤” ，接壤就是指 2 个图形有公共边，这个公共边可以是直线线段，也可以是曲线线段，阅读全文

posted @ 2019-07-04 16:24 凯特琳阅读(1475) 评论(3) 推荐(0)

协程的实现方法

摘要：可以先看看我之前写的《再见异步回调，再见 Async Await， 10 万个协程的时代来了》 https://www.cnblogs.com/KSongKing/p/10802278.html ，要实现协程，需要语言自己实现一个线程池，然后把协程放到线程阅读全文

posted @ 2019-07-03 16:00 凯特琳阅读(830) 评论(0) 推荐(1)

软件技术基础设施重建白皮书

摘要：这是一个游戏。我在《浅谈计算机软件科学和技术》 https://www.cnblogs.com/KSongKing/p/10326733.html ，里提到，软件技术的 4 个核心技术： 1 图形学 2 编译器 3 操作系统 4 数据库未来操作系统的地位和硬件差不阅读全文

posted @ 2019-07-02 14:52 凯特琳阅读(411) 评论(0) 推荐(0)

ILBC 源代码项目规范

摘要：本文内容节选自《D# 语法》 https://www.cnblogs.com/KSongKing/p/10704450.html 。再谈谈调试的问题，调试，是 IDE 的部分，作为一个开放自由有生命力的语言平台，是不应该依赖于 IDE 的，我们欢迎 IDE 提供好阅读全文

posted @ 2019-06-23 22:56 凯特琳阅读(279) 评论(0) 推荐(0)

ILBC 白皮书

摘要：一个中间语言平台 ILBC 是 Intermediate Language Base on C 的意思。 ILBC 的目标是跨平台跨设备。 ILBC 的目标是建立一个基础设施平台。就像容器（比如 docker, Kubernetes），容器打算在操作系统之阅读全文

posted @ 2019-06-22 23:48 凯特琳阅读(388) 评论(0) 推荐(0)

自己写一个正则表达式引擎

摘要：见《自己写一个 C 语言编译器 InnerC》 https://www.cnblogs.com/KSongKing/p/11013210.html 。阅读全文

posted @ 2019-06-13 21:25 凯特琳阅读(364) 评论(0) 推荐(0)

我提倡在程序中大量使用中文命名

摘要：我提倡在程序中大量使用中文命名，根据我在 InnerC 中的经验，在程序中大量使用中文命名可以达到几乎不用注释的效果。比如类名、方法名、字段名、变量名等等，大量采用中文命名。有关 InnerC ，见《自己写一个 C 语言编译器 Inner 阅读全文

posted @ 2019-06-13 15:16 凯特琳阅读(255) 评论(0) 推荐(0)

自己写一个 C 语言编译器 InnerC

摘要： InnerC 用于 ILBC，我现在把它独立一个版本出来，项目地址： https://github.com/kelin-xycs/InnerC ， InnerC 是一个 C 语言编译器，最初的目的是作为 ILBC 的中间语言编译器用于编译 C 中间语言。有关 ILBC ，见阅读全文

posted @ 2019-06-12 22:27 凯特琳阅读(1315) 评论(0) 推荐(1)

我发起了一个分布式爬虫调度的开源项目 DSpiders

摘要：大家好， QQ 群里的网友提议搞一个分布式爬虫调度项目，所以发起了这个项目。 DSpiders， D 表示 “分布式”（Distributed）， Spiders 取复数表示很多的小爬虫，爬呀爬 …… 很可爱 …… 阅读全文

posted @ 2019-06-06 23:50 凯特琳阅读(288) 评论(0) 推荐(0)

谈谈图形学的从头建设发展之路

摘要：图形学要解决的几个问题： 1 模型， 2 透视 3 边界判断和遮挡 4 光影重力和机械运动等物理效果模型的部分，我们先从二维图形开始说起，比如 “如何判断一个点在多边形内？” ，这个问题我将之称为 “边界判断” 问题，假设我们设计一个游戏的话，就会考虑这个问题，阅读全文

posted @ 2019-06-01 21:24 凯特琳阅读(443) 评论(0) 推荐(0)

再见异步回调，再见 Async Await， 10 万个协程的时代来了

摘要：有关协程原理，见《协程和 async await》 https://www.cnblogs.com/KSongKing/p/10799875.html ，协程切换的时间很快，就是保存 3 个寄存器的值，再修改 3 个寄存器的值，这 3 个寄存器分别保存的阅读全文

posted @ 2019-05-02 14:28 凯特琳阅读(1203) 评论(0) 推荐(0)

用 EPWA 写一个漫画阅读器 ComicReader

摘要：用 EPWA 写一个图片播放器 ComicReader 。有关 EPWA，见《我发起并创立了一个 EPWA 的开源项目》 https://www.cnblogs.com/KSongKing/p/10745935.html ， js 库用的是 jWebForm，见《我发起并创立了一个 J 阅读全文

posted @ 2019-05-01 22:50 凯特琳阅读(435) 评论(0) 推荐(0)

协程和 async await

摘要：协程，是为了避免闭包传递变量的性能损耗而产生。如果不是为了避免闭包传递变量的性能损耗，线程池和 Task 已经够了，不需要再设计出协程来。闭包，会让所有共享的变量变成引用访问的方式，包括值变量。因为闭包是将变量放到堆阅读全文

posted @ 2019-05-01 15:04 凯特琳阅读(1033) 评论(2) 推荐(0)