Alperen Keles
- Posts
- 102 from 16 Jun 2019 to 27 Sep 2026
- Posting
- monthly (17 in the last year)
- Kind
- personal blog
- Feed
- https://alperenkeles.com/atom.xml
2026 13
- CS 101 for Political Scientists
- Source of truth is all you need
- Next Chapter!
- Representation-Free Editing
- What is random generation?
- Have we won, what now?
- On The Simplicity of Humanness
- What is a property?
- Closing the verification loop: Observability-driven harnesses for building with agents
- Seeing types where others don't
- Specifiability is the Leverage
- The Mechanics of Autonomous Software Translation
- LLMs could be, but shouldn't be compilers
2025 14
- Test, don't (just) verify
- Formal Metotlar ve Kanıtlı Programlama Hakkında
- Temporal Shrinking
- Verification is Not the Silver Bullet
- Designing A Digital Restaurant
- How can we secure Package Managers?
- From Hand-Tuned Go to Self-Optimizing Code: Building BitsEvolve
- Programlama Dilleri Hakkında
- Breaking Verifiable Abstractions
- A Better Vocabulary for Testing
- Bilgisayar Mühendisleri için Hafif* Ekonomi
- Filling in the Missing Bits
- Time Budget as a Software Constraint
- Verifiability is the Limit
2024 9
- Tip Sistemleri Hakkında
- Printf Debuggers for Free
- Yazılımda Tecrübenin Anlamsızlığı
- Puzzles as Algorithmic Problems
- Solving Algorithmic Problems: Painting a Grid
- Introducing Devy, written using Devy!
- Designing A Cryptic Language Puzzle
- Solving Algorithmic Problems in The Wild
- Afet Anında Doğru Bilgiye Ulaşım
2023 22
- The Lies About Abstraction
- Software Demystified: How does a Text Box Work?
- Yazılım Projeleri: Kapsamlı Rehber
- Some Thoughts on Academia vs Industry(with a focus on Computer Science)
- Algoritmik Problemler: Kapsamlı Rehber
- Hurdles of Designing A Layout Model
- Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals in Javascript
- Extracting Signals: Playing The Inverse Waldo Game
- Sinyalleri Ayrıştırmak
- The Technical Pie (Yet-Another-Tech-Debt-Analogy)
- Visa-Exclusion as A Form of Inequality
- Learner’s Guide to Dynamic Programming#2
- Learner’s Guide to Dynamic Programming#1
- Learner’s Guide to Coq Theorem Prover#1
- A Short Story of Inequality
- 2ClickMail: 2 Clicks to Change
- 2ClickMail: 2 Tıkta Dünyanı Güzelleştir
- Some Thoughts on Academia vs Industry(with a focus on Computer Science)
- Where did all the writers go?
- Introduction to Property Based Testing
- AfetBilgi’nin Hikayesi.
- Roadmap of Concepts in Functional Programming
2022 11
- Yarım Kalan Projeler#3: Fact Checker’s Tool
- Yarım Kalan Projeler#2: Learning from Learners
- Yarım Kalan Projeler#1: CengBook
- A Brief Essay on Change
- Seçimler v2
- Doktorada 1 Yıl Sonunda Bazı Görüşler
- Doktoramın İlk 6 Ayı Nasıl Geçti? Yoğun, Yorgun Ama Mutlu.
- Doktora Kabulleri: Kapsamlı Rehber
- Hatırlamak
- Lokasyon Bazlı Ödeme Hakkında Bazı Düşünceler
- Proje Günlükleri: CVDL(CV Description Language)#1
2021 24
- Amerika’da İlk 3 Ayım Nasıl Geçti? Bu Sefer Oldu Gibi.
- Learner’s Guide to Property Based Testing#1
- Introduction to Learning from Learners
- Amerika’da İkinci Ayım Nasıl Geçti? Bilinmezlikten Bilinirliğe Bir Yolculuk.
- Amerika’da İlk Ayım Nasıl Geçti? Öğretici, Şaşırtıcı Derecede Dürüst Bir Anı Defteri.
- Toplu Mail Linki Nasıl Hazırlanır?
- The Story of Deviation and Returning
- ODTÜ’de Bilgisayar Mühendisliği: Nedir? Ne Değildir?
- Vermek ve Almak: İlişkilere Yeni Bir Bakış Açısı
- Görüşürüz ODTÜ!
- Uzaktan Eğitimle Geçen Bir Yılın Ardından
- Doktora Başvuruları: Kapsamlı Rehber
- Lisans Araştırmaları Rehberi: AdımODTÜ Lisans Araştırmaları
- Seçimler
- Yurt Dışı Staj: Kabul Aldınız, Peki Ya Şimdi?
- Yüksek Lisans Doktora Başvuruları#2: Neden Yüksek Lisans?
- Yüksek Lisans Doktora Başvuruları#1: Şimdi Sizin Aklınızda 2 Soru Var
- Staj Rehberi#4 — Eski Stajlar
- Staj Rehberi#3 — Projeler
- Staj Rehberi#2 — Niyet Mektubu
- Staj Rehberi#1 — Özgeçmiş Hazırlama
- Ödediğimiz Bedeller Mi, Ödeyeceklerimiz Mi?
- ODTÜ’de Uzaktan Güz Dönemi Nasıl Bitiyor.
- Post-Covid Monologları#3: Yarını Kaçırmak