OpenBSD formal driver verification with SeL4
(arxiv.org)
November 2023 Archive
5881.
5882.
Forbush Decrease
(en.wikipedia.org)
5883.
China has deployed 210GW of new solar and 70GW of wind power this year alone
(businessgreen.com)
5884.
5885.
Show HN: AI Stock News That Don't Suck
(wocstreet.com)
5886.
5888.
5889.
The disaggregated write-ahead log (2023)
(blog.schmizz.net)
5890.
AI Will Make Full on Video Games
(youtube.com)
5891.
Vatnik
(en.wikipedia.org)
5892.
Baby boomers are buying up all the houses
(boston.com)
5894.
New SSH Vulnerability can reveal RSA private host key
(schneier.com)
5895.
5896.
Copernicus, Galileo, Kepler they all lacked proof
(cricetuscricetus.co.uk)
5897.
Unpacking Elixir: The Actor Model
(underjord.io)
5898.
Mr. Buffett on the Stock Market (Fortune, 1999)
(fortune.com)
5899.
Discord Authentication 11/6 Outage Postmortem
(discord.com)
5900.
Python 3.13 alpha 1 contains breaking changes, what's the plan?
(discuss.python.org)
5901.
5902.
5903.
5904.
LocalStack v3.0.0
(github.com)
5905.
Failing AI Startup in 2023
(asmirnov.xyz)
5906.
5907.
SCP-4205
(scp-wiki.wikidot.com)
5909.
Design principles of 3D epigenetic memory systems
(science.org)
5910.
280M e-bikes are slashing oil demand far more than electric vehicles
(arstechnica.com)