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 · #14441

P

Polysync

Company blog · polysync.io/blogprogramminghardware

Polysync is the company blog at polysync.io, writing about programming and hardware. Since 2017, 5 different Hacker News readers have linked it 9 times, most often “Session Types for Hearty Codecs (Rust)”. No feed was found, so read it on the site itself.

No feed foundVisit the blog
9mentions?
5HN people?
2017–2019first – last linked?
Links on Hacker News per year · peak 5 in 2017

Too few sampled comments (1) to say how often HN recommends it.?

Why HN links it

HN readers link PolySync's homepage when discussing the company's work, such as fel4, its Rust-atop-seL4 project, and libsel4-sys. The one comment praises that project, not the site's writing.

Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.

A new interface for developers to safely access vehicle platforms is coming.

Most-linked posts?

  1. Session Types for Hearty Codecs (Rust)
    2 people · 2 mentions · first linked 2017-10-16

What Hacker News says?

  1. im_down_w_otp · 2017-05-01
    PolySync Technologies | Chaos Engineer & Distributed Systems Engineer | Portland, OR | Fulltime | ONSITE/REMOTE | https://polysync.io PolySync is working to build the most advanced safety-critical runtime for autonomous vehicles. Working with our existing customers across the industry (automotive OEMs, tier 1 & 2 suppliers, and silicon makers) PolySync is pioneering the best-practices for process, architecture, and…

    Comment linking /

    on “Ask HN: Who is hiring? (May 2017)”
  2. im_down_w_otp · 2018-04-12

    Submitted The Challenge of Using C in Safety-Critical Applications [pdf] as a story · 13 points

    HN discussion
  3. shakna · 2019-03-26
    I believe they're PolySync [0], and I believe they might be referencing "fel4" a Rust-atop seL4 [1] that they've developed which is very cool stuff. [0] https://polysync.io/ [1] https://github.com/PolySync/libsel4-sys

    Comment linking /

    on “Fuchsia OS Introduction”
  4. blahblahblah1 · 2017-11-08

    Submitted Safety Implications of Serialization Timing in Autonomous Vehicles [pdf] as a story · 12 points

    HN discussion
  5. im_down_w_otp · 2017-10-16

    Submitted How I Learned to Love Property Based Testing (Rust, C) as a story · 12 points

    HN discussion
  6. im_down_w_otp · 2017-10-16

    Submitted Session Types for Hearty Codecs (Rust) as a story · 12 points

    HN discussion
  7. im_down_w_otp · 2018-04-20

    Submitted BYO Standard: An Explorer's Guide to Compiler Plugins (rust) as a story · 10 points

    HN discussion
  8. pjmlp · 2018-04-13

    Submitted The Challenge of using C in Safety-Critical Applications [pdf] as a story · 3 points

    HN discussion
  9. JoshTriplett · 2017-10-17

    Submitted Session Types for Hearty Codecs as a story · 2 points

    HN discussion

Search all of HN for polysync.io