I though about having something like this! This can be a great tool!
For engineers this can be a great tool to summarize the standup update, or even to recall what did we do yesterday
I'll check it out now
"It struggles with LLM text streaming, parallel processing in Ruby[3], and lacks strong typing for AI coding tools."
What's the struggle specifically?
How these general articles of opinion get to the first page of HN I'll never understand.
Just random statements without anything to back them up.
I'm currently in the process of making my MySQL database stream it's change-data events, and I feel the pain of stitching all the apps together to make it happen.
What a bunch of whining babies.
Are you really this upset with such a tiny change? :D
I like the new editor.
They shouldn't revert the changes. Like any change on any software, people will complain first, some issues will be solved, and then will adapt and stop complaining.
Nope.
If you want to develop software for critical system(medical appliances, satellites), this should be a must.
The only problem is the cost of implementation. On top of that you also have to account that there are non deterministic problems in Hoare logic, like finding the cycle invariant.
"F1 drivers merely are “along for the ride”"
This is wrong on so many levels.
F1 is a very physically demanding sport.
Their reflexes have to be as good in lap 40 as they were in lap 4.
They need to perform changes to the car in real time, mostly between turns, as they're told.
They need to know how to attack, defend, overtake, save tyres, save fuel.
The difference is that 10/15/20 years ago they did all this without not much data, and now they have much more context to each decision.
That is the problem: programming should be math.
If we view programming as metaphysical, we can never hope to build good software. That will change in the future.
I don't believe that 50 years from now we will be still writing code to fly a plane or run a web app, and questioning ourselves: will it run? will it crash? Does the code does what it is supposed to do? Do these two functions do the same thing?
Certainly as time goes on, programming will be ever more a well defined formal system, so much that big parts of development will just be auto-coded(by machine).
That is why functional languages are so good. They are very close to mathematics, and allow us to build formal systems on top of them, that remove any ambiguity that might exist.
And this is(or should be) one of the reasons why functional programming is so 'hip' now: it allows us to reason about program design using the Algebra of programming.
Of course right now we are stuck with the methods we have to build software. And that means you can have a programming job without knowing much about math, or even using it day to day.
But that will change in the future.
(My humble thoughts on it, based on the views I got from a university class called 'program calculation')