Earlier quoted context omitted.
There are literally formally verified language transpilers out there today. They can get you 100% coverage without "cheating" like LLMs tend to do by modifying test suites to pass, etc. I'm currently using an LLM in my day job to accelerate such a 1:1translation, and it's certainly "working"/making progress but God I wish I had a formally verified machine translator instead of this probalistic bullshitting LLM. Don't…
I mean No-one is forcing you to not use a transpiler right? If it was quicker to use one or build a specific, limited one for your existing codebase and run it then you would certainly have done that already.
Rewrite Bun in Rust has been merged
751–760 of 822 posts
Re: Rewrite Bun in Rust has been merged
#752Earlier quoted context omitted.
Even before the advent of LLMs, I have personally (and largely successfully) translated several production systems from one language to another. I've learned it's best to start with a mechanical translation, literally bug for bug, leaving shit exactly as I found it (just in another language.) I've done Perl to Java, Java to Kotlin, Python to Ruby, Ruby to Java, C to Swift, you name it. It's only when you change behav…
"Load bearing bugs"
Re: Rewrite Bun in Rust has been merged
#753Earlier quoted context omitted.
This is really poor form given that Anthropic is going around getting all kinds of public goodwill for finding CVEs in other people’s products.
Yeah! Why would the company that stands to make themselves look better in front of an IPO do such a thing?! Next thing you're going to tell me was that this whole rewrite was another marketing ploy to help potentially turn themselves in multi-millionaires!
Re: Rewrite Bun in Rust has been merged
#754Earlier quoted context omitted.
The person who wrote the code reviewed it as a part of writing it and going through the PR process.
You think Jarred reviewed 1M lines of code in 9 days?
Re: Rewrite Bun in Rust has been merged
#755Earlier quoted context omitted.
Most people do use LLMs, which is why they have the so-called pessimistic opinions they do.
Judging by most public comments, people are really mediocre at using them. I don't get how it's possible to get such poor results from them.
Otherwise, you would have known.
Unless you don't have experience and you believe the whole "You are right! it _is_ a and not b" bs...
Re: Rewrite Bun in Rust has been merged
#756Earlier quoted context omitted.
I bet the blog post will make no mention of pressure from anthropic to do this and instead will celebrate the fact that “it passes all tests”, of course omitting how many tests were modified to forcibly pass
Do you have any proof Anthropic pushed for this? Because the author has been clear this was an experiment they wanted to test out on their own, only when it seemed to be in a working state did they consider, okay maybe this might work for us.
Re: Rewrite Bun in Rust has been merged
#757Say what you want, but for people building products on Bun, this is bad news for the foreseeable future.
Re: Rewrite Bun in Rust has been merged
#758Earlier quoted context omitted.
This is a huge problem regarding the specifics of ai. Tech is becoming very adversarial as a worker, since marketing and technical information are blurring lines more and more.
Influencers are getting paid to promote ai for 10s of thousands of USD. This is one the reasons social media has been swamped with it lately.
Look also at the hate spread against UE5… It’s everywhere and half of the arguments are falsehoods made by influencers with no real experience in the industry…
Re: Rewrite Bun in Rust has been merged
#759Earlier quoted context omitted.
While this is true, it's also true that few people have the budget to spend a bunch of tokens on porting bun over to rust.
And yet we have stories[0] of companies judging merit on tokens used. Rather than using these tokens to do rewrites that have the potential to massively improve the day to day, they're just burnt for the sake of burning them. It's individual initiative, and company culture that are at play as much as budget. 0: https://news.ycombinator.com/item?id=48110529
> It's individual initiative, and company culture that are at play as much as budget.
I agree, but parent comment was insinuating that gp could just use an llm to verify their hypothesis, which is what I was attempting to point out in my comment. The tool isn't out of reach, but not everyone has employer sponsored LLM plans.
Re: Rewrite Bun in Rust has been merged
#760Earlier quoted context omitted.
Plus I seem to recall the Rust community solved this issue by making tooling that proofs if unsafe code is truly unsafe, I remember one of the concurrent frameworks got scanned and people freaked out, the creator was about to abandon ship entirely as a result, don't recall what fully came of it. Anyway my overall point being, if there's already tooling to find the truly unsafe / bad code, it might make fixing it simp…
There is no Rust tooling that tells you if your unsafe code is shit or not. If there was you wouldn't need the unsafe stuff at all. The Actix web stuff was the maintainer using unsafe code to increase performance (iirc, it was a long time ago) in what was the most popular rust web frameworks at the time. It has since declined and been supplanted by other projects but the push was mainly a web framework shouldn't need…
For Actix web he was using “unsafe” to increase performance. That doesn’t mean the code written was unsafe… The Rust community was turning to a cult on this topic when perfectly experienced C++ can write code would need the unsafe in Rust when they perfectly know the code isn’t. It’s good for the community to push people to avoid to use unsafe but not to that extend of drama and bullying…