Blog
April 2, 2026
Inductive Types in Lean
A quick intro on how inductive types in Lean work
Read More
All Posts
Browse all blog posts
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?
Read More
Blog
September 29, 2025
Three Solutions to Nondeterminism in AI
Three ways to deal with nondeterminism caused by floating-point nonassociativity
Read More
Blog
June 10, 2025
Visualising LLMs with Open Hypergraphs and Catgrad
test
Read More
Blog
May 25, 2025
Hellas Gate Challenge
$1000 in prizes up for grabs
Read More
Blog
May 19, 2025
Announcing Hellas Gate
A unified AI interface with smart routing & local compute
Read More
Blog
May 1, 2025
Hello, World!
The Hellas Blog is live!
Read More