Imiron

Founded by leading researchers from ERATO MMSD , a renowned research group in theoretical computer science, we are a technology startup dedicated to enhancing the safety and reliability of complex systems. Drawing on a foundation of world-class research in temporal logic and formal verification, we develop innovative…

Popular posts: 1
Total points: 101
HN comments: 46
Rank: #21,169 personal

Visit imiron.io → On Hacker News Jun 2025 – Jun 2025

Software Engineering 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

Solving LinkedIn Queens Using Haskell

2025101 points46 comments Software Engineering details

Solving LinkedIn Queens in the LogicT monad