joomy

2

24

Pedro Abreu@p_droabreu0·5d

@joomy @iwsfutcmd that's cool stuff!

English

0

25

iwsfutcmd@iwsfutcmd·5d

maintaining my job security by getting absolutely goated at wenyan

Lossfunk@lossfunk

2/ Our method: test them on esoteric programming languages. Brainfuck. Befunge-98. Whitespace. Unlambda. Shakespeare. All Turing-complete. All requiring identical reasoning to Python. All with 1,000-100,000x fewer GitHub repos than mainstream languages. Same problems. Radically less training data.

English

9

75

3K

joomy@joomy·5d

@EmreSevinc @iwsfutcmd we tried using it to implement some of the standard library functions; it didn't work that well. we used it a lot in the compiler implementation, however.

English

1

20

Emre Sevinç@EmreSevinc·5d

@joomy @iwsfutcmd Anybody tried to do agentic coding for Kip language? I wonder about the success rate (compared to other 'esoteric' programming languages)

English

0

46

joomy@joomy·5d

@p_droabreu0 @iwsfutcmd grammatical mood roughly means what kind of function a verb has in a sentence. Kip uses 3 different moods: - infinitive: in defining an effectful fn (akin to the IO type in Haskell) - imperative: in calling an effectful fn - converb: as "monadic" bind within an effectful fn

English

0

1

41

Pedro Abreu@p_droabreu0·5d

@joomy @iwsfutcmd wait, what does it mean for mood to be part of the language? :o

English

0

33

joomy@joomy·18 Mar

the context right after compacting must feel so good for Claude Code. like sleeping on fresh, clean sheets. 🛌😴

English

0

4

249

joomy retweetledi

José Manuel Calderón Trilla (@jmct.bsky.social)@josecalderon·8 Mar

José Manuel Calderón Trilla (@jmct.bsky.social) tweet media

Rand@rand_longevity

I think physics and math are gonna be solved in the next few years

ZXX

5

28

1.3K

joomy@joomy·21 Şub

@alpha_convert just what the doctor ordered.

English

1

165

joomy@joomy·20 Şub

@miehualb do it

English

Hafif Programming@hafifprogram

0

2

177

joomy@joomy·17 Şub

there seemed to be a lot of interest in Kip so the kind folks at @hafifprogram had me over to talk about it (in Turkish): x.com/hafifprogram/s…

Türkçe programlama dili Kip (Konuk: Cumhur “Joomy” Korkut) youtu.be/XNJ3CJyGemY?si…

English

2

13

777

joomy@joomy·18 Oca

a project of mine, unbeknownst to me, made it to #1 on Hacker News today. it's only fair that I get to share it this time on the bird site. therefore, I present to you Kip, a programming language in Turkish 🇹🇷 where grammatical case and mood are part of the type system.

English

43

180

2.9K

676.5K

joomy@joomy·9 Şub

@alpha_convert

GIF

QME

2

188

joomy@joomy·2 Şub

@ronaldreagantrr denedik bir şeyler: x.com/joomy/status/2…

joomy@joomy

a project of mine, unbeknownst to me, made it to #1 on Hacker News today. it's only fair that I get to share it this time on the bird site. therefore, I present to you Kip, a programming language in Turkish 🇹🇷 where grammatical case and mood are part of the type system.

Türkçe

12

Ronald@ronaldreagantrr·7 Ara

Bu kod arapça, çince, rusça yazılabiliyor da neden türkçe yazılamıyor?

Türkçe

347

89

16.2K

2.6M

joomy@joomy·2 Şub

@kulkalkul @Keleesssss şakasız "bellek yozlaşması" şahane bir terim çevirisi olmuş. kip'te denk gelirse kullanayım bunu. x.com/joomy/status/2…

joomy@joomy

a project of mine, unbeknownst to me, made it to #1 on Hacker News today. it's only fair that I get to share it this time on the bird site. therefore, I present to you Kip, a programming language in Turkish 🇹🇷 where grammatical case and mood are part of the type system.

Türkçe

2

90

Bora@kulkalkul·8 Ara

