Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
oulipo2
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
oulipo2
2mo ago
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
2.
▲
by
oulipo2
2mo ago
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 ?
3.
▲
by
oulipo2
2mo ago
How does it compare to something like OrbStack?
4.
▲
by
oulipo2
2mo ago
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
5.
▲
by
oulipo2
2mo ago
On the 1-element monoid it's trivially true
6.
▲
by
oulipo2
3mo ago
When I say "novel ideas" it means something groundbreaking, indeed, not rehashing common "this is the best practice for a simple CRUD backend"
7.
▲
by
oulipo2
3mo ago
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&#
8.
▲
by
oulipo2
3mo ago
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
9.
▲
by
oulipo2
3mo ago
You realize that "golfs are even worse so why people complain" is not a serious argument?
10.
▲
by
oulipo2
3mo ago
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...
11.
▲
by
oulipo2
3mo ago
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
12.
▲
by
oulipo2
3mo ago
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 celebra
13.
▲
by
oulipo2
3mo ago
Same for Elon and Paypal
14.
▲
by
oulipo2
3mo ago
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?
15.
▲
by
oulipo2
3mo ago
Interesting, so you can bind a Clickhouse table as an extension to Grafana? Would you make a little Gist / post about it to show?
16.
▲
by
oulipo2
3mo ago
Interesting, have you also looked at other formal methods, like Abstract Interpretation?
17.
▲
by
oulipo2
3mo ago
How do you use it for visualization? Do you use ClickStack? or something else?
18.
▲
by
oulipo2
3mo ago
Meanwhile, the fragile-ego loser Musk is hoarding wealth and trying to destroy the planet
19.
▲
by
oulipo2
3mo ago
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...
20.
▲
by
oulipo2
3mo ago
Okay, now try applying your thinking to abusive healthcare insurance companies and see how well this fares...
21.
▲
by
oulipo2
3mo ago
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, and having other people work for you. And
22.
▲
by
oulipo2
3mo ago
We can TOTALLY say that there's a causal link, it's been proven by scientific stories
23.
▲
by
oulipo2
3mo ago
The frequency and magnitude of the event is directly related to the warming up of climate
24.
▲
by
oulipo2
3mo ago
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 queries at all, now there's 500 billions per da
25.
▲
by
oulipo2
3mo ago
The real point is not "one session", it's the fact that people now do that routinely, that CICD are using those to check every commit, and each search engine query now does that too, so it multiplies
26.
▲
by
oulipo2
3mo ago
Right = "let me do this thing for myself to get ahead, and then forbid everyone else to do the same"
27.
▲
by
oulipo2
3mo ago
That's a global problem everywhere. But when you're traveling locally, you go there for the landscapes / buildings / history / cuisine. Not necessarily to hang out with people on TikTok
28.
▲
by
oulipo2
3mo ago
"The principle is that the agent doesn't need code changes, including skills/MCPs - it just accesses systems." That's why you're having safety issues. The real (and boring, and tedious) way to do it IS to cre
29.
▲
by
oulipo2
3mo ago
It would be able to spawn psql correctly, but wouldn't be able to connect to the database (if it's secured with user accounts). It would only be able to use the database through the MCP (which uses a read-only account to connect).
30.
▲
by
oulipo2
3mo ago
So, why not instead limit your agents to a few endpoints / MCP functions that you control, which give access to your db (or whatever) through read-only permissions? It seems this is a bit like "reinventing permissions" no?
More ›