HackerTrans
TopNewTrendsCommentsPastAskShowJobs

petra

3,893 karmajoined 11 years ago

Submissions

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 points·by petra·7 months ago·1 comments

comments

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

Maybe Noam measures status differently.
petra
·24 days ago·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 days ago·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 days ago·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 days ago·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 days ago·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?