Posts about Lean, an open-source functional programming language and interactive theorem prover: https://lean-lang.org/

#ElixirLang or #MyElixirStatus posts Posts related to the Elixir programming language

List of software engineering researchers and events. Content comes from this list https://bsky.app/profile/did:plc:fodyg35g25joa5rpplt4y43g/lists/3l6v2dqdlcs2m, but with no replies.

Posts with AI