Viewing profile — oulipo2

It could still be useful if the spec is roughly as hard as a simple implementation, in case you have automated methods to find more efficient implementations, guided by the constra…

Okay, so it allows to run the same image, but is not CLI-compatible with docker that's what you mean? But is it more / less / equivalently efficient ?

How does it compare to something like OrbStack?

Problem is, usually describing the problem you want to solve *correctly* using formal tool is a task as hard (and often, equivalent to) the implementation. That said, having a form…

[flagged]

On the 1-element monoid it's trivially true

When I say "novel ideas" it means something groundbreaking, indeed, not rehashing common "this is the best practice for a simple CRUD backend"

Exactly, LLM is good at "code inpainting" : define clear structures and goals, and it will fill the boilerplate. But it doesn't work for reasoning and abstraction, so it fails to s…

Yes. Because a few golf course are produced every 10 years / 20 years or so. But people generating videos is going to increase exponentially. So this is going to be a huge differen…

You realize that "golfs are even worse so why people complain" is not a serious argument?

The fact that EVERYBODY here sees it but you, tells you that perhaps you should take a step back and try to understand... it might be YOU who don't get it at all...

Yes, even reworking a classic "infra diagram" with connection between a web browser and a server, but showing it as an animation could be interesting, but those little stories add …

The fact that people in the tech-world don't realize that they are embodying deeply ingrained sexist / toxic behavior is the reason why women aren't more present, and why people li…

Same for Elon and Paypal

If you're using an iPhone, couldn't you automate this by extracting "Live images" which are kind of "mini-videos" around the photo you took?

Interesting, so you can bind a Clickhouse table as an extension to Grafana? Would you make a little Gist / post about it to show?

Interesting, have you also looked at other formal methods, like Abstract Interpretation?

How do you use it for visualization? Do you use ClickStack? or something else?

Meanwhile, the fragile-ego loser Musk is hoarding wealth and trying to destroy the planet

I guess they're getting bought because they had access to a lot of codebases from a lot of companies, and perhaps there's something to mine in those logs...

Okay, now try applying your thinking to abusive healthcare insurance companies and see how well this fares...

Did he... totally miss the point of AOC? She said that no amount of "work" can "earn" billion dollars. So you earn billions through capitalism by rent, through owning companies, an…

We can TOTALLY say that there's a causal link, it's been proven by scientific stories

The frequency and magnitude of the event is directly related to the warming up of climate

Have you heard of "rebound effect"? Sure you can say, individually, one query is not that much... but then it becomes integrated in search engines, so suddenly when there was no qu…