HackerTrans
TopNewTrendsCommentsPastAskShowJobs

petra

3,893 karmajoined 11 lat temu

Submissions

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 points·by petra·7 miesięcy temu·1 comments

comments

petra
·1 godzinę temu·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
·wczoraj·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 dni temu·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 dni temu·discuss
IDK. i played with Fable. It's coding abilities are really impressive.
petra
·5 dni temu·discuss
This actually feels like something that could be a popular app on a baby monitor.
petra
·7 dni temu·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
·7 dni temu·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 dni temu·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 dni temu·discuss
So every sucsessful company becomes a financing company?
petra
·10 dni temu·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
·13 dni temu·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 dni temu·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 dni temu·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 dni temu·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
·22 dni temu·discuss
For many business people, money is just a measure of status after becoming rich.

Maybe Noam measures status differently.
petra
·24 dni temu·discuss
Do you have any information to base that 2035/2040 prediction on? is there any information to base a negative prediction on?
petra
·24 dni temu·discuss
-And what is the safety data ?

-Musk floats this vision since 2017. Why doesn't the company have a project to seriously develop it?
petra
·25 dni temu·discuss
I'm Israeli. Trump worked with Netanyahu in trying to "convince" the people of Gaza to leave, so Trump could turn Gaza into a vacation resort.

Musk of course used twitter so Trump could get elected.
petra
·25 dni temu·discuss
For most of his sucsessful ideas he had sophisticated investors, VC's, to judge the idea and take the bet(at an early stage).

Would any VC(one without a conflict of interest) invest now, for the long term, based on those visions?
petra
·25 dni temu·discuss
Musk is a genius creating really exciting ideas. No doubt about that.

But as they say,"the devil is in the details"

- Can Starship transport people from London to Sydney safely economically, compared to Boom, which is working on a supersonic passenger aircraft ?

-Why can the boring machine dig tunnel at much lower cost than it's competitors? Maybe it's because the everyone else tries to dig tunnels for trains, which have a much larger diameter than Musk's boring machine, which only fits his "Teslas at a tunnel" concept? And it might be a good idea. Worth a try. But be honest about it.

-Sure, data centers in space probably have some great uses, and I'm happy he's trying, but will they ever be more economical than deploying servers on the ocean? On countries with very cool climate?, powered by new energy technologies?