https://documents-dds-ny.un.org/doc/UNDOC/LTD/N22/310/49/PDF/N2231049.pdf
UN 第十一届紧急特别会议 决议 A/ES-11/L.4
- 决定暂时取消俄罗斯联邦在人权理事会的成员资格;
- 又决定酌情审查此事;
- 还决定大会第十一届紧急特别会议暂时休会,并授权大会主席应会员国的要求复会。
UN 第十一届紧急特别会议 决议 A/ES-11/L.4
- 决定暂时取消俄罗斯联邦在人权理事会的成员资格;
- 又决定酌情审查此事;
- 还决定大会第十一届紧急特别会议暂时休会,并授权大会主席应会员国的要求复会。
documents-dds-ny.un.org
ODS HOME PAGE
Multilingual interface of the UN Official Documents System
Constructing ZF Set Theory in Agda
Shinji KONO
https://ie.u-ryukyu.ac.jp/~kono/presentation/2020/kono-prosym61/zf-in-agda-presen-e.html
Shinji KONO
https://ie.u-ryukyu.ac.jp/~kono/presentation/2020/kono-prosym61/zf-in-agda-presen-e.html
Forwarded from Hacker News (yahnc_bot)
Horse-riding astronaut is a milestone in AI’s journey to make sense of the world https://www.technologyreview.com/2022/04/06/1049061/dalle-openai-gpt3-ai-agi-multimodal-image-generation/
MIT Technology Review
This horse-riding astronaut is a milestone in AI’s journey to make sense of the world
OpenAI’s latest picture-making AI is amazing—but raises questions about what we mean by intelligence.
Forwarded from Hacker News (yahnc_bot)
DHL B752 at San Jose on Apr 7 2022 hydraulic failure results in runway excursion https://avherald.com/h?article=4f719c2d
Avherald
Accident: DHL Expreso B752 at San Jose on Apr 7th 2022, hydraulic failure results in runway excursion
Aviation Herald - News, Incidents and Accidents in Aviation
Forwarded from Hacker News (yahnc_bot)
rand() may call malloc() https://www.thingsquare.com/blog/articles/rand-may-call-malloc/
Thingsquare
You should know: rand() may call malloc()
A hard-to-find bug turned out to be something we did not expect. We now want everyone to avoid doing the mistake we did.
Forwarded from Hacker News (yahnc_bot)
Reliably Send an HTTP Request as a User Leaves a Page https://css-tricks.com/send-an-http-request-on-page-exit/
CSS-Tricks
Reliably Send an HTTP Request as a User Leaves a Page | CSS-Tricks
On several occasions, I’ve needed to send off an HTTP request with some data to log when a user does something like navigate to a different page or submit a
Forwarded from Hacker News (yahnc_bot)
The Unexpected Importance of the Trailing Slash https://tookmund.com/2022/04/importance-of-the-trailing-slash
Tookmund
The Unexpected Importance of the Trailing Slash
For many using Unix-derived systems today, we take for granted
that /some/path and /some/path/ are the same.
Most shells will even add a trailing slash for you when you press the Tab key
after the name of a directory or a symbolic link to one.
that /some/path and /some/path/ are the same.
Most shells will even add a trailing slash for you when you press the Tab key
after the name of a directory or a symbolic link to one.
阅读 RFC 感想:
需要建立一个双向 RFC Reference Index
经常 Enhancement in random RFC out of nowhere
需要建立一个双向 RFC Reference Index
经常 Enhancement in random RFC out of nowhere
Forwarded from Hacker News (yahnc_bot)
Reverse-engineering the LM185 voltage reference chip and its bandgap reference https://www.righto.com/2022/04/reverse-engineering-lm185-voltage.html
Righto
Reverse-engineering the LM185 voltage reference chip and its bandgap reference
Many circuits, such as a computer power supply or a phone charger, require a stable voltage reference, but it's harder than you might expec...
Forwarded from Hacker News (yahnc_bot)
OpenSSH now uses hybrid post-quantum streamlined NTRU Prime X25519 by default https://www.openssh.com/txt/release-9.0