Pavel Mikhailovskii @rerefactor

Software Engineer at JetBrains - Working on the Kotlin compiler - Working on the Ludwig programming system - Also https://t.co/7SLKZg6znc Amsterdam, Netherlands Joined May 2024

Tweets

9
Followers

28
Following

56
Likes

216

Pavel Mikhailovskii @rerefactor

11 months ago

Check out my latest article: Designing the Future of Coding at JetBrains linkedin.com/pulse/designin… via @LinkedIn

0 0 0 51 0

Pavel Mikhailovskii @rerefactor

a year ago

Every programmer knows that they would be ridiculed if they proposed storing customer's data in plain text. Ironically, it's exactly the format we use for storing our precious code.

0 0 1 123 0

Pavel Mikhailovskii @rerefactor

a year ago

Code is a complex structure, so in Ludwig we start with creating a data model for code and designing an appropriate storage format for it.

0 0 0 106 0

Pavel Mikhailovskii @rerefactor

a year ago

A glimpse of Ludwig

0 0 0 99 0

Download Image

Tomas Kukol @tomaskukol

26 Followers 197 Following

🧸🧸 @BayerJayda45851

11 Followers 312 Following gods determine what going to be

Noosmis @NoosmisKRS

69 Followers 5K Following

Sebastião Ribeiro @sebasrib

36 Followers 1K Following .

🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2
🌿 asst professor @UMichCSE
🍃 poetry
🪸 dendrites
🎶 immersion
〰️ wavy nerd crew

