Neuro-symbolic AI Updated +Created
An IBM made/pushed term, but that matches Ciro Santilli's general view of how we should move forward AGI.
Ciro's motivation/push for this can be seen e.g. at: Ciro's 2D reinforcement learning games.
Ciro's Edict #5 / Skip ID extraction and rendering based on database timestamps Updated +Created
Now that we can reliably split files at will with \Include, I finally added this feature.
This means while developing a website locally with the OurBigBook CLI, if you have a bunch of files with an error in one of them, your first run will run slowly until the error:
extract_ids README.ciro
extract_ids README.ciro finished in 73.82836899906397 ms
extract_ids art.ciro
extract_ids art.ciro finished in 671.1738419979811 ms
extract_ids ciro-santilli.ciro
extract_ids ciro-santilli.ciro finished in 1009.6256089992821 ms
extract_ids science.ciro
error: science.ciro:13686:1: named argument "parent" given multiple times
extract_ids science.ciro finished in 1649.6193730011582 ms
but further runs will blast through the files that worked, skipping all files that have sucessfully converted:
extract_ids README.ciro
extract_ids README.ciro skipped by timestamp
extract_ids art.ciro
extract_ids art.ciro skipped by timestamp
extract_ids ciro-santilli.ciro
extract_ids ciro-santilli.ciro skipped by timestamp
extract_ids science.ciro
so you can fix file by file and move on quickly.
This was not fully trivial to implement because we had to rework how duplicate IDs are checked. Previously, we just nuked the DB every time on a directory conversion, and then repopulated everything. If a duplicated showed up on a file, it was a duplicate.
But now that we are not necessarily extracing IDs from every file, we can't just nuke the database anymore, otherwise we'd lose the information. Therefore, what we have to do is to convert every file, and only at the end check the duplicates.
Strategic nuclear weapon Updated +Created
Surely You're Joking, Mr. Feynman chapter Alfred Nobel's Other Mistake Updated +Created
Key quote that names the chapter:
My friend Matt Sands was once going to write a book to be called Alfred Nobel's Other Mistake.
Surely You're Joking, Mr. Feynman chapter O Americano, Outra Vez! Updated +Created
In this chapter Richard Feynman talks about his experiences in Brazil.
"O Americano, Outra Vez!" means "The American, once again!" in Portuguese, which is what one of the samba school boss exclaimed when Feynman was not playing well his instrument, the frigideira, during a rehearsal.
Feynman really enjoyed Brazil's (and notably Rio's) stereotypical "take it easy and enjoy life" attitude.
Surfing with the Alien by Joe Satriani (1987) Updated +Created
System of linear equations algorithm Updated +Created
Tactical nuclear weapon Updated +Created
Terminal multiplexers are CLI desktop environments Updated +Created
If we didn't have GUIs, terminal multiplexers would be our desktop environments. E.g. they handle stuff like:
  • window switching
  • copy pasting across windows
  • screen locking
  • clock on the status bar (same one that holds tabs)
It is a thing of beauty.
ASCII Updated +Created
Associative property Updated +Created
Ciro Santilli's e-soulmates Updated +Created
Some other idealists that are a bit further out but with some similarities:
Ciro Santilli also things of those people as being part of his 108 Stars of Destiny troupe.
Ciro sometimes ponders why is it so hard to find people online that you truly love and admire. Maybe it is for similar reasons why it is also hard in the real world: the great variety of human interest, and the great limitation of our attention spans. But online, where we have access to "everyone", shouldn't it should be easier? Not naturally finding such people is perhaps one of the greatest failings of our education system.
Electron rest mass Updated +Created
Ciro's Edict #8 / Article metadata shown next to every header Updated +Created
This is a major feature: we have now started to inject the following buttons next to every single pre-rendered header:
  • "Like"
  • "By Other On The Same Topic"
  • "Discussions", i.e. the issue tracker for the header
  • "Create my own version" or "View my version of the page" or "Edit" button depending on wether the user can edit or already has a version of the article or not
This crucial feature makes it clear to every new user that every single header has its own separate metadata, which is a crucial idea of the website.
Figure 1.
Screenshot showing metadata next to each header
. The page is: ourbigbook.com/donald-trump/chemistry. Note how even the subheaders "Chemical element" and "Hydrogen" show the metadata.
Ciro's Edict #8 / List topics on home page Updated +Created
The new default homepage for a logged out user how shows a list of the topics with the most articles.
This is a reasonable choice for default homepage, and it immediately exposes users to this central feature of the website: the topic system.
Doing this required in particular calculating the best title for a topic, since it is possible to have different titles with the same ID, the most common way being with capitalization changes, e.g.:
JavaScript
Javascript
would both have topic ID javascript.
With this in place we also added the preferred topic title to the top topic page.
The algorithm chosen is to pick the top 10 most upvoted topics, and select the most common title from amongst them. This should make topic title vandalism quite hard. This was made in a single SQL query, and became the most complext SQL query Ciro Santilli has ever written so far: twitter.com/cirosantilli2/status/1549721815832043522
Figure 1.
Screenshot showing the list of topics
. The page is: ourbigbook.com for the logged out user, ourbigbook.com/go/topics for the logged in user.
Figure 2.
Screenshot showing a topic page
. The page is: ourbigbook.com/go/topic/vector-space. Before this sprint, we didn't have the "Vector Space" at the top, as it wasn't necessarily trivial to determine what the preferred title would be.
Ciro's Edict #8 / Next steps Updated +Created
Editor. As last time. And the one before. But now it is for real.
I guess ended up doing all the "how things should look like" features because they clarify what the website is supposed to do, and I already have my own content to bring it alive via ourbigbook --web upload.
But now I honestly feel that all the major elements of "how things should look like" have fallen into place.
And yeah, nobody else is never going to contribute as things are! WYSIWYG is a must.
I was really impressed by Trillium Notes. I should have checked it long ago. The UI is amazing, and being all Js-based, could potentially be reused for our purposes. The project itself is a single-person/full trust notetaking only for now however, so not a direct replacement to OurBigBook.
Antisymmetric multilinear map Updated +Created
Change sign if you swap two input values.
Automatic programming Updated +Created
We use the term "automatic programming" to mean "generating code from natural language".
The ultimate high level of which is of course to program with:which is basically the goal of artificial general intelligence, especially according to The Employment Test definition of AGI.
The term has not always had that sense:
automatic programming has always been a euphemism for programming in a higher-level language than was then available to the programmer
sums it up.
But in the current AI boom, this is the sense that matters, so that's what we will go with.
Autothroph Updated +Created

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