The programming language stack is becoming two-tiered: Popularity and Precision. LLMs currently favor Popularity (Python) because of the sheer volume of data, leading to high speed but lower initial correctness. The future, however, may belong to Precision (Haskell/Idris). The stronger the guardrails of the programming language, the higher the functional correctness of the LLM's output. We are moving toward a world where we use the LLM to write code for the type checker.
Arada bir twitter'a girip bakiyorum, git gide daha rezil bir yere donmus. Nostr'in oyle olmayacagin garantisi kapitalist algoritmalara sahip olmamasi sanirim. Bir de istedigimiz client ile baglanabiliyor olduktan sonra ve tabi relay secim ozgurlugu sayesinde de, les bir balon icine dusmek cok daha zor.
daha az ingilizce daha çok türkçe modum hiç kapanmayacak sanırım nostr için, protokolü türkçe bilenler de rahatça kullanabilsin diye lafguzaf uygulamasına başlamıştım, ne zaman biter bilmiyorum ama bir kaç haftaya ilk sürüm çıkana kadar bir kaç türkçe daily bot hesap falan mı açsam diye düşünüyorum.
