Hy.Alva的博客 | hy.alva Blog

量化金融学习路径总结笔记

量化金融

量化金融学习路径「数学基础」 • 微积分：理解函数、极限、导数和积分的基本概念。 • 线性代数：掌握矩阵、向量、特征值和特征向量。 • 概率论与统计学：学习概率分布、随机变量、假设检验和回归分析。「计算机科学基础」 • 编程语言：熟悉Python（推荐）、C++等编程语言。 • 数据结构与算法：了解基本的数据结构（如数组、链表、...

Posted by Hy.Alva on July 14, 2024

【每周-数字化工业】S7-200 SMART在单轨下板机中的应用

了解S7-200 SMART在单轨下板机中的应用

这篇文章转载自西门子数字化工业 SMT：指的是表面封装技术(Surface Mounted Technology)的缩写，是在PCB(印刷电路板)上进行加工组装的一种技术。电子元器件的引脚通过SMT技术直接焊接在电路板的表面上，而不再需要通过穿孔走线的方式。该技术的优点包括小型化，可靠性高，成本低，便于自动化生产，在电子加工行业中被广泛采用。下板机作为SMT工艺...

Posted by Hy.Alva on July 11, 2024

提高数据存储的性能，可靠性和可扩展性

增加备用光纤存储器

部分内容转自ChatGPT 心智模型（Mental Model）。在网络规划中增加备用光纤存储器（例如，使用光纤通道（Fiber Channel）连接的存储区域网络（SAN））可以提高数据存储的性能、可靠性和可扩展性. 正文开始前我先声明一下，对部分网络结构细节并不太熟悉，欢迎大家务必指正、补充（与要求补充）；本文观点不代表公司。需求分析业务需求： ...

Posted by Hy.Alva on July 1, 2024

NETSCOUT-LINKRUNNER AT 2000检测网络物理层故障

NETSCOUT-LINKRUNNER

这篇文章转载自我在知乎上的回答我也看不懂。对于任何一个我有一定了解的领域，我都知道一大堆我看不懂的东西。反而是对于那些我一点都不了解的，我甚至都说不出来我不懂什么。有的时候我会觉得，在我眼里还只有前端的时候，我还更自信更爱分享一点。可能因为那时候我能感知到的「边界」就只有 2^4 = 16 这么大，还觉得自己满打满算已经懂了 4 吧。打个比喻的话就是觉得自己已经能干活了，...

Posted by Hy.Alva on June 27, 2024

Microsoft 365与Exchange邮箱之间互通架构图

Microsoft 365与Exchange邮箱之间共存架构 ## 名词解释 1.OWA (Outlook Web Access) Outlook Web Access 是微软提供的一种通过网页浏览器访问和管理 Exchange 邮箱的解决方案。它允许用户在不使用桌面版 Outlook 客户端的情况下，通过网络浏览器收发邮件、管理日历、联系人和任务等。 2.IronP...

Posted by Hy.alva on June 26, 2024

Vim 与中文输入法

Using Vim with non-english input method

Update: 我最后还是放弃把 Vim 作为主要编辑器来输入中文了，整体使用下来 mental model 的 cost 太重了。记笔记时用用中文呀或者改改博客时偶尔用一下还蛮去，这个时候这个功能至少能帮助你 Esc 之后不煞笔，所以也不算完全没有价值吧…… 我相信很多中文世界的 Vimer 都遇到过这个烦恼，在 vim 的 insert 模式时可能突然想输个中文，输完之后会本能的...

Posted by Hux on October 6, 2018

Avoiding success at all cost

Watching "Escape from the Ivory Tower: The Haskell Journey"

“Avoiding success at all cost” is the informal motto behinds Haskell. It could be parenthesized in two ways, either “Avoiding (success at all cost)” or “(Avoiding sucess) (at all cost)”. I’m not going to interpret them directly but rather to share some thoughts on “the success vs. costs” basing ...

Posted by Hux on September 27, 2018

程序员中的梦想家

Dreamers among programmers

本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 有一类程序员是 visionary 型的，为了实现一些超前的 idea，绕过某些技术的限制，他们写的 code 晦涩高深得只有他们自己能懂，做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查，但正是这类人不断创造出新的东西，在洗礼之后成为一个个 big thing。我每周...

Posted by Hux on June 30, 2018

《PWA 实战》推荐序

「博文视点」邀请我给《PWA实战：面向下一代的Progressive Web APP》写的推荐序。 Progressive Web App 是继 Ajax、响应式设计、HTML5 之后，web 平台的又一次革命性突破。它在开放 Web 标准的基础之上，突破了以往 Web 应用只能「依赖互联网分发」与「依赖浏览器为入口」的两大桎梏，一下子打开了 Web 应用从性能、架构到用户体验...

Posted by Hux on May 11, 2018

如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

这篇文章转载自我在知乎上的回答严谨的证明的话，可以使用「形式语言」（Formal language）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合： \[A = \{ \langle G \rangle \vert G \text{ ...

Posted by Hux on December 12, 2017

Hy.Alva Blog