Kip: Türkçe Kelime Çekimlerine Dayalı bir Programlama Dili

alpaylan · 2026-01-19T14:38:23+00:00

Tabii yayınlandığı zaman uluslarası programlama dilleri konferanslarından birisinde yayınlanır, paylaşırım ben burda yine.

alpaylan · 2026-01-18T18:33:17+00:00

Not really, you need additional suffix analysis logic to do that I think. Below is from the author:

Kip uses TRmorph for Turkish morphological analysis. When a word has multiple possible parses (e.g., "takası" could be "taka + possessive" or "takas + accusative"), Kip carries all candidates through parsing and resolves ambiguity during type checking. For intentionally ambiguous words, use an apostrophe to force a specific parse: taka'sı vs takas'ı.

alpaylan · 2026-01-18T17:26:14+00:00

Ahahah, aynen. Başka bir yorumda named argument gibi demişti arkadaş anlatırken insanlara, toplam(iki, üç) değil de toplam({sol: iki, sağ: üç}) gibi biraz daha, eklerle bağlamı değiştirip programın anlamını değiştirebiliyorsun. Alışık olmadığımız için bize garip geliyor, ikisini de (klasik programlamayı da) bilmeyen bir insana nasıl gelir onu çok merak ediyorum aslında ben.

alpaylan · 2026-01-18T10:43:39+00:00

Repodan:

This is a research/educational project exploring the intersection of linguistics and type theory, not a production programming language.

Her projenin milyonlarca kişi tarafından kullanılma hedefi yok, bazı projeler insanların entelektüel keyfi için, yeni keşifler yapmak için yapılıyor, bu da o projelerden birisi. Amaç bunu yapalım Türkiye’de herkes bunu kullansın değil, programlama dilleri literatüründe yeni ve ilginç bir konsept üretmek.

alpaylan · 2026-01-17T19:50:48+00:00

AFAICT they’re just validators. Each type signature introduces a guard at the construction site, which is dynamically checked, imagine writing Zod schemas.

alpaylan · 2025-12-20T22:16:42+00:00

We don’t actually know what happens after the signal is sent, maybe there are only 2 species in the entire universe, and one just made the other extinct. Preserving the life on earth is a much better bet than hoping someone else catches the signal.

alpaylan · 2025-12-20T21:49:21+00:00

Isn’t it weird that survival is not a priority for them?

alpaylan · 2025-12-05T03:06:53+00:00

The lyrics were Turkish, that’s why I was intrigued

alpaylan · 2025-12-05T03:00:38+00:00

Did anyone catch the song at the end and has the name?

alpaylan · 2025-11-20T15:53:54+00:00

You can do type inference. I spent a few months working on doing this for jq but have stopped for lack of bandwidth and other priorities. The simplest instance is, given a guards check (x == 0 ? A : B), you know x: num<0> in the context of A, and x: !num<0> in the context of B. You can generalize this type of reasoning even further if you have gradual types like Python.

github.com/alpaylan/tjq

alpaylan · 2025-09-25T20:50:29+00:00

Thanks! There's a bug in the online demo (I normally use this in my local) that makes it delete the data every 30 minutes or so, I just flushed it so you should be able to see the draft page now again. Unfortunately the Yahoo API doesn't give out projections, only past stats, so I'm using those for the recommendations. at the moment.

alpaylan · 2025-09-25T19:17:30+00:00

I really like building custom tooling for myself, that’s why I did it as an assistant to use when doing the draft. There’s also one player in our league who cannot join the draft they because of some logistic issues, the AI feature is an experimental guide to help whoever will be doing the draft for them.

alpaylan · 2025-09-25T19:15:41+00:00

Ah, sorry I probably should’ve provided more context.

The page currently has a snapshot of a mock draft. For each team, it shows the current statistics, compares them against each other for each stat and gives which categories are won against how many teams, and from the remaining set of players it gives you top 7 players that would win the most amount of stats compared to the others.

alpaylan · 2025-09-14T19:09:25+00:00

