İçeriğe geç

Yazılım Geliştirici | Matematik Odaklı Çözümler ve Algoritmalar

Kaan Baha Sever

Merhaba, hoş geldiniz! Ben Kaan. İstanbul’da yaşıyorum ve yazılım geliştiriyorum; en çok modern C++ ve Go ile çalışıyorum. Bir yandan da İstanbul Üniversitesinde matematik bölümünü bitirmek üzereyim. Çocukken evdeki aletleri söküp nasıl çalıştıklarına bakardım. Bu merak beni önce uzaya, sonra roketlere, sonunda da bugün yazdığım yazılımlara getirdi. Matematik bu yolun her adımında yanımdaydı: Bir problemi çözmeden önce iyice anlamayı, sonra da çözümün neden doğru olduğunu göstermeyi ondan öğrendim. Bu sitede projelerimi, matematik ve algoritmalar üzerine yazılarımı, tarayıcıda çalışan küçük araçları ve bilgisayara karşı oynayabileceğiniz oyunları bulacaksınız. Dilediğiniz yerden başlayın, iyi gezinmeler!

Konum:İstanbul, Türkiye

Şekil 1Birim çember üzerinde bir nokta dönüyor. Noktanın yüksekliğini zamana göre çizince bir sinüs dalgası çıkıyor.

Deneyim

  1. Yazılım Geliştirici

    crowd.inc

    Temmuz 2021 – Mart 2024

    crowd.inc, insanların fikirlerini paylaşıp bu fikirler için yardım bulduğu bir platformdu. Yüzlerce kullanıcısı vardı; birçok projeye ev sahipliği yaptı, platformda bir sürü fikir ve hedef paylaşıldı. Sonraları da herkese açık olmayan, özel fikirlere yöneldik. Geliştirme sürecinin tamamından ben sorumluydum: PostgreSQL’de ilişkisel veri tabanı şemasını tasarladım, Python ve Flask ile REST API’ler yazdım, ön yüzü jQuery ile geliştirdim.

    • Ayrıntılı bir rol tabanlı erişim kontrolü (RBAC) tasarladım; herkese açık verilerle özel veriler arasına kesin yetki sınırları koydum.
    • İçerik akışı için hem API’de hem ön yüzde ölçeklenebilir sayfalama ve dinamik veri yükleme geliştirdim.
    • Platformun çalıştığı Linux sunucularını kurup yapılandırdım.
    • Sistemin güvenilir çalışması için kapsamlı birim ve entegrasyon testleri yazdım.
    • Python
    • Flask
    • PostgreSQL
    • jQuery
    • Linux

Seçili işler

Tüm projeler
  • Geliştiriliyor Erken erişim Kapalı kaynak

    Asion

    Ekran başında vaktinizin nereye gittiğini gösteren bir üretkenlik aracı. macOS, Linux ve Windows’ta bilgisayarı yormadan arka planda çalışıyor. Veriler sizde kalsın diye kendi sunucunuza kurulabilecek şekilde tasarladım.

    • C++
    • Objective-C
    • Go
    • gRPC

    Başlangıç: 2024

  • Canlıda Kapalı kaynak

    Novacast

    Farklı modellerdeki birçok ekranı tek bir web panelinden yönetmeye yarayan bir yazılım. Windows, macOS, Linux, Samsung TV, LG TV ve Android TV’de çalışıyor; ekran açılır açılmaz içerik göstermeye başlıyor.

    • Rust
    • Go
    • MQTT

    Başlangıç: 2025

  • Canlıda Açık kaynak

    Karecik

    Yerel kafe ve restoranlar için bir QR menü hizmeti. Müşteri kodu okutuyor, menü telefonunda açılıyor; işletme sahibi de menüyü bir panelden güncel tutuyor. Bir arkadaşımın kafesi için yaptığım menüyle başladı.

    • Go
    • PostgreSQL

    Başlangıç: 2021

  • Canlıda Açık kaynak

    Açık Matematik

    Lisans matematik dersleri için Türkçe, açık kaynak bir yayın platformu ve modern bir ders kitabı projesi. Örneklerdeki sayılar elle yazılmıyor, koddan hesaplanıyor. Notların PDF ve EPUB sürümleri ücretsiz.

    • Markdown
    • Python
    • Quarto

    Başlangıç: 2023

