deterministic

> we invented microservices and started treating those as a silver bullet

Is that actually a thing? All projects I have worked on for 30+ years were monoliths doing just fine thank you very much.

However colleagues are fighting daily battles with an ancient microservices monster. I am very happy that isn't me.

Non paywall version?

I completely agree. The #1 thing you need as a game designer is taste. AI's doesn't have that. It will happily take your low-quality-seen-many-times-before game design idea and generate code for a low-quality-seen-many-times-before game.

> people who want something from me but don't offer anything in return

I see that as an opportunity to negotiate something in return from them. And if they refuse I simply move on.

For the last 10+ years I have routinely auto generated 90+% of the code needed for my work using a custom code generator. Only the biz logic had to be coded by hand.

That doesn't make me a super star or whatever. Just more efficient.

> a 1000-page proof with no possibility of transmission

Have you actually looked at LEAN proofs? They are typically split into small bite size definitions and proofs, making it easy to dive in where you want, and skip what you don't care about, while knowing that you can trust the conclusions.

I personally think that having hundreds of mathematicians working together as a team is a beautiful thing.

I usually run Claude in the background doing less interesting stuff while focusing on what is most important. And I don't constantly check Claude progress. So I can easily stay in focused flow while getting the benefits of Claude.

You control how fast you work and what you tell your manager(s) about how long the work will take.

You need to learn to manage your manager(s). Google it.

I call BS on this. For a LLM to recursively improve itself it would need to (small step) improve the training data and/or (big step) come up with fundamentally new architectures superior to transformers. The small step improvements might be doable. But nobody is making any claims about the big step improvements.

I have used custom code generators for years, generating 90+% of the code needed to write a typical biz application. Claude Code is useful and I use it every day. But it still hasn't beaten the productivity of my code generator.

Something I recently realized:

You can think of a view as a function that computes an output table from N input tables. Kinda like how Excel works but with tables instead of cells. That is extremely powerful.

Impressive work. It's nice to see LEAN being used for real-world algorithms.

> that has revolutionized several areas of computer science

That is quite a claim. I will argue that Categorical Databases most definitely haven't. Any areas where it is true?

Typescript is brilliant and should be carefully studied by anybody introducing a type system to a single typed ("untyped") language.

All good points. I have sent a link to this page to the author of the language (Panzerschrek).

I added your language link to HN and there is a lot of interest:

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

IMHO science, technology, and economics has a much greater impact on history over the long term than any one individual.

An obvious example is the invention of the steam engine.

If I understand it correctly, more advanced logics (based around state transitions) doesn't have this problem (TLA+ etc.)

"The whipping will continue until morale improves"

It would be nice to see a "new" language that actually does something truly new and valuable.

Almost all "new" languages presented on HN are basically slightly different flavours of languages that have been around for a very long time. But without the libraries/documentation/tools etc. needed to make it useful.

The same thing happens because of tools like the Unity/Unreal engine. Lots of low quality barely-more-than-a-demo "games" uploaded to steam. However those games rightly fail to make any decent $ so probably not a problem long term.

> Non-technical middle managers who have not written a line of code in their lives, now feel that the biggest obstacle between them and greatness has lifted.

Or it will turn out we no longer need middle managers because of AI.

Side note: I am pretty sure most companies could fire 50% of middle management and see a dramatic productivity improvement. With or without AI.

Not my experience at all (30+ years of getting paid to deliver software).

Thinking hard (and discussing with experienced colleagues) before writing any code can dramatically speed up your overall delivery time and completely remove whole classes of potential errors.

If you skip the "thinking hard" bit to "go fast" you will probably end up being 10x slower overall.

It doesn't even look like a Ferrari. I am 99.999% sure it will fail.

OK fair enough. That wasn't my intention at all but I can see how it might be interpreted that way.

My comment was more a meta comment on the trap a lot of open source developers fall into thinking that the world will fairly reward them for their work.

Why is it shocking? It is a well documented fact that people very rarely donate $ to open source project they use daily. And if they do it is typically a very low amount.

What is shocking to me is that people give away their work for free and then get upset when they have financial problems. It should be kinda obvious that one leads to the other. Except in unusual cases (Linus for example).

Yes I agree it would be nice if that was not the case. If people were always generous and always did the right thing. However that is not how people operate in general. Pretending otherwise is crazy.

If down voting please leave an argument why.

OK so let me get this:

1. You chose to give your work away for free.

2. You are complaining that you haven't made money from your work.

Is that a fair interpretation of your argument?

If you are being interview by somebody from "HR" and not your potential future boss then it is a massive red flag.