Blog
June 8, 2026
Deterministic transcendental functions
Overview of transcendental function implementations
Read More
Updates and explorations of distributed computing and AI from the Hellas team
Overview of transcendental function implementations
Linux kernel experiments implementing IB verbs over consumer Thunderbolt/USB4 hardware to give cheap mini-PCs high-performance RDMA suitable for clust…
A quick intro on how inductive types in Lean work
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.
Have questions? Interested in our tech? Connect with us on X, Discord, and Telegram.