Hamming codes part 2: The one-line implementation
Переглядів 834,759
3 роки томуA cleaner perspective on Hamming error correction codes
Part 1: • But what are Hamming c...
Watch Ben Eater's video: • What is error correcti...
Help fund future projects: / 3blue1brown
An equally valuable form of support is to simply share some of the videos.
Special thanks to these supporters: 3b1b.co/hamming-thanks
You can read Hamming's own perspective on his discovery of these codes in chapter 12 of "The Art of Doing Science and Engineering".
amzn.to/3lwcnmh
Heavily related is the chessboard puzzle I did with Matt Parker:
• The almost impossible ...
If you're curious to learn a bit about Shannon, the father of information theory, take a look at this documentary.
amzn.to/2RHK5HL
Thanks to these viewers for their contributions to translations
Hebrew: Omer Tuchfeld
Hungarian: FaboBence
------------------
These animations are largely made using manim, a scrappy open-source python library: github.com/3b1b/manim
If you want to check it out, I feel compelled to warn you that it's not the most well-documented tool, and it has many other quirks you might expect in a library someone wrote with only their own use in mind.
Music by Vincent Rubinetti.
Download the music on Bandcamp:
vincerubinetti.bandcamp.com/a...
Stream the music on Spotify:
open.spotify.com/album/1dVyjw...
------------------
3blue1brown is a channel about animating math, in all senses of the word animate. And you know the drill with UKposts, if you want to stay posted on new videos, subscribe: 3b1b.co/subscribe
Various social media links:
Website: www.3blue1brown.com
Twitter: / 3blue1brown
Reddit: / 3blue1brown
Instagram: / 3blue1brown_animations
Patreon: / 3blue1brown
Facebook: / 3blue1brown
@NoriMori1992 3 роки тому
14:55 Grant: "Clever ideas often look deceptively simple in hindsight, which makes them easy to under-appreciate." Me: *still can't fathom how anyone could ever figure out something so clever and elegant*
@skinnykevin3998 Рік тому
This is how I feel after finishing any of his videos. They are truly magical
@Orion6479 4 місяці тому
My thoughts exactly, just standing in awe. So many brilliant people...
@freeshavaacadooo1095 3 роки тому
My mind was absolutely blown when it was shown how turning the results from the parity checks into binary-booleans gave you the exact location of the error and it just clicked for me why you placed the redundancy bits at powers of two! Dear god I love this channel and please please please don't stop producing content.
@pvic6959 3 роки тому
honestly. the guys and gals who worked in comuting and hardware at the start of the field are absolute geniuses. I am always left speechless when learning about the tricks they used, the methods they developed, the brilliance of it all We have some smart tech people now too, but the people who started the field from nothing will always be amazing to me
@mohammedsamir5142 3 роки тому
I noticed that too, our brain is well created by God.
@paradoxicallyexcellent5138 3 роки тому
@@mohammedsamir5142 If you think Hamming Codes are beautiful, wait till you learn about biological evolution.
@Zylarlander 3 роки тому
I know! I audibly yelled "Of course!" when he pointed that out. I can't believe I didn't see it sooner.
@kavinbharathi 3 роки тому
he just started off with a banger. I was just mind blown at the start...
@arantes6 3 роки тому
When you learn about this kind of clever things, it's genuinely impressive how often it ends up having been invented at Bell Labs ...
@rbettsx 3 роки тому
Bell Labs deserves a documentary series of its own. How it was funded, what they let their people do. So, so much of what we all depend on had foundations laid down there.
@altrag 3 роки тому
Its not that incredible when you think about it. Most of these fundamentals were designed in the early era of computers when there simply weren't that many players involved -- a couple of major companies like Bell and IBM and a handful of the most technical universities like MIT and that was about it. If you wanted to work on an actual computer, you had to be at one of those places -- the devices simply didn't exist elsewhere. Its kind of like being surprised that advances in rocket tech have mostly come out of Space-X, Blue Origin and Virgin Galactic in the past 5 years or so. Even NASA isn't really working on rocket tech these days (they seem to focus more on satellites now and farm the lift out to private industry.) Maybe 50 years from now rocketing will be so cheap and commonplace that there are hundreds or thousands of competing companies employing smart people, but right now there's only a fairly small group of employers so its not too unusual for most work in the field to come from people working for one of those employers.
@vinamarora7049 3 роки тому
@@altrag This does make a lot of sense!
@cjay2 3 роки тому
@@thealienrobotanthropologis8276 NASA was chartered under the 1958 Space Act to develop space technology and transfer it to US industry. That Act forbids NASA to compete with private companies. NASA's serious engineering focuses on making the impossible, possible. Do it first, document the lessons, and teach industry. Then get out of the business and engineer something harder. Sadly the organization's funding is a shadow ( about 10%) of its former level. That's the response to your comment, by an old friend and co-worker still working at JPL.
@altrag 3 роки тому
@@TinkerAssist_ Not really the point. The point is simply that there are few places doing the research, so research related to the subject necessarily comes from those places. Whether that research is "fundamental" or "leveraging a convergence of technologies" is kind of beside the point.
@danielmihalik2785 3 роки тому
"It can be done in python in 1 line of code" import HammingCode
@sillysad3198 3 роки тому
i get it i get it! by the way, a huge shovel of schite to those who count "lines of code per hour"
@ultimatedude5686 3 роки тому
Two lines import HammingCode HammingCode.findError(bits)
@david44654 3 роки тому
@@ultimatedude5686 If you use a semicolon, you can do it in one line.
@thallium54 3 роки тому
David L. Q. So everything can be considered as "one line of code"
@ultimatedude5686 3 роки тому
David L. Q. Isn’t that kind of cheating though?
@johnchessant3012 3 роки тому
I really love what you said at the end. Too often we learn the end results from textbooks without any indication of how insanely clever their discoverers were. This channel is great at telling the story of that discovery process for us.
@delphicdescant 3 роки тому
This is something I've always tried to describe to teachers and people designing curriculum (most of my family is involved in education, so this isn't super weird): I used to phrase it like "we need to teach math, but like the *history* of math." I probably should have found a better way to describe it lol. But it was the same as this point you're talking about.
@chrisxd146 3 роки тому
@@delphicdescant When tutoring students in the STEM field at my college, I always re-derive it for the students. Often times the students don't entirely understand the significance of a derivation or the professor doesn't have the time to explain it to the students (class pacing is brutal). Sometimes all a student needs is a different perspective than the one they're given.
@mike11022 3 роки тому
The video actually does NOT tell the story of that discovery process. (It's a very long story!) That's the point he was trying to make at the end of the video, that we under appreciate the amount of effort put into the process because we only see the result, i.e. what is explained in these two videos.
@DFPercush 3 роки тому
@@delphicdescant I think sciences like chemistry and physics should be the same way. It makes it much more interesting to hear the story of how things developed the way they did, what problems the minds of the time were facing and how they solved them, especially when you get to late 19th and early 20th century. (@mike) 3b1b might not have told the full story, but he at least set up the problem at hand with the punch cards, and showed the book where you can read all about it.
@adiabadic 3 роки тому
This is so true, Grant is truly a god-tier STEM communicator
@Sciencedoneright 3 роки тому
3B1B in a nutshell: Takes "Impossible" topic, blindfolds you for a second, removes the blindfolds, shows beauty. Btw I reeeeeally love your work.
@Brahvim Рік тому
Oh, _hey there!_
@SaiTaX_the_Chile_boi 10 місяців тому
I agree, this is wonderful.
@nathanaelhahn4795 3 роки тому
I kid you not. I'm sitting at the airport, I pull out my phone. I think, "It'd be awesome if there were a new 3B1B video" So yeah, you're the best
@aman_chandravanshi 3 роки тому
have an "errorless" journey ;P
@PianoMastR64 3 роки тому
It's pretty unlikely that exact situation would happen to you or anyone specifically, but given how often he uploads and how many people are excited for the uploads and say "It'd be awesome if", it's pretty likely to happen to someone eventually. I bet there's a 3B1B video on that idea lol
@nathanaelhahn4795 3 роки тому
@@PianoMastR64 Lol way to math away the excitement 😆
@DFPercush 3 роки тому
@@PianoMastR64 I guess it's not surprising that someone wins the lottery every now and then, but it's pretty exciting if it happens to you lol
@cortexauth4094 3 роки тому
I was bored sitting in hospital bed after playing tons of Earthbound and Final Fantasy , I pulled out the phone and watched Computerphile, Numberphile and 3B1B videos. Don't regret it at all, time well spent
@trevinbeattie4888 3 роки тому
Can we dig into Reed-Solomon error correction next? (Multiple-bit and burst error correction used for CD’s, DVD’s, QR codes, RAID-6, etc.)
@fulviofrapolli4635 3 роки тому
Yes Plesse 😁
@Bibibosh 3 роки тому
Its to complicated dude
@chrisw4578 3 роки тому
Or maybe cyclic redundancy checks (CRCs).
@Sciencedoneright 3 роки тому
Ikr wf
@wesleymays1931 3 роки тому
And NASA space probes, don't forget those!
@JalebJay 3 роки тому
The interesting thing about the error correcting idea is that it was used as a card trick people may have seen before (I know I saw it when young). Each card has a list of numbers written on them, and another person is asked to pick a number between 1-60 and pick out each card with that number printed on it. The cards each were a binary class as shown in this video, so all you had to do to guess their number was sum the top left number on each card.
@gregoryfenn1462 3 роки тому
I did this as a Maths teacher a few years ago to teach binary arithmetic to kids :)
@tomvondeek 3 роки тому
@jalel @3blue1brown thanks to your comment i grabbed a pack of cards and realized one trick i remembered from childhood functioned was exactly this. i knew this algorithm when i was like 9 or 10 or 11? but i did never connect math with it. this makes it even more beautiful- and to shows me complex stuff can be thought and learned way earlier. you two together invoked beautiful childhoodmemories, thank you guys =)
@starup4960 3 роки тому
Yeah I had that when I was younger, and I thought it was so amazing that I saved it from the magic set it came with. I found them again a few weeks ago and figured out the trick, and I gotta say figuring out the solution to something I know baffled young me was a really nice experience.
@jaishkhan7442 3 роки тому
Any video on this card trick 👀 asking to increase my repertoire of party tricks...
@JalebJay 3 роки тому
@@jaishkhan7442 you'll have to print out certain cards. First one for example will have 1,3,5,...,59 (only odd numbers). Second will have 2,3,6,7,... (2 or 3 mod 4). And so on. Your last card will be 32, 33, ...
@sebastianp4023 3 роки тому
I'm studying Geology. I have NOTHING to do with this sort of things but I'm still here for those beautiful videos and ideas/ concepts :)
@aman_chandravanshi 3 роки тому
Divided by Different streams, united by Curiosity. The true essence of Science , :)
@reeyoHere 3 роки тому
does 1 + 1 = 0 surprised to you?
@EidosGaming 3 роки тому
I am very very ignorant in geology but I'm pretty sure data processing plays a huge part in this field. Like idk when reading height data from satellites or measuring seismic activity :)
@TheWormzerjr 3 роки тому
Geology is good, but be careful of the political brainwashing and follow the money. Stick with the good science and when new information comes, be ready to change your indoctrinated beliefs in geology. this is a youtube guy who is brilliant at predicting earthquakes with science. /user/dutchsinse
@remicornwall754 3 роки тому
Luck favours the prepared mind.
@mikolajwojnicki2169 3 роки тому
This feels almost too elegant. I mean that I would never expect it to work out this nicely so I would not even put my effort into it and I would never discover all these last tricks.
@RussellTeapot 3 роки тому
Seeing a brilliant mind at work (like Hamming in this case) is astonishingly beautiful
@DFPercush 3 роки тому
The feeling when some problem that you thought was terribly complex, simplifies down to something so concise, is pretty special. It's almost like you've discovered something fundamental about the universe, the first explorer gazing at a new continent. I'm no Hamming, but I've had a few moments like that writing code, where some long block reduces down to a simple formula and you're just like, "aw yeah" hehe
@sashimanu 3 роки тому
It’s elegant, but very pedestrian. The single bit flip assumption is rather weak. There are much stronger codes in terms of error correction and detection capacities. They involve harder math as well. Hamming codes were good for the time and a nice intro to coding theory.
@zoltanersek90 3 роки тому
This reminds me of the following riddle: The King of a small country invites 1000 senators to his annual party. As a tradition, each senator brings the King a bottle of wine. Soon after, the Queen discovers that one of the senators is trying to assassinate the King by giving him a bottle of poisoned wine. Unfortunately, they do not know which senator, nor which bottle of wine is poisoned, and the poison is completely indiscernible. However, the King has 10 prisoners he plans to execute. He decides to use them as taste testers to determine which bottle of wine contains the poison. The poison when taken has no effect on the prisoner until exactly 24 hours later when the infected prisoner suddenly dies. The King needs to determine which bottle of wine is poisoned by tomorrow so that the festivities can continue as planned. Hence he only has time for one round of testing. How can the King administer the wine to the prisoners to ensure that 24 hours from now he is guaranteed to have found the poisoned wine bottle?
@iddomargalit-friedman3897 3 роки тому
Exactly! I remember this riddle from my childhood - and during the video it immediately sprang to mind. It's kind of shocking to realize that an important concept as this, only discovered in the 50' - can still be compacted into a riddle for school children.
@Ricocossa1 3 роки тому
I'd never heard this riddle! There's my solution below for those who don't want to get spoiled. It turns out that 999 in binary has 10 digits: 1111100111 So the king just has to label the bottles in binary, from 0000000000 to 1111100111. Then he gives the first prisoner a glass filled from all the bottles starting with a 1, the second prisoner all the bottles which second digit is a 1, etc. until the 10th prisoner who's given all the odd labelled bottles. 24 hours later, the king writes 1 if the first prisoner died, or 0 if he's alive. To the right of that digit, he writes 1 if the second prisoner died, and 0 if he's alive, and so on to the tenth prisoner. At the end of this process, the king has written the label of the bottle containing the poison.
@maxsnts 3 роки тому
@@Ricocossa1 Don't you actually have to take out a bottle, and have that one be the poison if no prisoner dies?
@Ricocossa1 3 роки тому
@@maxsnts Well, how do you know which bottle to take out? You can only have them drink once. Edit: I see what you mean. The bottle you take out is actually the one labelled 0000000000. That one will be in none of the prisoners' glasses. Incidentally you could also have them drink that bottle. The trick works with up to 1024 bottles. If you have just one more, you'll need 11 prisoners.
@turtlellamacow 3 роки тому
I was reminded of a whole family of puzzles involving, say, 100 coins, one of which is counterfeit and weighs less than the rest, and all you have is a balance scale. The most efficient way of weighing them is with a clever grouping which is effectively the same thing as your puzzle's solution
@ReaperUnreal 3 роки тому
The Haskell programmer in me loved the "one line" reduction (though wanted to write it pointfree), but the C++ programmer in me hated it and wanted to write the 32-bit version as a fixed series of operations in the most efficient manner possible.
@vanshpatel9520 3 роки тому
Blubwrun
@XetXetable 3 роки тому
You can rewrite the program in Haskell as a hylomorphism. Making use of the Recursion Schemes library, we can write it as the following; hammingAlgebra :: ListF Int Int -> Int hammingAlgebra Nil = 0 hammingAlgebra (Cons i1 i2) = xor i1 i2 hammingCoalgebra :: (Int, [Bool]) -> ListF Int (Int, [Bool]) hammingCoalgebra (_, []) = Nil hammingCoalgebra (i, (b : r)) = Cons (if b then i else 0) (i + 1, r) hamming :: [Bool] -> Int hamming = hylo hammingAlgebra hammingCoalgebra . (0,) This rendition is also, in some ways, more efficient than the one given in the video, as it avoids using the linear space required to store the enumeration list, only using constant space instead. We can turn this into a point-free implementation, but it won't look too good as the position (i) needs to be copied for both keeping track of position and being fed into xor. I personally hate list comprehension syntax as it obscures the algebraic structure of what's going on behind seemingly clear but in-fact obscuring syntax sugar.
@shershahdrimighdelih 3 роки тому
I have been raised on C-similar languages since 5th grade so anything that isn't completely efficient ticks me off
@pmj_studio4065 3 роки тому
@@shershahdrimighdelih I've been using Scratch for a few years, and yes, *everything* must be as efficient as possible. Because else it just won't work or will be too slow or non-scalable...:)
@snooks5607 3 роки тому
xor is a single clock cycle operation, I'm not sure how something like this could possibly be written inefficiently with something that compiles natively. unless you'd do memory allocations in a loop while checksumming something large
@morkmon 3 роки тому
Woah realized 'the why' of the relation between the binary bisection and the fact that it actually spells out the position of the cell in binary just before you explained it, that has never happened to me before in one of these videos.
@Ultiminati 3 роки тому
*dopamine boost intensifies* addiction to math complete. it's a great feeling.
@achtsekundenfurz7876 2 роки тому
My "naive" implementation started from the top to keep all possible error locations within a solid interval: "Error is somewhere between 0 (included) and 16 (excluded). Now is the error in the 2nd half? If not, the new endpoint becomes (0+16)/2 = 8. If it is, the new starting point becomes 8. Then, in which quarter of the array (i.e. which half of the interval) is the error? Halve the interval again, etc. until you have an endpoint that's 1 more than the starting point, and the error is pinned down. But the solution in the video is even more elegant. For hardware, one could run the data through a circuit where you have 4 XOR gates, and you'd use the index of the bit to turn the gates on/off, so that each gate XORs only half the data. In software, one would XOR the indices of all bits which are 1. Essentially, that's two ways to XOR, by column in hardware and by row in software.
@nakkstar1237 3 роки тому
I think that the best part about your videos is that you won't understand something completely unless you pause and work on it yourself. I've seen comments asking you to slow down but I think your pace is perfect for telling me that something is going beyond my head. Then, when I pause and figure it out myself, I'm never going to forget it. Keep up the great content :D
@satpatel7508 3 роки тому
Exactly!
@millwrightrick1 3 роки тому
I used to play a game called Mastermind where I had to guess the location and colours of 4 pegs using a series of guesses. My method for winning looks a lot like using parity bits.
@shantanunene4389 3 роки тому
Ah I remember this game. I think the game is winnable in at most 4 moves
@Hi_Brien 3 роки тому
I only know that game because of a minecraft youtuber known as Ethoslab XD
@jakistam1000 3 роки тому
@@shantanunene4389 Depends on the version. I had a version with 8 colors and 5 spaces; I don't know what the number of moves is for that version, but I doubt it's 4
@Etrehumain123 3 роки тому
@@Hi_Brien He is a master
@brendawilliams8062 3 роки тому
Thankyou
@calebsander316 3 роки тому
reduce() will raise an exception if the list of values to reduce is empty (i.e. all bits were 0 in the Hamming-encoded message). So technically, you should pass 0 (the identity for XOR) as an additional argument: reduce(ops.xor, (i for i, bit in enumerate(bits) if bit), 0)
@donaldhobson8873 3 роки тому
That's what I was thinking too.
@hidroman1993 3 роки тому
This is the perfect example of a perfectly right, but definitely unnecessary comment
@dravorek 3 роки тому
@@hidroman1993 how ist it unnecessary? It points out a bug in the code and povides a bugfix. The video didn't state the precondition of the message not being all 0
@hidroman1993 3 роки тому
Wow thank you code nazi, maybe the purpose of the video is other than showing a screen full of code
@dravorek 3 роки тому
@@hidroman1993 I don't understand why you're upset. Even if the point of a video is to communicate the concept and to induce curiosity. The comment wasn't rude or condescending, it just presented the facts. Even if the simplified version is in the video on purpose there's nothing useless about posting the fully correct version.
@danelyn.1374 Рік тому
I swear the explanations that you make are impossibly elegant, just like some of the things you explain. kinda crazy as I consider myself to be a very slow person and I can absolutely understand the flow of your videos w/o having to rewind. the videos always seem to have immensely powerful lessons as well, where we not only learn about a fun fact but also how it was thought of, how amazing it was, and a separate takeaway other than the thing we're learning. honestly amazing, it's so appreciated, and I absolutely love this channel for it.
@think_logic 3 роки тому
I love to see how clever people can be. Just imagine you standing in front of such a problem and trying to find such an elegant solution!
@artiem5262 3 роки тому
In the early 1970's, Hamming spent a year at U C Irvine, working on the second edition of his book. He also taught a class. I'm one of the survivors of that year-long experience. I remember Hamming talking about being forced to invent error correcting codes so he could do (reliable) computation on unreliable hardware. He was brilliant, and a curmudgeon who did not suffer fools well -- I also remember his rant one morning in class when he discovered that some of us had not had a class in complex variable... And then proceeded to give us poor folks an amazingly lucid explanation (that astounded those in the class that had completed complex variable). Hamming's year-long class was one of the highlights of my time at UCI.
@Karakiri24 3 роки тому
Great video! The clear and eloquent way you explain it is admirable! The very process of learning give an incredible sense of pleasure, giving another different perspective of the way of thinking and to see the result! Bravo!
@kienluen 3 роки тому
Although I studied electrical engineering with focus on communications and most of this is really familiar, it's still fascinating to see it explained and visualized so beautifully. I wish this channel already existed during my studies, that would have made thing so much easier.
@penultimateApogee 3 роки тому
this channel makes so many complicated or high-level topics easily accessible for no cost; you've helped me really *understand* topics that daunted me just reading the video titles. you're fighting the good fight of information accessibility!
@ChrisSeltzer 3 роки тому
Learning about Hamming Codes was such a cool moment in my computer science education along with learning about compression and learning about encryption. They were so intuitive when someone shows you but mindblowing when you think about it.
@ptajimura 3 роки тому
Beautiful. However, I'm still waiting for part 3 of "probability of probabilities"
@gaeb-hd4lf 3 роки тому
Yeaaah me too...
@hugodaniel8975 3 роки тому
@@gaeb-hd4lf i wish there were black, lgbt and women programning
@masonhunter2748 3 роки тому
Hugo Daniel javascript isn’t racist
@masonhunter2748 3 роки тому
No programming language should be racist
@elismith2491 3 роки тому
@@masonhunter2748 I’m sure we can all agree that if any programming language was racist, it would probably be javascript
@-vermin- 3 роки тому
Oh good lord. I remember learning this in the 90s. Looking forward to the Reed-Solomon encoding, I don't think we ever covered that.
@t9h3m 3 роки тому
Amazing! I love how you built it up in two videos, one the long, but intuitive way, and then the other one just breaking it down into literally two operations.
@lukewilliams6364 2 роки тому
I just paused this video at 1:07 because I got literal goosebumps when you said they spell the location. This video is incredible!
@ananintesarbinfaiz863 3 роки тому
you have 3.14 million subscribers as of right now, that is milestone goals...
@AbhishekGNair 3 роки тому
The money quote of the video: "Ironically the ideas that most profoundly shape the ways that a future generation thinks will end up looking, to that future generation, simpler than they really are."
@matthewparker9276 3 роки тому
I was inspired during a liners algebra class to write all binary logic functions as a composition of just xor and and.
@Noceo 3 роки тому
Your videos keep impressing me. After spending 18 years in school, and quite a few working in software, I have never seen anyone explain technical stuff as well as you. It's amazing...
@SpiderHeadChris 3 роки тому
Hey 3b1b, I just wanted to say thank you for these videos. I was suggesting your work and as I explained why it worked for me, being a visual learner, the more I realized it is because of people like you, who give visual form to the data, that I have had any improvement. Thank you so much!
@benwilcox1192 3 роки тому
5:45 the yellow boxes aren't aligned. I cried when I saw this
@aditimuthkhod1252 3 роки тому
That's because of the difference in the number of zeros and ones before those boxes!
@Sohlstyce 3 роки тому
TIHI
@karlosfy 3 роки тому
Im a mathematician and I'm high. This is pure gold.
@daturadubs7423 3 роки тому
Y e s
@travcollier 3 роки тому
"a mathematician and high" ... There is a lot of redundancy there ;)
@DavidH-fb9ob 3 роки тому
Same
@hugodaniel8975 3 роки тому
@@travcollier i wish there were more were black, women and lgbt in mathematics
@travcollier 3 роки тому
@@hugodaniel8975 Used to be a lot of women in high-level maths. Never been a lack of talent there. Sexism is stupid :( On race, Europeans never had a monopoly, but there's a very strong cultural component (which is why Inida and Persia were way more advanced on maths than Europe for most of history.) Most of the great work comes from ideas someone has when they are pretty young, so it really helps to grow up around maths. It isn't common anywhere, but in some places there are sort of math-is-cool subcultures. Black nerds sort of 'coming out' these days is promising on that front, but it is a generation timescale thing. LGBT... Yeah, no reason not. Actually, thinking about it, LGBT might already be fairly or even over-represented. It's more of a case of them always being there, just not being obvious. The norms have shifted really quickly, and the majority of folks in the maths and sciences react to LGBTQ with a sort of shrug... So Jim became Joan, ok, they are still an expert on using differential equations to model ecosystem dynamics (that's a real example BTW).
@jewby08 3 роки тому
Grant is amazing. So often watching his videos, he explains something and my mind goes "yeah but what about if this strange edge case thing happens??", then every time, grant addresses that exact edge case thing precisely. In short, he leaves no stone unturned, that is, unless the stone is redundant, and doesn't need turning. Super satisfying.
@thelocalsage 3 роки тому
Truly fascinating-I’ve found my way to the Shannon paper before through your mention in a previous video, and that paper has transformed a lot about how I think about basically everything, not just math or science either literally everything
@justinw6978 3 роки тому
UKposts-recommended had me watch part 2 first
@abirhasanx 3 роки тому
maybe because youtube algorithm prefers more recent video
@rohitsrao 3 роки тому
Maybe UKposts algorithm did not correct its code ;)
@j.hawkins8779 3 роки тому
@@rohitsrao or maybe its complete GARBAGE
@Sohlstyce 3 роки тому
@@j.hawkins8779 yea probably
@j.hawkins8779 3 роки тому
@@Sohlstyce no, DEFINITELY
@kingdomadventures 3 роки тому
I've always love Grant's math and style in teaching math (everyone needs more animated Pi's in their life!) but I also appreciate the occasional dips into philosophy and having creative/intuitive/inquisitive worldview, like he did at the end of this pair of videos.
@cadencetennant3303 3 роки тому
Wow. Oh my goodness. I don't know if I have ever been as blown away by the simplicity and elegance of an explanation of any topic on UKposts. Thank you so much for this video! I understand Hamming codes, and error detection and correction as a whole, far better than I ever have before. I will definitely be "liking and subscribing"!
@keshavbhola2236 2 роки тому
Hey Grant! Absolutely love your channel, though I'm an electronics and communication engineering grad and now work in consulting, your videos have reignited my love for advanced math and coding. Please never stop making these amazing videos and do upload more topics as your method of explaining such advanced topics is so amazing that even a 6year old can understand them pretty well. LOADS OF Love and Respect for you!
@lluic 3 роки тому
Hey. I tried to visualize a (7, 4) bit problem as a 2x2x2 cube, then expandable to higher dimensions, and not a 2x4 rectangle. Instead of the band patterns I get cool half cube divisions in each dimension. It is basically the same, but it is a cool visualization. In case I wasn't clear I can try explaining it better :)
@gargravarr2 3 роки тому
3b1b did mention that idea in the Chessboard video as "a really satisfying way of coloring a hypercube", which is analogous to the (15, 11) Hamming block.
@edderiofer 3 роки тому
Yep, and visualising a (255,247) Hamming Block is as simple as visualising halves of an 8-dimensional hypercube. It's simple, I really don't get what all the fuss is about.
@Tondadrd 3 роки тому
We do that in school. I mean, university of Informatics.
@syntheticsandwich190 2 роки тому
i see you watched the computerphile video too
@SriramVad 3 роки тому
"Number of bits required is the log base 2 of the bit size." Claude Shannon entered the chat 😂
@SY-ii1ox 3 роки тому
This is amazing. It really blown my mind how smart all these people are..thanks for telling this story !! Please bring more like this, appreciated so much !
@whiteeyedshadow8423 2 роки тому
I watched this around when it first came out and I didn't get a thing out of it about a year later, having been knees deep in trying to make a simple image rendering system using ASCII characters, and I came upon this video again. And it really hits me way harder than it did before, both because I have more coding experience and because that experience told me to truly follow along with the video and play the guessing game as I watched along. Thank you 3B1B, it truly is elegant.
@Weazel 3 роки тому
I think I dropped a tear when I saw the blue line crossing the whole maze of paths at the end, as I only got where you were going with that animation when you actually finished stating your last message... That's very true to me, and the way you so simply represented it is so simple yet beautiful ; with all those little pi-searchers going into wrong/forgotten directions, and this only pi-stein which is remembered as the big hero of a simplified story.
@DasParedes 3 роки тому
XOR is an "addition mod 2" whaaaat, and only know, after 2 years of eletronics AND half of the course of Computer Scientist i know that ??????
@everyoneisodd 3 роки тому
I figured it out and I haven't gone to college yet...... It's more important we figured it out. Most people never will.
@cosminturtureanu692 3 роки тому
That's a very elegant way to say it
@cogspace 3 роки тому
Yep! If you've studied digital logic circuits at all, here are two more ways to think about it: 1. XOR is the output of a half adder. 2. Hamming codes work on the same principle as using Karnaugh maps to create boolean algebra expressions from bit tables. Exceedingly cool to see these connecting points between things I think!
@squelchedotter 3 роки тому
also, AND is multiplication. 1*1=1, 1*0=0, 0*1=0, 0*0=0
@davidmcgill1000 3 роки тому
Easier to consider it a toggle by mask.
@robbie678 3 роки тому
This style of thinking is beautiful, Hamming you absolute genius. A big thank you to 3 blue 1 brown for the simplicity of the explanation, you make difficult subjects understandable for people like me.
@kosolomon123 3 роки тому
just went through 2 of the videos, and i just wanna say you're AWESOME! Awesome easy-understand explanations! Awesome animations! Thank you!
@echolee601 3 роки тому
“These days many of us are so immersed in thinking about bits and information，but it's easy to overlook how distinct this way of thinking was”～
@moiquiregardevideo 3 роки тому
In the small place where I lived, I believe I was the only kid to study binary over more than 500. But I can't be sure... I was not telling anyone... Considering those children unlikely to do anything beyond class
@johndododoe1411 Рік тому
I was greatly surprised about his relationship with Shannon. I always thought of Shannon as a forgotten genius who published all his results in a 3 page paper and wasn't heard from again. In stark contrast to modern scientists that publish endless pages and articles to boost those citation counts imposed by bureaucrats.
@zyansheep 3 роки тому
"The ideas that most profoundly shape how a future generation thinks will look simple to that generation" That's an awesome idea and I can only wonder how future generations will think about tech like quantum computers and generic engineering, complicated subjects today, but possibly beautifully understood tomorrow.
@migueltovarguerrero2582 Місяць тому
The full video is a hidden gem. One of the best explained yt videos I have ever watched.
@NicolasChanCSY 3 роки тому
These 2 videos are inspiring! Especially your views on how people often look back and only see the cleanest path!
@Garbaz 3 роки тому
3:50 Ah, that's the bit I found missing in part 1. The fact that the four parity locations are the ones which are only in one group wasn't immediately obvious, at least not to me.
@raulf.duarte1856 3 роки тому
"that's the bit" i thought about a tricky 0 or 1, not about a piece of knowledge lol
@SSM24_ 3 роки тому
As someone who's familiar with binary codes and such, placing things at powers of 2 did seem to make intuitive sense to me, but I didn't realize that each parity bit was _only_ in its group until I started working through the 256-bit version myself.
@jesusjar11 3 роки тому
I'm a simple man, whenever I see "Lambda" or "reduce" I click.
@BicyclesMayUseFullLane 3 роки тому
> using fold in Python Guido van Rossum is gonna hunt 3b1b down lol
@Sohlstyce 3 роки тому
Lol tru
@lydianlights 3 роки тому
I dunno I have PTSD from some of the "clever" reduce one-liners I've seen in production code...
@brucefoote540 Рік тому
I am so glad you referenced Ben Eater. Also a very good source. You fellows are among the very many brilliant stars in the night sky. Generally a gift to humanity. Thank you for being there for us, and yourselves of course. There should be an encyclopedia of humanities brilliant sources. Again thanks. Actually these days there are so many showing up, they begin to be hard to keep track of!
@srijansingh7190 3 роки тому
Man, this is art. Literally got goosebumps wondering what hamming would have felt when it all came together and made sense. Ignoring the fact that >2errors is not possible but that the redundancy decreases with scale is quite a rewarding feeling to think about.
@otb_redbaron4751 3 роки тому
Thanks for posting this after I graduate (lying down and crying) !!
@JonathanKayne 3 роки тому
I really hope you do a video on Reed Solomon code, I have been curious about how it works but it always confused me
@tiagoverissimo1404 3 роки тому
This man has a such a great talent on making this mathematical animations. I hope that, in a near by future they put this software more accessible to other users and professors that would be a revolution in mathematical education.
@benrich6376 3 роки тому
Beautiful. Videos like this are exactly what platforms like UKposts should really be about. I love that you and Ben tag-teamed on this one - each addressing the aspects to which you're best suited. :)
@akashdeeps3704 3 роки тому
So u have completed 2 parts on how to correct errors... Good job
@columbus8myhw 3 роки тому
There's a mistake in one of them but you have enough information to see where it was (/s)
@fluffy_tail4365 3 роки тому
I'd abolutely take a good visual explanation for reed solomon from you, just the fact that you showed a polynomial and you called it an interpolation have sparked me again with some ideas and interest to go check it out again even if theCD specs and wikipedia make it sounds like black magic.
@alonsomartinez9588 2 роки тому
Hey Grant, I just wanted to thank you for framing your videos from the point of view of the discoverer. I hope to one day invent crazy new ideas and your videos strengthen the mental muscles required for such leaps of logic and discovery. I also love that you mentioned the struggle and redundancy of all the things he tried before arriving to this. I used to work at Pixar (which I remember you visiting) in which I took a machine learning class from Tony Derose in which I asked "what does it feel like to invent math" (In relationship to polygon subdivision), and it warmed my heart how the often somewhat stoic Tony beamed with energy like a 10 year old saying 'It was the greatest feeling in my life'
@singerofsongs468 2 роки тому
I’ve been pausing this video to work things out and rewinding to make sure I really understand what I’m hearing. It’s been really elucidating - thanks!!
@mheermance 3 роки тому
"All good ideas are obvious in hindsight" - someone but no idea who.
@vigilantcosmicpenguin8721 3 роки тому
Whoever said that didn't realize how good of an idea that saying is.
@mheermance 3 роки тому
@@vigilantcosmicpenguin8721 LOL, but it is obvious in hindsight.
@axlstephenson9155 2 роки тому
$Kumacoin project is set on a mission to help one MILLION children and beyond through their transaction fee and NFT marketplace built for charity.
@potatobearsmo 2 роки тому
It's always easy when you know the answer
@bjarnivalur6330 3 роки тому
I remember when I first learned about Gray code and how surprised I was by how recently (relatively) it was invented, It just looks so obvious.
@canardman5915 3 роки тому
We learned this in class the last year with the more matematical approach and without any sort of explanation of what the calculation we were doing mean. With 40minutes of vidéo you have explained it much more clearly than 25 hours of course. So thank you !
@zachatyshafer9836 2 роки тому
My mind got blown when you explained how taking the xor of all the 1 bits, using the parity bits to even out to 0000, will give you the position of the error. Beautiful
@Project2100 3 роки тому
7:43 This also beautifully explains why this method can't find an error in position 0: XORing 0000 doesn't change the result, and with the 'correct' result being 0000 from the start, there's just no way to detect a flip there. I'm a CS grad student, and I find your work nothing short of amazing; really, your videos make my days better, even if I already know the topics at hand. And your linear algebra series *saved* me. Thank you so much, and keep it up! 🙏
@Adeith 3 роки тому
"Id like to think of xor as addition mod 2" Holy moose, that just made something click for me.
@PhoenixClank 3 роки тому
Thank you for mentioning interlacing in the exact moment I started to question the practicability of this when facing burst errors.
@user-ov4vg1bl2g 6 місяців тому
Thank you so much for the intuitive way of thinking as well as an overview of how it came into being. I must say I have learned in this 16 min more than a 90 min lecture. If only there were more inspiring teachers like you!
@baronlz 3 роки тому
15:09 that's a teaser for path finding algorithms? or maybe random walks
@fredgotpub871 3 роки тому
Or a new T-shirt ?
@eNtrozx 3 роки тому
If you want to explore about it, it's called DFS algorithm, pretty simple
@Tondadrd 3 роки тому
I think random walk is the cover of the book! 14:02
@sgbench 3 роки тому
shout out to my boy A*
@DestructorEFX 3 роки тому
Amazing!
@devcybiko 2 роки тому
I haven't thought of Hamming codes since college (1980s). This is a wonderful description and reminds me how much I love XOR.
@andreisoceanu4320 3 роки тому
I appreciate you so much for the time you spend in making these animations. I discovered you when I needed to understand what Fourier Transform is, and I have to say nothing on the internet explained it as good as you. Thank you sir for your time and kindness!
@brandonbeavisinvestment5294 3 роки тому
FEEL FREE TO MESSAGE ONE OF MY MOST TRUSTED TRADER MARK THOMAS TO MAKE GREAT PROFITS IN CRYPTO +..1...3...0...9.....2.. .4...8....4.....4....7....2... His strategies are top notch 100% risk free.
@121dan121 3 роки тому
The final takeaway message is so important and highly relevant to the current zeitgeist, as it doesn't only apply to scientific thinking but also moral thinking. What we know now makes it really easy to assume people in the past were stupid, racist, etc, but it couldn't be further from the truth. "The ideas that most profoundly shape the ways a future generation thinks, will end up looking to that future generation simpler than they really are"
@Ruhrpottpatriot 3 роки тому
No, people were racist and less intelligent in the past, those facts have been researched thoroughly. It's the entire reason why you can't compare an IQ score from say 1950 to one from 2010 without knowing how µ and σ have shifted. What Grant is saying is: "Hindsight is 20/20"
@121dan121 3 роки тому
@@Ruhrpottpatriot What you are talking about with IQ is called the Flynn Effect and it is highly disputed. What I'm saying is that people in the past used the best tools they had available and built the foundation for the tools and ideas we use today. You're basically saying a caveman is stupid to use a rock to crack open a nut when he should just go to walmart and buy a nutcracker.
@HeythemMD 3 роки тому
People in the past weren't stupid, why would they be? People in the past WERE racist, but I don't think it has to do with the fact they were figuring out the ins and outs of morality. After all, people opposed slavery for example even then. I think it relates more to the status quo and how hard it is to go against the grain. Since people in power benefited from the status quo, they worked to maintain it, and didn't really think of the moral implications or just tried to justify them. I assure you that even then, if people were made to take a hard look at their stance, and to critically examine it, they would've arrived at the same conclusion as we do now. You see it at present time too. Veganism is obviously the way to go if we want to protect our planet's resources, even more so if you want to reduce the aggregate suffering in this world because pumping chicken full until their legs break is evidently not moral. However, people are willing tto gloss over that, not think it through because they enjoy meat.
@Ruhrpottpatriot 3 роки тому
@@HeythemMD Only that Veganism is _actually_ harmful to the human body as you're missing key ingredients, e.g. Vitamin B12 which is *only* found in animal products. Nobody of sane mind disagrees with people needing to eat _less_ meat (although the type of meat has vast implications for climate, e.g. pork is way better than beef), but no animal products is just as stupid as one steak every day.
@NihongoWakannai 3 роки тому
@@Ruhrpottpatriot People are not more intelligent, we can't evolve so fast that the brains of our species are more capable after only half a century. IQ tests are far from perfect, and you can score higher on them with study, not to mention they are known to have had cultural biases. The *knowledge* that we have in the modern day is greater because of information passed down to us, but our raw mental ability has not changed. You cannot claim that you are smarter than newton because you learned the results of his life's work while you were in highschool. You would in no way be able to discover those things on your own were you to live in his time with the resources available to him. It is only easy to understand now because of efficient education techniques used to pass the information on to you.
@MacumbacaoExtrema 3 роки тому
Congratulations, at this moment you have pi millions of subscribers!
@gurditrehal3348 4 місяці тому
I always get a feeling of satisfaction when I come across an algorithm that gets more efficient as the data grows
@christophradig1329 Рік тому
What a beautiful video (both parts)! I never appreciated Hamming codes before, but this is so ingenious! Thank you so much for sharing this with the world!
@J0R1AN 3 роки тому
I think I’ve said “oh, that’s so smart” like 10 times to myself in this video
@ytvideos221 3 роки тому
Nice video! What about Vectra Coin algorithm review?
@gianlucavigano711 3 роки тому
It's so incredible and a very big coincidence that I have to do in three days the exam of Information and Transmission Theory... Thanks for the summary of this part!
@soffes 3 роки тому
This was beyond fantastic! I really liked seeing another way of thinking about it from the first part. The meta of thinking about thinking and how Hamming was thinking was really great. Thanks for making this
@aakarshan01 3 роки тому
2 vids so fast? Damn. Must be my bday
@parkashsingh9044 3 роки тому
pls make video on "" mathematics used in fluid dynamics """
@stefan_7494 3 роки тому
Great video! Also was super interesting the final part of the video, seeing the book and the historical mentions about Hamming and Shannon. In fact searching where the error occurred, in Hamming codes, is very correlated with the binary search in a sorted array, from which the log in base 2 function. But we have to change the prospective of thinking at the problem, not always an easy thing to do.
@DavidLindes 3 роки тому
Great -pair- trio of videos, Grant & Ben! It was a delight to see those three notifications together, and a delight to watch all 3.
@enthdegree 3 роки тому
fantastic PLEASE do one on the Leech lattice, they're deeply related
@user-fp6dt1os1l 3 роки тому
Wow I watched the first part before the second part was uploaded!
@jf8442 3 роки тому
Yep same 😂
@saturnday160 Місяць тому
This is very interesting. I can't say that it feels obvious to me. I'm amazed that somebody came up with something so efficient and elegant. without the first video i would not have understood any of this at all, so I'm glad you made a version of this explanation that is understandable to somebody with no coding experience.
@biggiemac42 3 роки тому
I've done grad study work on quantum error correcting codes and the concept of code switching between two qubit codes with "gauge qubits" to achieve a fault tolerant gate set. This pair of videos is really well put together, and I selfishly wish you could take your expertise in presenting these elegant ideas, and go much much deeper for the sake of people like me. But alas, you do the best work for reaching a wide audience. For the deep dives at the same level of quality, I guess I have to be the change I wish to see in this world.
@ZiadAmerr 3 роки тому
The video notification brought happiness to my heart ❤
@hardikparmar875 3 роки тому
Same
@pkmath12345 3 роки тому
Your graphic is always so good to watch! Glad you made such a great video! Manim expert
@boruiwang1738 2 роки тому
These kind of algorithms always amaze me and I cant held the smile on my face learning how elegant they are.
@AbhiramGowda 3 роки тому
Your explanations are as good as the explained methods. No parity check needed here. You transmitted the idea pretty well.
@atubebuff 3 роки тому
Best Part: 2:36 "Hey... me again..."
@SimonClarkstone 3 роки тому
Eh?
@Etrehumain123 3 роки тому
Yes, I laughed
@SimonClarkstone 3 роки тому
Ah, at 2:48
@gradientO 3 роки тому
Pls do manim tutorial!
@MrHichammohsen1 3 роки тому
My mind is blown! It was great to also see you with Lex. Still my favorite subject is Euler and your explanations are mind blowing! Thank you.
@monkeye9096 3 роки тому
these few videos were super interesting and entertaining and became some of my favorite videos of your channel. would love to see more of the other error correction codes in the future. greetings from argentina
ОВР Шоу
Переглядів 4,8 млн