Top all-time · #14591
Spiria: Insights & Technology
Company blog · spiria.com/en/blogprogramming
Spiria: Insights & Technology is the company blog at spiria.com, writing about programming. Since 2017, 5 different Hacker News readers have linked it 8 times. No feed was found, so read it on the site itself.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
The one comment does not link the post directly. It discusses extending a 'verified' type modifier in C++ to types such as matrices and vectors, which suggests the linked post covers verified types.
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 team of experts assembled to build scalable, modular, and secure software to support your business goals and engineer high performing operations.
What Hacker News says?
By reference? Yes. But the idea of a verified type can be extended by using the verified modifier on your own type. For example, you could have a verified matrix type, where the matrix is guaranteed to be valid, non-degenerate. You can apply it to: - matrix - vector - input data of any sort And if teh compiler allowed the programmer to declare their own type modifier, the world is your oyster: you could for example…
Comment linking /en/blog/desktop-software/hypothetical-c-extensible-tagging/
on “Ask HN: Good C++ code bases to read?”Submitted Hypothetical C++: easy type creation as a story · 25 points
HN discussionSubmitted WebAssembly with Nim as a story · 6 points
HN discussionSubmitted Django under the influence: a Flask developer’s perspective as a story · 5 points
HN discussionSubmitted WebAssembly with Nim as a story · 3 points
HN discussionSubmitted Passkey Idiom and Better Friendship in C++ as a story · 2 points
HN discussionSubmitted Golfing with Dict as a story · 1 points
HN discussionSubmitted Hypothetical C++: Extensible Tagging as a story · 1 points
HN discussion