Hacker Newsnew | past | comments | ask | show | jobs | submit | ronlobo's commentslogin

Promising!

Has anybody incorporated an AI into c2rust to do the heavy lifting and learning from the compiler errors to self fix the transpiled code?


I doubt an AI could be trained to do that. Anything that cannot be transpiled mechanically probably requires a human decision which will involve analysis and tradeoffs between objectives that the AI could not know about.


With enough work, anything a human does can be automated. Unless you believe human brain does something non-computable (like e.g. Godel), which makes you a dualist which comes with its own philosophical baggage (how do different types of ontologies interact?).


Sure, the machine could "make a call" and pick a way of doing things, but that machine wouldn't be the one supporting the resulting code for years afterward. Past a certain point, some technical decisions become value judgements because of their impact on humans.


One need not delve into philosophy to observe that, in practice, humans can do many things that we have yet to make machines do successfully. I admit that this is like solving the halting problem by saying "yes" (https://xkcd.com/1266/), for better and worse.

(But seriously, I think it's fair to say "as of 2022, no, AI can't do that")


I agree. The book "Factfulness" by Hans Rosling is an excellent read about the topic.

Yes, growth in economy and population can go on and will likely result in an S-bend curve in the distant future.


Hans Rosling's presentation "Don't Panic" (produced by the BBC) is pretty good:

* https://www.youtube.com/watch?v=FACK2knC08E

It's an hour long; really interesting.


Just AI transpile to Rust: problem solved :D

No seriously, AI will take years to understand the context.

Coding is more about capturing real world knowledge into a functional program. It involves so much learning about how to translate processes, workflow and regulations into a binary that it seems naive to have an AI code generation tool we even can't understand.


Please read this and make up your mind:

https://thebulletin.org/2021/05/the-origin-of-covid-did-peop...

The WHO can't be trusted unfortunately.


They even had to come up with their own security scanner (https://scan.nextcloud.com/). I assume because they don't even trust their own code mess or cause you can f-up your PHP conf in so many ways that your server becomes vulnerable.


Yeah, only PHP software needs audits and quality testing. /s


Yeah it is, don't use it.

All the advancements on PHP are great, it's becoming a JAVA more and more, but likely any PHP legacy apps will never see an upgrade to the latest version. And starting a new project in PHP, nah, there are better more well designed programming languages.


Timescale is what you want to go with in case of RDMSes with audibility in terms of change management over time.

It is the THING.

Thanks the timescale team for making this happening!


The vote was actually quite close, 27:25, which means there are still 25 people that don't get it.

At the end of the day, the rulers realized that there is a huge market and billions to be made in this industry.


>> there is a huge market and billions to be made in this industry.

What canada has found is that this giant market is illusionary. Overall cannabis use has not increased after legalization. The same amount of money is being spent now as before. Yes, there is a slight tax income, but the reality is that people are getting it from the same people they used to. Everyone buys from friends and family just as before. So the government, and all those investors, are not seeing the predicted profits.


"the reality is that people are getting it from the same people they used to"

I've read that the Canadian government mandated that legal cannabis be limited in potency, so that in order to get high potency cannabis people are forced to go to the black market.

Could such potency limits be what's keeping the Canadian black market alive?


No idea. Never been in the market myself. I do hear that the commercial stuff is too expensive. And why pay full price for a plant, a weed, you can grow in a closet? Everyone just knows someone who grows more than they can use themselves. They then sell it to friends for next to nothing.


That's great news and will contribute further to Rusts' adoption.

Large codebases will be able to transcode to language X at some point in the future and I am waiting for the day when it can be done for Rust with projects like https://github.com/facebookresearch/TransCoder/


Wondering if Huawei routers have backdoors backed in as well...


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: