Ciro Santilli @cirosantilli 37

All companies with investors are evil, make no mistake.

They may have nice looking save the world charity campaigns, but once you get even close to affecting their revenue stream, the axe falls. The charity is only a publicity stunt to reduce wages.

Some level of government intervention is needed to control investor's greed.

It is just a question of business model: some business models are eviler than others. Making people pay for operating systems being possible the most evil of all.

One thing must be said however. You can learn a lot by working in a good company, because it ends up putting you in contact with practical real problems that you wouldn't otherwise see by just doing your own random low-tech startup. This is especially valuable if said company is also enlightened enough to use and contribute back to open source software, thus improving the world and paying back the moral debt of using other people's work for free.

Another important point to consider is who in the company is evil. In a sane tech company, the lowly engineers are going to be non-evil. And then the more you go up the management chain, the more aligned you have to be with investors, and thus the more and more evil you get. HR is just evil from the bottom though, it's just the nature of their job.

By Ciro Santilli.

To use a prebuilt firmware, you can just use uflash, tested on Ubuntu 22.04:What that does is:

To build your own firmware see: Compile MicroPython code for Micro Bit locally on Ubuntu 22.04 with your own firmware

In v4.2, look under arch/x86/:

There seems to be no structs defined to represent the pages, only macros: include/asm/page_types.h is specially interesting. Excerpt:

arch/x86/include/uapi/asm/processor-flags.h defines CR0, and in particular the PG bit position:

In plain English: the space has no visible holes. If you start walking less and less on each step, you always converge to something that also falls in the space.

One notable example where completeness matters: Lebesgue integral of $L^p$ is complete but Riemann isn't.

It is those early splinter groups that make it so clear that religion is fake. We believed in Judaism. Now we believe in Jesus. Oh, but wait, actually Judaism is now semi fake, and we don't live by Jewish law anymore.

To be fair, this is one of the least worse ones.

In simple terms, if you believe in the Schrödinger equation and its modern probabilistic interpretation as described in the Schrödinger picture, then at first it seem that there is no strict causality to the outcome of experiments.

People have then tried to recover that by assuming that there is some inner sate beyond the Schrödinger equation, but these ideas are refuted by Bell test experiments, unless we give up the principle of locality, which feels more important, especially in special relativity, where faster-than-light implies time travel, which breaks causality even more dramatically.

The de Broglie-Bohm theory is a deterministic but non-local formulation of quantum mechanics.

Alignment is impossible to get right! Tried 3 star, 2 named stars, and neither worked well.

This article is about covert agent communication channel websites used by the CIA in many countries from the mid 2000s until the early 2010s, when they were uncovered by counter intelligence of some of the targeted countries, notably Iran and China, circa 2010-2013.

This article uses publicly available information to publicly disclose for the first time a few hundred of what we feel are extremely likely candidate sites of the network. The starting point for this research was the September 2022 Reuters article "America’s Throwaway Spies" which for the first time gave nine example websites, and their analyst from Citizenlabs claims to have found 885 websites in total, but did not publicly disclose them. Starting from only the nine disclosed websites, we were then able to find a few hundred websites that share so many similarities with them, i.e. a common fingerprint, that we believe makes them beyond reasonable doubt part of the same network.

If you enjoy this article, consider dropping some Monero at: 4A1KK4uyLQX7EBgN7uFgUeGt6PPksi91e87xobNq7bT2j4V6LqZHKnkGJTUuCC7TjDNnKpxDd8b9DeNBpSxim8wpSczQvzf so I can waste it on my foolish attempts to improve higher education. Other sponsorship methods: Section "Sponsor Ciro Santilli's work on OurBigBook.com".

The discovery of these websites by Iranian and Chinese counterintelligence led to the imprisonment and execution of several assets in those countries, and subsequent shutdown of the channel by the CIA when they noticed that things had gone wrong. This is likely a Wikipedia page that talks about the disastrous outcome of the websites being found out: 2010–2012 killing of CIA sources in China, although it contained no mention of websites before Ciro Santilli edited it in.

Of particular interest is that based on their language and content, certain of the websites seem to have targeted other democracies such as Germany, France, Spain and Brazil.

If anyone can find others websites, or has better techniques feel free to contact Ciro Santilli at: Section "How to contact Ciro Santilli". Contributions will be clearly attributed if desired. Some of the techniques used so far have been very heuristic, and that added to the limited amount of data makes it almost certain that some websites have been missed. Broadly speaking, there are two types of contributions that would be possible:The fact that citizenlabs reported exactly 885 websites being found makes it feel like they might have found find a better fingerprint which we have not managed to find yet. We have not yet had to pay for our data. If someone wants to donate to the research, some ideas include:
* dump $400 on WhoisXMLAPI to dump whois history of all known hits and search for other matches. Small discoveries were made like this in the past and we'd expect a few more to be left. We don't expect huge breakthroughs from this, but at only $400 it is not so bad
* dump a lot more ($15k+? needs confirmation as opaque pricing) on DomainTools. We are not certain that they have any superior data since there is no free trial of any kind, but it would be interesting to test the quality of the data they acquired from Farsight DNSDB if you are really loaded

Disclaimers:

May this article serve as a tribute to those who spent their days making, using, and uncovering these websites under the shadows.

This section is about the definition of the dot product over ${\mathbb{C}}^n$, which extends the definition of the dot product over ${\mathbb{R}}^n$.

Some motivation is discussed at: math.stackexchange.com/questions/2459814/what-is-the-dot-product-of-complex-vectors/4300169#4300169

The complex dot product is defined as:

E.g. in ${\mathbb{C}}^1$:

We can see therefore that this is a form, and a positive definite because:

Just like the usual dot product, this will be a positive definite symmetric bilinear form by definition.