HackerLangs
TopNewTrendsCommentsPastAskShowJobs

petra

3,893 karmajoined 11년 전

Submissions

DARPA Backs Effort to Convert C to Rust

cs.wisc.edu
2 points·by petra·7개월 전·1 comments

comments

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
·7일 전·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일 전·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
·9일 전·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일 전·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
·15일 전·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
·22일 전·discuss
For many business people, money is just a measure of status after becoming rich.

Maybe Noam measures status differently.
petra
·24일 전·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일 전·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일 전·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일 전·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일 전·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일 전·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.