csb6

Embarrassing that they even attempted to do this. It shows major ignorance of fundamental Catholic beliefs. Why would the Pope take a millenarianist AI religion that worships technology and the gospel of VCs seriously?

People in the same party are not always aligned. Representatives want to get pork for their district, so to get their vote you need to do something for them, e.g. route the high speed train through their district even if that is not the most optimal route.

Agreeing on low-cost housing or high speed rail in the abstract is not enough to form a coalition to implement them.

I think it is more accurate to think of them as syncretic. (that is what Wikipedia has them listed as) Their main focus seems to be on nationalism/anti-immigration rather than socialism. Many fascist parties historically flirt with socialist policies as a way to make inroads with working class voters so it is not always straightforward.

What is causing the recent jump in new arbitration agreements? I have gotten emails from Google, Amazon, Venmo, various credit card companies, and now FreeTaxUSA in the last few weeks with very similar policy changes.

The idea of a copy with no original is even more relevant than when the book was first published as it has become possible to use AI to generate fake images. (e.g. the million "Look what they took from you" slop accounts on Twitter that post nostalgic images of "traditional values" with clear anachronisms or inaccuracies)

Current events have also been increasingly defined by fake images or videos that can be made very realistic-looking at first glance. There doesn't seem to be any effective mechanism to stop these kinds of lies from spreading. Social media incentivizes this content and whatever fact checking or correction that comes after is too slow to reverse the effects of the misinformation.

> All a country has to do to find itself on the receiving end of punishing Chinese trade actions is being mildly critical of China in the wrong way, and next thing they know their exporters to China report being held up for months.

If Donald Trump feels personally slighted by a country, he will put massive tariffs on them or threaten to invade them. At least China doesn't have an erratic mad king.

A wildfire prediction market seems like a spectacularly bad idea. Essentially incentivizing arson.

Does anyone more familiar with Hurd know how they addressed performance issues encountered by other Mach-based kernels? I remember reading that one of Mach's bottlenecks was validating that each IPC message had proper permissions/access when sending them between processes due to the large number and frequency of messages.

They do it because they get a dopamine hit from doing it, have superstitious beliefs, or have delusions that they can predict events they have no information on.

Interested if you believe insider trading of stocks should be legal - aren't insiders just providing the market with more information about that stock?

So what is the rational reason someone who isn't a subject matter expert (assuming that's what you mean by SME) to bet in prediction markets? The platforms appear to be marketed to the general public to be used casually as a way to make quick money.

Someone who is a "subject matter expert" (and given how specific many of these predictions are, being an expert usually means you are an insider with non-public information) can indeed make money as long as a bunch of idiots with worse information place bets thinking they know the outcome. This is considered to be a crime when done with other securities.

I think a lot of it was driven by the Chernobyl disaster, which was a massive environmental and health catastrophe. But plants today are vastly safer than Chernobyl due to better design and processes, which I think anti-nuclear people haven't realized.

The post you linked to seems to jump to conclusions, to say the least. For example:

> One probable outcome of an unsafe-language-dominant world is full Andrew communism, which is precisely what Andrew “Smelley” Kelley proposes: abolish ICE and replace the market economy with a globally distributed network of community-maintained allocators.

> Rather than a commercial product, software becomes a “public good,” ultimately provided by the Zig Software Foundation as manually managed digital infrastructure.

Calling him "smelley"? Really? Pulling in the political views of the founder of a language and claiming that they inform his language design as part of a grand conspiracy against Rust/capitalism? Where are they getting all of this? Free, open-source compilers and related tooling (both of which Rust and Zig have) are already public goods managed by global communities of mostly volunteers

> This future strikes me as a dystopian hellscape, but I have never met an unsafe-language advocate who could explain how this ecosystem is supposed to sustain itself without unpaid maintainers, ideological volunteers, subsidized infrastructure, and endless donations to compiler projects that still cannot protect users from basic memory errors.

How is Rust any different than Zig in this respect? Both are projects largely run by nonprofits relying on communities to promote, maintain, and improve them.

Frankly, that entire "Institute for Type Safe Memetic Research" seems like either an elaborate satire or an account run by genuinely insane people who think type and memory safety are paramount societal issues.

Laughable to imply that an individual retail investor will have any say or influence on a corporation as large as SpaceX in which Musk has a controlling stake.

There doesn't seem to be information on who else was involved in the scheme. Was the Falun Gong organization involved? Who were the people/organizations that he was laundering money for?

Yes, it has generics. The syntax is Pascal-like, which some people used to C-family languages dislike but I personally find nice. Performance can definitely match performant C code. (intended use cases include real-time systems and embedded devices)

The language overview can be found here: https://docs.adacore.com/spark2014-docs/html/ug/en/spark_201...

For people looking for other languages with statically checked contracts, you might want to check out SPARK, which has been around in some form since the late 1980s. It is a subset of the Ada language and had been used for safety critical code in aerospace and defense projects, as well as for some Nvidia firmware.

