Hi there! I'm Alperen Keleş, recently got my Ph.D. from University of Maryland, College Park. I wrote my thesis on on Designing Effective Property-Based Testing Frameworks . I am interested in random testing, formal verification, their implementations in different programming languages, and applications in the wild…
Visit alperenkeles.com → RSS feedOn Hacker News Dec 2025 – Feb 2026
Software Engineering 2Tools & Productivity 1AI & Machine Learning 1
I’ve been going round and round in my mind about a particular discussion around LLMs: are they really similar to compilers? Are we headed toward a world where people don’t look at the underlying code for their programs?