Ok, this is neat!
Someone reported a bug that Elixir's Task.ignore/1 could leave messages in the caller's inbox. Reproducing it was tricky, out of 1.2M attempts, it only leaked 52 times: https://t.co/u0wUVCwtAz
Therefore, to consistently "reproduce" the issue, I wrote a property in Lynx (@leanprover + @elixirlang) that Task.ignore/1 should not not leak messages: https://t.co/rskDRei9lj
Of course, we could not prove this property to be true, because there was indeed a bug! And once we fixed the bug, the proof validated, showing that Task.ignore/1 no longer leave trailing messages in the scenarios dictated by the property.
Hooray!
Load test your app from a Livebook notebook.
Stampede 1.4 ships a smart cell: pick a page, LiveView, channel or AI API, set the users, hit run. Live charts, then the full report. No script to write.
Mix.install([:stampede, :kino])
https://t.co/9j7GFEsWyG
#ElixirLang#Livebook
Black November 🖤
A full year of Groxio, every course included, for $210 instead of $350.
Learn OTP, LiveView, Ecto and AI Agents with Bruce Tate. Ends November 30.
https://t.co/jBqmyIjSc3
#sponsored
Black November at Groxio: one subscription, every course, $210 for the year.
Bruce Tate's full Elixir library: OTP, LiveView, Ecto, Nerves and AI Agents, all built on real projects.
$210 instead of $350, through Nov 30.
https://t.co/1uyEGJcuPu
I tested Stampede 1.3 on AWS, on one 4-core machine:
600,000 users on stock Phoenix
50,000 users for 10 minutes on a real open source Phoenix product, with 80.9M messages and 0 errors
Everything to rerun it is in the repo.
https://t.co/9j7GFEsWyG #MyElixirStatus
A VPS gets you a low, predictable bill, full SSH and a box that's all yours. But the setup and deploys are on you.
With Potions, you get the best of both worlds: it sets up your VPS for Elixir and deploys your app on every push.
https://t.co/TeaxAgA88M
#sponsored
Bluesky's open-source DataPlane struggles with 100k users. bitcrowd's Elixir DataPlane POC serves timelines fast, but is not feature complete.
What it takes to finish it, and how to run it next to Bluesky's reference implementation today: https://t.co/gWujsLuVRn
#sponsored
WyeWorks is a team of expert Elixir developers helping companies succeed.
Besides providing professional services, they've also been supporting organizations within our community, such as sponsoring ElixirConf, Elixir Forum, GigCityElixir, and us.
https://t.co/tyXh5hP2pa
I'm writing a book: Native Mobile Apps With Elixir.
From your first screen to a production app with Mob, the framework that runs the BEAM on your phone.
Register for early access: https://t.co/zNhRBtO5wG
#ElixirLang#MyElixirStatus