News for hackers. Stuff that matters.
[dead]
Re:My least favorite Rust type by dang on Monday September 21, 2020 @04:49PM (#24548298)
You started a flamewar and fueled it with 35 comments. That's beyond the pale. In fact, it makes me wonder what the record is for a single user in a flamewar on HN.

Can you please not do this again? I appreciate https://news.ycombinator.com/item?id=24548161, but vandalism is not a good way to pass the time. Not arson either.

You did the same thing in other threads today too (e.g. https://news.ycombinator.com/item?id=24544124). We ban accounts that do this, or at a minimum rate limit them. I'm not going to do those things right now, but if you do it again we'll have to.

We detached this subthread from https://news.ycombinator.com/item?id=24547322.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:58PM (#24548397)
Well, it was never my intention to do something that you would consider vandalism.
Re:My least favorite Rust type by dang on Monday September 21, 2020 @04:59PM (#24548414)
I know that, which is why I didn't rate limit or ban your account. These things mostly happen unintentionally. The thing is, though, we have to judge them by their effects, not intentions, since it's the effects that have...effects. https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

You're a good HN user and the only thing that's needed here is a bit more mindfulness. I like the 'arson' analogy for this sort of thing, except it's the wrong word since it implies intent. The right analogy is not arson, but negligence, i.e. playing with fire for fun or what have you, but then it burns down the building.

There's nothing intrinsically wrong with this thread. It's perfectly good watercooler conversation. That's part of the original intention for HN (let me dig up an old pg link...ah yes: https://news.ycombinator.com/item?id=8314). We all enjoy talking smack with coworkers or friends—same way one might argue about whether so-and-so is a good athlete or actor or whatever. On that level, what you did wasn't wrong at all, it's perfectly fine and good fun.

The issue is just that this particular watercooler gets broadcasted to millions of people, which suddenly makes for completely different dynamics. For example, the person you're talking about may well read the thread, which may sour them on HN and make them less likely to participate here, which would impoverish the site for all of us. That doesn't mean you shouldn't ever post criticism, but it should be alloyed with respect, and if the thread starts to turn into a cage match, you should do something to try to walk it back. (By "you" I don't mean you personally, but all of us.)

The biggest issue, though, are the feedback loops that happen when you're no longer talking to a couple people you already have good connections with, but an entire crowd of people who you have zero connections with. Your comments are guaranteed to get interpreted in ways that you not only didn't intend, but would find horrifying and would never dream of meaning. A lot of dark stuff flows in that way. Then people read it and feel licensed to start doing the same and worse—why not, if that's the kind of place this is? This is how internet forums decay, and the decay is exponential, so we have to be proactive about not letting that happen. That also is one of the founding intentions of HN: https://news.ycombinator.com/newswelcome.html.

Unfortunately, this does mean we need to have more restrained conversation than would be most enjoyable in a small group. People instinctively do this when talking to large groups, but HN is a large group that feels like a small group, so those instincts don't kick in. And of course it's also one of the best things about HN that it feels like a small group.

Past comments about this, if anyone wants a fuller picture:

https://news.ycombinator.com/item?id=21633967

https://news.ycombinator.com/item?id=15378909

https://news.ycombinator.com/item?id=9378899

https://news.ycombinator.com/item?id=7906377

https://news.ycombinator.com/item?id=7742471

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @05:02PM (#24548444)
I understand. Forum moderation is a hard job. I certainly don't want to make it harder.
Re:My least favorite Rust type by dang on Monday September 21, 2020 @05:10PM (#24548518)
Thanks for the kind reply!
Re:My least favorite Rust type by TheRealSteel on Monday September 21, 2020 @03:30PM (#24547450)
I don't think it's reasonable to make a comment like this without explaining why.

He has designed a programming language, so it seems fair to assume he'd have an understanding of programming language design.

Re:My least favorite Rust type by coldtea on Monday September 21, 2020 @05:02PM (#24548445)
>He has designed a programming language

Hasn't everybody and their mums/dads by now?

And even so, is that language succesful - to the extend that it means his ideas are more relevant that Rust's designers?

It's just a concept implementation at the moment, not a real industry / production / community language.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:32PM (#24547471)
You got a link for the compiler for said programming language?
Re:My least favorite Rust type by Twisol on Monday September 21, 2020 @04:00PM (#24547771)
Goodness, the lack of any compiler at all would disqualify a lot of cutting-edge academic research on programming languages, much less the existence of a publically-available compiler. Often all you get is a diagram full of (basically) inscrutable derivation rules.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:02PM (#24547790)
And rightfully so. In spite of all of the theory going into those languages, the one thing they're all missing is practice.
Re:My least favorite Rust type by Twisol on Monday September 21, 2020 @04:07PM (#24547842)
Yes, but now you've shifted the goalposts, because I think most people would generally consider PL researchers to have an understanding of programming language design.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:09PM (#24547868)
Well, that's fine, then. Many of them do eventually create something useful later.

Johnathan Blow is a game designer, though.

Re:My least favorite Rust type by dgellow on Monday September 21, 2020 @04:37PM (#24548168)
You can be more than one single thing. Johnathan Blow is a game designer, a game programmer, an entrepreneur, a programming language designer, etc.

At the end of the day he's someone who do write software for a living since decades, and has strong opinions and expectations. And he's using this to create the tools he wants to have.

Re:My least favorite Rust type by ratww on Monday September 21, 2020 @03:56PM (#24547736)
I'm also not a fan of closed-source compilers (or fully closed, even worse), but it's unfair to disregard his work and opinions just because it's not publicly available.

Regardless of that, this is not a discussion about compilers or compiler design/programming, but rather about PL design, which are two different areas and disciplines.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:04PM (#24547808)
I'd even take a closed-source compiler.

The problem is that, ultimately, he's effectively throwing rocks from a glass house, but he denies us the rocks to throw back.

I just can't take him seriously.

Re:My least favorite Rust type by dgellow on Monday September 21, 2020 @04:33PM (#24548130)
It's currently in private beta as far as I remember from his Twitter timeline.
Re:My least favorite Rust type by spatulon on Monday September 21, 2020 @03:58PM (#24547759)
Can you think of a less snarky way of saying that he hasn't released it publicly yet?
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:00PM (#24547774)
Nope. I'm hoping one day that they do. I don't pay attention to Jai anymore, and I'm hoping someone hits me with a link.
Re:My least favorite Rust type by fsociety on Monday September 21, 2020 @04:26PM (#24548065)
They are currently closed beta testing the compiler, but it isn’t an abstract or imaginary thing.. he works with it all the time on his livestreams on Twitch.
Re:My least favorite Rust type by Scarbutt on Monday September 21, 2020 @04:14PM (#24547925)
He has a beta program for those interested in trying out the compiler.
Re:My least favorite Rust type by IshKebab on Monday September 21, 2020 @04:38PM (#24548185)
Are you implying that it doesn't exist? It clearly does.
Re:My least favorite Rust type by eindiran on Monday September 21, 2020 @03:25PM (#24547393)
I don't know anything about Johnathan Blow, so could you explain why you have a hard time taking him seriously about PL design?
Re:My least favorite Rust type by hardwaregeek on Monday September 21, 2020 @04:53PM (#24548345)
I'm not as dismissive to jblow, but I am frustrated with his model of development and the inflated expectations that come with it. It's quite likely that Jai will be a great language but it won't be the silver bullet some seem to think that it is. There's nothing more annoying than talking about the tradeoffs between compile time and static analysis only for someone to say "but Jai solved it" (and yes, I have conversations with people who do say this).

Imagine I had a startup and kept on posting about how amazing my product was and how everybody was going to find it revolutionary, and maybe I even shared a few streams of me using it, but I didn't release. And this continued for like, 6 years. Wouldn't you get a little suspicious? Even if I was running a closed beta. Even if I had a proven track record.

Writing a language and keeping it locked up while you perfect it just isn't a great model of development. Languages are not just the compiler and the corresponding features. They're tooling and infrastructure. They're libraries. They're communities. It may be wonderful to work sans the usual politics of open source, but you're not gonna end up making a language that people use.

And maybe that's not jblow's goal. Maybe he just wants a language for himself. Well, good for him. But that seems a little sad. Programming languages are some of the most generous, wonderful gifts to the CS world. If I were him, I'd hate to see my language die with me.

Re:My least favorite Rust type by leshow on Monday September 21, 2020 @04:46PM (#24548259)
I wasn't familiar with him and found this video where he seems to say a lot of things that are kind of sketchy about concurrent programming at the very start of the video: https://youtu.be/hjvtzriNlMU
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:28PM (#24547430)
Because I can't download a compiler for his language and try out his ideas. I've designed fantasy programming languages, too, but you don't see me telling everyone on the internet that will listen to me about them, dragging other PL designers that have actually released working code through the mud as I do.

It's a simple matter of put up or shut up.

Re:My least favorite Rust type by gpm on Monday September 21, 2020 @03:41PM (#24547579)
He demonstrably has a working compiler and programming language. Calling it a "fantasy" just because he has not given you full access to the source is plain incorrect.

He streams so much of his development work on the compiler that a determined party could probably reproduce it by just copying the text from his text editor. He streams so much of his game development using the compiler that it obviously and unambiguously works - and so long as you know all the idiosyncrasies of the language (a big caveat) works reasonably well.

He has put up, just not in the medium that you would prefer. You have not, so perhaps you should take the second half of your advice.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:45PM (#24547614)
I can make a python script that prints out stuff while I'm streaming, too. He hasn't demonstrated squat.

But, let's say he does have a working compiler. It's very probable that he does. Why doesn't he release it, then?

Well you see, the only way it's possible to really effectively criticize a programming language is to use it. By not releasing the compiler, he avoids real criticism.

So, no, I don't take him seriously on PL design. At best, he's scared of criticism, but wants to be able to criticize others. At worst, he's a fraud.

Re:My least favorite Rust type by hobofan on Monday September 21, 2020 @04:07PM (#24547845)
I'm not a PL designer, but from everything I've heard him say regarding PL design, I agree with your assessment that one probably shouldn't take PL design advice from him (or at the least take them with a grain of salt).

However I don't think there is any need to suggest he's a "fraud", the language is "fantasy" or faked for the stream. I also don't think that there is any need for him to release the compiler.

Have you considered that Jai is just a hobby project? Many programmers choose writing a programming language as a hobby project so why shouldn't he? Releasing a compiler to the public and having everyone demand that he also maintains it for every corner case they have is a lot less fun than just working on it for your own scope and showing it off/discussing it in your stream.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:11PM (#24547884)
If that's all that he did, then I'd have no concerns. He likes to talk down other up-coming programming languages, too.

But they've got something his language doesn't.

Re:My least favorite Rust type by fsociety on Monday September 21, 2020 @04:31PM (#24548106)
Did he say something that offended you? He shares his opinions to people who ask about it. Often his opinions are shared on his livestream - which is an environment he ultimately owns.

I’m a bit shocked at your attitude with this. Your conviction is unnerving. The existence of jai doesn’t prevent the existence of Rust or other languages.

Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @03:53PM (#24547693)
> I can make a python script that prints out stuff while I'm streaming, too. He hasn't demonstrated squat.

Creating a Python script that makes it look like you have an actual compiler is harder than you think it is.

> At best, he's scared of criticism, but wants to be able to criticize others. At worst, he's a fraud.

I wouldn't say he is scared of criticism, more like he is not yet at the state that he wants to accept criticism. I wouldn't want people to comment on my half-finished projects too, but this doesn't mean I can't say that something else couldn't be better.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:56PM (#24547735)
If he doesn't want to accept criticism then why is he streaming about it?
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @03:58PM (#24547756)
So people can watch him develop software? The same reason why you might stream a "let's play" but not be interested in somebody commenting on how bad of a gamer you are?
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:59PM (#24547762)
The issue is that he uses that platform to criticize other languages. That's my root problem, here. If all he did was write code, then nobody would care.
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:06PM (#24547834)
Ok, would you be happier about it if he wrote blog posts and never came up with Jai at all?
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:08PM (#24547850)
I'd be okay if he never spoke about it as the next big thing in programming with no intention of releasing it for public criticism. It's 100% okay to have private, in-house tools.
Re:My least favorite Rust type by gpm on Monday September 21, 2020 @03:52PM (#24547690)
> I can make a python script that prints out stuff while I'm streaming, too.

I really doubt this. The amount of effort and acting that would need to go into being able to script in advance the sort of mistakes you make when programming would be astronomic. You would have to never make a typo when you weren't supposed to, always make a typo when you are, somehow deal with the fact that when you get stuck you need to be able to respond to audience feedback, and so on and so forth. (Oh, and interactive 3d programs not just text to a terminal).

That's a lot harder than making a programming language.

> Why doesn't he release it, then?

Because he doesn't think public feedback would be helpful at this time. Because he wants to release software that he can take pride in instead of a alpha level programming language. Because that's what he is used to from game development. Because he feels like it. Etc. Why does it matter? You aren't entitled to it.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:55PM (#24547729)
If he doesn't feel like public feedback would be helpful, then why is he streaming about it? That doesn't make any sense at all.

I'm not entitled to shit, but he's also not entitled to a platform. He's a game designer. He's released games. If he wants to talk about games design, I'm all ears.

Re:My least favorite Rust type by mkishi on Monday September 21, 2020 @04:26PM (#24548062)
> If he doesn't feel like public feedback would be helpful, then why is he streaming about it? That doesn't make any sense at all.

He _does_ take feedback from the public. That is, from people who take him seriously and participate in the conversation.

The compiler _is_ released in a closed beta. You could be a part of that if you were a productive voice in his language design discussions.

Instead, you're condescending:

> I can make a python script that prints out stuff while I'm streaming, too. He hasn't demonstrated squat.

> He's a game designer. He's released games. If he wants to talk about games design, I'm all ears.

Why would _anyone_ want to hear your ideas on their language if you believe these statements?

He's provided hours and hours of discussion on Jai and language design, explained most decisions he's taken and changes he's made since the inception of the language, documented the language's journey, _paid_ for people to work on the language, and we get to read "he could be faking it?" Yeah, he faked compiling programs with literal input from Twitch chat. The guy's a magician, not a programmer.

Re:My least favorite Rust type by StavrosK on Monday September 21, 2020 @04:04PM (#24547816)
Why is the default that everyone should release the things they make? Maybe he just wants to use it for himself and is uninterested in anyone else using it.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:05PM (#24547826)
I'd be 100% okay with that. That's not all he's doing, though.
Re:My least favorite Rust type by jakelazaroff on Monday September 21, 2020 @03:52PM (#24547679)
I think that's a really toxic attitude. My thoughts about programming languages are still valid, even though I've never made one of my own. I have opinions about what works and what doesn't, based on experience using programming languages, and just because I haven't actually tried to write a compiler doesn't mean I should "shut up" about it.

If you don't like his ideas (or him) just ignore them. No one's forcing you to listen.

Re:My least favorite Rust type by leshow on Monday September 21, 2020 @04:15PM (#24547927)
I think it's toxic to suggest your way or ideas are better without giving people any way to verify that they are. Of course anyone can have an opinion about anything.
Re:My least favorite Rust type by jakelazaroff on Monday September 21, 2020 @04:23PM (#24548028)
"Better" is subjective, not something that can be verified. But anyway, people do have a way to try out an idea: they can implement it themselves!
Re:My least favorite Rust type by 6gvONxR4sf7o on Monday September 21, 2020 @04:34PM (#24548143)
Doesn't that attitude make your comment toxic? The dude's allowed to share ideas.
[dead]
Re:My least favorite Rust type by jakelazaroff on Monday September 21, 2020 @04:33PM (#24548137)
Take him however you wish; I don't follow him or know the backstory here. But adopting a "put up or shut up" attitude makes it less likely that people excited about something will share it, especially if they're newer or less experienced. That sucks. We should try to make the tech community a welcoming place that fosters enthusiasm.
Re:My least favorite Rust type by macintux on Monday September 21, 2020 @04:28PM (#24548079)
For someone who ignores him you’re spending a lot of time (27 comments on this post) griping about him.
Re:My least favorite Rust type by anoncareer0212 on Monday September 21, 2020 @03:30PM (#24547458)
I neither know Jonathan Blow, nor understand why he must create a programming language to critique them - is he someone who works on programming languages as his day job, for some time, yet somehow has avoided enforcing his opinions on himself?
Re:My least favorite Rust type by stusmall on Monday September 21, 2020 @03:39PM (#24547561)
It's more the issue that he has one that has worked on in private. He hasn't released a version publicly. Someone earlier in the thread was saying the fact that he has designed a language means he is worth listening to where the counter argument is does it really count if he's never released it and no one really uses it?
Re:My least favorite Rust type by cyphar on Monday September 21, 2020 @03:35PM (#24547509)
He's a video game designer who announced a new programming language called "Jai" in 2014, and no compiler has yet been released for it (but he discusses new language features on his Twitch stream)[1].

[1]: https://en.wikipedia.org/wiki/Jonathan_Blow

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:34PM (#24547497)
He's a video game designer.
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @03:26PM (#24547410)
You should take him seriously, he has some really good ideas.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:28PM (#24547435)
He has some really good fantasies. But all he has is words.
Re:My least favorite Rust type by kolbe on Monday September 21, 2020 @04:32PM (#24548117)
I know nothing about the discussion of whoever this dude is, but I am very impressed that HN hasn’t rate limited your comments with all the grey I’m seeing.
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @03:29PM (#24547448)
I mean the Jai language seems to be real.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:31PM (#24547464)
You got a link where I can download the compiler for the Jai language?
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @03:34PM (#24547489)
I have watched the streams.
[dead]
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @03:43PM (#24547597)
Some people got access to the beta https://youtu.be/i1vbvikDiI8

Why do you think it's vaporware?

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:47PM (#24547639)
Because it hasn't been released, and it likely never will be. It's impossible to criticize a programming language without actually using it, so any discussion of its merits is moot without an actual release.
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @03:50PM (#24547662)
How long do you think it takes to make a new language?
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @03:50PM (#24547670)
How long do you think it takes to release a working prototype when you already have one?
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:06PM (#24547839)
But he doesn't want to release a "working prototype", he wants to release a finished, polished language.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:13PM (#24547899)
The only kind of programming language that is ever "finished" are ones that nobody uses.
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:16PM (#24547939)
C was largely "finished" when it came out–future additions have not added much. And by "finished" I don't mean "never changes", I mean "finished enough for a 1.0".
[dead]
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:24PM (#24548036)
> Modern C is very different from K&R C.

Aside from some syntax around function prototypes, it's really not, unless you are counting "people tend to use certain things less often" as how you're counting that difference.

Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:25PM (#24548039)
You are aware that the standard library is a big part of the C specification, right?
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:32PM (#24548123)
If you're counting the language by "how many pages of specification" it takes up, perhaps. To me is the language is really like the many features it had when it came out, and then the standard library improvements since then have been "string routines" and then "more string routines" and then "atomics, and also some string routines". Now C++, that's a language that has changed a huge deal–your C++03 code is obviously out-of-place in a C++11 codebase, but nobody will bat an eye if you drop some C89 code in a C11 project.
[dead]
Re:My least favorite Rust type by saagarjha on Monday September 21, 2020 @04:38PM (#24548180)
I've used C for long enough to meaningfully contribute to this conversation. And yes, by my definition C takes much of its inspiration from B, although there are enough differences that I would not claim that B is some sort of release of C.
Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @04:06PM (#24547838)
Maybe he has different standards than you? I assume Jai will be similar to his games as far as attention to details goes. I would describe his games as having a maniacal attention to detail.
Re:My least favorite Rust type by ratww on Monday September 21, 2020 @04:13PM (#24547905)
Maniacal attention to detail in products is very rare those days. As a born perfectionist I wish I could afford it for myself, honestly.
Re:My least favorite Rust type by the_hoser on Monday September 21, 2020 @04:12PM (#24547897)
Then maybe he should handle Jai like he handles his games. Don't talk about it until it's almost ready to go.
Re:My least favorite Rust type by WhyNott on Monday September 21, 2020 @04:43PM (#24548229)
...Except that he did talk about all of his games almost from the get go? He showed earliest prototypes of Braid and Witness publicaly when the games were just blocky protypes, in the latter case good 7 years before the game came out. I don't know where you got this idea from, the way he is handling the development of the language seems to be pretty much an extension of how he develops his games.
Re:My least favorite Rust type by ratww on Monday September 21, 2020 @04:16PM (#24547951)
It's his hobby/passion project, I really don't understand your objection.

You seem to have a problem with the fact he criticises other languages. Would you also treat someone who isn't currently designing a language with the same harshness if they also criticised a language the way Jonathan Blow does?

[dead]
Re:My least favorite Rust type by ratww on Monday September 21, 2020 @04:31PM (#24548109)
But he is designing a programming language. Even if it's all a fantasy or a Python script, like you claim, there's still a design.

His opinions and views on PL design are still up to scrutiny, so it's not a glass house like you claim. PL design is not compiler writing. You're free to implement all his ideas and write a Jai compiler yourself if you need a proper compiler in your hands to properly criticise the language.

And frankly, the only thing mentioned on this thread about "80% features" is not as controversial as you're making it. Nobody here is claiming it as revolutionary or game-changing, so even if you're right, your posts are a bit uncalled for.

Re:My least favorite Rust type by adamnemecek on Monday September 21, 2020 @04:16PM (#24547938)
Why do you care?