techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

4.9K
active users

InfoQ

Introducing - a new designed for formal theorem proving in Lean 4.

The model builds on a recursive pipeline powered by the company's DeepSeek-V3 foundation model.

Learn more: bit.ly/3ZlTt7h