Matematikten sistem yazılımına

Hikâyenin tamamı

Matematiğin nasıl yazılıma dönüştüğünü dört bölümde anlatıyorum.

  1. Bölüm 1

    Algoritma temelleri

    2016 – 2019 · C# · MS SQL

    Her şey 2016’da meslek lisesinde C# ile başladı: önce veri yapıları ve algoritmalar, sonra MS SQL ile veri tabanı uygulamaları. Bitirme projelerim XOX ve çocukken babamla oynadığım Amiral Battı’ydı. Amiral Battı’daki bilgisayar rakibin av ve hedef (hunt & target) algoritmasını ise sonradan yazdım.

  2. Bölüm 2

    Roket aviyoniği

    2019 – 2022 · Roket ve Uzay Kulübü

    İstanbul Üniversitesi Roket ve Uzay Kulübünde ekip olarak bir alçak irtifa (5.000 ft) ve iki yüksek irtifa (10.000 ft) roketi ürettik. Uçuş aviyoniğinin gömülü yazılımını ve paraşüt açma kontrolünü ben yazdım. Sensör verisini Kalman filtreleriyle süzdük, deneylerimizde de PID kontrolcüleri kullandık.

  3. Bölüm 3

    Otonom paraşüt güdümü

    Araştırma · Python

    Üniversitede arkadaşlarımızla yaptığımız deneysel bir proje: Paraşütle inen bir yük, kendini seçilen iniş noktasına yönlendiriyor. Mekanik kısmı bir arkadaşım çözdü. Ben lineer cebirle karar algoritmasını ve onu denediğimiz simülasyonu yazdım; açılar için kosinüs teoremini ve atan2’yi kullandık.

  4. Bölüm 4

    Uçuş fiziği simülasyonu

    2020 prototipi · şimdi C++

    Gelişmeye devam eden tek bir proje. 2020’de roket yörüngelerini üç boyutta hesaplayan, dar kapsamlı bir prototipi Python ile yazmıştım. Şimdi onu modern C++ ile baştan yazıyorum. Yeni adı Rocket-Up: yüksek güçlü roketler için açık kaynak bir aerodinamik simülasyon motoru.

Oyun alanı

Burada hemen kullanabileceğiniz küçük şeyler var: algoritmik rakiplere karşı oyunlar, bir terminal ve dosyalarınızı cihazınızdan çıkarmayan tarayıcı araçları.

  • Oyun

    Amiral Battı

    Av ve hedef · olasılık yoğunluğu

    Filonuzu yerleştirin ve bilgisayara karşı savaşın. Rakibiniz gemilerinizi bir olasılık yoğunluğu haritasıyla arar, her isabetten sonra da atışlarını o bölgeye toplar.

  • Oyun

    XOX

    Minimax · alfa–beta budama

    Tüm oyun ağacını tarayan bir rakibe karşı klasik 3×3 oyunu oynayın. En zor seviyede en iyi ihtimalle berabere kalırsınız.

  • Terminal

    Konsol

    Siteyi terminalde, komut yazarak gezin.

  • Araç

    Not defteri

    Dikkatinizi dağıtmayan sade bir metin düzenleyici. Odak modu, tarayıcıda otomatik kayıt, düzenli ifadelerle bulup değiştirme, anlık satır ve kelime sayacı var.

  • Araç

    PDF bölme

    Her sayfayı küçük resim olarak görün. Sayfaları tıklayarak ya da 1-3, 5 gibi aralıklar yazarak seçin ve sonucu indirin. İsterseniz dosyayı parçalara bölüp ZIP olarak alın.

  • Araç

    Parola üretici

    Kriptografik olarak güvenli, rastgele parolalar üretin. Uzunluğu ve karakter türlerini seçin; araç parolanın ne kadar güçlü olduğunu da tahmin eder.

Yazılar

