Updates and explorations of distributed computing and AI from the Hellas team
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
AI is replacing junior software engineers: will the industry end up with a skills gap?
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.
