&'a ::rynco::UntitledChannel
News Minimalist：GPT-4 打分选出来的每天最重要的新闻列表 https://www.newsminimalist.com/ RSS 订阅：https://rss.beehiiv.com/feeds/4aF2pGVAEN.xml 关于它的 Hacker News 讨论：https://news.ycombinator.com/item?id=35795388 （有人来用它的数据搞一个自动新闻频道吗
Telegram
News Minimalist
Every day ChatGPT-4 reads 1000 top news stories and estimates their significance on a scale from 0 to 10. Here I post summaries of news rated 6 and higher.
See today's rankings here: https://www.newsminimalist.com/
See today's rankings here: https://www.newsminimalist.com/
Forwarded from Starlight Serenade
#TIL 原来一些推油 ID 上挂的 e/acc 是这个意思
Effective Accelerationism 有效加速主义，是一种强烈拥护科技发展的新兴哲学思潮。其拥护者认为不受限制的科技进步（尤其是由人工智能的驱动的）是解决人类社会的贫穷、战乱和气候变化问题的方法。
https://en.wikipedia.org/wiki/Effective_accelerationism
Effective Accelerationism 有效加速主义，是一种强烈拥护科技发展的新兴哲学思潮。其拥护者认为不受限制的科技进步（尤其是由人工智能的驱动的）是解决人类社会的贫穷、战乱和气候变化问题的方法。
https://en.wikipedia.org/wiki/Effective_accelerationism
Wikipedia
Effective accelerationism
philosophical and social movement advocating for a pro-technology stance that seeks to maximize the probability of a technocapital singularity
#TIL 一个有趣的定理：
对于 n >= 1，集合 {1, ..., 2n} 可以被分割成 n 组数对 (a1, b1), ... (an, bn)，使得对于每一对 (ai, bi)，ai + bi 都是质数。
一个简短的证明：
当 n = 1 时，集合为 {1, 2}，1 + 2 = 3。
对于任意给定 n，假设命题对于任意 i < n 的情况都成立。
取大于 2n 的下一个质数 p，p < 4n。
可以得到 (4n-p-1)/2 个数对，其和都为 p：(2n, p-2n), (2n-1, p-2n+1), ...。
剩下的数字为 {1, ..., p-2n-1}，由于 (p-2n-1)/2 < n，剩余的数字也都可以组成和为质数的数对。
由数学归纳法，得证。
https://x.com/LongFormMath/status/1811519361716486427
https://x.com/JanSchwede/status/1811530503247331573
对于 n >= 1，集合 {1, ..., 2n} 可以被分割成 n 组数对 (a1, b1), ... (an, bn)，使得对于每一对 (ai, bi)，ai + bi 都是质数。
一个简短的证明：
当 n = 1 时，集合为 {1, 2}，1 + 2 = 3。
对于任意给定 n，假设命题对于任意 i < n 的情况都成立。
取大于 2n 的下一个质数 p，p < 4n。
可以得到 (4n-p-1)/2 个数对，其和都为 p：(2n, p-2n), (2n-1, p-2n+1), ...。
剩下的数字为 {1, ..., p-2n-1}，由于 (p-2n-1)/2 < n，剩余的数字也都可以组成和为质数的数对。
由数学归纳法，得证。
https://x.com/LongFormMath/status/1811519361716486427
https://x.com/JanSchwede/status/1811530503247331573
X (formerly Twitter)
Jay Cummings (@LongFormMath) on X
I learned an amazing theorem today
#TIL Nature Human Behaviour: 早八影响睡眠并降低绩点
https://www.nature.com/articles/s41562-023-01531-x
Attending classes and sleeping well are important for students’ academic success. Here, we tested whether early morning classes are associated with lower attendance, shorter sleep and poorer academic achievement by analysing university students’ digital traces. Wi-Fi connection logs in 23,391 students revealed that lecture attendance was about ten percentage points lower for classes at 08:00 compared with later start times. Diurnal patterns of Learning Management System logins in 39,458 students and actigraphy data in 181 students demonstrated that nocturnal sleep was an hour shorter for early classes because students woke up earlier than usual. Analyses of grades in 33,818 students showed that the number of days per week they had morning classes was negatively correlated with grade point average. These findings suggest concerning associations between early morning classes and learning outcomes.
上课和良好的睡眠对学生的学业成功非常重要。我们通过分析大学生的数字痕迹测试了早晨早课是否与低出勤率、较短的睡眠时间和较差的学业成就相关联。对23,391名学生的Wi-Fi连接日志分析结果显示，8:00的课程出勤率比较晚开始的课程低约十个百分点。对39,458名学生的学习管理系统登录日志和181名学生的动作记录数据的日节律模式分析显示，早课导致夜间睡眠时间短了一小时，因为学生比平时早起。对33,818名学生成绩的分析显示，每周上早课的天数与平均成绩点数（GPA）呈负相关。这些研究结果表明，早晨早课与学习成果之间存在令人担忧的关联。
https://www.nature.com/articles/s41562-023-01531-x
Attending classes and sleeping well are important for students’ academic success. Here, we tested whether early morning classes are associated with lower attendance, shorter sleep and poorer academic achievement by analysing university students’ digital traces. Wi-Fi connection logs in 23,391 students revealed that lecture attendance was about ten percentage points lower for classes at 08:00 compared with later start times. Diurnal patterns of Learning Management System logins in 39,458 students and actigraphy data in 181 students demonstrated that nocturnal sleep was an hour shorter for early classes because students woke up earlier than usual. Analyses of grades in 33,818 students showed that the number of days per week they had morning classes was negatively correlated with grade point average. These findings suggest concerning associations between early morning classes and learning outcomes.
上课和良好的睡眠对学生的学业成功非常重要。我们通过分析大学生的数字痕迹测试了早晨早课是否与低出勤率、较短的睡眠时间和较差的学业成就相关联。对23,391名学生的Wi-Fi连接日志分析结果显示，8:00的课程出勤率比较晚开始的课程低约十个百分点。对39,458名学生的学习管理系统登录日志和181名学生的动作记录数据的日节律模式分析显示，早课导致夜间睡眠时间短了一小时，因为学生比平时早起。对33,818名学生成绩的分析显示，每周上早课的天数与平均成绩点数（GPA）呈负相关。这些研究结果表明，早晨早课与学习成果之间存在令人担忧的关联。
Nature
Early morning university classes are associated with impaired sleep and academic performance
Nature Human Behaviour - Yeo et al. use digital data on student behaviour (Wi-Fi connections and Learning Management System logins) to examine associations between sleep and academic outcomes.
#TIL
大白菜、娃娃菜、小白菜、油菜（aka 上海青、青菜、青江菜）、大头菜（aka 芜菁）、塌棵菜、菜苔、芸薹 都是同一个物种 Brassica rapa（芸薹）。
类似地，隔壁的 甘蓝、紫甘蓝、卷心菜、苤蓝、花椰菜（白菜花）、西兰花（绿菜花）、羽衣甘蓝、芥兰 也都是同一个物种 Brassica oleracea（甘蓝）；
芥菜、儿菜、榨菜（菜头）、雪里蕻、子芥菜（芥末用） 都属于同一个物种 Brassica juncea（芥菜）（三者都属于芸薹属 Brassica）。
大白菜、娃娃菜、小白菜、油菜（aka 上海青、青菜、青江菜）、大头菜（aka 芜菁）、塌棵菜、菜苔、芸薹 都是同一个物种 Brassica rapa（芸薹）。
类似地，隔壁的 甘蓝、紫甘蓝、卷心菜、苤蓝、花椰菜（白菜花）、西兰花（绿菜花）、羽衣甘蓝、芥兰 也都是同一个物种 Brassica oleracea（甘蓝）；
芥菜、儿菜、榨菜（菜头）、雪里蕻、子芥菜（芥末用） 都属于同一个物种 Brassica juncea（芥菜）（三者都属于芸薹属 Brassica）。
#TIL You can segfault a safe OCaml program by plugging in a faulty pattern matching on a struct with mutable fields
https://gallium.inria.fr/~scherer/research/mutable-patterns/mutable-patterns-mlworkshop2024-abstract.pdf
https://gallium.inria.fr/~scherer/research/mutable-patterns/mutable-patterns-mlworkshop2024-abstract.pdf
#TIL
https://git-scm.com/docs/git-rebase#Documentation/git-rebase.txt---update-refs
https://stackoverflow.com/a/78382552/11160238
git rebase --update-refs updates all references pointing to commits that are being rebased to the new rebased commit.https://git-scm.com/docs/git-rebase#Documentation/git-rebase.txt---update-refs
https://stackoverflow.com/a/78382552/11160238
Stack Overflow
How to Rebase with Multiple Stacked Branches in Git?
I'm wondering what the proper way to handle stacking of branches is in Git -- I've found that my flow breaks down after two stacks. Lets say I have the following setup:
c1 -> c2 -> c3 -> ...
c1 -> c2 -> c3 -> ...