@Keleesssss Ana iplikten 32 ısırık okudum, 16 ısırık kayma sonrası hafıza yozlaşmış abi. Bence bi yarış yapısı var gibi, ne dersin, bunu bi müşterek hususi yapısı ve eğer yapısıyla çözebilir miyiz?

Türkçe

0

7

409

Alperen Keleş@Keleesssss·8 Ara

Ortalama programlama dilinde toplasan 50 tane önceden belirlenmiş, özel anlamlara sahip kelime var. Kimsenin programlama öğrenemiyor olma sebebi de bu 50 kelime değil. Bilim, ekosistem, kaynaklar, kavramlar İngilizce. Onu da yıllarca kolektif bir emek harcamadan çözemezsin.

Ronald@ronaldreagantrr

Bu kod arapça, çince, rusça yazılabiliyor da neden türkçe yazılamıyor?

Türkçe

7

0

77

7.9K

joomy@joomy·27 Oca

@ajay9470 @Keleesssss I don't think Rust's lifetime parameters generate copies in monomorphization. users.rust-lang.org/t/lifetime-par…

English

0

2

30

Ajay@ajay9470·27 Oca

@Keleesssss I think it boils down to specific choices. The general answer IIUC is, C++ monomorphizes _less_. C++ template syntax is very explicit, whereas in rust since the lifetime is also part of the type, it would have to generate copies for different lifetimes.

English

0

2

71

Ajay@ajay9470·26 Oca

its almost as if type checking an inherently run time property was a terrible design choice

Theo - t3.gg@theo

Rust build times are so bad holy shit

English

0

2

1.1K

joomy@joomy·23 Oca

@ilyasergey if you mean writing a domain-specific solver vs solving problems in that domain (without a specialized solver, just with AI), why not write the domain-specific solver with AI instead? my intuition is that if we give AI more powerful tools to work with, we’ll get better answers?

English

0

1

472

Ilya Sergey@ilyasergey·23 Oca

Implementing proof systems in Lean in 2026 be like

English

41

3K

joomy@joomy·23 Oca

number guessing game (courtesy of @fkadev) in Kip's now interactive playground. see for yourself at kip-dili.github.io

English

3

41

3.4K

joomy@joomy·21 Oca

@ozanerdem_tr ✱ Discombobulating…

English

9

734

Ozan Erdem@ozanerdem_tr·21 Oca

3 gündür düşünüyor sanırım 🤔

Ozan Erdem@ozanerdem_tr

@yvz_gny @joomy Mesela roman gibi okunan bir C++ kodu örneği gösterebilir misiniz?

Türkçe

3

0

19

7.6K

joomy@joomy·21 Oca

@komserpaemisyon programlama eğitimini kolaylaştırdığına dair bir iddiam yok. deneyin tabii ki isterseniz ama tam tersine daha zor bulduğunu söyleyenler de var (gerçi çoğunlukla önceden programlama bilen kişiler), o yüzden sizi yanıltmak istemem.

Türkçe

26

Komiserim Paemisyon@komserpaemisyon·20 Oca

@joomy Hocam bunu bilgisayarıma kurarak kodlama öğrenmem mümkün mü

Türkçe

0

46

joomy@joomy·20 Oca

@DreamSeyyah yeah I think that was clear :)

English

1

14

kerey@DreamSeyyah·20 Oca

@joomy By the way im not promoting the slop i was just surprised by the rare intersection of an old slop theory and a real project that has a real outcome.

English

0

24

kerey@DreamSeyyah·18 Oca

This is crazy because i grew up on this. Every 10 hour car ride to the memleket (the place where im from) my father would go for hours about how Turkish agglutinative grammar is actually better suited for computer language (it's succint) and will take over eventually.

joomy@joomy

a project of mine, unbeknownst to me, made it to #1 on Hacker News today. it's only fair that I get to share it this time on the bird site. therefore, I present to you Kip, a programming language in Turkish 🇹🇷 where grammatical case and mood are part of the type system.

English

0

33

2K

joomy@joomy·20 Oca

@IUILab playground’da (kip-dili.github.io), sol taraftaki açılır menüde birkaç örnek bulabilirsiniz. şurada (bazıları anlamsız, sadece test amaçlı) da birkaç örnek var: github.com/kip-dili/kip/t… daha fazla örnek program da ekleyeceğim zamanla.

Türkçe