Sign in

José Valim

@josevalim.bsky.social
6.1K followers 17 following 90 posts

Creator of Elixir. Working at Dashbit and Livebook.

PostsRepliesMedia
Reposted by José Valim
Irina Nazarova @inazarova.bsky.social · 13/06/2025
Friends, @josevalim.bsky.social will speak at the special SF Ruby x Elixir meetup at PlanetScale HQ already on Wed, June 18. Sign up: lu.ma/rzyjxo93
tidewave.ai
Tidewave
2328
Reposted by José Valim
SE4FP Workshop @se4fp.github.io · 09/06/2025
🚀 We're excited to welcome Dashbit (dashbit.co) as a Bronze Sponsor of SE4FP! Co-founded by @josevalim.bsky.social, Dashbit drives Elixir adoption in production and invests heavily in open source projects like Elixir, Ecto, Nx, and Broadway. 💜 #SE4FP #ElixirLang #OpenSource
0102
Reposted by José Valim
Zach Daniel @zachdaniel.dev · 09/06/2025
Elixir 1.19 is a banger! Honestly I'm so pleased with the direction that #ElixirLang is going. My programs just get faster and more correct every time. I just know that we're in good hands. Thank you to everyone on the team for your hard work! github.com/elixir-lang/...
github.com
Release v1.19.0-rc.0 · elixir-lang/elixir
Type system improvements Type checking of protocol dispatch and implementations This release also adds type checking when dispatching and implementing protocols. For example, string interpolation i...
211723
Reposted by José Valim
Steffen Deusch @steffend.me · 07/06/2025
One common pitfall when using lists in #LiveView is that they are not change-tracked. We might have something to improve that situation in an upcoming update! #MyElixirStatus #Phoenix #ElixirLang
A HEEx template:

~H"""
<ul>
  <li :for={%{id: id, name: name} <- @items} :key={@id}>
    Count: <span>{@count}</span>,
    item: {name}
  </li>
</ul>
"""