It also uses Z3 to discharge proof obligations generated by the contract annotations, and it lets you use swap out different theorem provers as backends.

The GNAT Ada compiler (which is part of GCC) allows you to turn off the dynamic safety checks that are usually inserted into Ada programs at build time so you can optionally remove them if they are proven unnecessary.

Here are some resources for comparison:

- https://www.adacore.com/languages/spark

- https://learn.adacore.com/courses/intro-to-spark/chapters/01...

> In a podcast segment about immigration and deportations Allard stated his opinion and said that "They will also be forced to leave, even if they are born in Sweden, because they have no natural connection to Sweden. They are not Swedish."

Seems pretty cut and dry

They have definitely done a lot of marketing through social media and forums like HN. There have been large numbers of posts here by Zig's developers for years, and a few releases of LLVM even mentioned Zig prominently in their release notes.

"Real excesses" is a bit of an understatement. There is the security theater instituted by the TSA, the militarization of police, normalized Islamophobia, mass surveillance of U.S. citizens, torture as an official military policy, indefinite detention of "unlawful combatants", a trillion dollars spent destroying Iraq and Afghanistan, a million killed and many more made refugees. The rise of ISIS and the refugee crises in Europe can be traced back to the War on Terror. The Middle East should not be the punching bag for America to take out its "crazy" feelings (where "craziness" appears to be a polite way of saying "bloodlust").

That is a rather narrow definition of checks and balances. The term can be applied to any group of organizations where each organization has power and interest to limit the power of the others.

If you want view ticket pricing as a pure economics problem (it is not), consider that live shows are also a way to build up and expand a fanbase. If only a handful of rich people (or people who bought tickets the second they went on sale) are at your show, you are not expanding your audience. Since streaming has decimated most artists' income from record sales, it makes sense to try and build a large fanbase who will regularly come to shows as well as buy merchandise. Tours often have exclusive merchandise than fans will want to buy, so all the more reason to attract more people.

As a side note, this notion that a phenomenon being the result of market forces means it is fair and has no issues seems to be a blinkered view of the world. Surely enjoying high quality art should be possible for a broad section of society?

I have no qualms with him deciding to step away from developing Zulip or setting up a foundation. My qualms are with his choice to work for an AI company when someone of his experience could easily have found a job working somewhere else. Public figures should be subject to criticism of their ethical choices when they make bad ones.

If he thinks working for Anthropic is a good "cause" to devote his time to then that is also very disappointing. That would make him either very delusional as to the effects of Anthropic's work or naive in what he can achieve as their employee.

> Over the last few months, I’ve been reflecting deeply on the myriad ways in which AI is changing the world, and how it might change the world in the future. And I came to the conclusion that it’s vitally important that we navigate this strange adolescence of technology well, and that I should contribute to this cause more directly than I ever could as the CEO of Kandra Labs.

The compensation for a senior developer at Anthropic is also certainly much better than a FOSS nonprofit - I'm sure that had nothing to do with his reasoning.

Sad to see yet another longtime open source developer begin working for AI companies that disregard free software licenses for their training and enable the deluge of low quality AI pull requests that waste maintainers' time.

In the United States, "college" and "university" are generally used interchangeably. I absolutely agree with your second point and the shift has been going on so long that people are genuinely baffled by the idea that college should not just be "white-collar vocational school"

The FAQ was mostly written before C++11 with some updates since then. I don't think he is rewriting every code snippet to match modern styles. It is an enormous FAQ and not meant as an introduction to the language.

This whole gerrymandering war really shows the tremendous dysfunction of the American political system. A state legislature's ruling party has such a strong incentive to gerrymander that it is extremely hard to pass reforms such as independent redistricting commissions. (my state is lucky enough to have citizen ballot initiatives that can bypass the legislature, but not all states have that process)

In a functioning system the U.S. Supreme Court would step in and check the power of all legislatures to gerrymander, ending the tit-for-tat redistricting, but this Court has instead chosen to fan the flames by reducing barriers to gerrymandering. (whether racial or political party based)

I wouldn't be surprised if they strike down independent redistricting commissions in a future case given their recent decisions on independent agencies. The 5-4 decision in Arizona State Legislature v. Arizona Independent Redistricting Commission likely wouldn't be decided the same today given the changes in the court's composition since 2015. So it goes.

I've never understood that stance because surely the mere threat (even implied) of a sponsor removing thousands in funding would be enough to exert influence on the project.

The sponsor money is used to pay developers to work on Ladybird so a major sponsor pulling out could mean laying off core developers, which the project would obviously be motivated to prevent.

I am skeptical billionaires will actually leave their mansions in Malibu or Santa Barbara in any significant numbers just because of higher taxes they can easily afford to pay.

Ada 83 did have generics - maybe you meant OOP support? That wasn't added until Ada 95.