Tag

computing

Oldest Newest URL A-Z URL Z-A Title A-Z Title Z-A Random
How formal verification makes AWS Nitro the first formally verified cloud hypervisor - Amazon Science
https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation
aws computing security
Added 6 days ago
social.panic.com
https://social.panic.com/@cabel/116710623616975906
computing games retro
Added 1 week ago
Usborne 1980s Computer Books
https://usborne.com/us/books/computer-and-coding-books
books computing hackernews history
Added 3 weeks ago
Archive of BYTE magazine, starting with issue #1 in 1975
https://archive.org/details/byte-magazine-1975-09
computing hackernews history
Added 2 months ago
How NASA built Artemis II’s fault-tolerant computer
https://cacm.acm.org/news/how-nasa-built-artemis-iis-fault-tolerant-computer/
computing hackernews hardware space space ships
Added 2 months ago
“This is not the computer for you”
https://samhenri.gold/blog/20260312-this-is-not-the-computer-for-you/
computing hackernews learning
Added 3 months ago
UNSW delivers atomic quantum computing breakthrough
https://www.innovationaus.com/unsw-delivers-atomic-quantum-computing-breakthrough/
computing import-20250527224135 quantum
Added 1 year ago