Skip to content

Blogs / Company blogs

Galois Blog

For more than 25 years, Galois has combined mathematical rigor with curious creativity to guarantee trustworthiness in the world’s most critical systems.

Popular posts: 6
Total points: 776
HN comments: 212
Rank: #1,712 company

Visit galois.com → On Hacker News Jul 2009 – Sep 2025

Software Engineering 4 Systems & Performance 2 AI & Machine Learning 2 Security & Privacy 1 Programming Languages 1 Infrastructure & DevOps 1

Most points Most discussed Most cited Newest

1

Galois releases the Haskell Lightweight Virtual Machine (HaLVM)

201096 points16 comments Programming Languages details