May 2023 Archive
23914.
23916.
23918.
John Carmack on the space scenes in the Martian
(twitter.com)
23919.
Google Is Falling Behind in AI Arms Race, Senior Engineer Warns
(bloomberg.com)
23922.
23923.
Show HN: Work with Cornelius Venti
(workwith.corneliusventi.dev)
23924.
Hands-On: Exploit RISC-V CPU Using Return-Oriented Programming
(bogdandeac.com)
23925.
Writing Code with ChatGPT? Improve It with Kani
(model-checking.github.io)
23927.
Collision, Randomization and Welzl's Algorithm
(blog.karthickshiva.dev)
23930.
Run Faster, Runtime Followers
(sysdig.com)
23932.
23933.
Why airlines keep folding in India’s booming aviation market
(economictimes.indiatimes.com)
23935.
Coronation Order of Service [pdf]
(downloads.bbc.co.uk)
23939.
What do LLMs expect for the economy?
(marginalrevolution.com)