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

搜索结果 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 直播
显示更多
UCLA威廉姆斯研究所发起全球华人LGBTQ+社群问卷调查🇨🇳🇺🇸🏳️‍🌈(问卷链接在文末) 加州大学洛杉矶分校法学院威廉姆斯研究所(Williams Institute, UCLA School of Law)正在开展一项名为“世界各地的华人LGBTQ群体”(Chinese LGBTQ People Around the World)的国际研究,目前面向全球招募问卷参与者。只要你认同自己是中国人、华人或华裔,属于性少数或性别少数社群,年满18岁,就可以参加。问卷在线匿名填写,有简体和繁体中文版,大约需要20到30分钟。 这项研究关注华人LGBTQ+成年人的身份认同、遇到的污名与压力、身心健康,以及大家靠什么支撑自己走到今天,也会比较身在中国和身在其他国家的华人社群在经历上的差别。首席研究员是伊兰·迈耶(Ilan H. Meyer)博士,性少数健康研究中广泛使用的“少数群体压力”(minority stress)模型就是由他提出的。 威廉姆斯研究所成立于2001年,专门做性取向和性别认同相关的法律与公共政策研究。美国最高法院2015年在全国范围内承认同性婚姻的奥贝格费尔案(Obergefell v. Hodges)判决引用过该所关于同性伴侣抚养子女的数据,联合国性取向和性别认同问题独立专家提交人权理事会的多份报告(如A/HRC/41/45、A/HRC/56/49)也引用过该所的研究和提交材料。 该所此前做过两项与中国有关的研究。2024年7月发布的《中国大陆对LGBTQ人群的积极态度》在2023年底通过在线样本库调查了2926名大陆成年人,样本偏年轻、高学历、集中在大城市。在该调查的受访者中,70%认识至少一位LGBTQ人士,53%认为社会应当接纳LGBTQ人群,52%认为同性伴侣应当可以结婚,68%同意保护LGBTQ学生免受校园欺凌。2021年的《中国公众对跨性别权利的看法》显示,74%的受访者认为跨性别者应受到反歧视保护。 关于研究成果发布的时间,据参与项目的研究者介绍,问卷还会继续开放半年左右,达到目标样本量后进入数据清洗和分析阶段,研究报告的撰写和发布预计还需要一年左右。正式结果大约要到2028年前后才会公布,大家可以有大致的预期。 参与问卷🔗:🔗 项目官方页面🔗
显示更多
0
10
188
32
转发到社区
跳出固有信息圈层,多看些真正有用的硬核财经内容。 给兄弟们整理了油管十位优质财经博主: 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
转发到社区