Blog
July 28, 2026
Layered Cyclic Diagram Layout
Layered drawing of open hypergraphs using Frobenius decompositions to make cyclic open hypergraphs acyclic
Read More
All Posts
Browse all blog posts
Blog
June 8, 2026
Deterministic transcendental functions
Overview of transcendental function implementations
Read More
Blog
May 28, 2026
thunderbolt-ibverbs: We have InfiniBand at home
Linux kernel experiments implementing IB verbs over consumer Thunderbolt/USB4 hardware to give cheap mini-PCs high-performance RDMA suitable for clust…
Read More
Blog
April 2, 2026
Inductive Types in Lean
A quick intro on how inductive types in Lean work
Read More
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
Generate LLM architecture diagrams with open hypergraphs and catgrad.
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