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.