Forwarded from Foolish TraceWind (TraceWind)
🥰16👍2❤1🌭1
Forwarded from Hacker News
Virgil: A fast and lightweight programming language that compiles to WASM (Score: 150+ in 1 day)
Link: https://readhacker.news/s/5fXs7
Comments: https://readhacker.news/c/5fXs7
Link: https://readhacker.news/s/5fXs7
Comments: https://readhacker.news/c/5fXs7
GitHub
GitHub - titzer/virgil: A fast and lightweight native programming language
A fast and lightweight native programming language - GitHub - titzer/virgil: A fast and lightweight native programming language
Forwarded from Hacker News
Found: The 'holy grail of catalysis'– turning methane into methanol (❄️ Score: 154+ in 2 days)
Link: https://readhacker.news/s/5fUqf
Comments: https://readhacker.news/c/5fUqf
Link: https://readhacker.news/s/5fUqf
Comments: https://readhacker.news/c/5fUqf
phys.org
Found: The 'holy grail of catalysis'—turning methane into methanol under ambient conditions using light
An international team of researchers, led by scientists at the University of Manchester, has developed a fast and economical method of converting methane, or natural gas, into liquid methanol at ambient ...
Forwarded from Éric Q LIU
唉，最近看这些讨论有好多「五十步笑百步」的评论。技术迭代只是变快了，但一直都是存在的。
很多人不知道照排，那就解释一下就好了嘛。不知道软盘也没啥羞涩的，我相信知道软盘的人也不一定知道「汉卡」是什么。对于图标，本质是要易懂，不易懂就换一个——这也加大了难度，比如就有「保存」不用软盘用什么
当然语言上还是相对滞后的，比如在做演示的时候我还是习惯说做了多少张「幻灯片」，尽管现在很多人都没见过幻灯机了。我非常讨厌把演示文件称做 PPT😩每次别人问我要PPT我会礼貌地回他说我这是 Keynote 做的😝
很多人不知道照排，那就解释一下就好了嘛。不知道软盘也没啥羞涩的，我相信知道软盘的人也不一定知道「汉卡」是什么。对于图标，本质是要易懂，不易懂就换一个——这也加大了难度，比如就有「保存」不用软盘用什么
当然语言上还是相对滞后的，比如在做演示的时候我还是习惯说做了多少张「幻灯片」，尽管现在很多人都没见过幻灯机了。我非常讨厌把演示文件称做 PPT😩每次别人问我要PPT我会礼貌地回他说我这是 Keynote 做的😝
👍3
Forwarded from Solidot
MIT 建议造巴西大小的“太空气泡”帮地球降温
2022-07-01 16:17
一组 MIT 研究人员探索一种扭转全球变暖趋势的激进想法：使用大量“ 太空气泡”将阳光反射出我们的星球。人类自工业革命以来排放的大量温室气体正在我们的星球周围形成一种“毯子”，将热量滞留在大气中，导致全球气温变得越来越高。一个 MIT 研究人员组成的跨学科团队建议将太阳能地球工程带入太空，而不是将粒子注入地球大气层给地球降温。研究小组探索如果在拉格朗日 L1 点放置一个由气泡制成的防护罩会出现什么情况，在拉格朗日 L1 点上，地球和太阳的引力形成一种平衡，让这个防护罩能够无限期地保持在轨道上。这个建议中的防护罩大约有巴西那么大，防护罩的气泡可以在太空中制造并部署，可能是用硅制作——该小组在实验室里尝试过制造“太空气泡”。他们在新闻发布会上表示：“初步试验成功地在 0.0028 atm 的压力下使薄膜气泡膨胀，并将其保持在-50℃左右（接近于零压力和接近零温度的太空条件）。”因为这些气泡距离地球差不多有一百万英里之遥，MIT 团队表示，这种太阳能地球工程方法不会像在地球大气层内的方法那样冒险。这不是第一次有人提议在太空中放置一个太阳保护罩来帮助地球降温了，但是用气泡制造保护罩会让我们在出错时有一个相对简单的方法中止任务：只要戳破气泡就行了。
2022-07-01 16:17
一组 MIT 研究人员探索一种扭转全球变暖趋势的激进想法：使用大量“ 太空气泡”将阳光反射出我们的星球。人类自工业革命以来排放的大量温室气体正在我们的星球周围形成一种“毯子”，将热量滞留在大气中，导致全球气温变得越来越高。一个 MIT 研究人员组成的跨学科团队建议将太阳能地球工程带入太空，而不是将粒子注入地球大气层给地球降温。研究小组探索如果在拉格朗日 L1 点放置一个由气泡制成的防护罩会出现什么情况，在拉格朗日 L1 点上，地球和太阳的引力形成一种平衡，让这个防护罩能够无限期地保持在轨道上。这个建议中的防护罩大约有巴西那么大，防护罩的气泡可以在太空中制造并部署，可能是用硅制作——该小组在实验室里尝试过制造“太空气泡”。他们在新闻发布会上表示：“初步试验成功地在 0.0028 atm 的压力下使薄膜气泡膨胀，并将其保持在-50℃左右（接近于零压力和接近零温度的太空条件）。”因为这些气泡距离地球差不多有一百万英里之遥，MIT 团队表示，这种太阳能地球工程方法不会像在地球大气层内的方法那样冒险。这不是第一次有人提议在太空中放置一个太阳保护罩来帮助地球降温了，但是用气泡制造保护罩会让我们在出错时有一个相对简单的方法中止任务：只要戳破气泡就行了。
🤔5
睡前消息 高流说航天 中国航天该怎样改革（1 ~ 3）
1 廉价航天为什么重要
https://b23.tv/av555295869
2 苏联的失败经验和美国的成功经验
https://b23.tv/av342957465
3 中国航天应该怎么做
https://b23.tv/av300617232
1 廉价航天为什么重要
https://b23.tv/av555295869
2 苏联的失败经验和美国的成功经验
https://b23.tv/av342957465
3 中国航天应该怎么做
https://b23.tv/av300617232
Bilibili
【睡前消息449】被马斯克甩开，想跟上就难了。 高流说航天（一）_哔哩哔哩_bilibili
今日话题：1、分析美国廉价航天产业对其他经济部门的拉动作用，展示可回收航天技术的重要性。, 视频播放量 555412、弹幕量 7302、点赞数 25965、投硬币枚数 12846、收藏人数 4978、转发人数 3587, 视频作者 马督工, 作者简介 热河省蛮子，刘亦菲粉丝。，相关视频：【睡前消息452】吸取苏联教训，重建航天部！ 高流说航天（二），【睡前消息459】CR929飞机删掉R，还能上天吗？，【睡前消息338】房地产退潮之后，中国什么最贵？，【睡前消息458】锦衣卫误入梦华录，刘亦菲急需好剧本…
👍2
字幕组不是学英语的平台😡😡😡
最近几个月遇到的离谱玩意：
1. 把 cross product 译为“交叉产物”
2. 把 common factor 译为“常规的因素”
3. 把 1 over x 译为“1的x倍”
4. 把 square root 译为“正方形的根”
5. 把 x to the power of n 译为“x 变成 n 的能力”
最近几个月遇到的离谱玩意：
1. 把 cross product 译为“交叉产物”
2. 把 common factor 译为“常规的因素”
3. 把 1 over x 译为“1的x倍”
4. 把 square root 译为“正方形的根”
5. 把 x to the power of n 译为“x 变成 n 的能力”
😱19😁6👍2👎1
Forwarded from Ant 1597
什么时候来个 “power of factors in polynomial” 翻译「控制多项式程度的能力」之类的 x
😁10