HackerTrans
TopNewTrendsCommentsPastAskShowJobs

petra

3,891 karmajoined 11 ปีที่แล้ว

Submissions

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 points·by petra·7 เดือนที่ผ่านมา·1 comments

comments

petra
·1 ชั่วโมงที่ผ่านมา·discuss
There are plenty of businesses that could be built under current regulations.

It might be a bit Harder, but business is difficult.
petra
·1 ชั่วโมงที่ผ่านมา·discuss
I wonder if they can at least create a small scale NBR factory.
petra
·1 ชั่วโมงที่ผ่านมา·discuss
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
·4 ชั่วโมงที่ผ่านมา·discuss
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
·11 ชั่วโมงที่ผ่านมา·discuss
- 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
·เมื่อวานซืน·discuss
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 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
IDK. i played with Fable. It's coding abilities are really impressive.
petra
·5 วันที่ผ่านมา·discuss
This actually feels like something that could be a popular app on a baby monitor.
petra
·8 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
So every sucsessful company becomes a financing company?
petra
·10 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
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
·15 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
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 วันที่ผ่านมา·discuss
For many business people, money is just a measure of status after becoming rich.

Maybe Noam measures status differently.
petra
·25 วันที่ผ่านมา·discuss
Do you have any information to base that 2035/2040 prediction on? is there any information to base a negative prediction on?