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
AI-assisted mechnical proving companies are raising funds on billion dollar valuations , new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC…
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?