Notice the special `:key` attribute.
2577
Reposted by José Valim
Lars Wikman @lawik.bsky.social · 05/06/2025
I have been busy doing too much community and ecosystem stuff to be a good prospector and salesman. If you think I could be helpful to your business, holler. We do big picture consulting on Elixir projects and their teams as well as hands on keyboard work. #elixirlang
099
Reposted by José Valim
Lucas Mendelowski @lucas.mendelowski.com · 03/06/2025
Join our next KRUG meetup, powered by @rubycentral.org & Fastly, with venue support from Forte Digital Talks: - Michał Papis: Code UnCov & Pluginator - @josevalim.bsky.social: Livebook - where Web, AI, and Concurrency meet 🗓️ June 10, 18:00 📍 Forte Space, Krupnicza 3, Kraków 🔗 RSVP lu.ma/0852jl2w
042
Reposted by José Valim
Steffen Deusch @steffend.me · 30/05/2025
As we're getting ready for the first release candidate of #Phoenix #LiveView 1.1, I want to write about some of the new features and improvements we've been working on. A thread! #ElixirLang #MyElixirStatus
38632
José Valim @josevalim.bsky.social · 29/04/2025
Introducing Tidewave: tidewave.ai While working on our web apps, we run code, query the database, read logs, search docs… but our AI tools are limited to reading code. Tidewave closes this gap by introducing Runtime Intelligence, for Phoenix and Rails. More coming soon, check out the website!
tidewave.ai
Tidewave
517760
Reposted by José Valim
Software Mansion Elixir @swmansionelixir.bsky.social · 23/04/2025
Make your LiveView development experience better – check out the first sneak peek of the upcoming features in LiveDebugger v0.2.0 🛠️ More coming soon – stay tuned! Github: github.com/software-man...
25512
Reposted by José Valim
Andrea Leopardi @whatyouhi.de · 20/04/2025
#elixir community! I’m trying to write a blog post and need some sources/data. Could you please run "mix test" on one or more of your @elixir-lang.org codebases and report results? I’m looking for: 1. # of tests 2. # of async tests 3. Total time sync 4. Total time async
18217
Reposted by José Valim
Tyler A. Young ⚗️🧑🏻‍💻 @tylerayoung.com · 16/04/2025
Wow, LiveDebugger is amaaaaaazing. It's a dev-only package that adds a little blue "bug" button in the bottom right of the screen to open a debugging dashboard. From that dashboard, you can inspect all the LiveViews running on your local server. By "inspect," I mean do things like: (🧵)
1341
José Valim @josevalim.bsky.social · 16/04/2025
Soon™
A rounded blue logo with a wave inside.
1813217
Reposted by José Valim
Lucas Vegi @lucasvegi.bsky.social · 31/03/2025
I am happy to announce that my paper "Understanding Refactorings in Elixir Functional Language", co-authored by Marco Tulio Valente has been accepted into #EMSE journal. Soon available! Again, thanks to the entire Elixir community who contributed to this research 🥳 #ElixirLang
2342
Reposted by José Valim
johanna @jola.dev · 22/03/2025
To help promote and bring more attention to events in the Elixir community, there's now a bluesky account for elixirevents.net! As always, ideas and suggestions are super welcome! #ElixirLang
02920
Reposted by José Valim
Lars Wikman @lawik.bsky.social · 25/03/2025
Powering the Superbowl, The Olympics and Paris fashion shows with Elixir. I connected with Cyanview in my work and as I unpacked what they were up to I couldn't believe my ears. The case study is finally up. Enjoy. #superbowl #mqtt
elixir-lang.org
Cyanview: Coordinating Super Bowl’s visual fidelity with Elixir
A case study of how Elixir is being used at Cyanview.
27025
Reposted by José Valim
Jaime Iniesta @jaimeiniesta.com · 10/03/2025
El próximo evento de Elixir Madrid pinta fenomenal: anuncian una nueva librería open source relacionada con Live View, y @josevalim.bsky.social contestará en directo en una sesión de Q&A. Nos vemos allí el 26 de marzo! #ElixirLang www.meetup.com/madrid-elixi...
meetup.com
Q&A con José Valim y lanzamiento relacionado con LiveView con Víctor Fernández, Wed, Mar 26, 2025, 7:00 PM | Meetup
Este evento tendrá dos partes: * Víctor Fernández presentará una librería open source desarrollada en Doofinder, centrada en LiveView. * José Valim, creador de Elixir, es
011
Reposted by José Valim
Lars Wikman @lawik.bsky.social · 09/03/2025
Goatmire Elixir & NervesConf EU early bird tickets sold out yesterday. Regular tickets are now up. They are limited. If you know you want to go, purchase early. Hotel and travel info will come in the next two weeks. #elixirlang
goatmire.com
Goatmire Elixir & NervesConf EU
076
Reposted by José Valim
Jonatan Männchen @maennchen.dev · 26/02/2025
Elixir now meets OpenChain (ISO/IEC 5230) standards! This milestone strengthens our commitment to open source license compliance and secure development. Get the full story and see what it means for contributors and users alike: elixir-lang.org/blog/2025/02...
elixir-lang.org
Announcing Elixir OpenChain Certification
The Elixir project now meets OpenChain (ISO/IEC 5230). Each release ships with Source SBoMs in CycloneDX 1.6 and SPDX 2.3, plus attestation.
0306
Reposted by José Valim
Lars Wikman @lawik.bsky.social · 25/02/2025
Tickets are now on sale for Goatmire Elixir and NervesConf EU. goatmire.com/#tickets I am so excited for this 3-day setup that I can't even. There is a risk the Early Bird sells out quick so get on it if you need the discount! #elixirlang
goatmire.com
Goatmire Elixir & NervesConf EU
Imagine a dark Elixir conference.
12114
José Valim @josevalim.bsky.social · 25/02/2025
We said we will focus on interoperability for 2025 and we are ready to share the first results. Embedding Python in Elixir, it's Fine: dashbit.co/blog/running... More updates likely at ElixirConf EU 2025 :)
dashbit.co
Embedding Python in Elixir, it's Fine - Dashbit Blog
Introducing Python interpreter embedded in Elixir and a Fine way to write your NIFs.
511836
José Valim @josevalim.bsky.social · 20/02/2025
Congrats to the UFMG Compiler Lab for the presentation on CGO 2025 for the presentation on compiling Elixir to eBPF: www.youtube.com/watch?v=CoFN...
youtube.com
Presentation of the paper "Honey Potion: an eBPF Backend for Elixir" (CGO'25)
YouTube video by CompilersLab
35210
José Valim @josevalim.bsky.social · 19/02/2025
We, at Dashbit, just announced expansion of our subscription team and our open source goals for 2025: dashbit.co/blog/dashbit...
dashbit.co
Dashbit plans for 2025 - Dashbit Blog
Dashbit announces expansion of its subscription team and their open source goals for 2025
38921
Reposted by José Valim
Ethan Gunderson @ethangunderson.com · 28/01/2025
Can confirm that having José and team review PRs is a super power.
0264
José Valim @josevalim.bsky.social · 28/01/2025
Due to demand, Dashbit is increasing its consulting team for the first time! If you use Elixir, you have a team of 3+ engineers, and you want a direct line to me, Wojtek Mach (Req/Ecto), Jonatan Kłosko (Livebook/Nx) and Steffen Deusch (Phoenix/LiveView), please reach out! dashbit.co
dashbit.co
Dashbit - Boosting the Elixir ecosystem
At Dashbit, we help startups and enterprises adopt and run Elixir in production via the Elixir Development Subscription. Our goal is to advance the Elixir ecosystem through continuous adoption and sus...
310631
José Valim @josevalim.bsky.social · 21/01/2025
Learn how Remote become a unicorn in two years and grew from zero to a team of more than 100 Elixir engineers: elixir-lang.org/blog/2025/01...
elixir-lang.org
Remote: growing from zero to unicorn with Elixir
A case study of how Elixir is being used at Remote.
414042
Reposted by José Valim
Andrea Leopardi @whatyouhi.de · 01/01/2025
Super nice post about @elixir-lang.org's nimble_ownership library by Alex Martsinovich: distantprovince.by/posts/what-d... Great stuff to know about. Also, great technical writing 👏
distantprovince.by
What Does NimbleOwnership Do Anyway? | Alex Martsinovich
NimbleOwnership may not take bribes, but it certainly knows who your father is.
04214
Reposted by José Valim
vanderhoop @vanderhoop.bsky.social · 05/01/2025
This is exciting for my #ElixirLang peeps github.com/elixir-lang/...
github.com
Turn type inference up to 1000 by josevalim · Pull Request #14145 · elixir-lang/elixir
Prior to this PR, we performed type inference only in patterns. This pull requests adds type inference to most expressions in Elixir, including function calls, paving the way for us to add inferenc...
07019
Reposted by José Valim
David Bernheisel @david.bernheisel.com · 10/01/2025
AWESOME! Coming in ex_doc soon is a new button to go to the latest version's documentation if you happen to be on an earlier version. I often find myself googling something, getting a hexdocs.pm link but for some inexplicable reason it puts me into an old version of it github.com/elixir-lang/...
screenshot of hexdocs for req that contains a link to go to the latest version of the documentation.
4606
José Valim @josevalim.bsky.social · 14/01/2025
I wrote a new article exploring how set-theoretic types (the foundation of Elixir's type system) could address how many statically typed languages do not allow libraries to evolve their data definitions in a backwards compatible manner: dashbit.co/blog/data-ev... - be warned, it is a long one.
dashbit.co
Data evolution with set-theoretic types - Dashbit Blog
In this article we explore the challenges of data evolution in static typing and explore type safe solutions.
814940
Reposted by José Valim
superchris.launchscout.com @superchris.launchscout.com · 25/12/2024
Making pretty good progress with Webassembly component support in wasmex. This will let us integrate with python javascript go .net rust etc using a language independent type system github.com/tessi/wasmex
github.com
GitHub - tessi/wasmex: Execute WebAssembly from Elixir
Execute WebAssembly from Elixir. Contribute to tessi/wasmex development by creating an account on GitHub.
1316
José Valim @josevalim.bsky.social · 24/12/2024
ExDoc v0.36 is out and it uses swup.js for navigation when hosted. You can compare the results here: * hexdocs.pm/elixir/main/ (with swup.js) * hexdocs.pm/elixir/1.18.1/ (without) Let us know how it feels and don't forget to "mix deps.update ex_doc" in your packages!
hexdocs.pm
Elixir v1.19.0-dev — Documentation
67712
José Valim @josevalim.bsky.social · 23/12/2024
And while it is too early to talk about 2025, I think interoperability will be a major theme! Interoperability with what and how? Let me know your guesses!
22905
José Valim @josevalim.bsky.social · 23/12/2024
In the Livebook front, we announced two major features: * Livebook Teams w/ one-click deployment of notebooks as apps inside your infrastructure: livebook.dev/teams/ * Chris McCord and Chris Grainger used Livebook to coordinate a cluster of 64 GPUs for ML and more: www.youtube.com/watch?v=4qoH...
livebook.dev
Teams - Livebook.dev
Automate code & data workflows with interactive notebooks
05411
José Valim @josevalim.bsky.social · 23/12/2024
We saw tons of progress on Elixir's type system in 2024. We started the year with a Best Paper award, then Elixir v1.17 in May with data-type warnings, and now Elixir v1.18 with type checking + inference on function calls. Today I started working on v1.19, I'll share more here as it progresses!
A picture of Reviewers' Choice Award 2024 for the Design Principles of the Elixir Type system by Giuseppe Castagna, Guillaume Duboc, and José Valim, in The Art, Science, and Engineering of Programming.
627531
Reposted by José Valim
Kris Jenkins @krisajenkins.bsky.social · 19/12/2024
You'd expect #Erlang and #Elixir to be a perfect fit for distributed testing of unreliable systems - this week's podcast is a perfect example. This week we're diving into the world of software for TVs, and how Dave Lucia's been building #BEAM cluster to try to test it all. youtu.be/_MwXbHADT-A
youtu.be
Testing TVs At Scale With Elixir (with Dave Lucia)
YouTube video by Developer Voices
3369
Reposted by José Valim
Ryan Winchester @winchester.dev · 18/12/2024
ThePrimeagen and teej_dv interview @josevalim.bsky.social on Top Shelf podcast. #ElixirLang www.youtube.com/watch?v=-mFJ...
youtube.com
The Creator Of Elixir - Top Shelf 7
YouTube video by ThePrimeTime
16112
Reposted by José Valim
Sam Aaron @samaaron.bsky.social · 05/11/2023
Do you believe that free software for kids to express themselves with code such as @sonic-pi.net is part of the future you'd like to live in... ...if so please, please support me on Patreon to help me continue to make that a reality. patreon.com/samaaron
0135
Reposted by José Valim
Brooklyn Zelenka @expede.wtf · 29/10/2023
✨The slides and video from my keynote at Programming Local-First are up! ✨ notes.brooklynzelenka.com/Feeling+the+... I had an awesome time in Cascais — especially getting to geek out about this stuff with the other folks at the workshop & unconf the next day 🤓🎉
notes.brooklynzelenka.com
Feeling the Local-First Elephant - The Monad Nomad 🎒
Feeling the Local-First Elephant - The Monad Nomad 🎒
0167
José Valim @josevalim.bsky.social · 11/10/2023
What if you could: * upload a .csv file to see & plot its contents * stream and transform GBs of .parquet files from S3 * drag and drop a sqlite3 database and query it * drag and drop an audio/video file for live transcription With @livebookdev v.11, you can: www.youtube.com/watch?v=ICsZ... :D
0255
José Valim @josevalim.bsky.social · 09/10/2023
Livebook v0.11 is out and so begins our second launch week! Talking to remote nodes got a massive upgrade with the new "Remote execution" smart cell. Check the video/article: news.livebook.dev/remote-execu... The best part? It comes with remote intellisense too! 🤯 All thanks to Erlang! ❤️
0151
José Valim @josevalim.bsky.social · 04/10/2023
Next week we will have our second Livebook launch week! We are just wrapping up the last details. Meanwhile, what would *you* like to see in Livebook? :D
051
José Valim @josevalim.bsky.social · 03/10/2023
It is time for another Elixir and Machine Learning roundup: dashbit.co/blog/elixir-... LLama, streaming, batch keying, timestamped transcriptions with Whisper, working with .csv/.ndjson/.parquet from S3, PostgreSQL/SQLite3/Snowflake, and much more!
0132
José Valim @josevalim.bsky.social · 28/09/2023
Lucas Vegi has contributed the bulk of his work on anti-patterns to the Elixir repository. Elixir v1.16 will include an extensive catalogue of anti-patterns with examples and refactoring suggestions to help developers on their learning journey: hexdocs.pm/elixir/main/...
1238
Reposted by José Valim
Adolfo Neto @adolfoneto.elixiremfoco.com · 26/09/2023
GPotion: An embedded DSL for GPU programming in Elixir Andre Rauber Du Bois and Gerson Cavalheiro Paper presented at Brazilian Symposium on Programming Languages 2023 via Heron Carvalho #MyElixirStatus github.com/ardubois/gpo... cc @josevalim.bsky.social
github.com
GitHub - ardubois/gpotion: GPotion: a DSL for GPU programming in Elixir
GPotion: a DSL for GPU programming in Elixir. Contribute to ardubois/gpotion development by creating an account on GitHub.
182
José Valim @josevalim.bsky.social · 20/09/2023
I wrote a follow up to my keynote, revisiting the main points and adding further context: elixir-lang.org/blog/2023/09/20/str…
0165
José Valim @josevalim.bsky.social · 15/09/2023
My ElixirConf keynote, the foundations of the Elixir type system, is up: www.youtube.com/watch?v=giYbq4HmfGA Thank you @ElixirConf, sponsors, and everyone who attended. Next week I will publish a blog post on @elixirlang with further discussion on gradual typing. Enjoy the weekend!
02512
Reposted by José Valim
Sam Aaron @samaaron.bsky.social · 07/09/2023
I'm really pleased with this interview recorded at a recent GOTO conference where I discuss the history, philosophy and future of @sonic-pi.net. James Lewis was such a pleasure to chat with that this felt much more like a friendly conversation than an actual interview. youtu.be/_ehD4D7N4ZU?...
youtu.be
Teaching Kids to Code with Sonic Pi • Sam Aaron & James Lewis • GOTO 2023
This interview was recorded at GOTO Aarhus for GOTO Unscripted. #GOTOcon #GOTOunscripted #GOTOaarhttp://gotopia.techRead the full transcription of this inter...
095
Reposted by José Valim
Adolfo Neto @adolfoneto.elixiremfoco.com · 30/08/2023
SpawnFest is an online software development contest in which teams from around the world get exactly one weekend to create the best BEAM-based applications they can. #MyElixirStatus #WeBEAMtogether Link: linktr.ee/adolfont
Spawnfest logo
055
José Valim @josevalim.bsky.social · 29/08/2023
This is fire: elixirforum.com/t/tucan-a-plotting-…
0147
Reposted by José Valim
Adolfo Neto @adolfoneto.elixiremfoco.com · 22/08/2023
There is also this beautiful graphical CheatSheet by AngelikaTyborska: angelika.me/elixir-enum-... #MyElixirStatus
093