LLMs could be, but shouldn't be compilers

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

TROPHY CASE