https://letgrow.org/child-kidnapping-risk/
So when the survey asked parents: Did your kids ever go missing? Some replied, “Yes,” and gave scenarios like this:
An 8-year-old got off at the wrong bus stop and his frantic parents called the cops.
A 10-year-old came home from the beach and went to bed – but her parents thought she was still outside.
A divorced mom violated a court order by taking her 9-year-old out of state.
A 17-year-old girl, pregnant, ran away.
So when the survey asked parents: Did your kids ever go missing? Some replied, “Yes,” and gave scenarios like this:
An 8-year-old got off at the wrong bus stop and his frantic parents called the cops.
A 10-year-old came home from the beach and went to bed – but her parents thought she was still outside.
A divorced mom violated a court order by taking her 9-year-old out of state.
A 17-year-old girl, pregnant, ran away.
Let Grow
What's the Actual Risk of Your Child Being Kidnapped?
While child kidnapping is a top parental fear, Let Grow's list of statistics looks at how unlikely abduction is compared to other childhood dangers.
虽然之前我称赞函数式编程，今天我要说说它的代价。
函数式的坏处就是彻底禁止程序员考虑数据的生命周期。但是对应用性编程来说，生命周期太重要了。形而上学地讲，很多数据剥离掉生命周期信息是没有意义的。
函数式没法在代码里写出生命周期，变量即使有生命周期也永远不会体现在变量名中。这些只能靠文档。更糟糕的是，函数式程序员能从一个生命周期有关的需求逐步推演出一个简洁的程序，但是过几天连自己都看不懂。现实世界是坚固的地面，函数式走得很远，脚踩不到东西了。所有数学都已经脱离了地面上的生命周期，用起来都有这种问题，所以一定要有充足的文档。
函数式的坏处就是彻底禁止程序员考虑数据的生命周期。但是对应用性编程来说，生命周期太重要了。形而上学地讲，很多数据剥离掉生命周期信息是没有意义的。
函数式没法在代码里写出生命周期，变量即使有生命周期也永远不会体现在变量名中。这些只能靠文档。更糟糕的是，函数式程序员能从一个生命周期有关的需求逐步推演出一个简洁的程序，但是过几天连自己都看不懂。现实世界是坚固的地面，函数式走得很远，脚踩不到东西了。所有数学都已经脱离了地面上的生命周期，用起来都有这种问题，所以一定要有充足的文档。
Forwarded from 浅見沙織今天在被什么暴打 (浅见沙织 via @InLaTeXBot)
《如此国际标准》
PDF 1.7 被标准化为 ISO 32000-1，其中规定了两个必选的扩展：Adobe XML Forms Architecture 和 JavaScript。但是该标准并未标准化这两个东西是什么、怎么实现。并且其他国际标准（不论是之前还是之后的）都没有标准化这两个扩展的内容。关于这两个扩展的唯一文档是 Adobe 的专有文档。
PDF 1.7 被标准化为 ISO 32000-1，其中规定了两个必选的扩展：Adobe XML Forms Architecture 和 JavaScript。但是该标准并未标准化这两个东西是什么、怎么实现。并且其他国际标准（不论是之前还是之后的）都没有标准化这两个扩展的内容。关于这两个扩展的唯一文档是 Adobe 的专有文档。
🤬7
Forwarded from 新·世界观察日志
Linux中国开源社区官网正式宣布关闭
由于来自我所能想象的最高层面的不可抗力，2025年3月20日，Linux中国开源社区的官网“Linux.cn”被永久冻结（clienthold）。
这距离我们宣布停运后也不过刚刚过去一年，我不禁有些喟叹，看来想留下最后一个纪念和存留的地方也终不可得。
我们尝试解封的过程我也不想说了，其实到现在，我们甚至连具体的原因也不知道。
目前，我们提供了备份域名 https://Linux.net.cn 以供访问，但是不知道将来会不会因为同样的某种原因而被冻结。
此外，大家还是可以访问我们的镜像站，以及公众号“Linux开源社区”来访问那些文章。
再见，该落幕的就落幕吧。
嗯，还是说明白一些，省的大家瞎猜：域名是被域名注册商冻结的，他们是接受福建通管局指令进行，而通管局是接到中央网信办指令的。但是没有任何申诉和改正的渠道，努力联系上一位领导同志，但是他也不知道具体是那里管辖的。
https://mp.weixin.qq.com/s/vQwAA2cY7MjQ4qw-WdLIKg
由于来自我所能想象的最高层面的不可抗力，2025年3月20日，Linux中国开源社区的官网“Linux.cn”被永久冻结（clienthold）。
这距离我们宣布停运后也不过刚刚过去一年，我不禁有些喟叹，看来想留下最后一个纪念和存留的地方也终不可得。
我们尝试解封的过程我也不想说了，其实到现在，我们甚至连具体的原因也不知道。
目前，我们提供了备份域名 https://Linux.net.cn 以供访问，但是不知道将来会不会因为同样的某种原因而被冻结。
此外，大家还是可以访问我们的镜像站，以及公众号“Linux开源社区”来访问那些文章。
再见，该落幕的就落幕吧。
嗯，还是说明白一些，省的大家瞎猜：域名是被域名注册商冻结的，他们是接受福建通管局指令进行，而通管局是接到中央网信办指令的。但是没有任何申诉和改正的渠道，努力联系上一位领导同志，但是他也不知道具体是那里管辖的。
https://mp.weixin.qq.com/s/vQwAA2cY7MjQ4qw-WdLIKg
😁1
Forwarded from Welcome to the Black Parade
我去，我才知道
用 -j | jq 心里有底气得多：
从此再也不内耗了，再让我看到 awk/grep/sed 切字符串我直接使用纵欲卡🤬
ip(8) 有个 -j 可以输出 json 格式，比如获取一个网络接口的二层地址，我之前一直是 $ s ip -n node2 -br l sh nsim1 | awk '{print $3}'
72:b2:7a:99:fe:f4用 -j | jq 心里有底气得多：
$ s ip -n node2 -j l sh nsim1 | jq -r '.[0].address'
72:b2:7a:99:fe:f4
从此再也不内耗了，再让我看到 awk/grep/sed 切字符串我直接使用纵欲卡
Please open Telegram to view this post
VIEW IN TELEGRAM
🥰5
Forwarded from 每日消费电子观察 (玉米狐狸 | 啊米玉说的道理)
一年SSL证书将逐渐成为历史，CA/B论坛SC-081v3提案几乎全票通过
从26年开始，可签发的SSL/TLS证书的最长时间将分三年从原来的398天逐步缩减到47天
意味着你不得不去实现自动部署，长有效期证书的时代即将终结
前情提要: /36527
https://groups.google.com/a/groups.cabforum.org/g/servercert-wg/c/9768xgUUfhQ
https://forum.naixi.net/thread-3496-1-1.html
https://github.com/cabforum/servercert/pull/553
从26年开始，可签发的SSL/TLS证书的最长时间将分三年从原来的398天逐步缩减到47天
意味着你不得不去实现自动部署，长有效期证书的时代即将终结
前情提要: /36527
https://groups.google.com/a/groups.cabforum.org/g/servercert-wg/c/9768xgUUfhQ
https://forum.naixi.net/thread-3496-1-1.html
https://github.com/cabforum/servercert/pull/553
👍4🤮2🤔1
Forwarded from QLBF 生活杂谈
https://leanprover.zulipchat.com/#narrow/channel/116395-maths/topic/Lean.20Formalization.20of.20the.20Riemann.20Hypothesis.20.E2.80.93.20Open.20for.20Test/near/513767405
Lean Formalization of the Riemann Hypothesis – Open for Test
Lean Formalization of the Riemann Hypothesis – Open for Test
Zulip
Public view of Lean | Zulip team chat
Browse the publicly accessible channels in Lean without logging in.
Forwarded from Hacker News
Shortest-possible walking tour to 81,998 bars in South Korea (Score: 150+ in 4 hours)
Link: https://readhacker.news/s/6thRT
Comments: https://readhacker.news/c/6thRT
Link: https://readhacker.news/s/6thRT
Comments: https://readhacker.news/c/6thRT