Marat Square (@tau_phoenix) 's Twitter Profile
Marat Square

@tau_phoenix

In theory, there is no difference between theory and practice. But, in practice, there is.

ID: 229796464

linkhttps://none.me calendar_today23-12-2010 10:31:41

20,20K Tweet

208 Takipçi

201 Takip Edilen

Lena Hall 🇺🇦 (@lenadroid) 's Twitter Profile Photo

Genuine question. What makes a specific IDE stand out to you these days? Most developers are perfectly okay switching to another IDE if it's better, cheaper, or faster. Today it's Cursor, then it's Zed, then it's Kiro, etc. Many IDEs steal features from each other or will

Viktor Gamov 🌟 (@gamussa) 's Twitter Profile Photo

;JetBrains #Junie coding agent just got #MCP (Model-Context Protocol) support youtrack.jetbrains.com/issue/JUNIE-26… And yes, it actually writes working Apache Flink code now. 🧵 Let’s talk about why this matters 👇

Tagir Valeev (@tagir_valeev) 's Twitter Profile Photo

Прошёл курс по алгоритмам многопоточного программирования, организованный Nikita Koval для сотрудников JetBrains. Жутко интересно, хоть и мозг вскипает. Начали с простых вещей вроде стека Трайбера на CAS'ах. Потом была очередь Майкла-Скотта, удаление из середины очереди, очередь на

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

I had a great conversation with Christoffer Ekeroth about Curry-style types, intersection types, set-theoretic types, the Verse language, the CUE language, types and meanings, linear logic, and ideas that shape the language I am designing. Come check it out!

Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

Contrast that to software engineering, where having any sort of professional or technical standards is considered undesirable and doing a hack job is considered virtuous.

Tagir Valeev (@tagir_valeev) 's Twitter Profile Photo

Я всё-таки додебажил concurrent hashmap! В самолёте, в небе над Цюрихом! Я! Сам! Написал! Функциональный concurrent hashmap! Без сегментов и вообще без блокировок, с открытой адресацией! Соображает ещё голова! Уфф, кайфово. Lincheck — вещь.

Yaron (Ron) Minsky (@yminsky) 's Twitter Profile Photo

Just ran across an old post from a former intern about Jane Street's approach to programming and code review. I thought it was a pretty accurate, and I think captures something important about how OCaml's design makes code review easier and more effective.

Yaron (Ron) Minsky (@yminsky) 's Twitter Profile Photo

digitalfreepen.com/2017/01/07/jan… I do think Rudi's experience led him to overstate how purely functional our codebase is. There are lots of places we use an imperative style for performance reasons.

Oliver Jia (オリバー・ジア) (@oliverjia1014) 's Twitter Profile Photo

GameFAQs guides are still invaluable resources nearly a quarter of a century later. No poorly designed UI, no intrusive ads, no AI garbage, just readable text which gives you the information you need. And they were all written completely for free by passionate fans.

GameFAQs guides are still invaluable resources nearly a quarter of a century later. 

No poorly designed UI, no intrusive ads, no AI garbage, just readable text which gives you the information you need. 

And they were all written completely for free by passionate fans.
Jorge Castillo (@jorgecastillopr) 's Twitter Profile Photo

You are not smarter than others for having a well paid job as a developer. You simply have the luck to work in an industry that is doing well due to market demand. And no, it is not a very complicated job. Stay grounded.

Kotlin by JetBrains (@kotlin) 's Twitter Profile Photo

🗳️ Attention, Kotlin developers! Your genuine feedback will help us shape the future of Kotlin. Share your experiences – the challenges, lows, and highs – with the language, the tools, and the ecosystem. Take our 10-minute survey! 👉 kotl.in/dev-survey-25

🗳️ Attention, Kotlin developers! Your genuine feedback will help us shape the future of Kotlin. Share your experiences – the challenges, lows, and highs – with the language, the tools, and the ecosystem.

Take our 10-minute survey! 👉 kotl.in/dev-survey-25
Aram Hăvărneanu (@aramh) 's Twitter Profile Photo

How references should work in a linear language. A reference is an existential package comprising of a linear access capability (a typed token) paired with an exponential location (an untyped pointer). Ref t = ∃l. (Cap l t) ⊗ !(Ptr l) The location is a freely-copyable

Kotlin by JetBrains (@kotlin) 's Twitter Profile Photo

Stop by the JetBrains booth at @JavaZone to meet Marat Square from Kotlin’s Language Evolution team — discover upcoming features, ask your questions, and share ideas! 🚀

Stop by the JetBrains booth at @JavaZone to meet <a href="/tau_phoenix/">Marat Square</a> from Kotlin’s Language Evolution team — discover upcoming features, ask your questions, and share ideas! 🚀