Medium

Alperen Keleş

Pinned

Alperen Keleş

·

Dec 23, 2020

ODTÜ’de Uzaktan Eğitim Dönemi Nasıl Geçiyor?

12 Mart 2020 Perşembe akşamı okulların 3 haftalık bir ara tatil dönemine girmesi ile başlayan uzaktan eğitim, 9 ay 12 gün sonra hala devam…

ODTÜ’de Uzaktan Eğitim Dönemi Nasıl Geçiyor?

Pinned

Alperen Keleş

·

Dec 9, 2020

Yurt Dışı Staj: Genişletilmiş Rehber

İlk yurt dışı stajıma gittiğimde, küçük çaplı bir yurt dışı staj yazısı yazmaya çabalamıştım, görece başarısız sonucumu şuradan…

Yurt Dışı Staj: Genişletilmiş Rehber

Alperen Keleş

·

Apr 13

On The Simplicity of Humanness

Just yesterday, Bryan Cantrill published a short piece that touches something that I think most of us fundamentally understand, but don’t…

Alperen Keleş

·

Apr 8

What is a property?

When talking about Property-Based Testing, we typically talk in very abstract terms. There are properties, which define the correctness…

Alperen Keleş

·

Feb 25

Specifiability is the Leverage

Almost a year ago, I wrote my first ever blog post on AI-assisted programming, Verifiability is the Limit. The core idea was a push against…

Alperen Keleş

·

Feb 11

The Mechanics of Autonomous Software Translation

2026 started with a boom of AI-assisted autonomous translations, on 14th of January, Cursor published their post on Scaling long-running…

Alperen Keleş

·

Feb 7

LLMs could be, but shouldn’t be compilers

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…

Alperen Keleş

·

Jan 19

Formal Metotlar ve Kanıtlı Programlama Hakkında

Hatalar, günümüzde programlamanın ve yazılım mühendisliğinin ayrılmaz bir parçası. Yazdığımız programlarda hatalar olacağını, bu hataların…

Alperen Keleş

·

Dec 26, 2025

Test, don’t (just) verify

AI is making formal verification go mainstream.

Test, don’t (just) verify

Alperen Keleş

·

Nov 23, 2025

Temporal Shrinking

Random testing, in isolation, is a stupid idea.

Temporal Shrinking

Alperen Keleş

Alperen Keleş

PhD Student at University of Maryland College Park working on Programming Languages. Chess player, coder and your friendly neighborhood writer!

Following

Help

Status

About

Careers

Press

Blog

Store

Privacy

Rules

Terms

Text to speech