Viewing profile — choeger

So rewriting gets cheaper and cheaper. New features fall more or less into the same category. Refinement doesn't. The question is: Will we live in the world of breathless re-implem…

Who said that? It certainly helps. Poland has close trade and manufacturing ties to Germany and has rightfully developed from a "cheap" image to "quality that's still affordable" i…

It certainly helps to be neighbor with an economically strong but demographically weak and overly beaurocratic country that hungers for eager, competent workers.

Transformers are great translators. So, yeah, starting with structured output like SVG is probably the best way to start. It should be fairly trivial to fix any logic errors in the…

You seem to have no idea what you're talking about. Type theory is a thing, much older than any compiler. And soundness has a meaning. > It just means type errors are checked at ru…

Dynamic typing is no typing. The point of types is to prove the absence of errors. Dynamic typing just has these errors well-structured and early, but they're still errors.

To me it looks like formal verification is going to be the answer. We're going to move up the ladder and write formal specs and proofs soon.

Clearly, there is a thing missing here: Regulations. If you have strong regulations on how you can make money, you cannot sustainably have biz antagonize user. So in that case biz …

It's much, much, easier to run an LLM than to use a static or dynamic analyzer correctly. At the very least, the UI has improved massively with "AI".

Is it? If "others with AI" deliver what you consume, it should also make it easier to deliver more than you consume because what you consume becomes cheaper. Maybe a part of the an…

If I am not mistaken, the verification is problematic here. It's run too late. A piece of code that satisfies a single test will most likely not be probable to adhere to the spec. …

That would be great, but Rust relies on compile-time monomorphization for efficiency (very much like C++, if you consider templates polymorphic functions/classes). This means that …

I am working with main/master for years now, and there's one problem you don't have with develop: Whenever you merge something into master, it kind of blocks the next release until…

What about device attestation? Will you be able to run banking apps and Netflix et. al.? For me the biggest concern is that while you may be able to use and run your own device, yo…

The panel price doesn't matter. It's the installation and the surroundings (electrical setup, converter, battery) that determine the price nowadays.

> Dad in Victoria Australia just got 10.6kw fully installed and operational for $4000 AUD. ($2,700 USD) How the heck are the panels even installed and connected for that price? Tha…

I think it's important to note that not all collisions are equally dangerous. Consider a sat on a polar orbit colliding with one on a equatorial orbit. Or two satellites on differe…

> but the sociological construct of race, which is what we refer to in this context, obviously exists. I doubt that something built on self-identification yields a meaningful conce…

It starts by believing that there are distinct human races (which there are not). That alone makes most US Americans racist based on language alone. No (sane) German would nowadays…

It's the central point of the metaphor. Software is not constrained by the speed of implementation, it's constrained by the cost of maintenance and adaptation to changing requireme…

You're describing maintenance of existing software or even existing deployments that's a completely different beast. I am certain cost can go down there, but that will only compete…

Thing is: Industrialization is about repeating manufacturing steps. You don't need to repeat anything for software. Software can be copied arbitrarily for no practical cost. The id…

You're absolutely correct! ( ;) ) The issue is that generation of error-prone content is indeed not very valuable. It can be useful in software engineering, but I'd put it way belo…

So maybe I am too much a layperson here, but even without any direct therapetutic effects, it is pretty remarkable to have an easily scalable mechanism to get self-replicating agen…

The answer is type-safety. LLMs produce errors, as do humans. A language with carefully designed semantics and a well-implemented safety checker (or maybe even a proof assistant) w…