注册并分享邀请链接,可获得视频播放与邀请奖励。

搜索结果 Midori
Midori 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 Midori 的推特
因为我过早(2008年)就投入苹果的怀抱,所以这近20年对 Windows 基本没有什么了解。 直到本月因为给某厂做培训,才意识到,其实微软有些东西很先进。 就比如说,Rust 里的 async/await ,这种让异步代码写起来、读起来几乎和同步一样的优雅特性,是 C# 率先带入主流(2012)的。 再比如 IOCP,它的 proactor 完成模型比 Linux io_uring 早多了。 这些我之前也知道,但当时我并未因此意识到微软的先进性。 但当我知道这个 IOCP 在 1993 年就随 Windows NT 3.1 引入的时候,我就有点惊到了。 因为在我脑子里,微软/Windows 相比于 Linux/Macos 都是落后的代表 。。。 然后我又发现 TypeScript 是 2012 年开始给动态语言补渐进类型的路数。。。 LSP 是 2016 年 。。。 最牛逼的是 COM 的 ABI 思路了,领先业界 30 年 。。。 继续深挖还发现了不得了的事 , 微软研究院 90 年代末做的 Singularity/Midori,用 Sing#(C# 变体)写的实验操作系统,靠类型系统保证隔离而不是硬件 MMU,里面已经有线性类型和所有权语义的影子。 它比 Rust 早十年在探索"用类型系统替代运行时安全检查"这条路。 惊到了。 还有 Simon Peyton Jones (Haskell 的核心作者之一),在微软研究院待了二十年。GHC 的很多演进是微软发工资做的。 从某种意义来说, Rust 的 trait/类型类的血统里,流着微软研究院的钱😆 随着深挖,我逐渐意识到,微软有一个别人长期没有的东西: 一个真正做研究的实验室,和一条把研究成果推进产品的通道。
显示更多
0
53
144
10
转发到社区
Orderly的 Q2 社区线上会议即将开启🔥 本次邀请到了 @ranyi1115@midoji7! 我们将回顾 Q2 交付的所有成果,并重磅分享接下来的独家 Alpha! 议程安排: • Q2 表现与核心数据 • 生态系统与治理进展 • 最新功能发布 • Q3 路线图展望 📅 7 月 23 日 | 🕐 UTC 13:00(北京时间 21:00) | 📍 X Live 直播
显示更多
跳出固有信息圈层,多看些真正有用的硬核财经内容。 给兄弟们整理了油管十位优质财经博主: Graham Stephan,511万订阅:深耕房产与经济分析,内容通俗接地气,擅长用日常小事拆解经济逻辑。 Andrej Jikh,272万订阅:视频制作精良,不鼓吹快速暴富,专注分享稳健储蓄与理财规划,干货很落地。 Meet Kevin,204万订阅:高产持续更新,作品接近六千条,主打宏观政策解读,适合关注大环境走势的人。 Nate O'Brien,129万订阅:很适合学生和职场新人,分享存钱技巧、理性消费方法,简单好照搬。 Minority Mindset,227万订阅:不止聊理财收益,更剖析消费与投资背后的人性心理,观点新颖独特。 The Financial Diet:结合生活视角谈理财,平衡日常品质与存钱储蓄,实用性很强。 Marko-WhiteBoard Finance:白板图文讲解模式,把复杂金融知识通俗化,新手入门毫无压力。 Ryan Scribner:侧重实操经验分享,风格务实,不讲虚话、不画大饼。 Joseph Carlson:风格沉稳,专注价值投资与长期理财思维,节奏平缓耐看。 FinancialEducation:内容储备海量,覆盖全面基础财经知识,适合慢慢系统学习。
显示更多
0
3
81
17
转发到社区