Ciro Santilli sometimes fantasizes of having worked there in their golden years...
Original headquarters and laboratories: 463 West Street in New York, Manhattan area. On Surely You're Joking, Mr. Feynman Feynman mentions that in 1941 they could see the construction of the George Washington Bridge, presumably from that building, when William Shockley brought him over to visit to get a job there. However, the actual
Later:
Some interesting videos:
It is true, something Ciro Santilli often things about. One likely reason is that the world is broken and most cyclist are speed maniacs willing to put the time in. Unlike Dutch people where everyone cycles.
Previously called "bitcoin-strings-with-txids" since text was the initial focus, but Ciro Santilli decided to go for the more general name once images became more and more important to the project.
Set of scripts b Ciro Santilli, primarily created while researching Cool data embedded in the Bitcoin blockchain.
One of Ciro Santilli's favorites.
Some people from them contacted Ciro Santilli after Ciro's initial publishing of CIA 2010 covert communication websites.
After a quick Discord chat with them, it was apparent that these people were really cool and knowledgeable.
Also many of them seem to think university is broken and just go hack straigh away.
A perfect example of a dojo learning model.
Also they don't seem to need sleep. Go figure!
With pepole like this, there's hope for Brazil: Section "What poor countries have to do to get richer".
No open signup it seems. TODO CV of owner.
They are making a proof assistant to integrate into the website: github.com/bookofproofs/fpl/, reminds Ciro Santilli of website front-end for a mathematical formal proof system.
Main article: Section "Brain-computer interface".
This is one of the deep tech bets that Ciro Santilli would put his money in as of 2020.
How hard could it be? You just have to learn the encoding of the neural spine/eyes/ear, add an invasive device that multiplexes it, and then the benefits could be mind blowing.
Interestingly and obviously, the initial advances in the area are happening for people that have hearing or vision difficulties. Since they already have a deficient sense, you don't lose that much by a failed attempt.
Hearing is likely to be the first since it feels the simplest. Ciro heard there are even already clinical applications there. TODO source.
Ciro Santilli invented this term, derived from "hardware in the loop" to refer to simulations in which both the brain and the body and physical world of organism models are modelled.
E.g. just imagine running:
- NeuroMechFly
- a Drosophila connectome simulation
Notation used in quantum mechanics.
Ket is just a vector. Though generally in the context of quantum mechanics, this is an infinite dimensional vector in a Hilbert space like .
Bra is just the dual vector corresponding to a ket, or in other words projection linear operator, i.e. a linear function which can act on a given vector and returns a single complex number. Also known as... dot product.
For example:is basically a fancy way of saying:that is: we are taking the projection of along the direction. Note that in the ordinary dot product notation however, we don't differentiate as clearly what is a vector and what is an operator, while the bra-ket notation makes it clear.
The projection operator is completely specified by the vector that we are projecting it on. This is why the bracket notation makes sense.
It also has the merit of clearly differentiating vectors from operators. E.g. it is not very clear in that is an operator and is a vector, except due to the relative position to the dot. This is especially bad when we start manipulating operators by themselves without vectors.
This notation is widely used in quantum mechanics because calculating the probability of getting a certain outcome for an experiment is calculated by taking the projection of a state on one an eigenvalue basis vector as explained at: Section "Mathematical formulation of quantum mechanics".
Making the projection operator "look like a thing" (the bra) is nice because we can add and multiply them much like we can for vectors (they also form a vector space), e.g.:just means taking the projection along the direction.
Ciro Santilli thinks that this notation is a bit over-engineered. Notably the bra's are just vectors, which we should just write as usual with ... the bra thing makes it look scarier than it needs to be. And then we should just find a different notation for the projection part.
Maybe Dirac chose it because of the appeal of the women's piece of clothing: bra, in an irresistible call from British humour.
But in any case, alas, we are now stuck with it.
Ciro Santilli's birth country.
An awesome country, with amazing people and natural resources, and without an evil government like China.
When visiting Brazilian cities coming from Europe, one of the things that shocks the most is the amount of motorcycles. It seems that the poorer the country, the less people's lives are worth, and the more motorcycles there are.
Another thing that was shocking is the amount of phone spam when you get a new SIM card, some legal and some likely illegal. Everyone is desperate for cash it seems on a poor country, and everyone fights hard for it.
The Portuguese term for it is "música popular brasileira". The widely recognized Brazilian acronym is "MPB".
"Brazilian pop" and "Br-pop" are inventions by Ciro Santilli, which are how Ciro thinks Brazil should market it to the world.
Unfortunately "B-pop" is too ambiguous with British pop music, and should be avoided.
YouTube playlist by Ciro Santilli containing all the songs in this section: www.youtube.com/playlist?list=PLcZOZrP1P_V4_SBDnegcLTcP-5YhNmWBB
Bibliography:
- www.slipcue.com/music/brazil/aa_styles/mpb.html has many good album reviews
Self promoted at:Not self-promoted at:
- www.reddit.com/r/Brazil/comments/1fimjtu/comment/m9fivya/
- www.reddit.com/r/musicsuggestions/comments/12cm5xt/comment/m9fkvd6/
- www.reddit.com/r/fantanoforever/comments/123zr1z/comment/m9fnieh/ asks for bets albums, which is much harder to answer
- locked threads that I've missed:
- Spotify-only
- www.reddit.com/r/LetsTalkMusic/comments/lxopm2/beyond_tropic%C3%A1lia_mpb_musica_popular_brasileira/ asks for newer songs only
There is a lot of "who kills who" useless fluff, and everything to do with the wife is boring, but too much gold otherwise.
It is amazing to see how seasons got better and better until the finale. The last season was amazing, Ciro Santilli actually watched all episodes of that one! This is clearly seen on the evolution of metacritic scores.
That's The Best Coffee I've Ever Tasted scence from Breaking Bad
. Source. The chemistry and business related stuff is especially cool. Because when companies and criminals don't tell anyone about their secrets, it is up to the imagination of film makers to do so.The Beauty Of Cooking scened from scence from Breaking Bad S02 E09
. Source. To break the meta means to find a new strategy that offers a significant advantage over the existing meta.
Due to Ciro Santilli's self perceived creative personality, Ciro Santilli is very attracted to meta breaks.
How One Man Changed the High Jump Forever by Olympics (2018)
Source. Dick Fosbury created and implemented the Fosbury Flop jump style in 1968.Akiyo Noguchi asks the rules while climbing! | Beta Break Ep.1 by Albert Ok (2020)
Source. Happened at the 2015 IFSC Climbing World Cup during the Haiyang, China, bouldering event. The author has a playlist of such climbing meta breaks. In climbing, the meta is called "the beta". Climbing competitions are perhaps the sport in which the meta is broken the most often, since each stage is unique.There is great beauty here. Great beauty. It's pure terminal poetry.
The most canonical source code Ciro Santilli can find right now is: sources.debian.org/src/bsdgames/
Ciro Santilli's favorite religion. He does not believe fully in it, nor has he studied it besides through brief Wikipedia and Googling.
Ciro likes Buddhism because it feels like the least "metaphysical explanations to things you can't see" of the religions he knows.
Rather, it feels more like "a plausible theory of the mind" and highly compatible with physics.
Ciro also believes that there is a positive correlation between being a software engineer and liking Buddhist-like things, see also: the correlation between software engineers and Buddhism.
Ciro Santilli defines a "business film" as a film about business, enterprises or entrepreneurship. Political thrillers are closed related as well.
This is one of his favorite film genres!
Some lists:
- www.99signals.com/movies-entrepreneur-watch-inspiration Hit and miss.
- www.imdb.com/list/ls033563570/ Best Business Movies and Documentaries by scott_dowle
The native file format of WebGraph.
It is a binary format and highly storage efficient.
It is for example what Common Crawl web graph currently dumps to as of 2025, see e.g.: data.commoncrawl.org/projects/hyperlinkgraph/cc-main-2024-25-dec-jan-feb/index.html
TODO meaning of "BV"?
A quick hands-on introduction to the format by Ciro Santilli can be found at: github.com/cirosantilli/cirosantilli.github.io/issues/198