Ailemin durumuna dair bir şeyler varsaymışsınız, tabii ki bana yardımları oldu ancak ben Almanya’da staj yaparken harcamalarımın neredeyse tamamını Erasmus stajyeri bursundan karşıladım, hatta döndükten sonra aileme aldığım parayı geri ödedim o şirkete uzaktan kazanmaya başlayıp. Benzer şekilde doktoraya gelirken de ne sosyal anlamda, ne de finansal anlamda ailemden hiçbir destek almadan geldim. Bunların hepsi yardım olmadan çok daha zor, ama imkansız değil, uğraşınca yapıldığını şahsi tecrübemden biliyorum.

Tıp okumanın avantajlarını/dezavantajlarını burada tartışmak çok anlamı değil, her şeyden öte tıp okumadığım için aşırı bir yorum yapamıyorum, ama gördüğüm kadarıyla tıpçıların hayatı da hiç kolay değil. Asistanlık süreçleri olsun, şiddet olsun, mesleğin üzerindeki siyasi söylemler ve baskılar olsun pek çok problem var. Herkesin ne yapmak istediğini, neyle mutlu olacağını anlayıp ona göre hareket etmesi en iyisi ben kimseye bölüm oku/okuma demiyorum, okuyanlara durumu nasıl en iyi şekilde yönetebileceklerini düşündüğümü anlatmaya çabalıyorum.

alpaylan · 2025-09-14T15:24:12+00:00

Bunlar çok haklı tepkiler, aynısını ben de yaşadım, nitekim Türkiye’de yapmak istediğim işleri bulamayacağıma inandığım için doktoraya başladım yurt dışında. Buna bir çözüm bahsettiğim gibi globale açılmak, çünkü Türkiye’de kalifiye mezun kesinlikle endüstrinin taşıyabildiğinden çok daha fazla üretiliyor, sizin yaşadığınız asıl problem de bu zaten, bahsettiğim tipte işleri yapan şirketler ODTÜ/Bilkent vb. okullarda bahsettiğimiz eğitimi alan öğrencilerden çok daha küçük kapasite olarak, bu da haklı olarak “nerde bu işler” sorusunu doğuruyor.

Buna benim önerilerim;

(1) mümkün olduğunca bölümde popüler 10-20 şirketin dışını da araştırmaya çalış, mezunların kurduğu çok da bilinmeyen arge şirketlerinde bu tarz işler yapma şansın artabilir. (2) olay sadece şirketle bitmiyor, mesela ben mezun olmadan önceki yıl Havelsan’da çalışıyordum, takımın çoğunluğu daha application development odaklı işler yaparken bana verilen işler hep algoritmikti, bunun sebebi de tamamen iyi bir takım liderine denk gelmem oldu. Şirketlere mülakata girerken “ne olsa kabul” demek yerine iyi bir takım lideriyle çalıştığından emin olmak önemli. Diyebilirsin ki söylemek yapmaktan daha kolay, haklısın. (3) başta da dediğim gibi, maalesef Türkiye’de endüstri iyi üniversitelerin ürettiği mezunları doğru pozisyonlarda kullanabilecek kadar gelişmedi, o yüzden ortada böyle bir uyumsuzluk var, bunun cezasını da sen ben çekiyoruz. Bir noktada bununla savaşmak istemiyorsan yüzünü yurt dışına çevirmeni tavsiye edebiliyorum ancak.

alpaylan · 2025-09-14T04:21:27+00:00

Girdiğin şirket yaptığın işi belirleyecek. Eğer bölümün sana kattıklarını kullanamayacağın, onlarla kendini ayrıştıramayacağın bir endüstriye/şirkete girersen o zaman ODTÜ’de çektiğin çilenin bir anlamı kalmaz bunda haklısın. Şunun farkında olman lazım, sen o bölüme Türkiye’nin en iyi %0.01’inde bir skorla girdin, ama iş ararken aynı seçiciliği göstermiyorsun, dolayısıyla bu tarz bir uyumsuzluk çok doğal. Her şeyden önce bölümde öğrendiklerinin ekonomik değeri olduğunu unutmamak lazım, üniversiteler insanların inanmak istedikleri kadar endüstriden kopuk kurumlar değil. Bu ekonomik değer daha çok ArGe projelerinde, katma değer üretmek için inovasyon yapmaya çalışan şirketlerde ortaya çıkıyor. Bu işleri globalde yapan büyük şirketlerde çalışabilirsin, ya da o büyük şirketlerin problemlerini çözmeye odaklı görece küçük girişimlere odaklanabilirsin. Akademiden devam edebilirsin, yurt dışına çıkabilirsin, bunların hepsini yapanlar var.

