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
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
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
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
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...
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
Lynx
An experimental Erlang/Elixir-to-Lean translation and verification project.
#Leanlang #ElixirLang
github.com/josevalim/ly...
An experimental Erlang/Elixir-to-Lean translation and verification project.
#Leanlang #ElixirLang
github.com/josevalim/ly...
Drew Erlang ( I still need some practice )
Also I ship Wukong and Erlang too ☀️🐯💕
#LEGOMonkieKid #MonkieKid #LMK #lmkoc
Also I ship Wukong and Erlang too ☀️🐯💕
#LEGOMonkieKid #MonkieKid #LMK #lmkoc
February 5, 2025 at 12:15 PM
Drew Erlang ( I still need some practice )
Also I ship Wukong and Erlang too ☀️🐯💕
#LEGOMonkieKid #MonkieKid #LMK #lmkoc
Also I ship Wukong and Erlang too ☀️🐯💕
#LEGOMonkieKid #MonkieKid #LMK #lmkoc
February 2, 2025 at 8:41 PM
I want erlang, okay? I admit it
September 3, 2025 at 9:20 PM
I want erlang, okay? I admit it
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
Just got called out on something and I think I should own up to it. We should've used erlang
wait so where is erlang on this chart?
February 25, 2026 at 1:01 AM
wait so where is erlang on this chart?
TIL: Erlang has MegaSex, regular size Sex, and MicroSex
September 11, 2025 at 5:20 PM
TIL: Erlang has MegaSex, regular size Sex, and MicroSex
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
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
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
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
Every day we strive to (partially) reimplement Erlang. 😌
August 13, 2026 at 9:28 PM
Every day we strive to (partially) reimplement Erlang. 😌
"You have built an Erlang": vereis.com/posts/you_bu...
November 28, 2024 at 5:12 PM
"You have built an Erlang": vereis.com/posts/you_bu...
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
yeah erlang cant do strong consistency because it's not written in rust
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
(remembering that riak is written in erlang but only provides eventual consistency) this... guy... should...
Rewriting the Gleam to Erlang bits of the compiler, it's going great so far
July 1, 2026 at 7:22 AM
Rewriting the Gleam to Erlang bits of the compiler, it's going great so far
October 17, 2024 at 6:27 PM
