Cosmopedia Updated 2025-07-16
Cosmopedia is a dataset of synthetic textbooks, blogposts, stories, posts and WikiHow articles generated by Mixtral-8x7B-Instruct-v0.1.The dataset contains over 30 million files and 25 billion tokens, making it the largest open synthetic dataset to date.
Covering space Updated 2025-07-16
Basically it is a larger space such that there exists a surjection from the large space onto the smaller space, while still being compatible with the topology of the small space.
We can characterize the cover by how injective the function is. E.g. if two elements of the large space map to each element of the small space, then we have a double cover and so on.
C POSIX library Updated 2025-07-16
Exmples under c/posix:
C (programming language) Updated 2025-07-16
It gets the job done, but cannot make a large codebase DRY without insanity.
As of 2020, C is like Latin, and we are in the Middle Ages, where it has become a lingua franca.
It is interesting to note how late C appeared: 1972, compared e.g. to Fortran which is from 1957. This is basically because C was a "systems programming language", i.e. with focus on pointer manipulation, and because early computers were so weak, there was no operating system or many software layers in the early days. Fortran however was a numerical language, and it ran directly on bare metal, an application that existed before systems programming.
Examples under c.
Craig Silverstein Updated 2025-07-16
Video 1.
How Google began by Craig Silverstein part 1 (2006)
Source. Talk given at the University of North Carolina. A possibly official invitation from the time: www.ibiblio.org/pjones/blog/googles-craig-silverstein-at-unc-1026/.
Cray Updated 2025-07-16
Create a test user in PostgreSQL Updated 2025-07-16
In order to create a test user with password instead of peer authentication, let's create test user:
createuser -P user0
createdb user0
-P makes it prompt for the users password.
Alternatively, to create the password non-interactively stackoverflow.com/questions/42419559/postgres-createuser-with-password-from-terminal:
psql -c "create role NewRole with login password 'secret'"
Can't find a way using the createuser helper.
We can then login with that password with:
psql -U user0 -h localhost
which asks for the password we've just set, because the -h option turns off peer authentication, and turns off password authentication.
The password can be given non-interactively as shown at stackoverflow.com/questions/6405127/how-do-i-specify-a-password-to-psql-non-interactively with the PGPASSWORD environment variable:
PGPASSWORD=a psql -U user0 -h localhost
Now let's create a test database which user0 can access with an existing superuser account:
createdb user0db0
psql -c 'GRANT ALL PRIVILEGES ON DATABASE user0db0 TO user0'
We can check this permission with:
psql -c '\l'
which now contains:
                                  List of databases
   Name    |  Owner   | Encoding |   Collate   |    Ctype    |   Access privileges
-----------+----------+----------+-------------+-------------+-----------------------
 user0db0  | ciro     | UTF8     | en_GB.UTF-8 | en_GB.UTF-8 | =Tc/ciro             +
           |          |          |             |             | ciro=CTc/ciro        +
           |          |          |             |             | user0=CTc/ciro
