Huihoo灰狐
@huihoo
Followers
20K
Following
4K
Media
917
Statuses
7K
灰狐24了 (2000-2024) https://t.co/IwgyZJxWGR
Chengdu, China
Joined January 2009
《Software Foundations》系列（6卷）是对可靠软件数学基础的广泛介绍，覆盖《逻辑基础》《编程语言基础》《验证功能算法》等内容。每卷书的文本、练习都是Coq形式化验证的证明脚本。形式化验证对软硬件规范（软件应该做什么）至关重要。 https://t.co/Dm9ASeJP3b
3
83
341
在乡下农村，5点半左右就开始鸡打鸣 想多睡会也不是太容易，索性就起床了 晚上基本也10点半就睡了，中午有个午觉 这样的生活方式，个人觉得也蛮好 然后就去城市住上几个月，也挣点生活费
1
0
4
五叔门前的这棵果树长得非常好 就这一棵果树就可以采摘几百斤 在乡下水果蔬菜是可以自由的 每家每户的果树坠满果实也不用担心被摘 因为家家户户都有你伸手可得也不会去摘
2
0
5
数学家王虹 主要从事傅立叶分析和几何测量理论研究 她于2022年获得了玛丽亚姆·米尔扎哈尼新前沿奖 获奖理由为“在限制猜想、局部平滑猜想及相关问题上的突破性进展” 2025年2月，王虹与合作者约书亚·扎尔在arXiv发布预印本论文《凸集并集的体积估计，以及三维中的Kakeya集合猜想》(Volume estimates
1
1
25
电音DJ、电吉他、键盘合成器、音乐创作等其实都是应用数学、应用物理学的现实应用 这些领域充满了电子设备、软件工具，其底层的技术有声光电信号处理，音视频编解码等等 这里面也满是数学、物理学、计算机科学知识与理论
0
0
3
最近买了本《吉他新思维》 自己音乐和吉他方面书籍已不少， 这本书算是最喜欢和最实用的一本吉他书 这本书全彩，大开本，字迹清晰且大 整本书全是彩图，极大的方便理解与记忆 这里，我想表达的：要把一件事讲明白说清楚，图形化、可视化、形式化等是重要表达形式
0
1
24
一个人的独立，将赢得更多尊重与机会 看看现在孩子，好多巨婴 不会做家务、不会做饭、好多事不会做 住校的学生一周打包所有脏衣服回家 能看到1米8高中男生放学妈妈接送 不要错误以为这是爱孩子不想耽误孩子学习时间 学会独立也是孩子们应该学习养成的重要能力
0
0
9
一段伟大传奇 女孩还是那个女孩，太完美了，真诚祝福 简单、单纯，获得成就的可能性越高 越简单极致，越接近完美 再看《徒手攀岩》有感
Hard to believe but today marks the 8 year anniversary of free soloing el cap! Time flies. I’m still so grateful to the whole team for working on the climb with me and documenting it in the film. It was such an all star crew and such a great adventure (though obviously stressful
0
2
5
Build Your Own Lisp https://t.co/dofTTdgV2R 学习 C 语言并用 1000 行代码构建你自己的编程语言 如果你想学习 C 语言，或者你曾经想过如何构建自己的编程语言，这本书就是为你而写的 在这个过程中，你将了解 Lisp
0
3
33
DSP 书籍，我选择了这本《数字音频信号处理》《Digital Audio Signal Processing》 从第一版 1997年7月问世到 2022年1月的第三版，历经20多年，是锤炼过的 它和个人目前关注的音频、音乐、DSP领域很吻合 其实，音频、音乐、视频等都依赖 DSP，模拟世界和数字世界的桥梁
0
1
6