Hacker News: oulipo2

New comment by oulipo2 in "Automating AI Away"

oulipo2 — Tue, 07 Jul 2026 21:34:27 +0000

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 constraints of the spec

New comment by oulipo2 in "Show HN: Davit, a Apple Containers UI"

oulipo2 — Tue, 07 Jul 2026 21:32:58 +0000

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 ?

New comment by oulipo2 in "Show HN: Davit, a Apple Containers UI"

oulipo2 — Tue, 07 Jul 2026 20:12:25 +0000

How does it compare to something like OrbStack?

New comment by oulipo2 in "Automating AI Away"

oulipo2 — Tue, 07 Jul 2026 18:38:09 +0000

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 formal description is useful

New comment by oulipo2 in "When 2+2=5"

oulipo2 — Mon, 06 Jul 2026 14:32:33 +0000

On the 1-element monoid it's trivially true

New comment by oulipo2 in "Working With AI: A concrete example"

oulipo2 — Wed, 01 Jul 2026 07:34:48 +0000

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

New comment by oulipo2 in "Working With AI: A concrete example"

oulipo2 — Mon, 29 Jun 2026 21:57:36 +0000

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 synthesise and propose novel views. But that's integral to the way it's designed and has been trained, to do a kind of "averaging" which limits it's capacity to explore novel designs

New comment by oulipo2 in "Data centers trigger voter backlash"

oulipo2 — Mon, 29 Jun 2026 11:43:18 +0000

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 difference

New comment by oulipo2 in "Data centers trigger voter backlash"

oulipo2 — Fri, 26 Jun 2026 21:33:43 +0000

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

New comment by oulipo2 in "Markdy: Like Mermaid Diagrams, but for Motion"

oulipo2 — Thu, 25 Jun 2026 10:43:13 +0000

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...

New comment by oulipo2 in "Markdy: Like Mermaid Diagrams, but for Motion"

oulipo2 — Thu, 25 Jun 2026 10:42:25 +0000

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 very little

New comment by oulipo2 in "Markdy: Like Mermaid Diagrams, but for Motion"

oulipo2 — Thu, 25 Jun 2026 10:41:25 +0000

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 like Musk or other sociopaths have been celebrated by this community, while the rest of the world hate them...

New comment by oulipo2 in "Mark Zuckerberg directed Meta to create a prediction markets app"

oulipo2 — Tue, 23 Jun 2026 18:29:42 +0000

Same for Elon and Paypal

New comment by oulipo2 in "Help I accidentally a wigglegram"

oulipo2 — Mon, 22 Jun 2026 09:02:36 +0000

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?

New comment by oulipo2 in "Ten years of ClickHouse in open source"

oulipo2 — Fri, 19 Jun 2026 15:58:34 +0000

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

New comment by oulipo2 in "Show HN: Talos – Open-source WASM interpreter for Lean"

oulipo2 — Fri, 19 Jun 2026 12:52:29 +0000

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

New comment by oulipo2 in "Ten years of ClickHouse in open source"

oulipo2 — Fri, 19 Jun 2026 11:11:31 +0000

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

New comment by oulipo2 in "The founder of Craigslist has given away half a billion dollars"

oulipo2 — Thu, 18 Jun 2026 21:19:27 +0000

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

New comment by oulipo2 in "SpaceX Is Buying Cursor"

oulipo2 — Tue, 16 Jun 2026 14:16:43 +0000

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...

New comment by oulipo2 in "How to earn a billion dollars"

oulipo2 — Sun, 14 Jun 2026 20:55:26 +0000

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