This Week's Trending Top

gtcode
I’ve been tinkering with Lynx via hold_ledger. I used AI to write the code, a separate specification, the tests, and the Lean proofs. Na...
New

This Month's Trending Top

This Year's Trending Top

Last Three Year's Trending Top

Trending Over Three Years Top

  • Follow
  • Join
  • Shape
the conversation

Latest on Elixir Forum

Elixir Forum ❯

Similar Portals

    None added yet

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews