general_reviews.md

General reviews and interviews

Table of contents

• Operating systems
  • Linux
• Automated theorem proving
• Algorithms
• Natural language processing
  • Spelling correction
  • Neural networks
    • Graph neural networks
• Journals
• Software history
• Software-related accidents
  • Patriot Missile failure
  • Therac-25
• Soft skills
• Humor, folklore, etc.

---

Operating systems

🎥

• D.Zavalishin. Beyond Intel and Linux: Uncommon processors and operating systems – Demodulation (in Russian, 2019)
• M.Russinovich. Windows and Linux: A tale of two kernels – Tech-Ed (2004)

Linux

---

Automated theorem proving

🎥

• W.T.Gowers. What are the prospects for automatic theorem proving? – Microsoft Research (2016)

---

Algorithms

🔗

• The aggregate magic algorithms

---

Natural language processing

Spelling correction

🔗

• P.Norvig. How to write a spelling corrector (2007–2016)

---

Neural networks

Graph neural networks

🎥

• M.Allamanis. An introduction to graph neural networks: Models and applications – MSR Cambridge Lecture Series (2019)

---

Journals

• Dr. Dobb’s journal (1976–1990)
• Informatics and education (in Russian, 1986–2013)

---

Software history

• M.Steil. Bill Gates’ personal easter eggs in 8-bit BASIC

---

Software-related accidents

🔗

• T.Huckle. Collection of software bugs
• D.N.Arnold. Some disasters attributable to bad numerical computing
• M.Lake. Epic failures: 11 infamous software bugs – Computerworld

Patriot Missile failure

🔗

• D.N.Arnold. The Patriot Missile failure

Therac-25

🔗

• Therac-25 – Wikipedia

---

Soft skills

🎥

• D.Sankel. Rules for radical engineers: Make a difference in your code, team, and organization – CppCon (2022)

---

Humor, folklore, etc.

🔗

• Greenspun’s tenth rule – Wikipedia
• C++23: fullptr to replace nullptr (2019, April 1)
• E.Siegel. Educational computer science songs