Top all-time · #17451
Hediet's Blog
Personal blog · blog.hediet.deprogramming
Hediet's Blog is a personal blog at blog.hediet.de about programming. Since 2019, 4 different Hacker News readers have linked it 12 times, most often “How to Stress the C# Compiler”. The last post was in 2019, but the archive is still widely read.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN commenters link these posts as examples of type-system and compiler limits, such as a post on stress-testing the C# compiler and its near-Turing-completeness. The comments cite them without judging the writing.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- How to Stress the C# Compiler4 people · 6 mentions · first linked 2019-10-04
What Hacker News says?
> There are exceptions of course for a definition of "exceptions" being "virtually all languages with a non-trivial static type system and non-zero userbase" as shown in your link. Java ( https://arxiv.org/abs/1605.05274 ), C# ( https://blog.hediet.de/post/how-to-stress-the-csharp-compile... ), Scala ( https://michid.wordpress.com/2010/01/29/scala-type-level-enc... ), Haskell, Rust ( https://sdleffler.github.io/Rust…
Comment linking /post/how-to-stress-the-csharp-compiler
on “Compiling Rust is NP-hard”Submitted Show HN: A TypeScript Playground for RX JS as a story · 22 points
HN discussionIf you are looking for a rxjs playground + visualizer, you might like this tool: https://blog.hediet.de/post/a_typescript_playground_for_rx_j...
Comment linking /post/a_typescript_playground_for_rx_js
on “Show HN: Starboard – Fully in-browser literate notebooks like Jupyter Notebook”Submitted How to Stress the C# Compiler as a story · 9 points
HN discussionWith generic types, you can also model infinite state machines by instantiating a generic type with anther generic type. This way you can extend the concept of the presented finite state machine all the way to Turing machines! See here you can do that with C#: https://blog.hediet.de/post/how-to-stress-the-csharp-compile... (section "With C# One Can Prove that a Turing Machine Halts")
Comment linking /post/how-to-stress-the-csharp-compiler
on “State Machines in Rust”Submitted Show HN: A Typed Playground and Visualizer for RxJS as a story · 4 points
HN discussion> It's really bad when doing anything that requires exploration and research I wouldn't say that, I have an counterexample ([1]): It is clear what the refactoring (that is to be implemented) should do and how to state that ([2]), but it usually requires exploration and research how to work with the AST and which methods to use. I would even say that TDD is awesome for exploring, researching, for getting a feeling of…
Comment linking /post/implementing_typescript_refactorings_with_hot_reloading
on “Test-driven development: A great idea hiding behind a terrible implementation?”Submitted How to Stress the C# Compiler as a story · 3 points
HN discussionThere clearly are problems that are suited very well for TDD and others that aren't. I guess the suitability of TDD depends on how much a feature involves "how" rather than "what": Whenever it is clear what the feature should do (and what the feature's interface looks like) and the implementation is only about the "how", TDD seems to a very good idea. Almost every compiler-related task falls into this category. I ju…
Comment linking /post/implementing_typescript_refactorings_with_hot_reloading
on “Test-driven development: A great idea hiding behind a terrible implementation?”Submitted How to Stress the C# Compiler as a story · 2 points
HN discussion> Normal type systems (like C#'s) aren't Turing-complete. But it comes very very close: https://blog.hediet.de/post/how-to-stress-the-csharp-compile...
Comment linking /post/how-to-stress-the-csharp-compiler
on “Can Types Replace Validation?”Thanks man ;) Its https://blog.hediet.de/ !
Comment linking /
on “Ask HN: How do you track your blog traffic?”