faitswulff

There’s only one of these that I know of (the GE unit), are there any others that you’re aware of?

How would you suggest that people treat them?

I actually don’t care, and I think the community is better off being explicitly welcoming of folks of all kinds.

Is...that Hector Martin's vtuber persona? I was under the impression that they were different people.

I've been using phind almost exclusively because it cites sources in the sidebar and it's free if you use their model. If I need code generated, ChatGPT will generally do a better job, though.

It's been demonstrated that you can make gloves with them.

IIRC this property of fiber optic cables was discovered via cicadas. Previous link on HackerNews: “Cicadas Are So Loud, Fiber Optic Cables Can ‘Hear’ Them”

https://news.ycombinator.com/item?id=38500065

We'll have to wait for it to hit Groupon.

Seems their primary business is leaking into their secondary business

I've used reflog many times, but I'm not sure if this:

> You _really_ have to try to fuck up hard enough that everything is gone

...is still true when using git-lfs, which seems common when using large data sets.

> fusefs tests. Absolutely impossible to do in C. I considered Rust, but went with C++ so they could live in base. They are too closely coupled to fusefs(5) to live out-of-tree.

Can anyone comment on why this is impossible in C?

At what point do you consider living organisms to be conscious? Any threshold is essentially arbitrary.

That’s because this post wasn’t written with the help of LLMs:

> the post you are reading is not just written by myself, but as the tradition in this blog demands, not even re-read or corrected if not for a quick second pass. This way you can see what my written English really is, and if you are curious, compare it with the post about LLMs. The difference is not less than huge.

The post on LLMs reads quite a bit more fluently in English: http://antirez.com/news/140

Valim seems to do a really great job stewarding Elixir initiatives with the help of experts, like his collaboration with Sean Moriarty (author of Genetic Algorithms in Elixir) leading to Nx and now his recruiting Dr. Castagna (a PL researcher) and Guillaume Duboc (PhD candidate) to implement gradual typing.

The author wrote this on reddit:

> What does "Rust-first" mean here? It means not only that both the (micro) kernel and the drivers are implemented in Rust, but also that Rust is the first (and only, at the moment) language that userspace programs can be written in.

> Although technically one can reverse-engineer the Rust-based ABI and the provided Rust toolchain to write apps for Motor OS in e.g. C, that is some work. But standard Rust programs (using standard Rust library, without FFI) will just compile and run - see e.g. https://github.com/moturus/motor-os/tree/main/src/bin/httpd.

> This Rust-first approach is rather unique, as e.g. Redox uses relibc and C-based kernel ABI as the glue...

https://old.reddit.com/r/rust/comments/190znk5/mot%C5%ABrus_...

> According to the article, we'd have to jail Trump and Macron.

Does that make it unworkable?

Why is it absurd? It's already illegal. The only absurd thing is that said authorities or former authorities have faced no significant consequences for it.

No, I can’t. Why do you ask? My point was that it's much nicer to have method names that do what they say instead of the programmatic version of the word "biweekly."

> The link to dementia likely falls in this bucket.

The article I linked to wasn't about covid.

> Some covid infections, just like the cold or the flu, cause symptoms longer than the 5-7 days

That's arguably also terrifying if even common viruses are known to cause long term conditions. Also consider the evidence pointing to a link between viral infection and dementia:

https://www.sciencealert.com/a-study-of-500000-medical-recor...

Tangential, but this is why I still love Ruby's Enumerable module; it has `#select` and `#reject`, as well as the `#filter` method that people from other languages are used to.

Do you happen to have a Nix flake for that egg setup?

For English speakers intimidated by the introduction, the actual talk is in English.

The blog post you link to says it's an unmodified fork. Here's a Ferrous Systems employee saying as much:

> Ferrocene is upstream rustc but with some extra targets, long term support, and qualifications so you can use them in safety critical contexts. This is what was stopping things like automotive companies from moving to Rust for things like engine control units, etc.

> It basically costs some money for the support and the qualification documents, but they will be all you need to prove qualification to any pertinent regulatory body so that your software can be certified for use in a real vehicle or whatever.

> ...Ferrocene is just unmodified rustc

https://old.reddit.com/r/rust/comments/17qi9v0/its_official_...

Basically the value add was to expand the support and documentation, which was required for qualification.

Again...no "standard" needed.

I think you are conflating standards and specifications. Ferrous fleshed out the specification, the description of the 1.68 compiler as-is. That means Rust 1.68 as-is was good enough for ISO qualification. Without a standard.

A standard is a minimum bar for languages to meet in order to be considered compliant. That's not a problem right now because there is, for all intents and purposes, a single canonical compiler and that is not likely to change.

> Not having a language standard disqualifies Rust.

Then explain how Ferrous Systems qualified a stock Rust compiler.

And if you need a ISO 26262 qualified Rust compiler, one exists. Hurrah.

Since you edited your post…simply having a standard won’t immediately qualify the language for those industries. There is only a tenuous link between having a standard and qualifying the language for industrial use.

> For the same purpose that all standards have--to formally define it in writing.

This is tautological. It's equivalent to saying "it needs a standard to be written because it needs a written standard."

I mean what use case is there for Rust language users that isn't already met by the Ferrocene project? And the Ferrocene project is not a standard as in "other implementations will be found lacking," but a description of the 1.68 compiler as-is. That is a specification, not a standard. Ferrous Systems did not need Rust to have a standard in order to qualify the compiler for ISO 26262 and IEC 61508.

Yes, it’s a nuanced blog post. But that also means it doesn’t coming out swinging hard for needing a standard, either. It seems like there is as strong an argument to be made that “Rust is a great language. There is no reason why it needs a standard.”

See the Ferrocene compiler which has been qualified for ISO standards. It’s essentially a standard Rust 1.68 compiler with a lot of added documentation. If you need a Rust compiler for safety critical environments, it’s reasonably priced and requires essentially zero changes to the Rust compiler that they didn’t just upstream. Without a standard.

Yes, it would be nice to have a standard for reducing ambiguity. But does the language need a standard? And if so, then for what purpose?

Mara’s blog post (your first link) says essentially that Rust does not need a standard since it already has means for adding features and maintaining compatibility.

Ferrous Systems has a basically bog standard Rust 1.68 compiler that’s been certified for use in the most safety critical environments: https://ferrous-systems.com/blog/officially-qualified-ferroc...

This happened without a standard.