All pull requests

Pull requests

• Replace the Trinket embeds (Trinket shut down in August 2026)

  #861·KevinSpek opened Oct 19, 2026·

  ·
  1

• Fix output-arity bounds in multibit circuit exercises

  #860·LJX-xixi opened Oct 12, 2026·

  ·

• Fix Karatsuba recurrence bound in Exercise 0.4(a)

  #858·LJX-xixi opened Oct 10, 2026·

  ·
  1

  1

• Fix typo in reference in lemma 0.6 proof

  #851·faic opened Dec 27, 2025·

  ·

• Fix typos in index.md

  #850·faic opened Dec 27, 2025·

  ·
  1

• Fix Karatsuba mult return value power

  #849·faic opened Dec 27, 2025·

  ·
  1

• Chapter 3 - Bug Fix on Algorithm 3.14 (Addition w/ NAND)

  #846·Jfhseh opened Aug 16, 2025·

  ·
  1

• Emptiness of regular expressions

  #844·weikailin opened Mar 20, 2025·

  ·
  1

• Fix typos

  #843·K0UR05H opened Jan 16, 2025·

  ·

• Fix typo in exercise 2.2

  #839·K0UR05H opened Oct 4, 2024·

  ·
  1

• Update index.md

  #837·eado opened Mar 18, 2024·

  ·
  1

• Update lec_07_other_models.md

  #836·shirriff opened Feb 21, 2024·

  ·
  1

• Fixed typo in link to UCLA course

  #835·orrp opened Dec 23, 2023·

  ·

• fix typo in chapter 14 figure description of soundness

  #832·adzcai opened Dec 11, 2023·

  ·
  1

• Typo fixes

  #818·mzhao80 opened Dec 8, 2023·

  ·
  1