I learned about Reed Solomon Encoding a long time ago at University and used it several times since then in some code. But really Professor Brailsford's explanation so far is one of the best, he truly has a unique way of explaining things. Even better when it's put together with those graphics. I particularly appreciate the historical context he gives, really sells the story.
"so how can CD's continue to work afterr they've been scratched?" me: oh boy, you're in for a treat. So it was late 50's and there was this guy called Richard Hamming
this guy and his encoding videos, as well as that one dude who does all the encryption videos (sorry name escapes me at the moment) are the best types of computerphile vids, hands down
DVDisaster is a piece of software that auguments empty DVD-iso space with error correction codes. I tested it working by intentionally scratching a disk, and it saved me quite a few times later. Awesome extra protection for backup disks.
When starting my degree in CS, I got interested in QR codes and their uses of Reed Solomon Encoding. It was the first time I went "Nope" so hard. This bring back nightmares.
In the 60's MIT was already deeply involved in computer tech, as was Berkeley. I think CalTech was only a couple of years behind those two as well. And Silicon Valley (although not known by that name yet) was already becoming a distinct high-tech area. Remember one of SV's most legendary companies, Fairchild Semiconductor, was already founded in 1957. So no, certainly not everybody was at Bell Labs anymore by then.
Transistors etc date back along way as well. World war 2 both advanced and stopped development of Computers. (The Japanese invented the transistor just before the war (I can't find an article on this. I maybe incorrect. It may have been the Germans and Americans in about 1947 and 1948) but it was shelved and not further researched/found again until after/later due to budget and economic reasons due to the war). Electronic calculators where obviously worth developing further as IBM and various government departments (not just directly military) put lots of time and money into developing them during and after the 2nd world war. Alan turning and the other code breakers showed the development of computers would be inevitable and invaluable for governments and large companies. This stuff was a forgone conclusion by the 50s. There was just too many applications that electronic computers where helping with at universities. Professors and universities love "new fields" as well. It's nice to have justification for jobs and research grants.
skillet pan The FET transistor (later evolved into MOSFET etc.) was theoretically invented in the 1930s, but no one could get it to work until much later. In the mean time, some of the people trying invented the bipolar transistor (PNP and NPN), which thus became commercially available first. While FET transistors can be readily substituted into circuits designed around vacuum tubes, bipolar transistors required new and different designs.
Please enable auto-generated English subtitles on your videos. It is easier for me ( non-native English speaker) to follow what someone is saying if I see it written on screen, even if it is just an approximation. Your channel is the best!
Yay! It's the video I was asking for! 4-bit symbols aren't too bad, because your times table is only 256 symbols, with a 15-symbol 1/n table. The thing you didn't mention is that the long division is long division of polynomials, although that's kind of a weird math hack, because you never evaluate the polynomial for a value of x, so it's effectively just multi-digit numbers where the digits don't overflow or carry into each other. I like to say that GF(2^n) is arithmetic for people who can't count to 10, but can multiply by 2 repeatedly to 10.
All videos of Computerphile are brilliant. However, this one has a misleading title. There is literally almost no information on Reed Solomon encoding, only emotional opinion on how complicated it is. A little example would help. Or a title like "Before your consider implementing Reed Solomon encoding...".
well, to be fair the title doesn't say "Reed Solomon encoding EXPLAINED" or something, for all we know, the title only implies this video is ABOUT Reed Solomon encoding, which it is. so i wouldn't say it's misleading per se. it is, maybe, below your (and maybe many more) expectation. as in another computerphile video, they always explained the subject and even give some clear example. so you expect nothing less for this video. but as the prof. said, it will be complicated to explain and even give example for Reed Solomon encoding in this (relatively) short video format. i'm sure there are someone out there who (not only) "discuss" ReedSolomon Encoding but also explain in depth about how its work and a precise example of that. but i'm sure it wouldn't be 11ish minute long
Finally, I was waiting for this video, but it's too bad Brailsford didn't give an actual encoding example. The encoding part of Reed-Solomon isn't that difficult once you know how Galois field arithmetic works, decoding however, is *much* more difficult.
The No. 1 ESS Program Store and Central Control used hardware hamming and parity to check and correct single errors. This was preformed on every program store read. I believe other ESS variants using magnetic card technology used similar techniques. Thanks for the video.
Boy, oh boy. What an astonishing amount of hand waving. I know about Hamming and BCH codes and was none the wiser after listening to this stream of diffuse metaphors.
5:19 Isn’t this also where the “CIRC” (“Cross-Interleave Redundancy Checking”) comes in? The bits are arranged in a pseudorandom scrambled pattern (which is unscrambled as part of the decoding process), so that any contiguous run of errors on the disc is spread across a larger area after unscrambling and affects a smaller proportion of bits within that area.
11:00 Yup. Gotta love those ASICs. 👍 7:11 Guillain-Barré /gee-on bar-ay/ is a (still mysterious) autoimmune disorder where the immune system attacks the peripheral nervous system. A common result is demyelination which (like stripping insulation from wires), which causes "short-circuits" (leading to spasms, seizures, etc.), as well signal attenuation (nerve impulses don't reach their destinations). (Most people these days probably know it best as one of the go-to diagnoses, along with Lupus, that they would guess on _House MD_ .)
The symbols appended to a messages are called "parities". Syndromes are not part of an encoded message, but instead calculated based on a message with appended parities, and used to detect and/or correct errors. To correct errors, instead of matrix inversion, Berlekamp-Massey (1969) or Sugiyama's extended Euclid algorithm (1975) are more efficient, and used by CD's, tape drives, hard drives, ... .
5 лет назад+2
For some reason I got the feeling that RAID technologies may be coming up while watching this. 🙂 Also, I would have loved to see some more equations. You don't have to talk about them, but show them at least so those of us who do have a relevant background can get a better grip of things.
Mikkel Højbak RAID1 is simply a second copy, then using read errors to decide when to use that other copy. RAID4 and RAID5 is adding a single XOR parity bit and again using read errors to decide when to reconstruct a block by XORing the blocks from the other disks. RAID6 uses a 2 bit Hamming code while still using read errors to decide which blocks need to be reconstructed from the others. I don't think any of the practical RAID levels use RS codes.
@@johnfrancisdoe1563 Linux uses Reed Solomon for RAID 6, and ZFS uses it for RAID Z2 and RAID Z3. Not familiar with other implementions, but that's two pretty important projects using it anyway.
@@StevePinkham - RAID 6 implementations vary. Some use XOR for one of the parities, and BCH view Reed Solomon syndromes (as opposed to parities) for the other parity. This approach simplifies recovery.
just a few minutes ago I downloaded a paper about Reed Solomon encoding in JT65. Now I saw a new video on the subject on Computerphile.... creepy coincidence :O
I really wish the professor went into the shifting registers earlier on instead of just focusing on the super duper tough mathematical concept behind it. I was onto him the moment he said each symbol should have a value of 0 and a frame shift in the register would give wildly different results. Just bitshift until you get the symbols to all match zero, and then you got your data back... It's interesting he talks about the "hardware guys" doing super duper cool hardware stuff, but it's not really that hard to just explain or visualize the logic gates in the microchip specifically designed to do these calculations.
Reed-Solomon error correction is a mechanism to improve data integrity by encoding redundant information that can be used to correct errors in the sequential bit reads. It's useful in any mechanism where data integrity is required on bit streams. Compact discs are the classical example, but it's also used in QR codes and data transmissions.
CRC is much simpler. It can only detect, not correct, errors. CRC needs very little resources in either hard- or software. It is at similar complexity much better at detecting real-world errors like truncation or transposing than checksums.
The original definition is something that goes the same road with you: συν + δρόμος = plus+road. So it’s not an illness or a wound that will go away i.e change road.
I commented on the previous video that I'd like a Reed-Solomon video (with the implication of the same kind of content). I'm disappointed as after watching this video, I still can't implement R-S from scratch in software, and that's my goal. Yes I know how difficult the math is, but I can't change the fact that I just need to know how it works, rather than just grabbing a library and calling it a day.
In that case, BCH code is normally used. For the BCH like version of Reed Solomon, let n = number of bits per column, then maximum number of symbols, including the parity symbols, that can be corrected using Reed Solomon is 2^n - 1.
Watching the video , while holding the modulation scheme , feels like being in a trap called Computer Science >>> Edit : Nice topic by the way , i like it
Shouldn't we be able to use something similar to one of those neural-network picture algorithms(like the ones that takes a low-res image and scales it almost perfectly into high-res) and apply it to music or code itself at this point? (And, in this example, use it to fill in the missing data from a media that's been damaged, like a CD...)
re hash Too weak. AI neural networks are inherently unpredictable. Error correction needs to guarantee correct results up to almost the theoretical limit of impossibility.
Not only CD's. I just figured out from Wikipedia that it is also used for _QR codes, data transmission technologies such as DSL and WiMAX, broadcast systems such as satellite communications, DVB and ATSC, and storage systems such as RAID 6._ Google, for instance, uses it in their massive distributed storage system, Colossus, to recover from disk failures.
He really goes round the houses with his explanations doesn't he? If I wasn't a native English speaker I think I would probably find this video very confusing.
the bronylike superchannel The 6502 was a fairly simple CPU designed by a small team at MOS (later Commodore) in the US. The design team was so small it made Acorn computers in Britain realize they could design their own RISC CPU without owning a chip factory. This became the Acorn Risc Machine or ARM that has since become one of the world's most widely used CPU families.
📺💬 Gallion series and error correction in CD, where it is capable of working the hardware performs supercomputing ability. 🥺💬 Yes, and 2 bits modulo for error collection purposes is makes sense that a small device can perform a big computation within 15 seconds of buffer time. 🐑💬 Everything had prepared state and work in real-time when it does require.
I learned about Reed Solomon Encoding a long time ago at University and used it several times since then in some code.
But really Professor Brailsford's explanation so far is one of the best, he truly has a unique way of explaining things. Even better when it's put together with those graphics.
I particularly appreciate the historical context he gives, really sells the story.
Also neat Moiré pattern from the shirt.
Thank you. Very interesting.
Could you share your code if possible? Would be super helpful ^.^
This is an absolute fun introduction into RS codes. Had to learn it for a course at my university and I had to grin at some of his explanations.
I learned the basics of Galois finite field arithmetic from the Rijndael algorithm.
Now I still don't know how it works :'(
"Checksum from hell" is the sickest math-rock band name out there
All of their music would be Rockstar programs (look up Rockstar programming language).
Implemented In Hardware...
Man's a treasure. Always enjoy it, Professor.
I would enjoy listening to him even if he was reading children's books.
Indeed. I am glad he's immortalized on the web. Imagine if we had more stuff from Feynman or so.
"so how can CD's continue to work afterr they've been scratched?"
me: oh boy, you're in for a treat. So it was late 50's and there was this guy called Richard Hamming
Who was annoyed at the punch code machine not working
5:56 "Yes, but..." *dramatic zoom in*
**vsauce pops into the image from down bellow**
@@MathematicsOptimization not watched him in years!!! So true though. That's tonight's viewing sorted lol
Good old Évariste Galois. Came up with all his amazing mathematical theories by the age of 20, at which point he got himself killed in a duel.
this guy and his encoding videos, as well as that one dude who does all the encryption videos (sorry name escapes me at the moment) are the best types of computerphile vids, hands down
DVDisaster is a piece of software that auguments empty DVD-iso space with error correction codes. I tested it working by intentionally scratching a disk, and it saved me quite a few times later. Awesome extra protection for backup disks.
When starting my degree in CS, I got interested in QR codes and their uses of Reed Solomon Encoding. It was the first time I went "Nope" so hard. This bring back nightmares.
Gah that's where I recognize that name from. Thanks. Was bugging me when I saw the video title.
When i studied CS back in the late 90s, they actually lectured it...
In the 60's MIT was already deeply involved in computer tech, as was Berkeley. I think CalTech was only a couple of years behind those two as well. And Silicon Valley (although not known by that name yet) was already becoming a distinct high-tech area. Remember one of SV's most legendary companies, Fairchild Semiconductor, was already founded in 1957. So no, certainly not everybody was at Bell Labs anymore by then.
Transistors etc date back along way as well. World war 2 both advanced and stopped development of Computers. (The Japanese invented the transistor just before the war (I can't find an article on this. I maybe incorrect. It may have been the Germans and Americans in about 1947 and 1948) but it was shelved and not further researched/found again until after/later due to budget and economic reasons due to the war). Electronic calculators where obviously worth developing further as IBM and various government departments (not just directly military) put lots of time and money into developing them during and after the 2nd world war.
Alan turning and the other code breakers showed the development of computers would be inevitable and invaluable for governments and large companies. This stuff was a forgone conclusion by the 50s. There was just too many applications that electronic computers where helping with at universities. Professors and universities love "new fields" as well. It's nice to have justification for jobs and research grants.
skillet pan The FET transistor (later evolved into MOSFET etc.) was theoretically invented in the 1930s, but no one could get it to work until much later. In the mean time, some of the people trying invented the bipolar transistor (PNP and NPN), which thus became commercially available first. While FET transistors can be readily substituted into circuits designed around vacuum tubes, bipolar transistors required new and different designs.
Please enable auto-generated English subtitles on your videos.
It is easier for me ( non-native English speaker) to follow what someone is saying if I see it written on screen, even if it is just an approximation. Your channel is the best!
Main thing I learnt from this is the definition of "syndrome" lol
I am both surprised and not surprised that you are here.
hello, seed founder
@@zohnannor *finder
@@PyPylia yeah, typo
Yay! It's the video I was asking for! 4-bit symbols aren't too bad, because your times table is only 256 symbols, with a 15-symbol 1/n table. The thing you didn't mention is that the long division is long division of polynomials, although that's kind of a weird math hack, because you never evaluate the polynomial for a value of x, so it's effectively just multi-digit numbers where the digits don't overflow or carry into each other. I like to say that GF(2^n) is arithmetic for people who can't count to 10, but can multiply by 2 repeatedly to 10.
All videos of Computerphile are brilliant. However, this one has a misleading title. There is literally almost no information on Reed Solomon encoding, only emotional opinion on how complicated it is. A little example would help. Or a title like "Before your consider implementing Reed Solomon encoding...".
well, to be fair the title doesn't say "Reed Solomon encoding EXPLAINED" or something, for all we know, the title only implies this video is ABOUT Reed Solomon encoding, which it is. so i wouldn't say it's misleading per se.
it is, maybe, below your (and maybe many more) expectation. as in another computerphile video, they always explained the subject and even give some clear example. so you expect nothing less for this video. but as the prof. said, it will be complicated to explain and even give example for Reed Solomon encoding in this (relatively) short video format.
i'm sure there are someone out there who (not only) "discuss" ReedSolomon Encoding but also explain in depth about how its work and a precise example of that. but i'm sure it wouldn't be 11ish minute long
Thanks a lot, I'm preparing an "Information Theory and Coding" exam and you just saved me some precious time ^^
Finally, I was waiting for this video, but it's too bad Brailsford didn't give an actual encoding example.
The encoding part of Reed-Solomon isn't that difficult once you know how Galois field arithmetic works, decoding however, is *much* more difficult.
Your requested "actual encoding example" will be coming in future video(s)
@@profdaveb6384 Just don’t go taking part in any duels until then. ;)
Yet another awesome video from David and produced so well. Great job again computerphile.
I can see this leading sweetly onto 2D barcodes!
Fascinating and very well presented for us non-computer science people.
It is pure mathematics.
I recognise Reed-Solomon due to my use of that for archival recovery records. I also notice how long it takes for a few GBs on an i7 8086k.
This seriously helps me, even after 35 years I have been arguing with computers.
"Checksum from Hell" :-)
Thank you, professor Brailsford. This is wonderful storytelling.
How about another collaboration with 3b1b? He's been covering error correction a lot lately, and it'd be cool for him to feature again.
How have I never seen your videos before?. I love your explanations, what a wonderful teacher
The No. 1 ESS Program Store and Central Control used hardware hamming and parity to check and correct single errors. This was preformed on every program store read. I believe other ESS variants using magnetic card technology used similar techniques. Thanks for the video.
For reference, you're talking about the Electronic Switching System from Bell Systems, the first large scale automated telephone control system?
Professor Brailsford! Yay!!
Boy, oh boy. What an astonishing amount of hand waving. I know about Hamming and BCH codes and was none the wiser after listening to this stream of diffuse metaphors.
5:19 Isn’t this also where the “CIRC” (“Cross-Interleave Redundancy Checking”) comes in? The bits are arranged in a pseudorandom scrambled pattern (which is unscrambled as part of the decoding process), so that any contiguous run of errors on the disc is spread across a larger area after unscrambling and affects a smaller proportion of bits within that area.
yes, it is indeed, also, no mention to the simultaneous 8to14 modulation that also happens in those clever little Dutch Audio CD's. bit sad at that...
Was waiting for this video after the previous error correction video. Thanks for this!
Brailsford, Bagley, Pound...I'm watching.
11:00 Yup. Gotta love those ASICs. 👍
7:11 Guillain-Barré /gee-on bar-ay/ is a (still mysterious) autoimmune disorder where the immune system attacks the peripheral nervous system. A common result is demyelination which (like stripping insulation from wires), which causes "short-circuits" (leading to spasms, seizures, etc.), as well signal attenuation (nerve impulses don't reach their destinations). (Most people these days probably know it best as one of the go-to diagnoses, along with Lupus, that they would guess on _House MD_ .)
I don't think he' is talking about ASICs. Is he?
Funny, I could swear people said it as geeahn-barr.
I've never heard of such hardware but I'm sure they're everywhere.
Therefore, another video!
Great talk about Reed-Solomon! Now I see its linear nature. What about non-linear error correction? Has that started getting any traction?
The symbols appended to a messages are called "parities". Syndromes are not part of an encoded message, but instead calculated based on a message with appended parities, and used to detect and/or correct errors. To correct errors, instead of matrix inversion, Berlekamp-Massey (1969) or Sugiyama's extended Euclid algorithm (1975) are more efficient, and used by CD's, tape drives, hard drives, ... .
For some reason I got the feeling that RAID technologies may be coming up while watching this. 🙂
Also, I would have loved to see some more equations. You don't have to talk about them, but show them at least so those of us who do have a relevant background can get a better grip of things.
Mikkel Højbak RAID1 is simply a second copy, then using read errors to decide when to use that other copy. RAID4 and RAID5 is adding a single XOR parity bit and again using read errors to decide when to reconstruct a block by XORing the blocks from the other disks. RAID6 uses a 2 bit Hamming code while still using read errors to decide which blocks need to be reconstructed from the others. I don't think any of the practical RAID levels use RS codes.
@@johnfrancisdoe1563 Linux uses Reed Solomon for RAID 6, and ZFS uses it for RAID Z2 and RAID Z3. Not familiar with other implementions, but that's two pretty important projects using it anyway.
@@StevePinkham - RAID 6 implementations vary. Some use XOR for one of the parities, and BCH view Reed Solomon syndromes (as opposed to parities) for the other parity. This approach simplifies recovery.
even i don't understand the subject i like your videos Prof
I'm a computer engineer, I love shift registers.
“We’ve tried to prepare you for this” 😂 😂 I know right😂 ❤️
just a few minutes ago I downloaded a paper about Reed Solomon encoding in JT65. Now I saw a new video on the subject on Computerphile.... creepy coincidence :O
I really wish the professor went into the shifting registers earlier on instead of just focusing on the super duper tough mathematical concept behind it. I was onto him the moment he said each symbol should have a value of 0 and a frame shift in the register would give wildly different results. Just bitshift until you get the symbols to all match zero, and then you got your data back... It's interesting he talks about the "hardware guys" doing super duper cool hardware stuff, but it's not really that hard to just explain or visualize the logic gates in the microchip specifically designed to do these calculations.
Brace for this getting recommend after 3blue1brown's video on the topic.
That's why I'm here
Prepping for 3blue1brown's second part on ecc! :D
Ok.. half way in and have learned absolutely nothing aside from it works with 'symbols' and not bits..
This was unenlightening :/
OMG, do BCH next. Your viewers haven't seen anything yet.
I would love this. I had to implement BCH encoding once and I'm still not even entirely sure how it works.
*sees Professor Brailsford, presses play* Yes, I'm a simple man.
Reed-Solomon error correction is a mechanism to improve data integrity by encoding redundant information that can be used to correct errors in the sequential bit reads. It's useful in any mechanism where data integrity is required on bit streams. Compact discs are the classical example, but it's also used in QR codes and data transmissions.
I want to see how to create the ECC values using the input data... and how to verify/correct the received signal.
3:48 will this be included on "The Very Best of Professor Brailsford"? ;)
Could we maybe get a video on numerical methods?
Sounded like he was going to mention CRC in the end since it also is based on long division, but I guess that's different?
CRC is much simpler. It can only detect, not correct, errors. CRC needs very little resources in either hard- or software. It is at similar complexity much better at detecting real-world errors like truncation or transposing than checksums.
The original definition is something that goes the same road with you: συν + δρόμος = plus+road. So it’s not an illness or a wound that will go away i.e change road.
Have you done a video on Turbo Codes since this?
This is a nice find!
This does not explain really anything about reed solomon, other than it’s diificult
Such a lovely chap!
This is brilliant!
I am a sw engineer and playing for fun with real-time audio processing and error correction.
Funny that reed soloman code is now used in all the places that could use some extensions in the domain of a function.
You know stuff gets really complicated when the only people who are able to explain it are retired professors.
I commented on the previous video that I'd like a Reed-Solomon video (with the implication of the same kind of content). I'm disappointed as after watching this video, I still can't implement R-S from scratch in software, and that's my goal. Yes I know how difficult the math is, but I can't change the fact that I just need to know how it works, rather than just grabbing a library and calling it a day.
What about columns of bits that are 1 tall?
In that case, BCH code is normally used. For the BCH like version of Reed Solomon, let n = number of bits per column, then maximum number of symbols, including the parity symbols, that can be corrected using Reed Solomon is 2^n - 1.
Watching the video , while holding the modulation scheme , feels like being in a trap called Computer Science >>>
Edit : Nice topic by the way , i like it
How is this so entertaining :o
I just want to make my own qr code generator, why is it so hard ((
Tom Scott in 40 years be like.
You had me at...Prof Brailsford..
great, i wish for more details ...
Shouldn't we be able to use something similar to one of those neural-network picture algorithms(like the ones that takes a low-res image and scales it almost perfectly into high-res) and apply it to music or code itself at this point? (And, in this example, use it to fill in the missing data from a media that's been damaged, like a CD...)
re hash Too weak. AI neural networks are inherently unpredictable. Error correction needs to guarantee correct results up to almost the theoretical limit of impossibility.
LDPC next please!
just blew my mind because i realized cds have error correction :facepalm:
Not only CD's. I just figured out from Wikipedia that it is also used for _QR codes, data transmission technologies such as DSL and WiMAX, broadcast systems such as satellite communications, DVB and ATSC, and storage systems such as RAID 6._ Google, for instance, uses it in their massive distributed storage system, Colossus, to recover from disk failures.
how about Bose-Chaudhuri-Hocquenghem?
He really goes round the houses with his explanations doesn't he? If I wasn't a native English speaker I think I would probably find this video very confusing.
Please no more tokens! I've had a fever dream with tens of Dr Bagleys passing tokens.
from newman on down you can't download WHY?
amazing.
Ok, but how does it work?
Please plan the video before you start, because this is rather slow and repetitive compared to the other stuff.
TLDR; CD Players are a damn miracle
Galois theory - 7:48
if you were finding.
do video on ROP
Now do turbo codes
In my experience, CDs don't work even when they aren't scratched.
I had my runin with reed-solomon when i tried to make data matrix barcode.
SICK
you didn't even mention berlekamp-massey!
This is how dsl services works
3:48 is great out of context
Fun fact: I have the same chair as this man!
it reminds me prof.Farkas from Pan European University
If I can copy his knowledge and style to all of my teachers from KG PHD.
Wow
please do a video on how a 6502 works
the bronylike superchannel The 6502 was a fairly simple CPU designed by a small team at MOS (later Commodore) in the US. The design team was so small it made Acorn computers in Britain realize they could design their own RISC CPU without owning a chip factory. This became the Acorn Risc Machine or ARM that has since become one of the world's most widely used CPU families.
it's like he's afraid anyone might understand what he's saying
Czech Cymbals
Who else is watching this video properly, on a 4K monitor?
I see I click
📺💬 Gallion series and error correction in CD, where it is capable of working the hardware performs supercomputing ability.
🥺💬 Yes, and 2 bits modulo for error collection purposes is makes sense that a small device can perform a big computation within 15 seconds of buffer time.
🐑💬 Everything had prepared state and work in real-time when it does require.
Guillain-Barre Syndrome = progressive ascending flaccid paralysis.
I'm from the medical field, don't know what I'm doing here.
May I present you Moiré
I searched the comments specifically for this! ◡̈ His shirt is quite the test for video compression.
very bad at teaching
What it is != how it works. Disappointed.