Of the ten postings, Onai's is the most revealing because it says almost nothing about the product — and that absence is the whole story. No website. No pitch. No product name in the description. Just a stack, a set of research interests, and an invitation to postdocs. When a company hides what it does but broadcasts how it thinks, the posting itself becomes the signal.

The stack tells the story:

• Rust — systems-level performance, memory safety, the default for anyone building infrastructure from scratch in 2020
• Haskell/Idris — Idris is the tell. It's a dependently-typed research language used by roughly no one commercially. Hiring for it means someone on the team wants machine-checked correctness proofs, not just types-as-documentation
• Cryptography — paired with "protocol design" and "dispersed computation"
• Deep learning — the wildcard

Add those together and you get: a distributed protocol with formally verified components, cryptographic guarantees, and an ML angle. That's a very narrow shape. Think secure multi-party computation, verifiable computation marketplaces, or a privacy-preserving ML infrastructure play. Guha (the poster — likely Ramanathan Guha of RDF/Schema.org fame, given the handle) has form for building foundational protocols, which reinforces this read.

What the stage signals reveal: They're hiring postdoctoral fellows and graduate interns alongside full-timers and contractors. That's a research-lab hiring pattern, not a product-company pattern. Combined with two office locations (San Jose + New York) and visa sponsorship, this is well-funded — probably a stealth deep-tech startup burning founder capital or a large seed to establish scientific credibility before shipping.

Green flags: Willingness to hire people who "lack this precise experience but are eager and able to learn" — rare for a team demanding Idris. Suggests confidence they can mentor. The mix of contractors and fellows signals flexibility about how talent enters.

Red flags: No URL, no product, no team size, no funding disclosed. The description was truncated mid-sentence in the HN thread, which is careless for a company that wants to be taken seriously. "Interesting real-world problems in a variety of fields" is exactly the kind of language that means "we haven't picked a market yet." For a senior candidate weighing offers, this is a bet on the founders' pedigree, not a product roadmap.

The Idris requirement is the sharpest filter in the entire HN thread. It self-selects for a tiny population — probably the point.