Hacker Blogs
Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #23274

I

Inferara

Company blog · inferara.com/blogprogrammingmath

Inferara is the company blog at inferara.com, writing about programming and math. Since 2025, 3 different Hacker News readers have linked it 4 times, most often “Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums”. It is still writing: the last post was on 2026-04-15, and you can follow it by feed.

Visit the blog
4mentions?
3HN people?
2025–2026first – last linked?
Links on Hacker News per year · peak 2 in 2025

Inferara builds mathematically correct software for aerospace and finance: a verification language that compiles to proofs, and a traceable month-end close.

Most-linked posts?

  1. Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums
    2 people · 2 mentions · first linked 2025-06-03
  2. Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums
    2 people · 2 mentions · first linked 2026-08-28

What Hacker News says?

  1. todsacerdoti · 2025-06-03

    Submitted Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums as a story · 3 points

    HN discussion
  2. birdculture · 2026-08-28

    Submitted Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums as a story · 2 points

    HN discussion
  3. fanf2 · 2025-06-09

    Submitted Zero-cost 'tagless initial' in Rust with GADT-style enums as a story · 2 points

    HN discussion
  4. fanf2 · 2026-08-29

    Submitted Zero-cost 'tagless initial' in Rust with GADT-style enums as a story · 1 points

    HN discussion

Search all of HN for inferara.com