There are some arguments that do carry water in favor of using a client/server protocol transmitting JSON, in particular, the ability for a nearly complete decoupling of analysis of code and the displaying and editing of that code. Also, LSP was (to my knowledge) the first language/platform/usecase agnostic protocol intended for use in code editors.

I get why this is where a big chunk of developers have ended up, but I do bemoan the lost potential for a language to grab mindshare and popularity on the usability and performance of its tooling and developer experience via-a-vis a custom designed and hyper specific code editor. I mean, Rust and Elm received endless praise for their error messages as a massive boon to developer experience, so it is a facet of language design and implementation that can act as great advertisement. I just hate that the prevalence of LSP at this point precludes custom editors as a first choice in the current zeitgeist.

It also could be one of the most terrifying talks I’ve ever heard, but since it is eight years old, I am going to just pretend all of the research he mentions fell through and I have nothing worry about.

Although I am not interested in using LLMs for much of anything, the theory and implementation (where the implementation is not just use some prepackaged library code) in a comprehensive presentation is not something I’ve seen before.

Is there somewhere that async/await is implemented as a different concurrency mechanism?

However, if you mean ST in Idris 1.0, there is a definite correlation. The mechanism that ST used for enabling local mutations was very similar to the mechanism that the typestate pattern in Rust is using. ST was a framework for formalizing State Machines in dependent types which is the mechanism TFA is analyzing.

How do you find the feature useful in this instance, I can’t quite picture how that works for typestate pattern functions.

I too am nearly certain that the positive benefits are approaching nil, but I still feel it should be helpful.

Obviously if you are operating in a wide, concurrent async system then the Ticket and separate function calls is the better mechanism for the ordering.

As a separate point, I think this is an excellent example of making invalid states unrepresentable.

Comments URL: https://news.ycombinator.com/item?id=49452757

Points: 5

# Comments: 1

I was talking with a junior at the office today about LLM output and mentioned em dashes, to which responded “oh, I thought that was just where formatting for hyphens was going, I guess I learned something from the AI writing instead of the other way around” and god, his acceptance of it was just deprrsssing.

I think the Buddhist reply would be that living without craving and without yearning leads to truly being ‘alive’ and enables one to feel, to touch, and to experience the world as it is and in the immeasurably short time a person is alive within it. An existence where the present is experienced and cherished in the moment of having it, while knowing and accepting the inevitability of this moments ending. Such a life, in the Buddhist tradition, embodies the knowing and accepting of the ultimate emptiness of reality and then proceed to live, not in spite of the emptiness, but in the full appreciation of the act of living.

A lot of discussions I’ve seen, and taken part in, when focusing on Camus and his cadre of fellows lead to a comparison between Buddhist thought and existentialist thought. I tend to side closer to the Buddhist outlook and acceptance of the ground truth of sunyata (often translated ‘emptiness’) versus the more modern tendency toward western Nihilism as a response to the Absurd. The depths of response in people and their dealings with these thoughts and feelings interest me, but I also like to watch people choosing between descriptions of Absurdity to try and make it a completely different concept to the Buddhist ideas.

I’m not sure I agree that ‘Camus couldn’t conceive of’ the Buddhist response to the inherent tension arising from craving ultimate meaning where none is possible; however, he and the other existentialists certainly went to great written lengths to seemingly avoid finding the Buddha’s answer.

With all the “AI” has made coding/learning to code a dead end and unnecessary crud being peddled currently I don’t know if people who want to actually learn to program are going to find resources that can be as motivating as this and other articles from `the before times`. It leaves me slightly bummed out, but in my less pessimistic moments I think motivated learners are going to see through the hype and find these types of resource anyway.

On a side note, the Norvig’s articles about implementing a Scheme in Python were my first foray into designing and implementing programming languages, compilers, and interpreters which really shaped my interest all the way through to today.

1) http://www.catb.org/~esr/faqs/hacker-howto.html

I certainly think there is was inflection point for Unreal’s inherent complexity moving to 5 that made it exponentially more difficult to customize when compared to 4 as far as implementing highly customized renderers (in particular) and overall customization in general.