HackerTrans
トップ新着トレンドコメント過去質問紹介求人

petra

3,891 カルマ登録 11 年前

投稿

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 ポイント·投稿者 petra·7 か月前·1 コメント

コメント

petra
·5 時間前·議論
There are plenty of businesses that could be built under current regulations.

It might be a bit Harder, but business is difficult.
petra
·5 時間前·議論
I wonder if they can at least create a small scale NBR factory.
petra
·6 時間前·議論
In cases of emergency, like COVID, is butadiene supply limited or for the right price the US, and in general, the world, could get enough butadiene ?
petra
·9 時間前·議論
I like the effort.

It needs some improvement.

Elon musk is among the top of the list. He is also the founder of companies that created and advanced a lot of technological wealth in the world. A huge contribution.

But it's far from certain that the recent SpaceX stock will create a lot of wealth for retail owners. Maybe even the opposite.
petra
·15 時間前·議論
- the extent to which solutions could be implemented as text: not sure about that. AlphaFold is basically a mechanical/geometrical/Chemical problem. There are other scientific transformer based models.

- the extent which solutions exist online - if you have a strong verification tool, you can generate examples, you can generate feedback, i think you could start with small/smaller prior art

- the extent which solutions could be specified and checked - if you have a lot of priort art, maybe llm's can find the good "patterns" and compare against them, and at least get close to a good results - but you'd still need human verification.
petra
·一昨日·議論
I use Facebook mostly for groups.

Facebook groups have destroyed online forums and with that killed long discussions on the internet.

But sure,somehow Facebook doesanage to suck you in and wate time on bullshit. For that it's awesome.
petra
·5 日前·議論
The story about the contribution of Bell Labs' patents to the world was exciting. And the benefit was certainly much greater than the extra amounts people paid to bell labs.

In 20 years, thinking about llm's contribution to new technologies, to improved accessibility of valuable knowledge, to solving problems.

How would you tell that story?
petra
·5 日前·議論
IDK. i played with Fable. It's coding abilities are really impressive.
petra
·6 日前·議論
This actually feels like something that could be a popular app on a baby monitor.
petra
·8 日前·議論
I agree. It depends on how well the pickup points are located. Often Amazon can win. They also use EV trucks, and create jobs, so there are advantages.
petra
·8 日前·議論
Judging Amazon's social value by delivery efficiency is just wrong.

Amazon's biggest benefit is that anything can be sold there. So now more problems in my life could have a solutions I can buy.

As for the delivery? There are more efficient ways to send deliveries. People can pickup deliveries at work or the gas station on their way home.

People don't care. How is that Amazon's fault?
petra
·9 日前·議論
Designing a secure platform is possible within the EU[1].

[1]They need to use US EDA tools, And manufacture masks but maybe there are tricks they won't need to trust them - like inspecting critical parts of the masks.
petra
·9 日前·議論
So every sucsessful company becomes a financing company?
petra
·10 日前·議論
Maybe, for some projects, instead of generating code with it, it would be useful to generate a plan and the loop(tests/formal verification),because those take much less tokens than a full project, and than use the loop using the older models ?
petra
·14 日前·議論
Setting port forwarding is the wrong ux for this.

It should be something simple like:

-everything is encrypted

- at install I tap my phone on the camera, now my Google account(or something similar) is linked to it as admin.

- on that some simple key management architecture should be built
petra
·16 日前·議論
A large part of the market will be ad based. For that, having the lowest cost inference is useful.

Also for agent doing r&d, cheaper tokens allows doing more, which is always good.
petra
·16 日前·議論
It's great that they found a working business model for a pure r&d lab, and with such awesome results.

I wonder why isn't this more common.
petra
·16 日前·議論
Is there an issue of taste when generating images with AI ? or can we relatively rapidly train people to generate beautiful images with decent amount of variety ?
petra
·23 日前·議論
For many business people, money is just a measure of status after becoming rich.

Maybe Noam measures status differently.
petra
·25 日前·議論
Do you have any information to base that 2035/2040 prediction on? is there any information to base a negative prediction on?