41554 blogs · [ { "id": "01a08726-197d-72bd-9c23-7134d7d5a276", "title": "Source of truth is all you need", "url": "https://alperenkeles.com/posts/source-of-truth/", "published_at": "2026-08-10T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134d8938cc6", "title": "Next Chapter!", "url": "https://alperenkeles.com/posts/next-chapter/", "published_at": "2026-07-01T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134d931e363", "title": "Representation-Free Editing", "url": "https://alperenkeles.com/posts/representation-free-editing/", "published_at": "2026-06-16T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134d9fbeb19", "title": "What is random generation?", "url": "https://alperenkeles.com/posts/what-is-random-generation/", "published_at": "2026-05-10T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134da9fe532", "title": "Have we won, what now?", "url": "https://alperenkeles.com/posts/have-we-won/", "published_at": "2026-05-01T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dadf3f39", "title": "On The Simplicity of Humanness", "url": "https://alperenkeles.com/posts/on-the-simplicity-of-humanness/", "published_at": "2026-04-13T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134db5cdfca", "title": "What is a property?", "url": "https://alperenkeles.com/posts/what-is-a-property/", "published_at": "2026-04-05T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dbb0b4fd", "title": "Closing the verification loop: Observability-driven harnesses for building with agents", "url": "https://alperenkeles.com/posts/harness-first-agents/", "published_at": "2026-03-09T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dc8bfe89", "title": "Seeing types where others don't", "url": "https://alperenkeles.com/posts/seeing-types-where-others-dont/", "published_at": "2026-03-06T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dcbb8dfd", "title": "Specifiability is the Leverage", "url": "https://alperenkeles.com/posts/specifiability-is-the-leverage/", "published_at": "2026-02-24T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dd523f62", "title": "The Mechanics of Autonomous Software Translation", "url": "https://alperenkeles.com/posts/autonomous-translations/", "published_at": "2026-02-11T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ddefbcb0", "title": "LLMs could be, but shouldn't be compilers", "url": "https://alperenkeles.com/posts/llms-could-be-but-shouldnt-be-compilers/", "published_at": "2026-02-06T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134de2e4c06", "title": "Test, don't (just) verify", "url": "https://alperenkeles.com/posts/test-dont-verify/", "published_at": "2025-12-22T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134df157196", "title": "Formal Metotlar ve Kanıtlı Programlama Hakkında", "url": "https://alperenkeles.com/posts/kanitli-programlama/", "published_at": "2025-12-18T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134dfa77139", "title": "Temporal Shrinking", "url": "https://alperenkeles.com/posts/temporal-shrinking/", "published_at": "2025-11-22T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e08579f8", "title": "Verification is Not the Silver Bullet", "url": "https://alperenkeles.com/posts/verification-is-not-the-silver-bullet/", "published_at": "2025-11-18T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e1808637", "title": "Designing A Digital Restaurant", "url": "https://alperenkeles.com/posts/designing-a-restaurant/", "published_at": "2025-10-10T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e2377c8e", "title": "How can we secure Package Managers?", "url": "https://alperenkeles.com/posts/package-managers/", "published_at": "2025-09-18T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e2f7552c", "title": "From Hand-Tuned Go to Self-Optimizing Code: Building BitsEvolve", "url": "https://alperenkeles.com/posts/self-optimizing-system/", "published_at": "2025-09-18T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e3a516f1", "title": "Programlama Dilleri Hakkında", "url": "https://alperenkeles.com/posts/programlama-dilleri-hakkinda/", "published_at": "2025-09-04T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e44caa24", "title": "Breaking Verifiable Abstractions", "url": "https://alperenkeles.com/posts/verifiable-abstractions/", "published_at": "2025-08-31T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e47b3822", "title": "A Better Vocabulary for Testing", "url": "https://alperenkeles.com/posts/vocab-for-testing/", "published_at": "2025-08-16T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e50a8970", "title": "Bilgisayar Mühendisleri için Hafif* Ekonomi", "url": "https://alperenkeles.com/posts/yazilim-ekonomisi/", "published_at": "2025-08-09T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e574c23e", "title": "Filling in the Missing Bits", "url": "https://alperenkeles.com/posts/the-missing-bits/", "published_at": "2025-08-02T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e580c2d2", "title": "Time Budget as a Software Constraint", "url": "https://alperenkeles.com/posts/budget/", "published_at": "2025-08-01T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e6471dcb", "title": "Verifiability is the Limit", "url": "https://alperenkeles.com/posts/verifiability-is-the-limit/", "published_at": "2025-03-09T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e6f29848", "title": "Tip Sistemleri Hakkında", "url": "https://alperenkeles.com/posts/tip-sistemleri-hakkinda/", "published_at": "2024-12-01T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e794a5de", "title": "Printf Debuggers for Free", "url": "https://alperenkeles.com/posts/debuggers-for-free/", "published_at": "2024-11-23T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e869d23d", "title": "Yazılımda Tecrübenin Anlamsızlığı", "url": "https://alperenkeles.com/posts/experience/", "published_at": "2024-06-28T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e8fa1df8", "title": "Puzzles as Algorithmic Problems", "url": "https://alperenkeles.com/posts/puzzles-as-algortihms/", "published_at": "2024-06-28T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e91b6fc0", "title": "Solving Algorithmic Problems: Painting a Grid", "url": "https://alperenkeles.com/posts/solving-algorithmic-problems/", "published_at": "2024-06-01T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134e9df339b", "title": "Introducing Devy, written using Devy!", "url": "https://alperenkeles.com/posts/introducing-devy-written-using-devy/", "published_at": "2024-04-11T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ea63d040", "title": "Designing A Cryptic Language Puzzle", "url": "https://alperenkeles.com/posts/designing-a-cryptic-language-puzzle/", "published_at": "2024-03-23T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134eb4da5f2", "title": "Solving Algorithmic Problems in The Wild", "url": "https://alperenkeles.com/posts/solving-algorithmic-problems-in-the-wild/", "published_at": "2024-03-06T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ec3524f6", "title": "Afet Anında Doğru Bilgiye Ulaşım", "url": "https://alperenkeles.com/posts/afet-aninda-dogru-bilgiye-ulasim/", "published_at": "2024-01-28T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ec361b1d", "title": "The Lies About Abstraction", "url": "https://alperenkeles.com/posts/the-lies-about-abstraction/", "published_at": "2023-12-02T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ecdb8a9d", "title": "Software Demystified: How does a Text Box Work?", "url": "https://alperenkeles.com/posts/software-demystified-how-does-a-text-box-work/", "published_at": "2023-11-24T00:00:00+00:00" }, { "id": "01a08726-197d-72bd-9c23-7134ed96d302", "title": "Yazılım Projeleri: Kapsamlı Rehber", "url": "https://alperenkeles.com/posts/yazilim-projeleri-kapsamli-rehber/", "published_at": "2023-11-15T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff3ebe466a", "title": "Some Thoughts on Academia vs Industry(with a focus on Computer Science)", "url": "https://alperenkeles.com/posts/academia-vs-industry/", "published_at": "2023-11-01T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff3fb1bb8c", "title": "Algoritmik Problemler: Kapsamlı Rehber", "url": "https://alperenkeles.com/posts/algoritmik-problemler-kapsamli-rehber/", "published_at": "2023-11-01T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff40336b79", "title": "Hurdles of Designing A Layout Model", "url": "https://alperenkeles.com/posts/hurdles-of-designing-a-layout-model/", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff40ce6a2d", "title": "Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals in Javascript", "url": "https://alperenkeles.com/posts/learners-guide-to-functional-programming0-sum-types-booleans-and-naturals-in-javascript/", "published_at": "2023-07-13T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff41aa714c", "title": "Extracting Signals: Playing The Inverse Waldo Game", "url": "https://alperenkeles.com/posts/extracting-signals-playing-the-inverse-waldo-game/", "published_at": "2023-07-11T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff42090999", "title": "Sinyalleri Ayrıştırmak", "url": "https://alperenkeles.com/posts/sinyalleri-ayristirmak/", "published_at": "2023-07-09T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4247cf58", "title": "The Technical Pie (Yet-Another-Tech-Debt-Analogy)", "url": "https://alperenkeles.com/posts/the-technical-pie-yetanothertechdebtanalogy/", "published_at": "2023-06-16T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4341d75c", "title": "Visa-Exclusion as A Form of Inequality", "url": "https://alperenkeles.com/posts/visaexclusion-as-a-form-of-inequality/", "published_at": "2023-06-14T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff434620fe", "title": "Learner’s Guide to Dynamic Programming#2", "url": "https://alperenkeles.com/posts/learners-guide-to-dynamic-programming2/", "published_at": "2023-06-10T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff43ea7603", "title": "Learner’s Guide to Dynamic Programming#1", "url": "https://alperenkeles.com/posts/learners-guide-to-dynamic-programming1/", "published_at": "2023-06-07T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4484bc5d", "title": "Learner’s Guide to Coq Theorem Prover#1", "url": "https://alperenkeles.com/posts/learners-guide-to-coq-theorem-prover1/", "published_at": "2023-04-21T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff456337fc", "title": "A Short Story of Inequality", "url": "https://alperenkeles.com/posts/a-short-story-of-inequality/", "published_at": "2023-04-17T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff46372b6e", "title": "2ClickMail: 2 Clicks to Change", "url": "https://alperenkeles.com/posts/2clickmail-2-clicks-to-change/", "published_at": "2023-04-15T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff468c1f0f", "title": "2ClickMail: 2 Tıkta Dünyanı Güzelleştir", "url": "https://alperenkeles.com/posts/2clickmail-2-tikta-dunyani-guzellestir/", "published_at": "2023-04-15T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff468dedd4", "title": "Some Thoughts on Academia vs Industry(with a focus on Computer Science)", "url": "https://alperenkeles.com/posts/some-thoughts-on-academia-vs-industrywith-a-focus-on-computer-science/", "published_at": "2023-04-03T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff47889e33", "title": "Where did all the writers go?", "url": "https://alperenkeles.com/posts/where-did-all-the-writers-go/", "published_at": "2023-03-18T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4798a460", "title": "Introduction to Property Based Testing", "url": "https://alperenkeles.com/posts/introduction-to-property-based-testing/", "published_at": "2023-03-14T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff47d1fe2a", "title": "AfetBilgi’nin Hikayesi.", "url": "https://alperenkeles.com/posts/afetbilginin-hikayesi/", "published_at": "2023-02-18T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff47fd3fb7", "title": "Roadmap of Concepts in Functional Programming", "url": "https://alperenkeles.com/posts/fp-roadmap/", "published_at": "2023-01-20T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff489b1ce5", "title": "Yarım Kalan Projeler#3: Fact Checker’s Tool", "url": "https://alperenkeles.com/posts/yarim-kalan-projeler3-fact-checkers-tool/", "published_at": "2022-12-21T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff48fee92d", "title": "Yarım Kalan Projeler#2: Learning from Learners", "url": "https://alperenkeles.com/posts/yarim-kalan-projeler2-learning-from-learners/", "published_at": "2022-12-19T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4960988d", "title": "Yarım Kalan Projeler#1: CengBook", "url": "https://alperenkeles.com/posts/yarim-kalan-projeler1-cengbook/", "published_at": "2022-12-17T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4a0da47a", "title": "A Brief Essay on Change", "url": "https://alperenkeles.com/posts/a-brief-essay-on-change/", "published_at": "2022-10-29T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4a522f88", "title": "Seçimler v2", "url": "https://alperenkeles.com/posts/secimler-v2/", "published_at": "2022-10-24T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4a72e4ab", "title": "Doktorada 1 Yıl Sonunda Bazı Görüşler", "url": "https://alperenkeles.com/posts/doktorada-1-yil-sonunda-bazi-gorusler/", "published_at": "2022-07-20T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4afb0d9c", "title": "Doktoramın İlk 6 Ayı Nasıl Geçti? Yoğun, Yorgun Ama Mutlu.", "url": "https://alperenkeles.com/posts/doktoramin-ilk-6-ayi-nasil-gecti-yogun-yorgun-ama-mutlu/", "published_at": "2022-03-08T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4b17f0ca", "title": "Doktora Kabulleri: Kapsamlı Rehber", "url": "https://alperenkeles.com/posts/doktora-kabulleri-kapsamli-rehber/", "published_at": "2022-01-29T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4b5660a0", "title": "Hatırlamak", "url": "https://alperenkeles.com/posts/hatirlamak/", "published_at": "2022-01-25T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4c54a015", "title": "Lokasyon Bazlı Ödeme Hakkında Bazı Düşünceler", "url": "https://alperenkeles.com/posts/lokasyon-bazli-odeme-hakkinda-bazi-dusunceler/", "published_at": "2022-01-16T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4c9775e7", "title": "Proje Günlükleri: CVDL(CV Description Language)#1", "url": "https://alperenkeles.com/posts/proje-gunlukleri-cvdlcv-description-language1/", "published_at": "2022-01-10T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4cd67a1b", "title": "Amerika’da İlk 3 Ayım Nasıl Geçti? Bu Sefer Oldu Gibi.", "url": "https://alperenkeles.com/posts/amerikada-ilk-3-ayim-nasil-gecti-bu-sefer-oldu-gibi/", "published_at": "2021-11-21T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4d225c79", "title": "Learner’s Guide to Property Based Testing#1", "url": "https://alperenkeles.com/posts/learners-guide-to-property-based-testing1/", "published_at": "2021-11-10T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4e0d19a6", "title": "Introduction to Learning from Learners", "url": "https://alperenkeles.com/posts/introduction-to-learning-from-learners/", "published_at": "2021-11-08T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4e5c3c99", "title": "Amerika’da İkinci Ayım Nasıl Geçti? Bilinmezlikten Bilinirliğe Bir Yolculuk.", "url": "https://alperenkeles.com/posts/amerikada-ikinci-ayim-nasil-gecti-bilinmezlikten-bilinirlige-bir-yolculuk/", "published_at": "2021-10-15T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4ebaf31c", "title": "Amerika’da İlk Ayım Nasıl Geçti? Öğretici, Şaşırtıcı Derecede Dürüst Bir Anı Defteri.", "url": "https://alperenkeles.com/posts/amerikada-ilk-ayim-nasil-gecti-ogretici-sasirtici-derecede-durust-bir-ani-defteri/", "published_at": "2021-09-24T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4f02e6bf", "title": "Toplu Mail Linki Nasıl Hazırlanır?", "url": "https://alperenkeles.com/posts/toplu-mail-linki-nasil-hazirlanir/", "published_at": "2021-09-24T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff4ff83719", "title": "The Story of Deviation and Returning", "url": "https://alperenkeles.com/posts/the-story-of-deviation-and-returning/", "published_at": "2021-07-31T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff501fb995", "title": "ODTÜ’de Bilgisayar Mühendisliği: Nedir? Ne Değildir?", "url": "https://alperenkeles.com/posts/odtude-bilgisayar-muhendisligi-nedir-ne-degildir/", "published_at": "2021-07-28T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff50699364", "title": "Vermek ve Almak: İlişkilere Yeni Bir Bakış Açısı", "url": "https://alperenkeles.com/posts/vermek-ve-almak-iliskilere-yeni-bir-bakis-acisi/", "published_at": "2021-07-13T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff50c78cf7", "title": "Görüşürüz ODTÜ!", "url": "https://alperenkeles.com/posts/gorusuruz-odtu/", "published_at": "2021-06-21T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff519c9953", "title": "Uzaktan Eğitimle Geçen Bir Yılın Ardından", "url": "https://alperenkeles.com/posts/uzaktan-egitimle-gecen-bir-yilin-ardindan/", "published_at": "2021-05-19T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff51f678c0", "title": "Doktora Başvuruları: Kapsamlı Rehber", "url": "https://alperenkeles.com/posts/doktora-basvurulari-kapsamli-rehber/", "published_at": "2021-04-13T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff52aaed81", "title": "Lisans Araştırmaları Rehberi: AdımODTÜ Lisans Araştırmaları", "url": "https://alperenkeles.com/posts/lisans-arastirmalari-rehberi-adimodtu-lisans-arastirmalari/", "published_at": "2021-04-03T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff53383a68", "title": "Seçimler", "url": "https://alperenkeles.com/posts/secimler/", "published_at": "2021-03-29T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5386946a", "title": "Yurt Dışı Staj: Kabul Aldınız, Peki Ya Şimdi?", "url": "https://alperenkeles.com/posts/yurt-disi-staj-kabul-aldiniz-peki-ya-simdi/", "published_at": "2021-03-14T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff547216d6", "title": "Yüksek Lisans Doktora Başvuruları#2: Neden Yüksek Lisans?", "url": "https://alperenkeles.com/posts/yuksek-lisans-doktora-basvurulari2-neden-yuksek-lisans/", "published_at": "2021-02-26T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff548ef888", "title": "Yüksek Lisans Doktora Başvuruları#1: Şimdi Sizin Aklınızda 2 Soru Var", "url": "https://alperenkeles.com/posts/yuksek-lisans-doktora-basvurulari1-simdi-sizin-aklinizda-2-soru-var/", "published_at": "2021-02-23T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5586596d", "title": "Staj Rehberi#4 — Eski Stajlar", "url": "https://alperenkeles.com/posts/staj-rehberi4eski-stajlar/", "published_at": "2021-02-17T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff560c3f6d", "title": "Staj Rehberi#3 — Projeler", "url": "https://alperenkeles.com/posts/staj-rehberi3projeler/", "published_at": "2021-02-07T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff56904056", "title": "Staj Rehberi#2 — Niyet Mektubu", "url": "https://alperenkeles.com/posts/staj-rehberi2niyet-mektubu/", "published_at": "2021-02-02T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5771eac1", "title": "Staj Rehberi#1 — Özgeçmiş Hazırlama", "url": "https://alperenkeles.com/posts/staj-rehberi1-ozgecmis-hazirlama/", "published_at": "2021-01-29T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5790320d", "title": "Ödediğimiz Bedeller Mi, Ödeyeceklerimiz Mi?", "url": "https://alperenkeles.com/posts/odedigimiz-bedeller-mi-odeyeceklerimiz-mi/", "published_at": "2021-01-22T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff57ffd660", "title": "ODTÜ’de Uzaktan Güz Dönemi Nasıl Bitiyor.", "url": "https://alperenkeles.com/posts/odtude-uzaktan-guz-donemi-nasil-bitiyor/", "published_at": "2021-01-16T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff58f27457", "title": "Post-Covid Monologları#3: Yarını Kaçırmak", "url": "https://alperenkeles.com/posts/postcovid-monologlari3-yarini-kacirmak/", "published_at": "2021-01-04T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5991f9cc", "title": "ODTÜ’de Uzaktan Eğitim Dönemi Nasıl Geçiyor?", "url": "https://alperenkeles.com/posts/odtude-uzaktan-egitim-donemi-nasil-geciyor/", "published_at": "2020-12-23T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5a7ef5f5", "title": "Lisans Araştırmaları: Giriş Rehberi", "url": "https://alperenkeles.com/posts/lisans-arastirmalari-giris-rehberi/", "published_at": "2020-12-17T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5aa7f0cd", "title": "Post-Covid Monologları#1: Unutulan Vedalar", "url": "https://alperenkeles.com/posts/postcovid-monologlari1-unutulan-vedalar/", "published_at": "2020-12-12T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5ac6b62b", "title": "Yurt Dışı Staj: Genişletilmiş Rehber", "url": "https://alperenkeles.com/posts/yurt-disi-staj-genisletilmis-rehber/", "published_at": "2020-12-09T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5acfb20e", "title": "Atam Ne Derdi", "url": "https://alperenkeles.com/posts/atam-ne-derdi/", "published_at": "2020-11-10T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5bbc5a34", "title": "Karantina Günlerinde Akademik Dürüstlük", "url": "https://alperenkeles.com/posts/karantina-gunlerinde-akademik-durustluk/", "published_at": "2020-06-05T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5c1f54c4", "title": "Kır Aynaları", "url": "https://alperenkeles.com/posts/kir-aynalari/", "published_at": "2019-07-27T00:00:00+00:00" }, { "id": "01a08726-197e-7324-86ae-0dff5c9e77cd", "title": "Kaos ve Düzen", "url": "https://alperenkeles.com/posts/kaos-ve-duzen/", "published_at": "2019-07-17T00:00:00+00:00" } ] posts Claim your blog

Back to alperenkeles.com

Blog · corpus.blog/blogs/alperenkeles.com/posts

alperenkeles.com

alperenkeles.com

2026

Source of truth is all you need original ↗

10 Aug 2026

Next Chapter!original ↗

1 Jul 2026

Representation-Free Editing original ↗

16 Jun 2026

What is random generation?original ↗

10 May 2026

Have we won, what now?original ↗

1 May 2026

On The Simplicity of Humanness original ↗

13 Apr 2026

What is a property?original ↗

5 Apr 2026

Closing the verification loop: Observability-driven harnesses for building with agents original ↗

9 Mar 2026

Seeing types where others don't original ↗

6 Mar 2026

Specifiability is the Leverage original ↗

24 Feb 2026

The Mechanics of Autonomous Software Translation original ↗

11 Feb 2026

LLMs could be, but shouldn't be compilers original ↗

6 Feb 2026

2025

Test, don't (just) verify original ↗

22 Dec 2025

Formal Metotlar ve Kanıtlı Programlama Hakkında original ↗

18 Dec 2025

Temporal Shrinking original ↗

22 Nov 2025

Verification is Not the Silver Bullet original ↗

18 Nov 2025

Designing A Digital Restaurant original ↗

10 Oct 2025

How can we secure Package Managers?original ↗

18 Sept 2025

From Hand-Tuned Go to Self-Optimizing Code: Building BitsEvolve original ↗

18 Sept 2025

Programlama Dilleri Hakkında original ↗

4 Sept 2025

Breaking Verifiable Abstractions original ↗

31 Aug 2025

A Better Vocabulary for Testing original ↗

16 Aug 2025

Bilgisayar Mühendisleri için Hafif* Ekonomi original ↗

9 Aug 2025

Filling in the Missing Bits original ↗

2 Aug 2025

Time Budget as a Software Constraint original ↗

1 Aug 2025

Verifiability is the Limit original ↗

9 Mar 2025

2024

Tip Sistemleri Hakkında original ↗

1 Dec 2024

Printf Debuggers for Free original ↗

23 Nov 2024

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

28 Jun 2024

Puzzles as Algorithmic Problems original ↗

28 Jun 2024

Solving Algorithmic Problems: Painting a Grid original ↗

1 Jun 2024

Introducing Devy, written using Devy!original ↗

11 Apr 2024

Designing A Cryptic Language Puzzle original ↗

23 Mar 2024

Solving Algorithmic Problems in The Wild original ↗

6 Mar 2024

Afet Anında Doğru Bilgiye Ulaşım original ↗

28 Jan 2024

2023

The Lies About Abstraction original ↗

2 Dec 2023

Software Demystified: How does a Text Box Work?original ↗

24 Nov 2023

Yazılım Projeleri: Kapsamlı Rehber original ↗

15 Nov 2023

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

1 Nov 2023

Algoritmik Problemler: Kapsamlı Rehber original ↗

1 Nov 2023

Hurdles of Designing A Layout Model original ↗

6 Aug 2023

Learner’s Guide to Functional Programming#0: Sum Types, Booleans and Naturals in Javascript original ↗

13 Jul 2023

Extracting Signals: Playing The Inverse Waldo Game original ↗

11 Jul 2023

Sinyalleri Ayrıştırmak original ↗

9 Jul 2023

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

16 Jun 2023

Visa-Exclusion as A Form of Inequality original ↗

14 Jun 2023

Learner’s Guide to Dynamic Programming#2 original ↗

10 Jun 2023

Learner’s Guide to Dynamic Programming#1 original ↗

7 Jun 2023

Learner’s Guide to Coq Theorem Prover#1 original ↗

21 Apr 2023

A Short Story of Inequality original ↗

17 Apr 2023

2ClickMail: 2 Clicks to Change original ↗

15 Apr 2023

2ClickMail: 2 Tıkta Dünyanı Güzelleştir original ↗

15 Apr 2023

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

3 Apr 2023

Where did all the writers go?original ↗

18 Mar 2023

Introduction to Property Based Testing original ↗

14 Mar 2023

AfetBilgi’nin Hikayesi.original ↗

18 Feb 2023

Roadmap of Concepts in Functional Programming original ↗

20 Jan 2023

2022

Yarım Kalan Projeler#3: Fact Checker’s Tool original ↗

21 Dec 2022

Yarım Kalan Projeler#2: Learning from Learners original ↗

19 Dec 2022

Yarım Kalan Projeler#1: CengBook original ↗

17 Dec 2022

A Brief Essay on Change original ↗

29 Oct 2022

Seçimler v2 original ↗

24 Oct 2022

Doktorada 1 Yıl Sonunda Bazı Görüşler original ↗

20 Jul 2022

Doktoramın İlk 6 Ayı Nasıl Geçti? Yoğun, Yorgun Ama Mutlu.original ↗

8 Mar 2022

Doktora Kabulleri: Kapsamlı Rehber original ↗

29 Jan 2022

Hatırlamak original ↗

25 Jan 2022

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

16 Jan 2022

Proje Günlükleri: CVDL(CV Description Language)#1 original ↗

10 Jan 2022

2021

Amerika’da İlk 3 Ayım Nasıl Geçti? Bu Sefer Oldu Gibi.original ↗

21 Nov 2021

Learner’s Guide to Property Based Testing#1 original ↗

10 Nov 2021

Introduction to Learning from Learners original ↗

8 Nov 2021

Amerika’da İkinci Ayım Nasıl Geçti? Bilinmezlikten Bilinirliğe Bir Yolculuk.original ↗

15 Oct 2021

Amerika’da İlk Ayım Nasıl Geçti? Öğretici, Şaşırtıcı Derecede Dürüst Bir Anı Defteri.original ↗

24 Sept 2021

Toplu Mail Linki Nasıl Hazırlanır?original ↗

24 Sept 2021

The Story of Deviation and Returning original ↗

31 Jul 2021

ODTÜ’de Bilgisayar Mühendisliği: Nedir? Ne Değildir?original ↗

28 Jul 2021

Vermek ve Almak: İlişkilere Yeni Bir Bakış Açısı original ↗

13 Jul 2021

Görüşürüz ODTÜ!original ↗

21 Jun 2021

Uzaktan Eğitimle Geçen Bir Yılın Ardından original ↗

19 May 2021

Doktora Başvuruları: Kapsamlı Rehber original ↗

13 Apr 2021

Lisans Araştırmaları Rehberi: AdımODTÜ Lisans Araştırmaları original ↗

3 Apr 2021

Seçimler original ↗

29 Mar 2021

Yurt Dışı Staj: Kabul Aldınız, Peki Ya Şimdi?original ↗

14 Mar 2021

Yüksek Lisans Doktora Başvuruları#2: Neden Yüksek Lisans?original ↗

26 Feb 2021

Yüksek Lisans Doktora Başvuruları#1: Şimdi Sizin Aklınızda 2 Soru Var original ↗

23 Feb 2021

Staj Rehberi#4 — Eski Stajlar original ↗

17 Feb 2021

Staj Rehberi#3 — Projeler original ↗

7 Feb 2021

Staj Rehberi#2 — Niyet Mektubu original ↗

2 Feb 2021

Staj Rehberi#1 — Özgeçmiş Hazırlama original ↗

29 Jan 2021

Ödediğimiz Bedeller Mi, Ödeyeceklerimiz Mi?original ↗

22 Jan 2021

ODTÜ’de Uzaktan Güz Dönemi Nasıl Bitiyor.original ↗

16 Jan 2021

Post-Covid Monologları#3: Yarını Kaçırmak original ↗

4 Jan 2021

2020

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

23 Dec 2020

Lisans Araştırmaları: Giriş Rehberi original ↗

17 Dec 2020

Post-Covid Monologları#1: Unutulan Vedalar original ↗

12 Dec 2020

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

9 Dec 2020

Atam Ne Derdi original ↗

10 Nov 2020

Karantina Günlerinde Akademik Dürüstlük original ↗

5 Jun 2020

2019

Kır Aynaları original ↗

27 Jul 2019

Kaos ve Düzen original ↗

17 Jul 2019