iiinova — where your digital self keeps evolving

Mikhail Barash @mikbar.bsky.social · 07/07/2026

Nav262 supports familiar IDE features like outline view, go to definition, find usages, diff, plus spec-specific tools such as pattern-based algorithm search and local refactoring/decoration. It makes the JavaScript specification more explorable! Paper: dl.acm.org/doi/10.1145/...

010

Reposted by Mikhail Barash

JSNation @jsnation.gitnation.org · 07/05/2026

Special Edition Meetup with TC39 members on May 21! Meet the speakers 👀 • @mikbar.bsky.social & Alberto Tontoni - IDE for Reading and Navigating the ECMAScript Specification • @nicr.dev - Topic TBA • TC39 Panel 👉 Register now: guild.host/events/amste... 🙌 Thanks to @jetbrains.com for hosting

083

Reposted by Mikhail Barash

Dmitry Makhnev @dmitrymakhnev.bsky.social · 28/04/2026

The 114th @tc39.es meeting will be held at @jetbrains.com' Amsterdam office 19–21 May. To simplify communication with TC39 for the community we also hosting AmsterdamJS Special Edition meetup with TC39 members on 21 May. You're very welcome to join guild.host/events/amste...

guild.host

AmsterdamJS Special Edition: A Meetup with TC39 Members | Guild

May 21st 6:00PM: Hey-hey, AmsterdamJS Community! Join us for a special edition of the meetup featuring TC39 members — the people shaping the future of JavaScript. A great chance to hear directly fro...

021

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Thanks to all our speakers and attendees for a fantastic #PLSS 2025 workshop! From formal specs to pragmatic design, and from legacy lessons to new languages, we saw the many ways programming languages evolve, and the people who shape them. Until next time!

010

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Closing out the workshop, Michael Sperber from Active Group GmbH asked: "Do Programming Languages Fulfill Requirements? Should They?". Michael reflected on Scheme standardization, the balance between elegant theory and practical needs, and designing languages for long-term evolution.

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Jarkko Järvi from University of Turku ‪@utu.fi‬ talked on " #C++ Standardization: Reflections and Lessons Learned". Jaakko shared insights into the technical challenges and social dynamics, and the long road that led to lambdas, concepts, and other language features.

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Jaehyun Lee from KAIST presented "P4-SpecTec: Mechanized Language Definition for P4". Jaehyun showed how to bring consistency to the evolving #P4 language via a mechanized spec model, building language tools from a single formal source. p4.org/wp-content/u...

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Karta Kooner from Dyalog @dyalog.bsky.social presented "APL Standards", highlighting how gaps and ambiguities in the #APL specification affect real-world interpreter development. Karta's talk reviewed how Dyalog APL aligns with the standard and where it diverges. www.dyalog.com/blog/2025/07...

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Michael Ficarra @michael.ficarra.me from F5 presented "The Software Supporting the JavaScript Language Specification". Michael gave an in-depth tour of the tools and web-based infrastructure that power #ECMA-262, turning the #JavaScript spec into a collaborative document. 262.ecma-international.org

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Marat Akhin from JetBrains ‪@jetbrains.com presented "Just-in-time Specification: Evolving Kotlin One Feature at a Time". Marat shared how #Kotlin evolves pragmatically, driven by user needs, validated by real code, and specified just enough to guide the design. github.com/Kotlin/KEEP

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Dimi Racordon from EPFL presented "Designing Hylo, a programming language for safe systems programming", built on mutable value semantics. Dimi also shared lessons from building and sustaining a new language project in academia and open source. www.hylo-lang.org

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Jihyeok Park from Korea University talked about "Trusted JavaScript Language Environments with ESMeta". Jihyeok introduced ESMeta, a framework for formalizing #JavaScript semantics and building verified tools, advancing the reliability and trustworthiness of the language. dl.acm.org/doi/pdf/10.1...

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Adám Brudzewsky @abrudz.bsky.social from Dyalog @dyalog.bsky.social presented "APL Array Notation". Adám explored how to extend #APL with a clear, consistent syntax for #array construction, bridging terse expressiveness with readable, modern notation. apl-germany.de/wp-content/u...

100

Mikhail Barash @mikbar.bsky.social · 11/07/2025

The workshop was kicked off by the keynote given by Andreas Rossberg, the editor of #WebAssembly specification. Andreas presented "Engineering a Formal Language Specification", introducing Spectec, a DSL that generates the full #Wasm spec from a single formal source. webassembly.org/news/2025-03...

110

Mikhail Barash @mikbar.bsky.social · 11/07/2025

Last week, Yulia Startsev from Mozilla and I co-arranged a Workshop on Programming Language Standardization and Specification (#PLSS) at the European Conference on Object-Oriented Programming (#ECOOP 2025) in Bergen, Norway. 2025.ecoop.org/home/plss-20...

100

Reposted by Mikhail Barash

Dyalog @dyalog.bsky.social · 11/07/2025

Last week, Karta and Adám attended the European Conference on Object-Oriented Programming in Norway. Our latest blog post – www.dyalog.com/blog/2025/07... – reviews their visit and the presentations that they delivered to the delegates #ECOOP2025 #Dyalog #APL

021