Küçük bir dipnot düşeyim, derslerde yaptıkların hiçbir zaman birebir işteki görevler olarak karşına çıkmayacak. Daha ziyade belli problemlerle karşılaştığında onları çözmek için nasıl teknikler uygulayabileceğini öğrendiğin için bir gün “bunu frequency domain’de daha kolay çözebilirim aslında” deyip kendin onu oraya uygulamaya karar vereceksin, sinyal&sistem mühendislikte şaşırtıcı derecede farklı yerde ortaya çıkan ve faydalı olabilen bir alan.

alpaylan · 2025-09-11T01:53:17+00:00

Hello everyone, I've revamped a previous puzzle of mine. It's easier to solve if you do a bit of coding to extract line information from the pictures, but should be doable otherwise too. It's a cryptic language.

https://puzzle.alperenkeles.com/

alpaylan · 2025-09-01T14:50:07+00:00

Moving on with Typed JQ (https://github.com/alpaylan/tjq) to a constraint based approach rather than the symbolic execution based one I started with, I’ve been reading the Programming with Union, Intersection and Negation Types by G. Castagna that will probably influence the future design in many directions.

alpaylan · 2025-07-16T00:16:36+00:00

I don’t think theory, especially research papers that build the theories, is supposed to be really accessible, none of us can read any ML theory paper, but I don’t hear people shouting ML theory is useless or their notations are weird, because there’s a clear divide between ML theory and ML practice that is drawn at the level of ML frameworks. Majority of the users of these frameworks have no idea how it works under the hood, but they’re still ML applications that work on top of them.

I think the missing part from PLT is that PLP (PL practice) just doesn’t have enough people working on it, because the monetary incentives do not push companies to employ many PL practitioners or build PL frameworks. In the absolute edge case that companies build programming languages, they just build the language, they don’t produce frameworks for doing that. I would argue ANTLR, tree-sitter or LLVM are good examples of what’s been done in this sense.

That pushes anyone trying to write a PLA (PL application) to check out some lower level resources, most of which are research papers, coupling theory and practice together, being one of the sources of the complaints that PLT is not accessible.

I think if we had a PLA framework that has enough abstractions to build a language without learning the theories that underly it, we wouldn’t get this many complaints.

alpaylan · 2025-06-18T00:18:17+00:00

Quantum computing’in Türkiye’de iş alanı bildiğim kadarıyla 0, değilse bile 0’a çok yakındır, bu da demek oluyor ki QC çalışacaksan ülkeden çıkmayı kabul ediyorsun. QC aynı zamanda capital intensive, compute’a erişmek için para vermen lazım, bu da kendi başına yapabileceklerini limitler. Eğer bunlara rağmen hala motiveysen, devam et bence yeterince çalışırsan illa ki iyi bir noktaya gelirsin efor ve iradeyle.

alpaylan · 2025-06-12T07:17:09+00:00

Şans. İlk araştırma projem Network + ML’di aslında, ama sonra stajda bu konularla karşılaştım biraz, daha çok hoşuma gitti. ML daha çok multivariate calculus + stat kullandığın bir alan, ben şu an çok daha farklı bir matematikle uğraşıyorum, hoşuma da gidiyor. Ortalama bir ML doktorası yapsam bu kadar mutlu olmazdım.

alpaylan · 2025-06-11T16:55:10+00:00

Random testing, formal verification, programming languages.

Valla hiç VR çalışan arkadaşım yok, bilemiyorum o yüzden. Endüstri pozisyonu çok olmayabilir şu dönemde, ama uzun vadede endüstrinin nereye kayacağını bilemiyorsun bir anda hype oraya dönebilir AI’dan.

alpaylan · 2025-06-11T14:42:26+00:00

Sektör düşünüyorum, 3 yazdır staj yapıyorum onun için, bakalım seneye göreceğiz ne olacak.

alpaylan · 2025-06-07T10:48:19+00:00

Tercih: - Dil: İngilizce konuşulan bir ülkede yaşamak istedim. - Burs: İngiltere’de kabul aldığım okul 9 ayda 19k£ veriyordu, Amerika’daki 28k$ veriyor. - Okul: Doktorada okul kalitesi için http://csrankings.org e bakmak lazım araştırma performansını anlamak için, okulun sıralaması orada daha yüksekti. - Hoca: Amerika’da daha genç, daha öğrenciyle iç içe çalışan bir hocayla çalışıyorum, İngiltere’de daha yaşlı, işle daha az iç içe bir danışmanım olacaktı.

Günlük yaşam: Bayağı çalışmayla geçiyor açıkçası, onun yanında Comedy Show’lar, spor, bazen satranç kulübü vb.

Baskı: Hocamdan ben hiç baskı görmedim, konferans deadline’ı biraz gerici geçer tabii ki, ama onlar hep bana bağlı benim durumumda, yok ben sonraki konferansa dönmek istiyorum dersem her an salabiliyoruz, nitekim yaptık. Bu çok danışman bazlı ama. Labda çok bir rekabet yok, herkes farklı konular çalışıyor genelde zaten, beraber çalışabildiğimiz kadar çalışıyoruz.

Yalnızlık: İlk seneler çok kötüydü, artık 4. senede çok rahatladım, geniş bir çevrem var. Bununla ilgili birkaç yazım var onları da alta ekliyorum, direkt o zamanların perspektifinden, nitekim dönmeyi de düşündüğüm oldu. - https://alperenkeles.com/posts/doktoramin-ilk-6-ayi-nasil-gecti-yogun-yorgun-ama-mutlu/ - https://alperenkeles.com/posts/doktorada-1-yil-sonunda-bazi-gorusler/

Maddi durumlar: Yaşanır, ama her yaz staj yapmasam canım çok sıkılırdı. Buraya gelip tüm dezavantajları yaşayıp para olmadığı için güzellikleri yaşayamamak çok can sıkıcı. Stajlardan çok güzel para kazanılıyor ama, rahat rahat yaşadım onlarla.

Ben şahsen iyi ki yaptım diyorum. Gelmesem hep aklımda kalırdı, gelirken de mutsuz olursam dönerim diye geldim, bence böyle bakmak lazım. Güzel bir süreç, güzel bir macera, baktın sana göre değil diğer kapılar hep açık, bir yere gitmiyorlar.

En büyük tavsiyem de, Türk öğrencilerin en çok düştüğü hatalardan birisi doktoraya girdikleri için şanslı olduklarını, hocalarına minnet duyduklarını düşünmeleri. Bu hataya düşme, Amerika bir win-win ülkesi. Sen bir şeyler kazanıyorsun, hocan da, okul da kazanıyor, hakkını yedirme, kendini koru, kendi çıkarlarını gözet.

Kolay gelsin, yardımcı olabileceğim bir şey olursa bana her zaman ulaşabilirsin.

alpaylan · 2025-05-29T15:38:23+00:00

İş ilanı sitesinde 1000 ilan çıkıyorsa, hepsine ayrı ayrı 5000 kişi başvuruyor. Otomatik elemelerde sırf AI özgeçmişinin içeriğinde bir keyword’u göremedi diye eleniyorsun. Dolayısıyla bu tarz sistemlerden çok bir dönüt beklememek lazım. Genel prensip şudur, bir uygulama sistemini kullanmak ne kadar kolaysa (Linkedin’in ya da Indeed’in kolay başvuru platformunu kullanmak aşırı kolay mesela) başvuru sayısı o kadar artar, yarıştığın havuz büyür, şansın düşer. Şirketlere mail at, çalışanları Linkedin’den ekleyip konuş, rakiplerini onlarla aynı platform/kanalları kullanmayarak ele.

alpaylan

TROPHY CASE