Follow us on Bluesky
  1. Bluesky Feeds /
  2. Adolfo Neto

Bluesky Feeds by Adolfo Neto

Profile picture adolfont.github.io
Adolfo Neto
@adolfont.github.io
4,198 followers 2,896 following 7,241 posts
On Bluesky since July 2023
Lean Lang

Lean Lang

by Adolfo Neto Adolfo Neto

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

  • 36 likes
  • Updated 10 months ago
  • Provider: skyfeed.me
Elixir Lang

Elixir Lang

by Adolfo Neto Adolfo Neto

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

  • 28 likes
  • Updated 10 months ago
  • Provider: skyfeed.me
SE Research

SE Research

by Adolfo Neto Adolfo Neto

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.

  • 7 likes
  • Updated 10 months ago
  • Provider: skyfeed.me