Symmetric bilinear map Updated 2025-07-16
Subcase of symmetric multilinear map:
The most important example is the dot product, which is also a positive definite symmetric bilinear form.
Computer science Updated 2025-07-16
Unfortunately, all software engineers already know the answer to the useful theorems though (except perhaps notably for cryptography), e.g. all programmers obviously know that iehter P != NP or that this is unprovable or some other "for all practical purposes practice P != NP", even though they don't have proof.
And 99% of their time, software engineers are not dealing with mathematically formulatable problems anyways, which is sad.
The only useful "computer science" subset every programmer ever needs to know is:
- for arrays: dynamic array vs linked list
- for associative array: binary search tree vs hash table. See also Heap vs Binary Search Tree (BST). No need to understand the algorithmic details of the hash function, the NSA has already done that for you.
- don't use Bubble sort for sorting
- you can't parse HTML with regular expressions: stackoverflow.com/questions/1732348/regex-match-open-tags-except-xhtml-self-contained-tags/1732454#1732454 because of formal language theory
Funnily, due to the formalization of mathematics, mathematics can be seen as a branch of computer science, just like computer science can be seen as a branch of Mathematics!
The Busy Beaver Competition: a historical survey by Pascal Michel Updated 2025-07-16
Discretization Updated 2025-07-16
Division algebra Updated 2025-07-16
An algebra over a field where division exists.
DNA amplification Updated 2025-07-16
DNA amplification is one of the key DNA technologies:
- it is one of the main ways in which DNA detection can be done.
- it is the first step of Illumina sequencing, since you need multiple copies of several parts of the genome for the method to work
DNA methylation Updated 2025-07-16
The first found and most important known epigenetic marker.
Happens only on adenine and cytosine. Adenine methylation is much less common in mammal than cytosine methylation, when people say "methylation" they often mean just cytosine methylation.
It often happens on promoters, where it inhibits transcription.
DNA sequencing company Updated 2025-07-16
- techcrunch.com/2022/05/31/ultima-genomics-claims-100-full-genome-sequencing-after-stealth-600m-raise/ Ultima genomics TODO technology? Promises 100 USD genome, 600M funding out of stealth...
SQL REPEATABLE READ isolation level Updated 2025-07-16
Vs SQL SERIALIZABLE isolation level on PostgreSQL: dba.stackexchange.com/questions/284744/postgres-repeatable-read-vs-serializable
nodejs/sequelize/raw/parallel_create_delete_empty_tag.js is an example which experimentally seems to be solved by
REAPEATABLE READ, although we are not sure that this is truly the case and why. What is clear is that that example is not solved by the SQL READ COMMITTED isolation level.In PostgreSQL, this is the first isolation level which can lead to postgreSQL serialization failures, this does not happen to SQL READ COMMITTED isolation level in that DBMS. You then have to retry the transaction.
The Day Today Updated 2025-07-16
Documentary film Updated 2025-07-16
Dojo learning model Updated 2025-07-16
Dual in-line package Updated 2025-07-16
Jordan Peterson Updated 2025-07-16
k-nearest neighbors algorithm Updated 2025-07-16
Light Updated 2025-07-16
Primary structure Updated 2025-07-16
Homology (biology) Updated 2025-07-16
Maxwell Lagrangian Updated 2025-07-16
- www.youtube.com/watch?v=nrBiDRZRK5g Maxwell Lagrangian Derivation by Dietterich Labs (2019)
- www.youtube.com/watch?v=yo-Z3RO-eeY Deriving the Maxwell Lagrangian by Pretty Much Physics (2019)
There are unlisted articles, also show them or only show them.