Cyrus Omar (now mainl... @neurocy

3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

Mathematical physicist, specializing in exactly solvable quantum systems & quantum information. Right now I just help make self-driving cars happen

Olof S @OSalberger

85 Followers 279 Following Mathematical physicist, specializing in exactly solvable quantum systems & quantum information. Right now I just help make self-driving cars happen

Naxdee @naxdee_

32 Followers 301 Following techiest of the techy

Artur Lojewski @ArturLojewski

92 Followers 763 Following

GuitarMan @Tfahey

66 Followers 331 Following

Marcus Denker @marcusdenker

1K Followers 711 Following I am a researcher @inria_Lille Co-founder @2denker, core-developer @pharoproject

Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback

The Pharo Project @pharoproject

3K Followers 354 Following Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback

Fairness Workshop @fairness_w

41 Followers 249 Following 2nd International Workshop on Fairness in Software Systems

Jenny @ashleeysmithh

168 Followers 2K Following 🇺🇸🇺🇸In life, apart from birth and death, everything else is just a scratch.🇺🇸🇺🇸

J @JGrey_315

55 Followers 321 Following software developer, 28. Fullstack. Ruby, TS, Python, any shit.

ethan morgan @sixfourtwelve

402 Followers 564 Following Software Engineer ➜ https://t.co/EGzLFTz7Zb

open source code | @neovim core | @terminaldotshop btw | ✝️

father of 3, dad jokes my own

https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG

teej dv 🔭 @teej_dv

75K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG

Sanjay Nadaraja @SanjayNadaraja

192 Followers 1K Following

EduardoRFS.tei @TheEduardoRFS

9K Followers 2K Following 26yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.

computers, math, fitness.
i want knowledge and big bags, then going on adventures (science, exploration, biz, sport, whatever)

george Ω @ArchitectT57831

207 Followers 1K Following computers, math, fitness. i want knowledge and big bags, then going on adventures (science, exploration, biz, sport, whatever)

Andrey Popp @andreypopp

3K Followers 930 Following Shifting bits...

C To @0xx0op

16 Followers 253 Following

ᛞᚨᛏᚨᛁᛃᚨ @datayja

2K Followers 3K Following ‘89 • 🦉 • programmer, geek, nerd, progcentreright+progmetal+13forluck • RT ≠ endorsement • ⚛️🇨🇿🏳️‍🌈🏳️‍⚧️🇪🇺 • vibe code cleanup specialist

show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid

sabine 🐫🦀 / 'us... @sabine_s_

Grub @grubou

185 Followers 4K Following Software engineer in love with @nodejs & @kotlin Interested in compilers and @ziglang - Runner🏃‍♂️⛰️

Igal Tabachnik @hmemcpy

9K Followers 522 Following Professional vibe coder. Scala / Rust 🦀 (btw)

pip @_pipinstall_

133 Followers 1K Following i launder bits to make money

KC Sivaramakrishnan @kc_srk

4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

Charan @idlyupma

153 Followers 745 Following Software "Engineer" | Love anime/Brooklyn 99/Silicon Valley references | Optimising Clojure service

Katharina Hahn @lesomething

42 Followers 147 Following /kuwi/ Uni Leipzig #visualhistory #photography #urbanhistory Stadtbildpolitik im Fotobuch

Volodymyr Zelenskyy /... @ZelenskyyUa

8.2M Followers 1 Following President of Ukraine / Президент України

The V Programming Lan... @v_language

9K Followers 5 Following Simple, fast, safe, compiled language for developing maintainable software.

Jay Hack @mathemagic1an

55K Followers 3K Following Building @codegen. Tweets about AI, computing and dev tools. Previously did startups, @palantir. Not a pseudonym.

Software Engineering @ComputerPapers

2K Followers 6 Following New Software Engineering submissions to https://t.co/vxDuY4St9Z (not affiliated with https://t.co/vxDuY4St9Z)

Paul Prudence @MrPrudence

9K Followers 3K Following Art, writing, walking, typing. . . ✩ˎˊ˗ 𓆲 ⧉ Cube³s → https://t.co/AivLeK9C0F

@LinqLover@norden.social
M.Sc. Student of IT-Systems Engineering @HPI_DE. Core Dev of @SqueakSmalltalk. Curious about programming, debugging tools, dialectics.

Christoph Thiede @LinqLover

102 Followers 82 Following @[email protected] M.Sc. Student of IT-Systems Engineering @HPI_DE. Core Dev of @SqueakSmalltalk. Curious about programming, debugging tools, dialectics.

Creating ideas, technology, science, companies, books, ...
#WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch

Stephen Wolfram @stephen_wolfram

175K Followers 4 Following Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearch

Evref group @ INRIA @evref_inria

509 Followers 213 Following Inria research group: Reflective Evolution of Ever-running Software Systems

Cyrus Omar (now mainl... @neurocy

3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

Developer of the VAST Platform (VA Smalltalk). Providing software and services to professional developers and global enterprises since 1988.

Instantiations @instantiations

370 Followers 48 Following Developer of the VAST Platform (VA Smalltalk). Providing software and services to professional developers and global enterprises since 1988.

Joel Martin @bus_kanaka

642 Followers 332 Following Mostly at https://t.co/FTfVW69LQR now. Creator of mal/make-a-lisp, noVNC, and websockify.

💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

Maxime Chevalier @Love2Code

18K Followers 286 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.

💼 Co-founder of @GlooData @Instadeq
📘 Co-author @WasmGroundUp
✉️ https://t.co/WWUBP3O7XF
@marianoguerra.org
@marianoguerra@hachyderm.io

Mariano Guerra @warianoguerra

2K Followers 1 Following 💼 Co-founder of @GlooData @Instadeq 📘 Co-author @WasmGroundUp ✉️ https://t.co/WWUBP3O7XF @marianoguerra.org @[email protected]

I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today.

Peter Saxton @CrowdHailer

899 Followers 1K Following I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today.

Gloodata @Gloodata

24 Followers 1 Following Build AI-Native Data Apps without the Hassle A low-code platform designed for developers. No UI or LLM code required.

Artur Lojewski @ArturLojewski

92 Followers 763 Following

follower of Christ. feminist. mormon. type theory, building kipos https://t.co/8skbe4jcU2

dev @KhanAcademy
he/him
@jaredforsyth.com on 🦋

🦋 Jared Forsyth @jaredforsyth

6K Followers 2K Following follower of Christ. feminist. mormon. type theory, building kipos https://t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on 🦋

Hernan Wilkinson @HernanWilkinson

3K Followers 521 Following Software developer & coach. OO lover. Co-founder of @10Pines and FAST

President & CEO of Instantiations and VAST Platform (VA Smalltalk) Engineer. Programming Language and Implementation Fanatic!

Seth Berman @sethloco78

229 Followers 168 Following President & CEO of Instantiations and VAST Platform (VA Smalltalk) Engineer. Programming Language and Implementation Fanatic!

F.A.S.T. @fast_arg

421 Followers 11 Following Fundación Argentina de Smalltalk.

ESUG @esugsmalltalk

1K Followers 307 Following

Marcus Denker @marcusdenker

1K Followers 711 Following I am a researcher @inria_Lille Co-founder @2denker, core-developer @pharoproject

feenk @feenkcom

2K Followers 8 Following We modernize legacy systems. We authored #MoldableDevelopment and we build #GToolkit | https://t.co/Jwau4qI3cd.

The Pharo Project @pharoproject

3K Followers 354 Following Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback

IST Journal @ISTJrnal

2K Followers 26 Following Information and Software Technology Journal

33rd IEEE/ACM International Conference on Program Comprehension. Co-located with @ICSEconf.
Happening: April 27, Ottawa, Canada
Official hashtag: #ICPC25

ICPC 2025 @icpcconf

1K Followers 892 Following 33rd IEEE/ACM International Conference on Program Comprehension. Co-located with @ICSEconf. Happening: April 27, Ottawa, Canada Official hashtag: #ICPC25

sabine 🐫🦀 / 'us... @sabine_s_

Jonah Beckford's products help developers make their own software. My tweets and software share the same thing: creating safe + useful software open to all.

Diskuv @diskuv

22 Followers 25 Following Jonah Beckford's products help developers make their own software. My tweets and software share the same thing: creating safe + useful software open to all.

ethan morgan @sixfourtwelve

402 Followers 564 Following Software Engineer ➜ https://t.co/EGzLFTz7Zb

IEEE SANER @SANERconf

2K Followers 208 Following IEEE International Conference on Software Analysis, Evolution and Reengineering. #SANER2026

The industrial-strength functional programming language | safe, expressive, performant

| Changelog + OCaml Planet RSS feeds

https://t.co/TqiIR3AdHB

OCaml @ocaml_org

2K Followers 16 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB

Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL

Tomas Petricek (find ... @tomaspetricek

9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL

Gilad Bracha @Gilad_Bracha

4K Followers 123 Following http://t.co/grDdm11PzP

FOSDEM @fosdem@fossto... @fosdem

22K Followers 156 Following FOSDEM is a free and non-commercial event organized by the community, for the community.

algoritmic @algoritmic

39K Followers 810 Following algorithmic, computational, emergent, complex, generative, parametric, procedural ... random inspiring stuff

Wolf Wejgaard @wejgaard

90 Followers 417 Following Programmer and IDE builder #SourceInDB #ProgramIsBook #literateprogramming #immediacy #holonforth

ICSE @ICSEconf

12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.

SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity
#SPLASH2025 #SPLASH25

SPLASH Conference @splashcon

3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25

LambdaConf 2025 @lambda_conf

9K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.

Patrick Dubroy DONE H... @dubroy

3K Followers 317 Following GONE HERE: https://t.co/jkazdv30Qw Programmer & researcher, co-creator of @_ohmjs. 🇨🇦 🇩🇪 🇪🇺 Wrote @wasmgroundup.

Strange Loop Conf @strangeloop_stl

13K Followers 57 Following The Strange Loop software conference in St. Louis, MO. Videos: https://t.co/nzeElviisT.

ICFP Conference @icfp_conference

4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.

MoonBit @moonbitlang

3K Followers 31 Following Your next-generation coding platform. Fast, simple, and scale. Download: https://t.co/e7mHbvYClv

Ink & Switch @inkandswitch

11K Followers 60 Following Industrial research lab working on digital tools and computing for creators.

Friendly programming language from the future
Open source https://t.co/hDNFLjJ8Yy
Cloud platform: https://t.co/fFWPp8vU2t
https://t.co/KPdfGUPVDa

Unison | @unison-lang... @unisonweb

5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa