HackerLangs
TopNewTrendsCommentsPastAskShowJobs

petra

3,893 karmajoined 11 tahun yang lalu

Submissions

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 points·by petra·7 bulan yang lalu·1 comments

comments

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

Maybe Noam measures status differently.
petra
·24 hari yang lalu·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 hari yang lalu·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
·24 hari yang lalu·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
·24 hari yang lalu·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
·24 hari yang lalu·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?
petra
·26 hari yang lalu·discuss
Google's results page isn't well defined. But probably 90%+ of the code below it is well defined.

And in some cases, where the result isnt well defined, it can be learned, so it's not about sitting and thinking what would make sense.