Hacker News: csb6

New comment by csb6 in "Anthropic tried to persuade Pope that AI could be conscious being"

csb6 — Sat, 03 Oct 2026 20:40:27 +0000

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?

New comment by csb6 in "California's High Speed Rail to Nowhere [video]"

csb6 — Wed, 16 Sep 2026 18:30:38 +0000

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.

New comment by csb6 in "Shutting down our public encrypted DNS"

csb6 — Fri, 04 Sep 2026 22:12:46 +0000

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.

New comment by csb6 in "FreeTaxUSA's Binding Arbitration Agreement"

csb6 — Fri, 04 Sep 2026 21:46:50 +0000

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.

New comment by csb6 in "Simulacra and Simulation"

csb6 — Thu, 20 Aug 2026 02:58:30 +0000

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.

New comment by csb6 in "People are worried about America's solvency"

csb6 — Tue, 18 Aug 2026 01:27:55 +0000

> 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.

New comment by csb6 in "Senators demand crackdown on wildfire "prediction market" bets"

csb6 — Wed, 05 Aug 2026 23:43:19 +0000

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

New comment by csb6 in "GNU Hurd News 2026-Q2"

csb6 — Wed, 05 Aug 2026 19:29:49 +0000

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.

New comment by csb6 in "Senators demand crackdown on wildfire "prediction market" bets"

csb6 — Wed, 05 Aug 2026 19:21:36 +0000

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?

New comment by csb6 in "Senators demand crackdown on wildfire "prediction market" bets"

csb6 — Wed, 05 Aug 2026 19:01:36 +0000

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.

New comment by csb6 in "Baseload Is a Myth (2024)"

csb6 — Wed, 29 Jul 2026 18:06:21 +0000

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.

New comment by csb6 in "Claude Code uses Bun written in Rust now"

csb6 — Sun, 19 Jul 2026 23:09:08 +0000

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.

New comment by csb6 in "SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth"

csb6 — Sat, 11 Jul 2026 16:53:47 +0000

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.

New comment by csb6 in "Ex-Epoch Times CFO pleads guilty in $67M multinational money laundering scheme"

csb6 — Thu, 09 Jul 2026 23:18:01 +0000

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?

Gnat: The GNU Ada Compiler (2004) [pdf]

csb6 — Wed, 01 Jul 2026 19:40:50 +0000

Article URL: https://www.adacore.com/uploads/books/gnat-book.pdf

Comments URL: https://news.ycombinator.com/item?id=48752095

Points: 8

# Comments: 0

New comment by csb6 in "Show HN: Salt – a systems language with Z3 theorem proving in the compiler"

csb6 — Wed, 01 Jul 2026 19:34:22 +0000

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...

New comment by csb6 in "Show HN: Salt – a systems language with Z3 theorem proving in the compiler"

csb6 — Wed, 01 Jul 2026 19:13:25 +0000

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...

New comment by csb6 in "The CEO of Mullvad is the main financer of the Swedish Örebro party"

csb6 — Mon, 29 Jun 2026 19:26:40 +0000

> 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

New comment by csb6 in "Zig's new bitCast semantics and LLVM back end improvements"

csb6 — Thu, 25 Jun 2026 17:36:54 +0000

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.

New comment by csb6 in "The war on terror primed America for autocracy"

csb6 — Wed, 24 Jun 2026 04:16:10 +0000

"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").