buk_blogGeonho Yun

2024-11-07

Understanding the O-Notation

n = O(n²) and n² = O(n²). So, uh... n = n²?

2024-11-10

What Is a Turing Machine?

What these fuckers have to do with your computer science degree.

2025-02-01

How to Call Imaginary Functions

Unterprogrammtechnik 101.

2024-11-11

Deep Dive in Rice's Theorem

What the fuck is a semantic property?

2025-01-14

On Reductions

The recipe for a smooth & cohesive Korrektheitsbeweis.