"Another downside is that Fil-C is not compatible with libraries in binary form, it requires a re-compile."
My gut tells me this is only going to work for a relatively small part of the existing C code in production.
Recompiling old C with new compiler is fraught with risks.
Suppose the graph admits only 4+ colorings, but when attempting a 3-coloring it's possible for only one edge to be misaligned. Then (A) you need O(n_edges) calls to the oracle to gain any confidence about the 3-colorability of a 3-colorable graph (else you might be easily duped by the one misaligned edge), and (B) in so doing, you learn almost all of the structure of the graph (since you have way more random calls than there are edges).
Restating, not only is the ZK algorithm slow, but by the time you have confidence in the ZK proof you also have additional knowledge about the structure whose properties you're proving.
not really. Suborbital vehicles achieve orbital heights. It's actually probably easier since you don't need a payload. The velocity alone will do the trick.
I've been messing with sandboxing using "bwrap" for random itch.io games I download to play and it isn't trivial to get it working with least privileges. I have so far been unable to get "Microlandia" to run, but other Unity games are running just fine under "bwrap". I am excited to see more Landlock tools emerge that make this task easier.
Interesting study but it sounds like the satellite was captured in the early 1990s, exhibited in a museum for a decade or two, and only x-rayed in 2016. I’m not sure if the defects they found can be attributed to the space environment or wear and tear from sitting in a museum.
I sometimes have the same recurring dream that the internet was unmonetizable by advertisements. It's a semi lucid one where it's used for it's initial purpose just in a lot more forms. Before, the cost of operating a website was a badge of honor to say "I did that", now its a numbers game. Get as many people in as possible solely to sell them advertisements.
As a business they would be negligent on their duty to shareholders (coming IPO) not to go down this advert route, and I will say it now, it will be FAR more profitable than paying customers.
I think the only place I'd seen voting that wasn't just up or down was Slashdot, and all that did was let the user adjust weights for the dimensions. I do miss their voting though.
I've never understood open sourcing something, but only if I like you. The answer is to have proprietary license that you only give out to select users/companies.
Well, as a college student planning to start a CS program, I can tell you that it actually sounds fine to me.
And I think that teachers can adapt. A few weeks ago, my English professor assigned us an essay where we had to ask ChatGPT a question and analyze its response and check its sources. I could imagine something similar in a programming course. "Ask ChatGPT to write code to this spec, then iterate on its output and fix its errors" would teach students some of the skills to use LLMs for coding.
Isn't every distro a custom distro, by definition?
Anyways, I get that this is a "risk" to consider, but installing a new distro isn't so bad that it should prevent one from trying and using a currently extant distro if it works for them.
> Notable examples are that we are paying more in Interest than for military at the federal level,
It is interesting to me that the party that runs on fiscal responsibility is the one that runs the highest deficits despite having a lower amount of GDP growth.
This is the right book for a beginner on the bronze age, because it tells you the importance of tin and who was supplying it (and horses) to the large and well-known cities like Mesopotamia. There are a lot of comments today about, "wow, the ancients were more advanced than I thought," but this book will have you understand that steppe pastoralists were much more advanced than you thought.
And when did Framework do anything like that in relation to this issue?
They just sponsor the Rails Foundation.
GitHub sponsors them too, are you gonna boycott them until they apologize?
How many people on this forum truly believed that supporting GNU while Richard Stallman was a part of it was making an endorsement of his unsavory actions?
This toxic Twitter drama stuff involving everything being a black or white issue with no nuance is so off-putting.
The reason we are disagreeing so much is that we can’t agree on what defines a political statement.
Take your view on Tesla as an analogy to this:
I don’t like Teslas and I don’t like Elon but they sell so many vehicles per year that it’s a statistical impossibility for all their owners to automatically be Nazi sympathizers. The Model Y sells almost as many units as the RAV4. A whole lot of Tesla owners don’t even know who Elon Musk is. Most people are not connected to any of this stupid Twitter drama.
Framework hasn’t engaged with this guy in any way that goes beyond technology. They sponsor the rails foundation (not the distro) and maybe gave the dude a dev machine.
You call this an open political statement, but I would say it’s the opposite. And now the Framework CEO is being cornered to make a political statement when he never intended to make one in the first place.
It’s not like Framework donated to “The DHH Political Foundation for Racism.”
Reminds me of the Twilight Zone episode where the aliens visit Earth and someone on Earth snags a book from them with the title "To Serve Man." The rest of the book is written in the alien language. Everyone is excited because they think it means "we are here to serve you to make your lives better." At the end of the episode someone figures out the book is a recipe book about how to cook humans.
If you look around the table and don't know who the mark is it's probably you.
My gut tells me this is only going to work for a relatively small part of the existing C code in production. Recompiling old C with new compiler is fraught with risks.