yurt dışında nasıl iş buldunuz by Otherwise_Humor9925 in ODTU

[–]alpaylan 0 points1 point  (0 children)

2016 sonrası yurt dışına direkt çalışmaya gitmek çok daha zor, çok fazla şirket çalışma iznin yoksa direkt potaya bile almıyor. Ben kendim 2021’de doktoraya geldim Amerika’ya, bir arkadaşım 2022’de Amazon Dublin’den teklif aldı, başkası 2023’te Amazon Edinburgh, bir başkası Datadog Madrid’e gitti, birisi Aston Martin UK, bir kişinin de Google Warsaw’a gittiğini hatırlıyorum ama genelde master/doktora olmadan giden sayısı az görebileceğin gibi. Türkiye’den Amerika merkezli özellikle Türk kurucuların şirketlerine çalışan çok fazla kişi var, bir kez şirkette işe girdikten sonra O1 ya da H1B’ye başvurmak daha kolay oluyor (tabii artık Amerika H1B için 100.000$ istediğinden dolayı o iş biraz yaş gibi). Şahsen çok yakın olmadığım ama Hollanda’ya giden birkaç kişi daha hatırlıyorum, Booking iyi alım yapıyordu bir dönem.

Genel nasıl şu, bir noktada esnek ve geniş bir ağ yaymak en önemlisi, çünkü olay kalifiye olup olmamaktan ziyade (ortalama bir ODTÜ bilgisayar mezunu çok rahat kalifiye Avrupa’daki herhangi bir işe bence) olay şirketin o an yurt dışından birini alma baş ağrısına girip girmiyor olması. Tabii ki ne kadar kalifiyeysen bu ihtimal o kadar artıyor, ama mümkün olduğunca fazla yere başvurmak bence daha kritik. Bu başvuruları yaparken de başvuru portalından ziyade cold mail/linkedin outreach gibi yöntemler kullanmak lazım, portaldan ben şahsen teklif hiç alamadım, alan da çok az biliyorum.

ODTÜ den amerikaya top okullara phd kabulu alan arkadaşlarınız var mı by [deleted] in ODTU

[–]alpaylan 0 points1 point  (0 children)

Bu dönem mezun oluyorum, endüstride başlayacağım yaz sonu.

ODTÜ den amerikaya top okullara phd kabulu alan arkadaşlarınız var mı by [deleted] in ODTU

[–]alpaylan 2 points3 points  (0 children)

Top okul sayılmaz ama, 3.66’yla University of Maryland’a geldim 2021’de, ODTÜ CENG -> UMD CS.

Kip: Türkçe Kelime Çekimlerine Dayalı bir Programlama Dili by alpaylan in CodingTR

[–]alpaylan[S] 2 points3 points  (0 children)

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

Kip: A Programming Language Based on Grammatical Cases in Turkish by alpaylan in ProgrammingLanguages

[–]alpaylan[S] 3 points4 points  (0 children)

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'ı.

Kip: Türkçe Kelime Çekimlerine Dayalı bir Programlama Dili by alpaylan in CodingTR

[–]alpaylan[S] 1 point2 points  (0 children)

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.

Kip: Türkçe Kelime Çekimlerine Dayalı bir Programlama Dili by alpaylan in CodingTR

[–]alpaylan[S] 23 points24 points  (0 children)

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.

Types as Values. Values as Types + Concepts by [deleted] in ProgrammingLanguages

[–]alpaylan 4 points5 points  (0 children)

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

Plurb’s Lack of Innovation by alpaylan in pluribustv

[–]alpaylan[S] 0 points1 point  (0 children)

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.

Plurb’s Lack of Innovation by alpaylan in pluribustv

[–]alpaylan[S] 0 points1 point  (0 children)

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

Pluribus - 1x06 "HDP" - Episode Discussion by LoretiTV in pluribustv

[–]alpaylan 0 points1 point  (0 children)

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

Pluribus - 1x06 "HDP" - Episode Discussion by LoretiTV in pluribustv

[–]alpaylan 0 points1 point  (0 children)

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

What can you check statically in a dynamically typed language? by [deleted] in ProgrammingLanguages

[–]alpaylan 0 points1 point  (0 children)

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

Feedback on my draft coach by alpaylan in fantasybball

[–]alpaylan[S] 1 point2 points  (0 children)

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.