Hellas Blog

Updates and explorations of distributed computing and AI from the Hellas team

Inductive Types in Lean

A quick intro on how inductive types in Lean work

Blog October 31, 2025

Will AI do to Software Engineering what Offshoring did to Manufacturing?

AI is replacing junior software engineers: will the industry end up with a skills gap?

Blog September 29, 2025

Three Solutions to Nondeterminism in AI

Three ways to deal with nondeterminism caused by floating-point nonassociativity

View All Posts

About Hellas AI

Hellas is building the open-source future where the power of artificial intelligence concentrates in the hands of individuals, and not in the hands of a few big companies.

Learn More

Get In Touch

Have questions? Interested in our tech? Connect with us on X, Discord, and Telegram.