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
Forwarded from Hacker News (yahnc_bot)
Achievement unlocked: rustc segfault https://gist.github.com/luqmana/be1af5b64d2cda5a533e3e23a7830b44
Gist
Inline Assembly Miscompilation.md
GitHub Gist: instantly share code, notes, and snippets.
Forwarded from Hacker News (yahnc_bot)
A new heat engine with no moving parts is as efficient as a steam turbine https://news.mit.edu/2022/thermal-heat-engine-0413
MIT News
A new heat engine with no moving parts is as efficient as a steam turbine
Engineers at MIT and NREL have developed a heat engine with no moving parts that is as efficient as a steam turbine.
Forwarded from Hacker News (yahnc_bot)
U+237C ⍼ Right Angle with Downwards Zigzag Arrow https://ionathan.ch/2022/04/09/angzarr.html
⟨λ. closure ahead⟩
U+237C ⍼ RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW
Forwarded from Hacker News (yahnc_bot)
What Flips Your Bit: Cosmic Ray Errors at Mozilla https://blog.mozilla.org/data/2022/04/13/this-week-in-glean-what-flips-your-bit/
Data@Mozilla
This Week in Glean: What Flips Your Bit?
(“This Week in Glean'' is a series of blog posts that the Glean Team at Mozilla is using to try to communicate better about our work. They could be release ...