Alperen Keles
twitter github linkedin mail
posts resume research projects talks misc
Entries tagged :: software engineering.
  • 2025-03-09

    Verifiability is the Limit

    en [software engineering, ai]
  • 2024-06-28

    Yazılımda Tecrübenin Anlamsızlığı

    tr [software engineering, experience]
  • 2023-12-02

    The Lies About Abstraction

    en [software engineering]
  • 2023-11-24

    Software Demystified: How does a Text Box Work?

    en [software engineering, algorithms]
  • 2023-11-15

    Yazılım Projeleri: Kapsamlı Rehber

    tr [software engineering]
  • 2023-08-06

    Hurdles of Designing A Layout Model

    en [software engineering]
  • 2023-06-16

    The Technical Pie (Yet-Another-Tech-Debt-Analogy)

    en [software engineering]
  • 2023-06-10

    Learner’s Guide to Dynamic Programming#2

    en [software engineering, algorithms]
  • 2023-06-07

    Learner’s Guide to Dynamic Programming#1

    en [software engineering, algorithms]
  • 2023-04-21

    Learner’s Guide to Coq Theorem Prover#1

    en [software engineering, algorithms, formal verification]
  • 2023-04-03

    Some Thoughts on Academia vs Industry(with a focus on Computer Science)

    en [computer science, software engineering]
  • 2022-01-16

    Lokasyon Bazlı Ödeme Hakkında Bazı Düşünceler

    tr [software engineering]
  • 2021-11-10

    Learner’s Guide to Property Based Testing#1

    en [software engineering, testing, computer science, learning from learners]
  • 2021-11-08

    Introduction to Learning from Learners

    en [software engineering, testing, computer science, learning from learners]