  This article presents a survey on the topic of embedding 3-manifolds in
definite 4-manifolds, emphasizing the latest progress in the field. We will
focus on the significant role played by Donaldson's diagonalization theorem and
the combinatorics of integral lattices in understanding these embeddings.
Additionally, the article introduces a new result concerning the embedding of
amphichiral lens spaces in negative-definite manifolds.
