Forwarded from Hacker News (yahnc_bot)
The Windows Subsystem for Android now runs Android 13 in beta https://github.com/microsoft/WSA/discussions/167
GitHub
WSA version 2211 with Android 13 now available! · microsoft/WSA · Discussion #167
Today we are shipping an update for Windows Subsystem for Android™ on Windows 11 to members of the Windows Subsystem for Android™ Preview Program. This update (2211.40000.7.0) will update WSA to An...
Forwarded from Hacker News (yahnc_bot)
There oughta be a Game Boy capture cartridge https://there.oughta.be/a/game-boy-capture-cartridge
there.oughta.be/
There oughta be a Game Boy capture cartridge.
I present to you: The GB Interceptor. It is an adapter that goes between an unmodified Game Boy and the cartridge and offers a video stream of the game via USB. Click the image to see the video on youtube.com. The video above should give you a good overview…
Forwarded from Hacker News (yahnc_bot)
A Non-Constructive Proof of the Four Colour Theorem https://arxiv.org/abs/2212.09835
今天折腾 c-3.moe DNSSEC 注意到的一些事情，也许需要大家校验一下，看看是不是我的运营商搞了奇怪的东西
1. google.com 至少一部分返回上没有 DNSSEC
2. 1.1.1.1 被我 ISP 劫持了，返回内容完全一样但是没有 AD bit。真可怕
2.1 如果客户端要求 RRSIG ，1.1.1.1 有的不会返回，因此直接把 Recursive resolver 指过去是不工作的，必须由它来校验 DNSSEC (delv cloudflare.com @1.1.1.1)
2.2 对不同的 TLD，1.1.1.1 返回 RRSIG 的方法会有不同 (dig @1.1.1.1 +dnssec -t DS com, dig @1.1.1.1 +dnssec -t DS moe) 感觉是奇妙 Hotfix
3. 666 会返回 ad
1. google.com 至少一部分返回上没有 DNSSEC
2. 1.1.1.1 被我 ISP 劫持了，返回内容完全一样但是没有 AD bit。真可怕
2.1 如果客户端要求 RRSIG ，1.1.1.1 有的不会返回，因此直接把 Recursive resolver 指过去是不工作的，必须由它来校验 DNSSEC (delv cloudflare.com @1.1.1.1)
2.2 对不同的 TLD，1.1.1.1 返回 RRSIG 的方法会有不同 (dig @1.1.1.1 +dnssec -t DS com, dig @1.1.1.1 +dnssec -t DS moe) 感觉是奇妙 Hotfix
3. 666 会返回 ad
Forwarded from Hacker News (yahnc_bot)
Meson 1.0 Build System https://mesonbuild.com/Release-notes-for-1-0-0.html
Forwarded from Hacker News (yahnc_bot)
Introduction to Homotopy Type Theory https://arxiv.org/abs/2212.11082