The permission letters are explained at:
user0 can now do the usual table operations on that table:
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c 'CREATE TABLE table0 (int0 INT, char0 CHAR(16));'
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c "INSERT INTO table0 (int0, char0) VALUES (2, 'two'), (3, 'three'), (5, 'five'), (7, 'seven');"
PGPASSWORD=a psql -U user0 -h localhost user0db0 -c 'SELECT * FROM table0;'
Cryogenic electron microscopy Updated 2025-07-16
This technique has managed to determine protein 3D structures for proteins that people were not able to crystallize for X-ray crystallography.
It is said however that cryoEM is even fiddlier than X-ray crystallography, so it is mostly attempted if crystallization attempts fail.
By looking at Figure 1. "A cryoEM image", you can easily understand the basics of cryoEM.
We just put a gazillion copies of our molecule of interest in a solution, and then image all of them in the frozen water.
Each one of them appears in the image in a random rotated view, so given enough of those point of view images, we can deduce the entire 3D structure of the molecule.
Ciro Santilli once watched a talk by Richard Henderson about cryoEM circa 2020, where he mentioned that he witnessed some students in the 1980's going to Germany, and coming into contact with early cryoEM. And when they came back, they just told their principal investigator: "I'm going to drop my PhD theme and focus exclusively on cryoEM". That's how hot the cryo thing was! So cool.
Figure 1.
A cryoEM image
. Source. This is the type of image that you get out of a raw CryoEM experiment.
Video 1.
The structure of our cells by Matteo Allegretti
. Source. The start is useless. But the end at this timestamp shows an interesting technique where they actually cut up cells in fine slices and image them, that's cool.
Cryptocurrency swapper Updated 2025-07-16
A "Cryptocurrency swapper" is a service that swaps one type of cryptocurrency for another.
It is basically the same as buying and selling from exchanges for fiat, except that you only get fiat.
Swappers are in general able to receive send coins from any address, including self custody addresses.
Centralized swappers were a good way to workaround the endless Monero bans from exchanges circa 2024, e.g. x.com/cirosantilli/status/1771900725649371240 as they effectively serve as proxies for exchanges that are still legal in other countries.
They will eventually have to ban Monero of course, and then the only way left will be decentralized exchanges.
This leads to a scenario where the only effective way to ban Monero is to also ban all other cryptocurrencies. The question is if countries will go that far or not.
Csound FLOSS manual Updated 2025-07-16
Includes introduction to the basic sound synthesis and their implementation in Csound.
Examples run on browser via Emscripten and just worked on Ubuntu 20.04!
Examples can also be downloaded all at once from: www.csound-tutorial.net/floss_manual/ Shame not in Git as standalone files.
CSS flex Updated 2025-07-16
  • css/flex.html: illustrates basic flex usage, including:
  • flex-grow: if there's space left, this determines how much extra space will be given to each.
  • flex-basis: the size the items want to be. But if there isnt' enough space, this can be cut up.
    Note that the minimal space required by children of the flex children cannot be necessarily cut up, and might lead things to overflow out of the container.
  • flex-shrink: if there's space missing, this determines how much extra space will be removed from each flex-basis
Other examples include:
That example calculates and displays the final widths via JavaScript, making it easier to understand the calculations being done.
csvgrep and select column in csvkit Updated 2025-07-16
There seems to be no way without a pipe, you seem to need to reparse the columns, e.g. the tutorial at: csvkit.readthedocs.io/en/latest/tutorial/2_examining_the_data.html#csvgrep-find-the-data-you-need does:
csvcut -c county,item_name,total_cost data.csv | csvgrep -c county -m LANCASTER
Cuju Updated 2025-07-16
Lit. "to kick (leather) ball".
Figures notbaly in Water Margin, where it is played by Gao Qiu. The novel also suggests that it was considered a lesser art, e.g. as opposed to the scholarly four arts and the "proper" martial arts.
Video 1.
Ancient Chinese Football Freestylers by Tifo Football (2021)
Source. Mentions that it was popular in the Ming dynasty, but then, if you will, the ball fell off a bit.
Video 2.
Bernardo cuju challenge by Manchester City (2019)
Source.
Cycle graph (algebra) Updated 2025-07-16
How to build it: math.stackexchange.com/questions/3137319/how-in-general-does-one-construct-a-cycle-graph-for-a-group/3162746#3162746 good answer with ASCII art. You basically just pick each element, and repeatedly apply it, and remove any path that has a longer version.
Immediately gives the generating set of a group by looking at elements adjacent to the origin, and more generally the order of each element.
TODO uniqueness: can two different groups have the same cycle graph? It does not seem to tell us how every element interact with every other element, only with itself. This is in contrast with the Cayley graph, which more accurately describes group structure (but does not give the order of elements as directly), so feels like it won't be unique.
Cycle notation Updated 2025-07-16
A concise to describe a specific permutation.
A permutation group can then be described in terms of the generating set of a group of specific elements given in cycle notation.
E.g. en.wikipedia.org/w/index.php?title=Mathieu_group&oldid=1034060469#Permutation_groups mentions that the Mathieu group is generated by three elements:
  • (0123456789a)
  • (0b)(1a)(25)(37)(48)(69)
  • (26a7)(3945)
which feels quite compact for a simple group with 95040 elements, doesn't it!

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