Top all-time · #7335
corensic.com
Company blog · corensic.com/CorensicBlogprogrammingsystems
corensic.com is the company blog at corensic.com, writing about programming and systems. Since 2010, 11 different Hacker News readers have linked it 12 times, most often “Haskell -- The Pseudocode Language for C++ Metaprogramming”. No feed was found, so read it on the site itself.
Too few sampled comments (4) to say how often HN recommends it.?
Why HN links it
HN readers link Corensic's pages about Jinx, a deterministic multiprocessing debugger and race detector built on a hypervisor. The links point to product pages, whitepapers, and conference videos and slides.
Summarised by Claude from a sample of 4 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Haskell -- The Pseudocode Language for C++ Metaprogramming2 people · 2 mentions · first linked 2011-07-22
- Jinx 1.0 Released -- Quickly find concurrency errors in your multithread code2 people · 2 mentions · first linked 2010-08-23
What Hacker News says?
Here's a better link with three videos and slides: http://www.corensic.com/Community/Resources/BoostconVideo.as...
Comment linking /Community/Resources/BoostconVideo.aspx
on “Monads in C++”Submitted C++11 Concurrency Series: 9. Condition Variables and Message Passing as a story · 34 points
HN discussionJinx can help verify mutex implementations themselves, although the example code that ships with the product is a little more advanced (lock-free stack). Some of the underlying technology is described here: http://s3.amazonaws.com/corensic/whitepapers/DeterministicSh... and here: http://www.corensic.com/WhyYouNeedJinx/CorensicHasaUniqueTec... . Because it's a hypervisor, it can aid in verifying synchronization primi…
Comment linking /WhyYouNeedJinx/CorensicHasaUniqueTechnologyforFindingBugs.aspx
on “1024cores”Submitted Jinx: a novel Linux deterministic multiprocessing debugger as a story · 20 points
HN discussionSo far, nobody has mentioned the author's C++ based race detection tool. Conceptually it is similar to Corensic's commercial product, Jinx ( http://www.corensic.com ) but practically Jinx supports more languages, doesn't require recompilation, and is most likely much faster.
Comment linking /
on “1024cores”Submitted Jinx 1.0 Released -- Quickly find concurrency errors in your multithread code as a story · 8 points
HN discussionThanks a lot for the reply and creating that web page ( http://www.corensic.com/Products/PricingandLicensing.aspx ). As it turns out, the (reduced cost, I assume) non-commercial version will be just right for what I'm thinking of doing in this space. And of course I'll sing the praises of Jinx to the extent it helps me find the nasty types of bugs it's designed to. Hmmm, one of the most interesting (at least to me)…
Comment linking /Products/PricingandLicensing.aspx
on “Jinx: a novel Linux deterministic multiprocessing debugger”Submitted Haskell -- The Pseudocode Language for C++ Metaprogramming as a story · 3 points
HN discussionSubmitted C++ Concurrency - Map Reduce as a story · 2 points
HN discussionSubmitted C++ 11 Concurrency Tutorial Series as a story · 2 points
HN discussionSubmitted A Website Story as a story · 2 points
HN discussionSubmitted C++11 Tutorial: Futures and Promises as a story · 1 points
HN discussion