Tüm yazılar

Özgeçmiş

Eğitim

  1. Matematik (Lisans)

    İstanbul Üniversitesi (yeni sekmede açılır)Fen Fakültesi

    Kasım 2019 – Günümüz

    • Mezun olmak üzereyim. Saf matematik altyapım reel analiz, soyut cebir ve topolojiye dayanıyor.
    • Ardından bilgisayar bilimlerinde yüksek lisans yapmayı planlıyorum.

Gönüllülük ve etkinlikler

  1. Matematik Kulübü

    Üniversitenin son yılları

    • Seminerler, mantık ve matematik yarışmaları gibi akademik etkinlikler düzenleyip yürüttüm.
  2. Çekirdek Ekip Üyesi

    Google Developer Student Clubs

    2023

    • Flask, HTML ve Git/GitHub üzerine teknik atölyeler ve canlı yayınlar yaptım.
    • Siber Güvenlik Haftası etkinliğini düzenledim. Programda CCIE sertifikalı bir ağ güvenliği mühendisiyle canlı yayında teknik bir söyleşi de vardı.
  3. Başkan Yardımcısı

    İstanbul Üniversitesi Roket ve Uzay Kulübü

    2019 – 2022

    • Kulüpteki ekibimizle bir alçak irtifa (5.000 ft) ve iki yüksek irtifa (10.000 ft) roketi tasarlayıp ürettik.
    • Uçuş aviyoniğinin gömülü yazılımını ve paraşüt açma kontrol sistemini tek başıma geliştirdim. İkisi de roketteki yönelim, jiroskop ve altimetre verilerini birleştiren sensör füzyonuyla çalışıyordu.
    • Ekip olarak, gürültülü sensör verisini bir Kalman filtresinden geçirmeyi araştırdık; algoritmalarını yazıp tekrar tekrar test ettik. Dikey iniş gibi deneylerde de PID kontrolcüleri kullandık.
    • Telemetri verisini SD karta kaydetmek için bir protokol tasarladım; bu protokol RF telemetri modülleriyle birlikte çalışıyordu. Uçuş verisini ayrıştırıp uçuştan sonra yörüngeyi grafiğe döken bir masaüstü paneli de geliştirdim.
  4. 21. Yüzyıl Yetkinlikleri

    YetGen · Mehmet Zorlu VakfıSertifika

    2020

  5. Lise araştırma projesi

    TÜBİTAK

    2019

    • Kriptografi ve görsel programlama mantığı üzerine araştırma yaptım. Çalışmada, akış şemalarıyla kod yazmaya yarayan görsel bir aracın erken bir prototipi de vardı.
  6. Erasmus+ Gençlik Değişimi

    Arrecife, İspanya

    Haziran 2017 – Aralık 2018

Yetkinlikler

Her gün modern C++ ve Go ile sistem araçları, telemetri ve cihaz yönetimi yazılımları, algoritmaya dayalı uygulamalar geliştiriyorum. Hepsinin temelinde saf matematik var. Bunun yanında özellikle Asion ekosistemi için GitHub Actions ile CI/CD süreçleri kuruyorum. Bu süreçlerle kod tek tıkla test ediliyor, paketleniyor, birden çok platform için derleniyor ve dağıtılıyor.

Programlama Dilleri
  • C++ (C++23)
  • Go
  • C
  • Python
  • C#
  • TypeScript / JavaScript
Sistem & Ağ Programlama
  • gRPC
  • Protobuf
  • MQTT
  • OS Event Hooks
  • Linux Sistemleri
DevOps & Araçlar
  • Git
  • GitHub
  • GitHub Actions
  • CI/CD Süreçleri
  • Cross-compilation
  • Bash
  • Batch
Veri Tabanları
  • PostgreSQL
  • SQLite (SQLCipher)
  • MySQL
  • MS SQL
Web Teknolojileri
  • React
  • Astro
  • Flask
  • REST API
  • HTML/CSS
Bilimsel Hesaplama
  • MATLAB
  • Mathematica
  • R

Diller

  • Türkçe, Ana dili
  • İngilizce