欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
用户:Allen
小 (→关于我) |
小 (→关于我) |
||
| （未显示1个用户的23个中间版本） | |||
| 第6行： | 第6行： | ||
==关于我== | ==关于我== | ||
| − | Allen | + | Allen, DJ LONGWELL |
| − | + | 理想职业：数学物理学老师、诗人、牧师，关于工作、情感、信仰。 | |
| − | + | 作为长期研究方向：《数论》《群论》《相对论》《量子论》《场论》《QED》《QCD》《诗论》《美学》《神学》，可一直学习深究下去。 | |
| − | + | 叶芝对魔法、神秘主义、心灵研究和秘契的执迷与他作为一名诗人的伟大是不可分割的。荣格的分析心理学强调人类的宗教性本质，并指引出一条如何开展神性的道路。 | |
| + | |||
| + | *微积分公开课，量子力学公开课，量子计算公开课，美学公开课 （2023-） | ||
| + | 2023-2033，第一阶段，数学物理学美学，潜心研究，以此为生 | ||
| + | *语言的力量：英日双语言，[[Erlang]]/[[C++]]双引擎，[[mathematics|数学]][[physics|物理学]]双基石，《[[Computational linguistics|计算语言学]]》《[[natural language processing|自然语言处理]]》《[[Machine_translation|机器翻译]]》（2023.01-) | ||
| + | *关注的神学家、宗教改革家：奥古斯丁、阿奎那、加尔文（2023.01-) | ||
| + | *Algebra, Number theory, Analysis, Geometry and Mathematical physics.(2022.11-) | ||
| + | *Compiler, Formal language, Formal mathematics and Formal verification. (2022.10-) | ||
| + | *学习数学物理学，，心存敬畏，大胆洞察。（2022.09-） | ||
| + | |||
| + | 数学基础与数学哲学，作为自身的素质素养，长期的学习思考沉积。 | ||
| + | |||
| + | All in [[Mathematics]], [[Physics]], [[Formal mathematics]] and [[Formal verification]]. | ||
| + | |||
| + | 形式化数学、形式化验证、数理逻辑、定理证明是灰狐的DNA和底蕴。殷实基石，不偏不倚。 | ||
| + | |||
| + | 学习数学，心存敬畏，大胆洞察。（2022.09）48岁才发现数学是自己的栖息之地和归宿。（2022.09.14） | ||
| + | |||
| + | 对于数学家而言，数学就是世外桃源，有一个可以栖息（退守）的地方。若数学不抛弃我，我一定不放弃数学。 | ||
| + | |||
| + | 就像[https://zh.wikipedia.org/wiki/%E4%BA%9A%E5%8E%86%E5%B1%B1%E5%A4%A7%C2%B7%E6%A0%BC%E7%BD%97%E6%BB%95%E8%BF%AA%E5%85%8B 格罗滕迪克]所说：“构成一个研究者创造力和想象力的本质，是他们聆听事情内部声音的能力。”这里没有等级高下，没有阶层之分，在对未知的探索前人人平等，每个人都拥有绝对的自由。每一个数学家愿意孜孜不倦研究数学的最主要动力不是别的，是我们享受那种日复一日，能够从现实生活中超越出来，去聆听，和发现世界运行规律的时刻。——[https://zhuanlan.zhihu.com/p/113516579 许晨阳] | ||
*一直跟进编译器技术：[[GCC]], [[LLVM]], [[Roslyn]] (2022.03.28)[[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] | *一直跟进编译器技术：[[GCC]], [[LLVM]], [[Roslyn]] (2022.03.28)[[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] | ||
2024年11月13日 (三) 04:05的最后版本
你不是在编程，你是在创造一个世界。
程序员是魔法师，软件将接管世界。
目录 |
[编辑] 关于我
Allen, DJ LONGWELL
理想职业：数学物理学老师、诗人、牧师，关于工作、情感、信仰。
作为长期研究方向：《数论》《群论》《相对论》《量子论》《场论》《QED》《QCD》《诗论》《美学》《神学》，可一直学习深究下去。
叶芝对魔法、神秘主义、心灵研究和秘契的执迷与他作为一名诗人的伟大是不可分割的。荣格的分析心理学强调人类的宗教性本质，并指引出一条如何开展神性的道路。
- 微积分公开课，量子力学公开课，量子计算公开课，美学公开课 （2023-）
2023-2033，第一阶段，数学物理学美学，潜心研究，以此为生
- 语言的力量：英日双语言，Erlang/C++双引擎，数学物理学双基石，《计算语言学》《自然语言处理》《机器翻译》（2023.01-)
- 关注的神学家、宗教改革家：奥古斯丁、阿奎那、加尔文（2023.01-)
- Algebra, Number theory, Analysis, Geometry and Mathematical physics.(2022.11-)
- Compiler, Formal language, Formal mathematics and Formal verification. (2022.10-)
- 学习数学物理学，，心存敬畏，大胆洞察。（2022.09-）
数学基础与数学哲学，作为自身的素质素养，长期的学习思考沉积。
All in Mathematics, Physics, Formal mathematics and Formal verification.
形式化数学、形式化验证、数理逻辑、定理证明是灰狐的DNA和底蕴。殷实基石，不偏不倚。
学习数学，心存敬畏，大胆洞察。（2022.09）48岁才发现数学是自己的栖息之地和归宿。（2022.09.14）
对于数学家而言，数学就是世外桃源，有一个可以栖息（退守）的地方。若数学不抛弃我，我一定不放弃数学。
就像格罗滕迪克所说：“构成一个研究者创造力和想象力的本质，是他们聆听事情内部声音的能力。”这里没有等级高下，没有阶层之分，在对未知的探索前人人平等，每个人都拥有绝对的自由。每一个数学家愿意孜孜不倦研究数学的最主要动力不是别的，是我们享受那种日复一日，能够从现实生活中超越出来，去聆听，和发现世界运行规律的时刻。——许晨阳
- 一直跟进编译器技术：GCC, LLVM, Roslyn (2022.03.28)
- 灰狐的核心商业模式是：金融科技和计算广告，它们都洞悉人性，洞察未来。(2018.10.16)
- 灰狗娱乐：为电音和电竞而生。(2018.10.16)
- 狗狗就是连接和通讯。(2018.10.16)
工作职业：维基人、独立顾问(区块链,机器学习,编译器,MATLAB,金融科技,宽客)、独立程序员、独立游戏人，通过 Freelancer.com 和全球的雇主和威客建立联系与合作。
此外，努力在学习机器(ps:很会学习，比学霸更厉害些)和机器学习两个领域找到感觉和平衡。
- 关键字：编程、看书、健身、电竞、电音、数学、物理、英语、旅行。
- 我的健身计划
- 编程语言：C(操作系统), C++(数据库), C#(企业应用), Go容器, PHP/Python(Web外包), F#/OCaml/Clojure(金融计算)
- openworldcamp.org 组织更多自由开放会议，举行更多线下数小时到数天不等的Hack和Coding聚会，推行各种开放理念，如何在一个开放的世界安营扎寨。注：对外的交流渠道。
- IT自由职业者的成功秘诀
- 敏捷软件开发宣言
- 网站运营、IT管理系统运维
- 安全是工作，最欣赏的安全专家：下村努（Shimomura Tsutomu，1964年－）日裔美籍的电脑安全专家、计算物理学专家，2008年诺贝尔化学奖得主下村脩的儿子。
联系我: http://twitter.com/huihoo 和 http://weibo.com/huihoo 和
http://t.qq.com/longhui 和 http://facebook.com/huihoo
天天写微博，坚持写博客: 自http://blogs.huihoo.com/?feed=rss2加载RSS失败或RSS源被墙
Work at Free and Open Source; interests include books, music, 宗教哲学, 数学, 物理, 生命科学, browser, mobile, cloud computing...
[编辑] 近况
- 2022.02.09，Happy proving, happy hacking! SML(Isabelle), OCaml(Coq), Haskell(Agda), Lisp(ACL2).
- 2021.07.08，人生苦短，职场规划：Java(JVM,DSL)、Testing(Multi-language)、DevOps(Kubernetes)，Ruby on JVM, PHP on JVM, Python on JVM ... GraalVM 通用虚拟机
- 2020.09.30，简单点，我的企业级语言：C++ , Java 和 C#，灰狐社区和网站就是 Ruby 和 PHP，后台运行着各种企业级应用和服务。
- 2020.06.24，编程语言、编译器、虚拟机虚拟化作为自己在IT领域的主攻方向。
- 2020.01.23，干安全吧，因为安全第一，今天武汉封城。
- 2019.3.8，如果你有选择障碍，不知如何取舍，可选择多模式编程语言和数据库：如：C++, ArangoDB
- 2019.3.6，逐步形成.NET Core、ASP.NET Core、Entity Framework Core、Apache Cassandra 的核心能力，构建灰狐、灰狗、狗狗的统一基础设施。
- 2019.2.2，iYouPort 以前这块关注的太少，本质还是搜索引擎和知识图谱，如：LittleSis 一个免费的数据库，了解在商业和政府层面的人际关系。一个草根监督网络，连接世界上最强大的人和组织之间的点。调查任人唯亲，利益冲突和系统腐败的独特资源！
- 2019.1.1，计算广告会一直是灰狐最重要的商业化产品，因为商业的本质就是推荐，快速精准的匹配商品与用户，智能问答和知识图谱（灰狐机器人）。广告其实就是推荐服务，推荐商品、服务、价值给用户。一切皆数据，数据即洞察。一切皆数据，数据即代码。灰狐数据是核心业务，支撑所有商业化产品和服务。
- 2018.11.28，metabase是核心数据分析和商业智能软件，帮助soda把数据分析门户打造出来，Clojure作为JVM生态语言的突破口。
- 2018.11.26，购买openedu.foundation域名，开启终身教育事业！
- 2018.11.20，接下来，就一直潜心打造这三种能力：编程、数据、AI，先以咨询、培训、教育的方式输出这些能力。
- 2018.11.07，2018-2020，All in Python，五指禅：Python实现、MicroPython、keras、edX、odoo。
- 2018.11.06，2018-2020，这两年，一定要把灰狐咨询、灰狐教育、灰狐会员和灰狐移动(外包)业务做起来。推动WorkOps，帮助自己和更多人过上自由、独立的生活和工作。
- 2018.11.04，Web承载普适计算，WebAssembly是加速器，浏览器是平台。
- 2018.11.02，All in AI，赋能灰狐教育、灰狐数据、灰狐资本、灰狐云、区块链、自动驾驶、计算广告等所有行业和业务，C++/Python/Julia强力驱动。。
- 2018.10.30，只做教育，因为不论你做人工智能、大数据、区块链等所有行业，都需要知识传递、能力提升，才能更好达成目标。且自己也会活到老学到老，推崇终身学习。小到个人团队、大到组织国家，都需要通过教育提升竞争力。
- 2018.10.28，进入自动驾驶领域，GIS系统和地图数据可能是最佳切入点。
- 2018.10.23，今明两年，工作相关产品专注灰狐移动、灰狐数据和灰狐教育(Python程序媛和4C程序员)、灰狐E3(odoo)、灰狐协作(DevOps)。
- 2018.10.21，寒冬已至，All in 金融科技和计算广告。
- 2018.10.17，唯一得到充分商业化和规模化的大数据应用就是计算广告，互联网公司，商品化产品中最重要的就是广告产品，Scala、Apache Spark、Apache Kafka和H2O on Hortonworks是广告业核心语言和核心项目。
- 2018.10.16，HDFS和HBase：互联网文件系统和数据库，大数据基石，普适而强大。海量存储、分布式、集群、水平扩展是基本特性。深度参与，长期持有。Hortonworks的支持服务和再分发。
- 2018.10.09，因为近期工作需要前端技术会更侧重：node.js ecosystem和JavaScript、TypeScript、Dart。
- 2018.10.04，持续跟进和深入OpenWrt、Yocto Project和Zephyr Project嵌入式、实时操作系统。
- 2018.10.03，Java编程模型和应用容器：Apache Karaf，基于OSGi构建，支持Spring应用。1
- 2018.09.30，移动操作系统就深度Android和LineageOS，它是自由、通信、隐私保护的关键。Elasticsearch已成生态系统，它不仅仅是搜索，还提供APM、安全分析和基于数据的分析和洞察。Kubernetes和TensorFlow也都已成生态，就它们了。
- 2018.09.27，M3 OpenAds、E3 odoo、D3 HDP三个核心项目的持续推进和沉淀。
- 2018.09.15
一、更专注算力（芯片）、AI算法、操作系统、数据库存储、编程语言、DevOps和灰狐协作、各种快速开发框架和类库，更高效的研发速度和强大技术能力将决定商业成败。
二、Liferay和Orchard可作为Java和C#企业门户和应用开发平台。 现在总体的使用率应该还是Java > C#：
Web端： Java > C# PC端: C# >> Java 移动端: Java >> C#
重建C#和.NET生态，巩固PC端，发力移动端和企业Web云端(Xamarin/Mono和.NET Core)。
- 2018.09.14，构建 ASP.NET Core + KestrelHttpServer + Nginx + .NET Core 跨平台Web应用。
- 2018.09.06，OSGi、Liferay、WSO2企业中台和模块化应用的重要支撑。
- 2018.07.20，购买Huihoo.network域名，用于区块链。
- 2018.06.25，减少一些电竞、电音的投入，把更多时间留给看书、码字码代码和数学物理。
- 2018.04.16，开始推广灰狐会员服务。
- 2018.02.15，一切皆虚拟化。
- 2018.02.07，商业的本质是推荐，广告其实就是推荐服务，推荐商品、服务、价值给用户。ps: 推动琥珀亲子广告推荐系统落地。
- 2018.01.16，2018、2019、2020，就是灰狐云、容器云、私有云、PaaS。若没有云计算的基础设施，上面的大数据和人工智能都是扯淡，看看大数据和人工智能领导者Google、Facebook、Amazon、Microsoft庞大的数据中心和云计算平台，也就不难理解了。(2018.01.19补充说明)
- 2018.01.08，灰狐咨询、灰狐教育、灰狐网络
- 2018.01.04，布道和推广Actor模型和SMACK堆栈。
- 2017.12.14，我的工作与生活：WorkOps、LifeOps，共筑区块链社会。
- 2017.12.07，最重要的移动平台Android/LineageOS，最友好的Notebook系统KDE neon/Chromium OS，最安全的网络系统OPNsense/FreeBSD，最重要的基金会Linux Foundation。
- 2017.12.03，以DevOps的方式运营工作：WorkOps。
- 2017.11.27，编程、数学、英语，这三项基础能力更好支撑宽客的职业和工作，继续我与量化投资的1000个日夜。
- 2017.11.23，三件重要的事：教育(灰狐教育)、工作(Freelancer.com和众包)、生活(E3电子商务和零售业/社区支持农业/灰狐咖啡)。
- 2017.11.22，继续追随Freelancer.com，世界上最大的自由职业和众包市场，雇用威客和在线寻找自由职业。
- 2017.11.20，因为火狐和开放Web，所以Huihoo browser。
- 2017.11.09，这几年(2017-2020)全力打造灰狐教育、灰狐公开课、灰狐咨询、开放大学四个品牌优势。512元购买GitChat超级会员年卡，开启GitChat模式。依托E3 learning打造一个开放的教育、公开课、咨询服务、开放大学的知识共享和终身学习平台。
- 2017.11.06，与猎数博客作者的兴趣爱好很相似，关注。
- 2017.10.08，Erlang VM和Erlang ecosystem很重要，全力以赴。
- 2017.9.18，Web & mobile app development, UI/UX, Growth hacking 是非常适合小团队的发展路线图，Vanila团队可多关注，huihoo.design和huigou.ac要进驻Instagram。
- 2017.9.14，购买openuniversity.io域名，开启我的终身事业：开放大学。
- 2017.9.13，注册swiftos.org，SwiftOS雨燕操作系统是灰狐的一个理想。简称SNU，基于XNU/GNU+KDE构建，它们都is Not Unix，更好的支持Swift编程语言。注册 swiftui.org
，Focus on UI、Desktop、Productivity。
- 2017.9.12，在《信息革命指引下的新世界》的主题演讲中，孙正义用了两个半小时描绘对未来的设想：卫星网络覆盖地球每一寸土地，数千万亿台设备连接互联网、将数据传至云端，再由人工智能进行分析。
- 2017.9.5，2017-2020年，除了很努力外，还有三件事不要瞎忙：找对平台、交对朋友、更对贵人。跟谁混，很重要！
- 2017.8.24，知乎成立党支部并召开第一次党员大会 没什么可说的。
- 2017.8.4，PHP和HHVM持续跟进，Phabricator和MediaWiki是灰狐协作的基石。
- 2017.7.25，IntelliJ IDEA平台很好用，目前Python, C++, JVM等开发都基于它。
- 2017.7.17，开始我与Python、MED、MOBA、德州扑克、量化投资的1000个日夜。每天都要推进这五件事，很不容易，坚持下来，回过头来再看看。
- 2017.7.16，10年规划(至2027年)：为企业提供M3, E3, D3的营销、应用和数据服务，也将培训内容微课化(Live)服务更多个人用户。
- 2017.7.12，正式启动E3 odoo的咨询、实施、订制、运营服务，全力以赴，这是饭碗。
- 2017.7.11，OpenStack是企业的核心能力和战略资产，投入这波浪潮。Mirantis已经从用户下载、安装并返回Mirantis解决问题的OpenStack发行版模式转变为运营客户的OpenStack环境至少12个月，然后再将操作转交给客户的模式。OpenStack私有云即服务要火了？
- 2017.7.8，每天围绕三个核心开展工作：M3、D3、E3。
- 2017.7.7，通过scikit-learn和weka，学习实践机器学习和数据挖掘。
- 2017.7.5，为什么选择Eclipse？因为它的开放和生态系统，因为OSGi。
- 2017.7.2，现在每个企业都是数据型企业，数据是企业最宝贵的业务资产。通过Deep learning on HDP融合人工智能和大数据，部署HDP on OpenStack到云端，为数据的未来保驾护航。
- 2017.7.1，物联网从mbed、机器人和无人驾驶从ROS开始。
- 2017.6.28，2 + 1战略，两个核心业务：企业应用(E3.NET)、个人业务(灰狗娱乐/狗狗)，1指核心能力：人工智能。
- 2017.6.26，结束在凯励程的工作，最大收获：公司一定要有一个核心的业务系统，持续产生收入保证公司的正常运营。所以全力参与odoo贡献并提供软件定制开发和E3解决方案，灰狐需要一个长期、稳定面向企业应用的核心业务系统。
- 2017.6.22，操作系统是计算工业和机器人的核心，赋予它们更多AI，也就让计算工业和机器人更具智能化，ROS是机器人和自动驾驶汽车操作系统，但要解决可靠性、性能和安全等关键问题，DDS中间件带来的复杂性，同时通过包的方式更多分发AI软件和系统，和Automotive Grade Linux一起持续跟进。
- 2017.6.17，跟进和实践MariaDB和Apache Cassandra的融合，Cassandra存储引擎。
- 2017.6.10，聚焦Python和C++，当前工作和E3.NET的发展，odoo、C++、Python、HPCC、Ansible和edX可更多推动：企业级应用、机器学习、数据分析挖掘、IT自动化、在线教育。
- 2017.6.9，将机器学习更多用于计算广告和OpenAds。
- 2017.6.1，后端系统和监控系统一直是公司的核心系统，持续在这两块耕耘，尤其Apache Usergrid和Prometheus两个项目，支持Web、App、IoV、IoT。
- 2017.5.28，D3、G3、E3、 继续走起，优先级：大数据人工智能、游戏、企业应用。
- 2017.5.24，相比Lisp和Fortran，Erlang具有更多现实意义，可在高可用和高并发打下坚实基础，更好服务IoV和IoT产业，无数车和设备需要无数的长连接(轻量级进程)。
- 2017.5.22，进入凯励程，开始汽车安全、汽车黑客、摩托车、自动驾驶的职业生涯，PHP/Python/C++/Go走起，搭建运营CI/CD和DevOps基础设施。
- 2017.5.20，工作之余，发展几个社区：灰狐Lisp俱乐部、灰狐Fortran俱乐部、灰狐伊娃俱乐部、灰狗棋牌俱乐部、灰狗刀塔俱乐部、灰狗暴雪俱乐部，Lisp和Fortran需要传承和发扬光大。通过CiviCRM和CiviHR运作社区关系和人力资源，更多参与GNU工作：GCC、Emacs Lisp、GNU Fortran、GNU Manuals。
- 2017.5.18，Lisp，我的情人。Lisp是思维方式，是种信仰。2018，Lisp将迎来60岁生日，我也要将Lisp用到我的60岁(嗯，还有17年)。Racket/Maxima/Clojure作为研究和实践平台。
- 2017.5.17，有空学习使用Amazon Lumberyard。4C程序员(C/C++/C#/Clojure)，有点意思。通过计算广告增强自己的营销和市场能力，继续推进灰狐企业推广服务。
- 2017.5.16，金融语言：F#，金融数据库：FDB，F#是一个全栈语言。
- 2017.5.14，毕生追求区块链社会，Go驱动的OpenShift容器云和CI/CD基础设施，OpenShift Blockchain Initiative。
- 2017.5.10，MOBA的王者之战：Dota 2、英雄联盟、风暴英雄、王者荣耀，虚拟世界的自由与荣耀之争，从风暴英雄和王者荣耀找到突破口。
- 2017.5.8，基于MediaWiki的游戏社区解决方案：E3 Wiki，C++/PHP/Vim/MATLAB/Octave 日常工作标配。
- 2017.5.6，就它们了：人工智能、国际象棋、德州扑克、炉石传说，16字方针 :)
- 2017.5.5，将C++应用于编译器、人工智能、区块链、Qt/游戏平台/动漫平台/电音平台/数学平台、游戏，长期积累和深度历练。
- 2017.5.4，为什么是
和
，因为轮回。
- 2017.4.28，全力国际象棋、德州扑克和炉石传说三个项目，C++和Scala开发App、桌面和运营支撑系统(棋谱、牌局、卡组)，其它游戏保持跟进，PHP和Python开发灰狐社区和灰狐教育，Web后端系统由PHP/Python/Scala驱动。
- 2017.4.24，43了，希望在德扑、区块链、FCS/EVA、炉石传说、DNF、数学和人工智能上有不少进步。游戏更多精力放在Dota 2上，因为它更正统，更加开放。
只为情怀和感受它的初衷与精髓，我也会走的，V社(Dota2)、拳头(LOL)、暴雪(HS)各选一款主攻。CS(C++、Scala)驱动手游、端游和Web服务端，通过棋牌游戏进入这个领域。
- 2017.4.22，运作灰狐伊娃俱乐部、灰狐FCS俱乐部和灰狗暴雪社线上和线下社区。
- 2017.4.5，除了日常工作、E3 Wiki/Phabricator、德扑和MOBA电竞游戏训练外，就是人工智能、虚幻游戏引擎和开源游戏项目开发运营：灰狗游戏平台。
- 2017.3.5，三组、6种语言：C/C++、C#/F#、PHP/Python，火力全开，主打C#和PHP for App + Server。
- 2017-2020：语言：C#、F#、C++，平台：Xamarin、Unity、AWS，项目：E3、D3、G3，简单更有力量。
- 2017.2.16 - 2020：灰狗电音、灰狗电竞。
- 2017.2.14，别想太多，2017就三件事：Unity, Umbraco和C#。
- 2017.2.9，灰狐、灰狗的三大支柱：.NET, C#, F#，集成PHP，Python在.NET平台上: Dynamic Language Runtime(DLR) IronPython。
- 2017.2.8，Java, PHP的模块化干不过C#和F#，所以做生态系统还得靠.NET Core和ASP.NET Core。
- 2017.2.6，Unity是自己进入游戏行业的敲门砖，用Unity重构全民反击2并开放源码，G3项目的推进。
- 2017.1.31-2027，建立灰狐3C优势：C, C++, C#
- 2017.1.26, We are Smalltalk & Haskell lovers.
- 2017.1.21，灰狐教育是灰狐最重要的事业，其它业务围绕它展开，灰狐人工智能实验室是动力引擎，灰狐社区聚集更多的用户，灰狐协作组织协调更多的开发者，灰狐D3和灰狐E3是灰狐核心产品和服务。
- 2017.1.10，接下来20年全力打造灰狐人工智能实验室。
- 2017.1.9，2017-2020的工作重点就是灰狐D3。
- 2017.1.3，PHP、Python、JavaScript 是工作、灰狐社区、灰狐教育的核心语言，因为它们的"简单"、强大、易用和普适性。
- 2016.12.31，灰狐16岁生日。
- 2016.12.26，选择单纯点，生活和工作就会更加顺利些，数学、编译器、人工智能。
- 2016.12.24，C++生态系统和JVM生态系统，是灰狐的两大技术方向，也是要努力打造的两大核心能力。
- 2016.12.22，数学领域研究从计算数学入手，使用MATLAB和GNU Octave数值计算软件。
- 2016.12.16，结束同方云蜜月期。此后，努力打造两套系统：业务系统E3.NET，后台系统Huihoo.IO，同时进阶 自上而下的学习路线: 软件工程师的机器学习。
- 2016.12.10，Apache Cassandra是移动互联网、车联网、物联网的存储核心，Apache Usergrid 为App、IoV、IoT提供MBaaS后端服务，Kong提供Microservices和API基础设施，逐渐形成所服务公司和灰狐的核心存储和后端服务、API能力。
- 2016.11.27，通过Emacs开发所有语言的应用和服务？之前对Java和Scala的开发有些犹豫，现在可以通过ENSIME比较好的解决，逐步形成灰狐在Emacs上的开发优势。
- 2016.11.18，在同方的日子，GoPython，Go系统，Python业务。此外，在JVM生态中，Scala for Apache Kafka、Apache Spark、Apache Cassandra和核心基础设施。
- 2016.11.10，数据库和存储决定应用形式和商业形态，Google和AWS的成功说明了这一点。Alluxio、InfluxDB、MariaDB、Redis、Riak、Ceph、OpenStack/Docker存储作为重要研究对象。
- 2016.11.09，API Management Platform 可以成就一家公司，3scale 已被红帽收购。灰狐近期工作重点可定位在API：设计、开发、服务、治理。
- 2016.11.08，要解决研发、交付自动化，PaaS(运行在OpenStack上)、CI、CD 是核心和基础，这也是我在同方工作重点。每日工作：Python、Go、Erlang、Clojure(JVM平台)、F#(.NET平台)。
- 2016.11.07，SaaS的机会被Salesforce.com抓住了，IaaS的格局已基本形成: AWS和OpenStack，红帽要通过OpenShift形成PaaS巨大优势，我们似乎也可以借助OpenShift构建Huihoo.NET容器云。用Swagger和Kong对外提供开放API。
- 2016.11.06，接下来的职业生涯和工作重点：人工智能、机器学习、机器视觉。因为人工智能这件事值得干上几十年，打造灰狐最核心部门：灰狐人工智能实验室，深度大脑：deepbrain.me。核心语言：C++、Python、F#，包括Swift用于App开发。嵌入式软件具有小而美、面向物联网应用、覆盖海量设备的特点，可以快速找到突破口。如：Embedthis Software。个人标签：学习机器、机器学习 :)
- 2016.11.04，没有机会在大规模计算、存储、网络的环境下进行实践(在大厂工作)，那就在业务(电商ERP/物联网)、理论(通讯网络存储)、硬件(嵌入式OS,OBD,CAN总线等)、算法(机器学习)等方面做深度历练，运营(ERP)、研发(禅道/Phabricator)、运维(Ansible)的高效协同。
- 2016.11.01，用系统化、工程化、流程化、文档化推动公司文化变革，通过共识和规范约束人为因素，所有东西都走流程、系统，而不是某个人说得。开始开发实施公司ERP运营支撑系统，通过ERP、BOSS运营系统推动公司的流程化管理和业务协同，公司的管理者也是系统的运营者，让系统推动公司进化、演进。Python for 运营系统、数据分析、机器学习。
- 2016.10.31，进入清华同方云计算，开始车联网的新一轮创业，通过车联网进入物联网这个巨大市场。在OpenStack和Hadoop的基础设施上打造公司核心能力：车联网(终端能力/决战第四屏)、区块链、机器学习。C# + Erlang + Python 驱动我在同方的主要工作：保险+车联网+电商的杀手级引用、ERP运营系统 + 车主社区/俱乐部 + 数据分析/机器学习
- 2016.10.30，操作系统是互联网、移动互联网、车联网、物联网的核心，在行业里技术壁垒就是平台壁垒，Linux、Android、Zephyr、Contiki、FreeBSD需要10年沉淀和深度研究应用。
- 2016.10.28，持续数10年的研究应用语言：C++、Erlang、F#，系统、通讯、商业应用。Swift、PHP、Python、C#等其它语言为具体应用(App,Web,企业应用)而选择。
- 2016.10.25，Red Hat是最成功的开源企业，Linux获得巨大成功后，OpenStack和OpenShift是公司新的增长引擎。跟随红帽步伐，做开源企业。
- 2016.10.24，做好两件事：面向个人的灰狐社区服务，面向企业的E3.NET服务，个人和企业服务好了，我们就有了持续发展的动力。
- 2016.10.23，重点使用Python，将其发展为灰狐的第一核心语言。因为Web/Django/Flask,ERP/ERPNext/odoo,数据分析/Pandas,机器学习,自动化工具/Ansible,OpenStack云平台。通过PHP/Symfony,Python/Django,C#/ASP.NET围绕E3.NET在内容/电商/CRM/ERP/MRP的生态建设上持久沉淀，交付更多项目和应用，服务更多客户。
- 2016.10.20，这几年绝大大部分时间花在Swift+PHP/Python+MariaDB和C/C++上，也就是App,Web,Database和系统编程/语言开发(Swift的C++,PHP的C语言)上。
- 2016.10.18-2026，专注macOS,iOS,watchOS,tvOS 10年，专注Swift,PHP,C#,F#,Compiler 10年，专注E3.NET 10年，专注暴雪游戏10年。
- 2016.10.16，Swift + PHP，双箭齐发。深度Swift，因为Apple是最有价值的平台，且Swift采用Apache v2许可协议和跨平台特性，Google也最有可能用Swift替换掉笨重且有版权问题的Java。
- 2016.10.12，PHP、JavaScript是最普适、最大众化的编程语言，支撑着灰狐、灰狗。Erlang承载着狗狗的通讯理想，也因为WhatsApp榜样的力量。
- 2016.10.11，做社区、玩游戏、结交朋友、当猎头、开发OpenHRM。围绕PHP，打造灰狐的PHP生态系统：灰狐社区、E3.NET、Enterprise PHP、Huihoo PHP Applications。
- 2016.10.10，有了用户、社区，才有之后的商业。先开发灰狐社区，基于PHP构建。
- 2016.10.05，在编程语言方面，深入编译器(GCC,LLVM)，它们是语言的核心。以Go,PHP,F#/OCaml为核心语言，尤其F# Compiler和F# Compiler Service部分。编程语言有数百种，流行的也有几十种，你几乎不可能都去了解。但它们共同遵循的编译原理却是想通的，深入了解编译原理对深度掌握编程语言和设计新语言都有巨大帮助。
- 2016.10.05，游戏+广告，最好的商业模式，没有之一，它们洞悉人性，刺激痛点。
- 2016.10.04，因为BBS、社区、维基、wikiHow、Wikia、电子商务、HHVM/Phalcon/Swoole，它的大众化、低配、低费，在业务系统开发上的优势明显，PHP 值得你一生拥有。
- 2016.10.03，因为并发容错、通讯电信、进程必须是语言核心，所以Erlang；因为系统编程、容器(Docker/kubernetes)、微服务(Go kit)、安全(Let's Encrypt/蓝灯)，所以Go.
- 2016.10.01，三职业：独立顾问(安全/TLS/身份管理,安全是最适合独立顾问的领域,也是工作核心，区块链,机器学习)、程序员(F#,C#,C++,PHP,JavaScript,Go,Erlang)、玩家(炉石传说,皇室战争)
- 2016.09.26开始，每天工作都围绕以下内容展开：
1、F#：区块链BCF#、机器学习/超级计算、金融数学 // 参考学习 OCaml、Lisp、Haskell、Clojure、Julia ps: 我所理解的当下计算工业的两颗明珠：区块链和机器学习。 2、C#：游戏、应用 3、C/C++：编译器(龙书)、数据库、计算机图形学 4、金融：证券分析、游戏经济学灵感来自《维基经济学》 5、数学：线性代数、数值分析、GNU Octave、Scilab、MATLAB、Maxima 6、协作：文档协作、项目协作、即时通信，PHP 和 Erlang 语言驱动。 7、社区：技术社区、游戏社区、灰狐通行证，PHP、Go 和 Amazon DynamoDB 驱动。
- 2016.09.23开始，每天坚持做的四件事：区块链、机器学习、F#、炉石传说 10年磨一剑 :)
- 2016.09，以计算机图形、计算机视觉、游戏引擎、OpenGL、DirectX、3ds Max、Maya、Blender、世界地图为重点，使用C、C++、C# 3C语言和Unreal Engine、Unity、Cocos2d-x 3大游戏引擎和TrinityCoreMMORPG框架。专注引擎，因为它是计算工业的基
[编辑] 简介
Richard Stallman GNU & FSF 创始人. Guido van Rossum: Python创始人
Python + C = Nuclear
互联网的圣杯之战: 浏览器和云计算
"我永远不会放弃和离开Huihoo，这是我一生的工作，它是我的孩子。我将一直积极参与Huihoo的各项工作。不过，我同时也有一些新创意，我们也可能成立一家新公司，如灰狗游戏。
平时多关注: Debian, 手机, 浏览器, 社交媒体, 大数据, 开源, 广告网络 :)
深入研究和应用这两类类手机平台: 
操纵系统是我的研究重点: 
主机安全：
We Use Python, C/C++ development Huihoo and Huigou
个人理解的技术领域的三驾马车: OS, Storage, Security // 它们都值得10年如一日的默默耕耘
开源企业应用软件App、中间件、数据库和操作系统是Huihoo研究和商业化服务的四大领域.
个人主页: http://huihoo.org/~allen
Parallel Computing, Storage, Virtualization 等是目前的研究重点.
GWT + App Engine = Qwerty Game // from http://ongwt.com/
GWT/Grails/Rails/Django + OpenCloud = Enterprise Game // from http://huihoo.com/ :)
ReactOS 会不会成为WinXP小规模的替代产品, 这里主要指BSD/Linux/UNIX用户, 通过VirtualBox安装ReactOS. 我们在这里将WinXP定位成跑一些小的客户端软件的平台. 方便Windows应用的开发和调试.
Agile Enterprise, Agile Web 敏捷企业应具有敏捷Web的开发能力, 因为随机应变的业务模式需要敏捷Web去支撑 :)
自由/开源软件运动的积极参与者。哲思自由软件社区做得不错
High Scalability: Building bigger, faster, more reliable websites. 是我们努力的方向。
小而强大的客户端(Windows, MacOS, Linux), 更强大的服务端基础设施是我们工作的重点。
Community Driven Business 相信社区驱动的商业价值 :)
Google's mission: Organize the world's information and make it universally accessible and useful.
Socode mission: Organize the free and open source project's code and make it universally accessible and useful :)
Huihoo's mission: ??? , Share and Enjoy :)
Huihoo的核心竞争力: Open Source 服务运营管理, 其实 open source is services, http://bitnami.org/ 的软件分发方式值得借鉴.
Sourceforge.net 的开源服务购买市场值得关注
huihoo and open source powerful your business
GNU/Debian/FreeBSD/OpenSolaris 就是一种生活态度 :) 一群最值得尊敬的朋友们 http://www.gnu.org/people/
Huihoo and Debian, 推动 Debian 成为 Huihoo 应用的基石, gNewSense 的发行模式值得借鉴. 关注Linux,BSD的各种分发版本: http://distrowatch.com/
Google 的核心基础设施包括: Google File System, MapReduce, BigTable, 类似 Google 基础架构的 Cloud Computing 模式非常吸引我。
你也可试着通过 ZFS and Lustre, Apache Hadoop, Hypertable and HBase 搭建自己的核心基础设施.
针对 Amazon Web Services 的 S3, EC2, SQS, FPS, and SimpleDB, 我们的对应方案又有哪些 ？
下面是可能的一些参考方案: FreeNAS, Enomalism, Apache ActiveMQ, StrokeDB/Apache CouchDB ...
AWS的启发: Web Services Are Dependent on a Reliable Network. 所以一个可靠的网络是Web Services的关键.
随时关注：High Scalability Building bigger, faster, more reliable websites.
主要编程语言: Java, C/C++, Python, JavaScript 用户接口: Qt, Browser
主要开发工具: Vim, Emacs, Eclipse, Visual Studio
MySQL,PostgreSQL, Berkeley DB 其实并不竞争，它们能很好的工作在一起。
- 用户登录验证用BDB. Google Accounts uses Berkeley DB HA
- 前端DB用mysql cluster 支持庞大的Internet用户数据和其它相关资料
- 后端DB用pgsql cluster 做日志分析、数据分析、数据挖掘和实时商务智能等
Freedom OS : 缩写: FDOS 也指 FreeBSD + Debian + OpenSolaris, 其实FreeBSD,Debian,OpenSolaris能很好的工作在一起,它们并不竞争,而是让这个计算世界有更多的和谐与选择, 让它们一起组成庞大的计算基础设施. 是否可设想FDOS是一个由三个操作系统核心(Linux,FreeBSD,OpenSolaris)组成并可自由切换，而共用Debian包系统。
Nexenta项目使OpenSolaris能方便的使用Debian包. 若能为这三个操作系统维护一套完整、统一的应用包那将是一件非常令人开心的事情。
Debian GNU/kFreeBSD is a port that consists of GNU userland using the GNU C library on top of FreeBSD's kernel, coupled with the regular Debian package set.Ging is a Live system that you can burn on a CD. It is based on Debian GNU/kFreeBSD
OpenSolaris Storage 可能是最值得关注的项目, OpenSolaris有必要在存储系统找到更多机会，因为其核心文件系统 ZFS 值得期待.
Free Software Foundation , Free Software, Free Society . 一个伟大的理想.
信奉最好的方式就是将一件事情做到极致，Google 就是这样获得成功的。
互联网公司的核心竞争力是什么？是技术。 Google, Baidu, Sogou 说明了这点.
Digital Foundation == (Virtualization + SOA + Web2.0)^OSS.
喜欢哲学、数学、物理，希望今后能有更多时间花在这些方面。
“Yahoo CEO说，创新无非三种形式——build、buy、partner。”
Internet 的用户行为主要有三种：
- search engine // 信息搜索
- download // 内容下载
- upload/publish // 内容发布,Web 2.0 核心理念
中国网民的三大需求：
- 浏览网页: 对应产品与服务Firefox, OpenBrowser ...
- 下载: 对应产品与服务Azureus, eMule, Open Download Manager ...
- 观看视频/听音乐: 对应产品与服务OpenMPC, MPC, VLC, Songbird ...
此外, IM 也非常重要: 飞鸽传书, Pidgin, OpenMessenger
Huihoo发起的所有客户端项目: Open Download Manager, OpenBrowser, OpenMPC, , OpenMessenger 将采取统一的XUL构建,
整合与服务同样拥有力量，eMule(VeryCD版), MPC(暴风影音) 通过整合/汉化国外流行客户端软件并通过网络为用户提供在线支持与服务而获得广泛用户量。
目前兴趣所在操作系统、文件系统、系统架构、可伸缩性、并行计算和分布式网络等：
- Newton, NetKernel, Thrift, OSGi, Jini, Search Engine, Grid, P2P ...
- ZFS, Apache Hadoop, Hypertable, ProActive, Terracotta, Apache MINA , Spring...
- Groovy on Grails, Ruby on Rails, Django 快速的原型开发
当前生活/学习：看书 ＋ 工作：重构、开发、测试、发布 + 锻炼: 承受更大重量，力量也是一种美 :) (想到米兰.昆德拉的<<不能承受的生命之轻>>: 当我们负担越重，我们的生命越贴近大地，它就越真切实在。到底选择什么？是重还是轻?)
当前最重要的工作就是数据的收集、组织和加工，其后台依赖 File System, PostgreSQL, MySQL, BDB, Data Mining , 全面关注 World Wide Web Consortium (W3C), Search Engine 和 File System ...
Web开发可通过 C/C++ 直接与 OS/文件系统/数据库交互。
互联网应用也可简单理解为用C,C++,Python直接操作OS文件系统上的文件, 数据库也可看做是一个特殊的文件。而我们处理最多的就是HTML文件.处理结果由Web Server返回给Browser. 因此对文件系统的操作变成了一种核心能力。
Google, Baidu, QQ, Xunlei 正在使用类似的方法和技术来实现其业务功能和用户交互。
我理解的三层结构:
这只是一个大致的比方，需要大家去体会。
C/C++/Python: 快速的前端用户交互系统, C++: 灵活的电信/媒体中间业务系统, Java: 强大的后端企业应用系统
- C/C++/Python层：面向广大的用户群(集市)，业务逻辑简单，要求快速响应，如 Google(Group,Code), Baidu
当然也可采用: Ruby 或 PHP 等方式(主要面向小规模的Web开发团队).
- C++层：面向付费用户群(超市)，业务逻辑较为复杂，要求安全性、可靠性，如 eBay, Amazon
eBya主体基于Java构建，其搜索的基础部件采用C++
- Java层：面向企业用户群(专卖店)，业务逻辑复杂，要求满足企业级特性，如 Salesforce.com, Oracle, SAP
表现、应用与业务层面的内容用 Python/Ruby/PHP, C++, Java 开发，
操作系统层面的由 C 开发，涉及 Debian, FreeBSD, OpenSolaris等 如内核调优、网络堆栈等。
A few services including code.google.com and google groups. Most other front ends are in C++ (google.com) and Java (gmail). All web services are built on top of a highly optimizing http server wrapped with SWIG.
[编辑] 好友
[编辑] 好文
[编辑] 链接
- http://craigslist.org/ 有着独特的发展模式, 一个全是文字的分类网站
- 中国开放式教育资源共享协会
- http://www.lfan.net/
- 读书公园（Bomoo.com）是一个开放式的电子书籍数据库，致力于收集和整理互联网上的免费电子书信息。您可以自由的使用它搜索、添加、发布电子书信息。
- http://math.berkeley.edu/
- http://www.math.ucla.edu/
- http://www.math.org.cn/
http://nobelprize.org
[编辑] 兴趣
自己追求的是大块头、大智慧, 我渴望从更高的层次上认识自己的体能和智能 // 2008.11.02, 明天就去健身房做健美教练啦 :) 以后自己坚持锻炼就可以啦, 还是做程序员更有前途
目前我对大块头有了重新认识，以前追求体型的庞大(这样并不健康)，现在我追求李小龙式的轻盈与力量。(2012.08.31)
- 三个基础设施：文件系统、数据库、计算框架
可试着通过 ZFS/XFS/HDFS, HBase/Hive, Apache Hadoop/Spark 搭建Huihoo的核心基础设施.
- 三个技术领域：大数据、云计算、安全支付
- 三个业务领域：企业应用、广告网络、个人应用
- 三个兴趣领域：编程、看书、音乐
- 三个健康领域：健美、营养、心理
[编辑] 人物
我喜欢和着迷的人物
- 最着迷的人物
Albert Einstein
- 尼采
- 达芬奇, 一个多才多艺的天才
- Michael Jackson, 一个能让世界疯狂的超级巨星
- “数学之美就在于简单。虽形式简单，但是证明起来却很难，很神秘。书法虽是纯粹的艺术，但是也要严谨严格，然后才是狂放。同样一个字，楷书就那么几个笔画，但草书就变化很多。数学和书法是有相通之处的。”王元
- 29岁时即获得菲尔兹奖的普林斯顿大学教授查尔斯·费弗曼（Charles Fefferman）则愿意用著名作曲家斯特拉文斯基来形容陶哲轩(Terence Tao)。他告诉本报记者：“莫扎特的音乐只有一种风格，陶的数学却有很多种风格，他大概更像斯特拉文斯基。”
- 天才程序员
- 我最喜欢的健美先生 Jay Cutle
