Come Break My Compiler
bellmar.medium.com
Come Break My Compiler
1–10 of 33 posts
Re: Come Break My Compiler
#2My only knowledge on modeling languages is: TLA+ exists, I've seen Lamport's introductory videos/course, I've followed along to the course examples.
At a glance, I like that this looks more approachable to write, and I like that. Can it still be used to prove properties like liveliness? The fact that Fault seems to use bounded loops seems counter-intuitive to proving those "x eventually happens" conditions. As I understand (from a distance) you can model those in TLA+.
PS. The question regards the design of Fault, not the current state of implementation.
Re: Come Break My Compiler
#3Useless title for HN.[1] A compiler tells me that it’s some language that can be compiled. “Break” tells me that either the compiler is mature and the author is daring someone to fuzz it, or that the compiler is not mature and hence it’s easy to find something that “breaks” while using it (it’s the latter).
Would I break someone’s program? I have no reason to care about their program based on this title.
[1] Of course there’s the “no ediotoralizing” rule. Even though it’s submitted by the original author.
Re: Come Break My Compiler
#4> No “real programmers” write code in Assembly.
This means the opposite of what she means, which is
> No, “real programmers” write code in Assembly.
because of the missing comma.
Insisting on good spelling and grammar is not about being annoying, it's about not accidentally writing the opposite of what you want to convey :(
Re: Come Break My Compiler
#5Useless title for HN.[1] A compiler tells me that it’s some language that can be compiled. “Break” tells me that either the compiler is mature and the author is daring someone to fuzz it, or that the compiler is not mature and hence it’s easy to find something that “breaks” while using it (it’s the latter). Would I break someone’s program? I have no reason to care about their program based on this title. [1] Of cours…
While I'd never heard of the language or compiler before, so unless you want a title that covers the blog post, I don't know how you want to get rid of your objections.
Re: Come Break My Compiler
#6> No “real programmers” write code in Assembly. This means the opposite of what she means, which is > No, “real programmers” write code in Assembly. because of the missing comma. Insisting on good spelling and grammar is not about being annoying, it's about not accidentally writing the opposite of what you want to convey :(
Amazingly, I knew exactly what she meant. It's also entirely aside from the point of the article, and either interpretation still works toward making her underlying point.
Re: Come Break My Compiler
#7Useless title for HN.[1] A compiler tells me that it’s some language that can be compiled. “Break” tells me that either the compiler is mature and the author is daring someone to fuzz it, or that the compiler is not mature and hence it’s easy to find something that “breaks” while using it (it’s the latter). Would I break someone’s program? I have no reason to care about their program based on this title. [1] Of cours…
The article perfectly explains why the author wants you to break the compiler. It's so it can be improved and to do that user feedback (by breaking the compiler) is needed.
Re: Come Break My Compiler
#8This seems procedural to me and modern architectures lean towards events, boundaries, and language.
I get it, but it’s not how I decipher and construct models.
Re: Come Break My Compiler
#9> No “real programmers” write code in Assembly. This means the opposite of what she means, which is > No, “real programmers” write code in Assembly. because of the missing comma. Insisting on good spelling and grammar is not about being annoying, it's about not accidentally writing the opposite of what you want to convey :(
Amazingly, I knew exactly what she meant. It's also entirely aside from the point of the article, and either interpretation still works toward making her underlying point.
I understood the intention behind the sentence as well, after all it's a common joke. However, it also distracted me from the post, and lead me to think about spelling instead of the author's compiler... which I don't think was intended.
Re: Come Break My Compiler
#10Useless title for HN.[1] A compiler tells me that it’s some language that can be compiled. “Break” tells me that either the compiler is mature and the author is daring someone to fuzz it, or that the compiler is not mature and hence it’s easy to find something that “breaks” while using it (it’s the latter). Would I break someone’s program? I have no reason to care about their program based on this title. [1] Of cours…
While I'd never heard of the language or compiler before, so unless you want a title that covers the blog post, I don't know how you want to get rid of your objections.
Blog post with submission title: “Fault is a language for modeling systems that compiles down to SMT”
This is in the power of the submitter since the submitter is the author of this piece.