#Erlang
Programming languages named after people:

Ada, after Ada Lovelace
Haskell, after Haskell Curry
Bourne and Korn shells, after their inventors
Pike, after Rob Pike
Wolfram, after Stephen Wolfram
Julia, after no one in particular
Erlang, after Agner Erlang
Pascal, after Pedro Pascal
March 1, 2025 at 12:38 AM
Erlang/OTP 29.0 - Erlang/OTP
The official home of the Erlang Programming Language
www.erlang.org
May 13, 2026 at 1:18 PM
Lynx
An experimental Erlang/Elixir-to-Lean translation and verification project.

#Leanlang #ElixirLang

github.com/josevalim/ly...
GitHub - josevalim/lynx: Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang) - josevalim/lynx
github.com
September 23, 2026 at 3:15 PM
erlang~♡ 🐺🦊💘 #QJJ
February 12, 2026 at 10:00 PM
caught by erlang
December 25, 2024 at 7:43 AM
Drew Erlang ( I still need some practice )
Also I ship Wukong and Erlang too ☀️🐯💕

#LEGOMonkieKid #MonkieKid #LMK #lmkoc
February 5, 2025 at 12:15 PM
[ #LEGOMonkieKid / Erlang Shen ]

my art hand is finally awake 😭😭
February 2, 2025 at 8:41 PM
I want erlang, okay? I admit it
September 3, 2025 at 9:20 PM
Let it crash
September 24, 2024 at 4:03 PM
Just got called out on something and I think I should own up to it. We should've used erlang
September 10, 2026 at 6:09 PM
wait so where is erlang on this chart?
February 25, 2026 at 1:01 AM
TIL: Erlang has MegaSex, regular size Sex, and MicroSex
September 11, 2025 at 5:20 PM
Happy Anniversary, Erlang!!

cc @theerlef.bsky.social

See archive.is/TVnf9
December 8, 2025 at 10:59 AM
Late night visit ✨

Erlang visits Wukong, making sure he doesn't cause trouble and to assure he stays on the mountain. Wukong, however, isn't dumb as to why Erlang is there. Enjoy!

#JourneyToTheWest #MyArt
April 19, 2025 at 2:55 PM
Every day we strive to (partially) reimplement Erlang. 😌
August 13, 2026 at 9:28 PM
September 24, 2026 at 7:11 PM
"You have built an Erlang": vereis.com/posts/you_bu...
November 28, 2024 at 5:12 PM
December 24, 2024 at 1:22 PM
yeah erlang cant do strong consistency because it's not written in rust
September 24, 2026 at 6:54 PM
November 2, 2024 at 3:32 PM
(remembering that riak is written in erlang but only provides eventual consistency) this... guy... should...
September 24, 2026 at 5:40 PM
Rewriting the Gleam to Erlang bits of the compiler, it's going great so far 🫪
July 1, 2026 at 7:22 AM
The way Erlang looks at Wukong‼️

#jiankong 🥺😩❤️
October 17, 2024 at 6:27 PM
why is erlang so 🥵
January 12, 2025 at 5:57 AM