stusmall

I recently ran into a game where online match making was broken in windows, but worked just fine in Linux. I felt like I was trapped in the upsidedown.

It won't be bozo bucks because like you said it has a real value. Having international, anonymous, instant money laundering machine is invaluable. It will take legislation to criminalize people from taking part in the money laundering machine to kill the value. That isn't happening in the next 3 years.

Why would you brag about that? Honestly, to what end? If your goal is to put sand in the gears what difference is there between this and trolling, spamming or just good ol' fashioned DOS?

ChromeOS is popular in schools and for extremely locked down, managed corporate devices.

This reminds me of https://barrelfish.org/

I've had to use valgrind a bit in Rust. Not much but the need is there. It really depends on the product you are working with. Rust is an extremely flexible language and can be used in many spaces. From high level abstract functional code to low level C-like code on a microcontroller. Some use cases would never image using unsafe, some can't live without it. For most FFI to C is just a fact of life, so it comes up somewhere.

When I used it before I was working on a Rust modules that was loaded in by nginx. This was before there were official or even community bindings to nginx.... so there was a lot of opportunity for mistakes.

We use it heavily here at Ditto. It's fantastic.

What in the Sam Hill? This is a new one on me. Does anyone have any reading for their logic of why?

It never became unpopular. It's one of, if not the, leading cause of compromise.

This hot take is made better by the fact that the site in your profile has LE certs

Meanwhile if I see that I just move on. It just isn't practical to have a workable browser with JS whitelisting for the general case. I doubt people who do this actually do any kind of thoughtful review before hitting "accept". It just adds manual toil with limited benefit.

If they are doing meaningful review, I question how much they actually get done in life.

It's wild to see an AI company put out a press release that is basically "hey, you kids wanna see a loaded gun?" Normally all their public coms are so full of optimism and salesmanship around the potential. They are fully aware of how dangerous this is.

1) Love to see this 2) Totally checks out that the woz is still active on /.

Agreed. I'd never hire this embedded system engineer to do graphic design. /s

It has 4WD

I recently learned that being a issue for them was a myth.

https://www.snopes.com/fact-check/chevrolet-nova-name-spanis...

I agree. I can't fit this on my hard drive. I've had this 386 for 30 years. Why should I have to upgrade it just for some text editor?

I never really liked theme parks. They are always noisy, crowded and tacky. When I was in high school we made a family trip to Dollywood on the way to somewhere else. The fact that I remember Dollywood but don't remember our intended destination says a lot.

We all had a blast and didn't expect to love it so much. Just a fantastic place and they are doing a great job.

This comment thread is on an article about how Mongo applies TLA+ models to an implementation. They talk about how they use the model to generate test cases for the application. There are fair criticisms of formal modeling, but that they can't test the implementation isn't one.

I mention in another comment, I ended up not going the TLA+ route. It isn't because it cannot offer this, it's because it's a heavy, opinionated investment. That is a good trade off for some systems, like databases, but not for everything.

I recently took some training on TLA+. I loved the concepts of it. It seems amazingly powerful for prototyping and proving out algorithms/architectures. A big concern of mine was testing models vs implementation and managing the drift. I talked to the instructor a bit about it and he actually pointed to what Mongo was doing as described in the article. There wasn't good off the shelf tooling available to make something similar work for us at our scale without major amount of work.

Where on the other hand, model based property testing gets us a lot of the benefits but drops in more easily. There are great proptest frameworks available in the language we use an the team is already experienced with then. TLA+ is much more exhaustive and powerful, but for the exact project I was looking at the additional cost couldn't be justified by the additional benefit.

I believe we still have some TLA+ work moving forward inside the company but for my product I couldn't justify it.

That shows a misunderstanding of what EEE was. This team was sending changes upstream which is the exact opposite of "extend" step of the strategy. The idea of "extend" was to add propriety extensions on top of an open standard/project locking customers into the MSFT implementation.

Here are some numbers on their user base in real number and dollar amounts: https://www.jetbrains.com/lp/annualreport-2024/

Their tools are wildly popular in many spaces. It isn't for everyone though. It's totally believable in your circle no one uses their tools, but it isn't niche.

One of the defining characteristics of this crop of alt-right, populist nutters is disdain for experts. Doesn't work so well when they need legal or medical advice.

I love how small of a world this site is: https://news.ycombinator.com/item?id=43784538

They directly say what they mean in the article

> The company’s inability to maintain app performance without advertising for even a single day demonstrates the fragility of its market position.

That's wild. I checked my inbox and they are definitely in there with the regular scrum of sales drones sending spam. I wonder what happened and I wonder how I can do the same.

You are spot on. I was loose with my terms. I was thinking safe in the concept of sandboxing the host, but you are spot on, it isn't memory safe.

I'm really excite about this! I've got hopes that WASM/WASI will grow into the dream of the JVM from the 90s. A memory-safe target for development that allows easy of porting and testing across multiple platforms. WASM can, and hopefully will, be for so much more than browsers.

> the seagull guys who come in, declare that their favorite framework will solve everything, and leave are more vulnerable to being replaced by an LLM

Oh no, now I love LLMs.

I think that's a great point. There is a place for outsourcing. Some projects and organizations are well suited for it. Some projects end up only using outsourcing at supplementing some parts of the work. Some can't do it for quality or compliance reasons.

I think we will see something similar with LLMs. There will be areas where it will deliver cheaper and faster. There will be areas where it will deliver nothing but disaster. It'll change the industry but not eat it alive. The folks talking about fully autonomous coding on the near horizon are dreaming.