explore | Grilled Cheese

I am building a verification tool in Lean called Sober for Elixir/Erlang programs.

It uses your type specs to detect invariants.

It is pretty experimental but fun so far.

README has details #ElixirLang

👨‍💻 Posted some follow-up observations about phoenix_test performance. #ElixirLang

TL;DR: Yes, it can be slower (because it is doing more helpful work), but `async: true` should be your first target if you're having trouble with test wall-clock time -- always.

forum.elixirforum.com/t/one-pipe-o...

Are you at ElixirConf US in Chicago? We should know each other!

SmartLogic is here, and we're proud to be a platinum sponsor.

Come by our booth, say hello, and guess what’s in the mystery box!

We're looking forward to seeing you! 🧙‍♀️

#ElixirConf #ElixirLang #MyElixirStatus

#ElixirJobs 📣

Allied Steel Buildings is hiring for an Elixir developer position. Check it out: buff.ly/v7OL22A

More Elixir jobs at buff.ly/AHDyD0s

#ElixirLang

Unlock the secrets of optimizing Elixir applications with GenStage! Discover how visualizations can clarify demand and backpressure management.

#development #ElixirLang #reading-list #tools

⚗️ Elixir Tip #18 - Enum group_by ⚗️

The Enum module is a treasure trove of awesome functions. One of those function that I use often is Enum.group_by so that I can group related data together for later processing.

#ElixirLang #Erlang #Livebook

The 1st Roundtable moderated by Christian Koch is overpopulated! 🤯 You are amazing!

💬 A reminder while you're here: the Roundtable Discussions (Birds of a Feather) are one of the best parts of ElixirConf!

#myelixirstatus #ElixirConf #elixirlang #programming

🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪

I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden

Elixir production experience not essential

More details/apply: Beamrec.com/jobs

#elixir #stockholm #functionalprogramming #elixirlang

👨‍💻 Hope everyone has a great #ElixirConf #ElixirLang.

I'm watching from home. If you see me in any of the virtual chats, say hi.

Happening now on Track 1: @josevalim.bsky.social's keynote 'Set-Theoretic Types from Scratch.' A deep dive into the type system shaping the future of Elixir.

#ElixirConf #ElixirConfUS #ElixirConfUS2026 #elixirlang #types

We're officially open! 🎉 Track 1 is live. Up next at 9:15: José Valim (@josevalim.bsky.social), creator of Elixir, with his keynote 'Set-Theoretic Types from Scratch.' Don't miss it.

#ElixirConf #ElixirConfUS #ElixirConfUS2026 #elixirlang #types

Same CEO two different companies: Is there a relation between $TSLA $SPCX?

Elon Musk is the CEO of Tesla and SpaceX. Is their performance related? How will that evolve in the future? Let’s see their current 15-, 20-, 30-, and 50-day stock return correlations.

#ElixirLang #Erlang #Livebook

Could someone take Fluffy for a walk?
fluffy.hexdocs.pm

Playwright-grounded feature tests for phoenix.
Composable locators, actionability checks, browser conformance.

Migrating a PhoenixTest base should be smooth sailing via Agent.

Worth switching? Eliminates workarounds? Performant?
#elixirlang

Preview of some rewrites coming to Quokka, courtesy of my coworker @katafrakt.eurosky.social at Jump...

Our DX team has leaned pretty heavily into trying to automate performance improvements like these. If the formatter can do it for you, why not? 😄

#ElixirLang

⚗️ Elixir Tip #17 - Time unity conversion ⚗️

Often times you'll need to convert time durations from millisecond to second or vice versa. Before reaching for a library to do that, check out System.convert_time_unit/3!

#ElixirLang #Erlang #Livebook

Elixir Radar issue 524 is out! 📣

You can read it here: buff.ly/8r0bpqO

#ElixirLang

Biggest mover last Tuesday from "Mag 7" was $TSLA with a percent change of 3.98% 📈

Seeing all the "Mag 7" 30-day standard deviations, which one seems the riskiest to you?

#ElixirLang #Erlang #Livebook