Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Servo is now available on crates.io

servo.org

Post reply on HN
Print view View original

91–100 of 155 posts

Re: Servo is now available on crates.io

#91

Post by skrtskrt »

bawolff wrote: post #63
falcor84 wrote: post #55

Earlier quoted context omitted.

As I see it, the focus should not be about the coding, but about the testing, and particularly the security evaluation. Particularly for critical infrastructure, I would want us to have a testing approach that is so reliable that it wouldn't matter who/what wrote the code.

I dont think that will ever be possible. At some point security becomes - the program does the thing the human wanted it to do but didn't realize they didn't actually want. No amount of testing can fix logic bugs due to bad specification.

AI as advanced fuzz-testing is ridiculously helpful though - hardly any bug you can in this sort of advanced system is a specification logic bug. It's low-level security-based stuff, finding ways to DDOS a local process, or work around OS-level security restrictions, etc.

Re: Servo is now available on crates.io

#92

Post by saghm »

drzaiusx11 wrote: post #37
saghm wrote: post #16

Earlier quoted context omitted.

My understanding is that the original intent of Servo was to be a way to develop features and port them over to Firefox itself (which did happen with at least a few features), and the relatively slower pace of developer is more due to Mozilla laying off everyone who was working on it. (Yes, presumably many of the same people are involved, but I would expect that being able to work on something full time without needi…

My understanding was that from day one the desire was to make a complete "web rendering & layout engine" and only pivoted to shipping smaller sub-components like Stylo (stylesheets) when it appeared to be "taking too long." I followed the project from the early days through the layoffs, but I may be misremembering things.

Interesting, it's certainly possible I was never aware of the super early days.

Re: Servo is now available on crates.io

#93

Post by maxloh »

moron4hire wrote: post #33
mort96 wrote: post #28

Earlier quoted context omitted.

The fundamental problem with Rust versioning is that 0.3.5 is compatible with 0.3.6, but not 0.4.0 or 1.0.0; when major version is 0, the minor takes the role of major and patch takes the role of minor. So packages iterate through 0.x versions, and eventually, they reach a version that's "stable". If version 0.7 turned out to hit the right API and not require backward incompatible changes, releasing a version 1.0 wou…

Personally, I think the 0 major version is a bad idea. I hear the desire to not want to have to make guarantees about stability in the early stages of development and you don't want people depending on it. But hiding that behind "v0.x" doesn't change the fact that you are releasing versions and people are depending on it. If you didn't want people to depend on your package (hence the word "dependency") then why relea…

[dead]

Re: Servo is now available on crates.io

#94

Post by teaearlgraycold »

mort96 wrote: post #54
rafaelmn wrote: post #48

This should be the real benchmark of AI coding skills - how fast do we get safe/modern infrastructure/tooling that everyone agrees we need but nobody can fund the development. If Anthropic wants marketing for Mythos without publishing it - show us servo contrib log or something like that. It aligns nicely with their fundamental infrastructure safety goals. I'd trust that way more than x% increase on y bench. Hire a c…

We do not need vibe-coded critical infrastructure.

Well if the big players want to tell me their models are nearly AGI they need to put up or shut up. I don't want a stochastically downloaded C compiler. I want tech that improves something.

Re: Servo is now available on crates.io

#95

Post by dabinat »

rafaelmn wrote: post #48

This should be the real benchmark of AI coding skills - how fast do we get safe/modern infrastructure/tooling that everyone agrees we need but nobody can fund the development. If Anthropic wants marketing for Mythos without publishing it - show us servo contrib log or something like that. It aligns nicely with their fundamental infrastructure safety goals. I'd trust that way more than x% increase on y bench. Hire a c…

The true solution to this is to fund things that are important, especially when billion-dollar companies are making a fortune from them.

Re: Servo is now available on crates.io

#96

Post by andai »

rafaelmn wrote: post #48

This should be the real benchmark of AI coding skills - how fast do we get safe/modern infrastructure/tooling that everyone agrees we need but nobody can fund the development. If Anthropic wants marketing for Mythos without publishing it - show us servo contrib log or something like that. It aligns nicely with their fundamental infrastructure safety goals. I'd trust that way more than x% increase on y bench. Hire a c…

Replicating Chromium as a benchmark? ;)

Replicating Rust would also be a good one. There are many Rust-adjacent languages that ought to exist and would greatly benefit mankind if they were created.

Re: Servo is now available on crates.io

#97

Post by andai »

mort96 wrote: post #54
rafaelmn wrote: post #48

This should be the real benchmark of AI coding skills - how fast do we get safe/modern infrastructure/tooling that everyone agrees we need but nobody can fund the development. If Anthropic wants marketing for Mythos without publishing it - show us servo contrib log or something like that. It aligns nicely with their fundamental infrastructure safety goals. I'd trust that way more than x% increase on y bench. Hire a c…

We do not need vibe-coded critical infrastructure.

They're getting really good at proofs and theorems, right?

Re: Servo is now available on crates.io

#98

Post by andai »

giovannibonetti wrote: post #80

For those of you using a browser to generate PDFs, the Rust crate you should look into is Typst [1]. Regardless of your application language, you can use their CLI. It takes some time to get used to their DSL to write PDFs, but nowadays with AI that shouldn't take too long. [1] https://crates.io/crates/typst

I keep hearing about this one as a LaTeX alternative. I shall have to take a proper look.

Re: Servo is now available on crates.io

#99

Post by andriy_koval »

mayama wrote: post #85
Talderigi wrote: post #3

Is Servo production-ready enough to replace or embed alongside engines like WebKit or Blink?

It doesn't crash as often as it used to few years ago. JS heavy sites might not work, and layout issues too. And internet gatekeepers cloudflare turnstile doesn't work.

why did it crash? Rust is supposed to be memory safe?..

Re: Servo is now available on crates.io

#100

Post by beepbooptheory »

rafaelmn wrote: post #48

This should be the real benchmark of AI coding skills - how fast do we get safe/modern infrastructure/tooling that everyone agrees we need but nobody can fund the development. If Anthropic wants marketing for Mythos without publishing it - show us servo contrib log or something like that. It aligns nicely with their fundamental infrastructure safety goals. I'd trust that way more than x% increase on y bench. Hire a c…

Oh good, I was worried for a sec that people wouldn't be talking about AI in this thread.
Post reply on HN