How to view only posts by followed on Facebook feed? Updated +Created
Circa 2023, the feed is an unbearable list of stupid suggestions, never-ending idiotic memes, and you just end up missing posts you actually care about from people you actually follow.
This was one of the only bad experience Ciro had at Polytechnique, besides the inevitable fear of not graduating.
Ciro wanted to do a robotics internship in Germany, linked to his interests in artificial general intelligence, see also: Section "Ciro's 2D reinforcement learning games".
But the head of the applied mathematics department Polytechnique prevented him from going because Ciro didn't have the necessary grades, even though the Germans had already agreed to it: he had a C, but he needed a B. As mentioned at École Polytechnique, most Brazilians had crappy grades due to their Polytechnique-incompatible background.
This was done because in the past students with bad grades had abandoned their internships halfway and given foreigners a bad impression of Polytechnique.
It is impossible to say if the head of department really agreed with this bullshit policy, or if it was something beyond his powers and he hid his true opinion, but it felt like the agreed.
What an extremely limited view!!!
To leave the worse, the worse. To assume that grades mean anything!
And thus Ciro had to choose a last moment internship that he hated, rather than becoming the greatest roboticist that ever lived, and did terribly at it.
At least on the other hand Ciro learnt Python instead of working at the internship, and became the greatest programming tutorial writer that ever lived. Maybe.
Bitmessage Updated +Created
TODO evaluate. No pip install???
Path integral formulation Updated +Created
This one might actually be understandable! It is what Richard Feynman starts to explain at: Richard Feynman Quantum Electrodynamics Lecture at University of Auckland (1979).
The difficulty is then proving that the total probability remains at 1, and maybe causality is hard too.
The path integral formulation can be seen as a generalization of the double-slit experiment to infinitely many slits.
Feynman first stared working it out for non-relativistic quantum mechanics, with the relativistic goal in mind, and only later on he attained the relativistic goal.
TODO why intuitively did he take that approach? Likely is makes it easier to add special relativity.
This approach more directly suggests the idea that quantum particles take all possible paths.
ROCm on Ubuntu Updated +Created
Tested on Ubuntu 23.10 with P14s:
sudo apt install hipcc
git clone https://github.com/ROCm/HIP-Examples
cd HIP-Examples/HIP-Examples-Applications/HelloWorld
make
TODO fails with:
/bin/hipcc -g   -c -o HelloWorld.o HelloWorld.cpp
clang: error: cannot find ROCm device library for gfx1103; provide its path via '--rocm-path' or '--rocm-device-lib-path', or pass '-nogpulib' to build without ROCm device library
make: *** [<builtin>: HelloWorld.o] Error 1
Saint Seiya Updated +Created
This was THE craze thing in Brazil before Pokemon, it was shown from 1994 to 1997. In particular the collectible action figures! It was possibly more popular in Brazil than e.g. in the US: www.quora.com/Why-was-Saint-Seiya-so-popular-in-Brazil
The thing as quite violent, rated for 14-year olds, but no one gave a fuck, 7 yo Ciro was happily watching it. We protect children too much.
That series also had quite a religious feel to it (as obviously suggested by the series English name itself). It must also have been a great motivator to getting young kids into astronomy!
Ciro's favorite character was definitely Andromeda Shun. He was smart and thoughtful, and had the coolest most complex weapon: his chain whips. He's also a bit effeminate, with his pink clothing and a gentle way. Perhaps that is the reason for adult Ciro's mild fascination with the Andromeda Galaxy.
The English name is horrendous... the Portuguese/French name is so much better: Knights of the Zodiac! Saying this in English just reminded Ciro Santilli of the Zodiac Killer. But nevermind.
Immune system Updated +Created
A cool thought: bacteria like E. Coli replicate every 20 minutes. A human replicates every 15 years. So how can multicellular beings possibly cope with the speed of evolution of parasites?
The answer is that within us, the adaptive immune system is a population of cells that evolves very quickly. So in a sense, within our bodies there is fast cell-level non-inheritable evolution happening daily!
Id est Updated +Created
GNU Taler Updated +Created
Centralized system that still attempts some level of privacy.
In it, a central bank issue tokens that are stored offline in your cell phone, a bit like cash bank notes.
When you take those tokens, a corresponding amount gets removed from your bank account, a bit like cash bank notes.
When a transaction is made, tokens are put into a spent token list via central API, and cannot be double spent thereafter. The corresponding ammount is then added to the bank account of the receiver. This also means that offline transactions are not possible.
When emitting, the bank signs the token with their private key. When spending, the bank checks that signature.
How do we prevent the bank from logging which token goes to which user besides trusting that they are running the software we whink they are running? Notably, couldn't timing be used to identify that?
Carleson's theorem Updated +Created
The Fourier series of an function (i.e. the function generated from the infinite sum of weighted sines) converges to the function pointwise almost everywhere.
The theorem also seems to hold (maybe trivially given the transform result) for the Fourier series (TODO if trivially, why trivially).
Only proved in 1966, and known to be a hard result without any known simple proof.
This theorem of course implies that Fourier basis is complete for , as it explicitly constructs a decomposition into the Fourier basis for every single function.
TODO vs Riesz-Fischer theorem. Is this just a stronger pointwise result, while Riesz-Fischer is about norms only?
Node.js Updated +Created
WellSync, if you are gonna useSync this wonky language thing inSync one place, you might as well useSync it everywhereSync and make it more decent. See also: how to convert async to sync in JavaScript.
Monaco (editor) Updated +Created
However also at the same time very limited integration with vscode, that makes using it for VScode compatibility almost useless, e.g.:
Ciro Santilli's mother-in-law Updated +Created
Immortalised cell line Updated +Created
Image editor Updated +Created
Yohei Nakajima Updated +Created
He does lots of little experiments which is cool.
No research papers but has citations: www.yohei.me/publications which is cool.
AI training robot in a room Updated +Created
Ciro Santilli wonders how far AI could go from a room with a bank account an Internet connection.
It would have to understand that it must keep its bank account high to buy power.
And it would start to learn about the world and interact with it to get more money.
Likely it would become a hacker and steal a bunch, that's likely the easiest appraoch.
In that scenario, Internet bandwidth would likely be its most precious resources, as that is how it would interact with the world to learn from it and make money.
Compute power and storage would come next as resources.
And of course, once it got to cloud computing, which might be immmediately and thus invalidate this experient, things would just go nuts more and more.
Turing machine decider Updated +Created
A Turing machine decider is a program that decides if one or more Turing machines halts of not.
Of course, because what we know about the halting problem, there cannot exist a single decider that decies all Turing machines.
E.g. The Busy Beaver Challenge has a set of deciders clearly published, which decide a large part of BB(5). Their proposed deciders are listed at: discuss.bbchallenge.org/c/deciders/5 and actually applied ones at: bbchallenge.org.
But there are deciders that can decide large classes of turing machines.
Many (all/most?) deciders are based on simulation of machines with arbitrary cutoff hyperparameters, e.g. the cutoff space/time of a Turing machine cycler decider.
The simplest and most obvious example is the Turing machine cycler decider
Standards Updated +Created
The LSB basically links to other standards with minor extensions, in particular:
A handy summary can be found at:
man elf
Erwin Schrödinger Updated +Created

There are unlisted articles, also show them or only show them.