I love the little joke at the end .. the distance between 16 bytes and 16GB from infinity is about the same.

@jacobcorr337

6 жыл бұрын

Well infinity - 16 = infinity, as does infinity - 65536 so it's funny and true :D

@ZonkoKongo

6 жыл бұрын

65536? 16000000 iirc

@treytress763

5 жыл бұрын

@ACAB\\ Mela BAKAta 2^15 is 32768, (2^15)*2 or 2^16 is 65536.

@clusterfork

5 жыл бұрын

Not just about the same, it's exactly the same.

@luukvanoijen7082

5 жыл бұрын

@@clusterfork not exactly the same. they are both infinitely far away from infinity, but 16 is simply not the same number as 65536

Mind blown! I watched the whole 8-bit computer video start to finish, and this video just completely changed my perspective on how I view computers.

@xhivo97

6 жыл бұрын

Edward Wray His content is awesome. I learned a lot . Thanks man I really hope you get more subscribers 😊

@dmmm876

6 жыл бұрын

I was just about to write the same thing: 'Mind Blown'

@heniekgoab8746

6 жыл бұрын

now imagine 16bit 286 how complex it was LOL

@randalljam2000

5 жыл бұрын

Well said! I’m about half way through building Ben’s computer and so look forward to making it Turing complete. Having a universal computer sitting on my desk, that is a simple version of the much more complex and powerful ones that surround us, will be a fantastic way to get into the deep aspects of computation. My mind has been blown by reading David Deutsch, the “father of quantum computation”, and watching his you tube videos (rec Closer to Truth interviews) and explanations of the connections between computation, physics/physical reality, and knowledge. I hope Ben Eater can one day make the “how to build an 8-bit quantum computer at home” series!

@Cardgames4children

3 жыл бұрын

@@randalljam2000 don't stop now, continue onto the nand2tetris lecture and project series on KZread and their web! Using completely free tools, you learn how to build a 16-bit alu, cpu, 32k ram all with hardware simulators and writing chip logic code using, say, Notepad. Then you use a high level language, and learn how to write an assembler, virtual machine translator, and compiler while also coding up a simple game in the computer's own simple high level language, then run everything on your machine! You can also simulate your work on their vm emulator and cou emulator. You also write a small os for your computer and learn how to map ram words to the 256x512 pixel screen, including text and lines drawing. How to build strings. Memory allocation. It's a great hands-on challenge! They teach you and hold your hand just enough where you are then left on your own to figure out how to finish the various projects. It's phenomenal

Been looking forward to this. This series completely opened my eyes to fundamentals of a CPU and EE. (Software engineer by trade, never really dabbled past building my own PCs). Thank you Ben for making this series

@tagnarth

6 жыл бұрын

I did start building it :) It's moving forward slowly. I need a better multimeter/oscilloscope. Troubleshooting is very difficult with the one I have now

@loadstone5149

4 жыл бұрын

*dabb*

On a related note, the x86 mov instruction is Turing complete (yes, that single instruction). For anyone who's interested, Chris Domas made a mov-only compiler called "Movfuscator" He has a presentation on KZread somewhere

@dipi71

6 жыл бұрын

This! I just posted a link to his presentation up-thread, where Chris demonstrated his obfuscator, MOV-only gcc, and a floating-point-based 3D library exlusively using MOVs.

@ciano5475

6 жыл бұрын

XOR also is Turing complete. :D

@efesstuff4936

6 жыл бұрын

cgerman5 i

@cranberry4860

5 жыл бұрын

kzread.info/dash/bejne/hGt5p9GQl5mrm84.html

@tentative_flora2690

4 жыл бұрын

Ben's computer's instruction set includes lda and sta along with a perfectly good jmp instruction to put at the end. So if it had more memory the concept could easily be implemented without the conditional jump.

“We wouldnt expect a computer to be able to compute the meaning of life” *Asimov starts sweating nervously*

@RedwoodRhiadra

3 жыл бұрын

It's very simple. LDI 15; STA 15; ADD 15; STA 15; LDI 12; ADD 15; OUT; HLT.

@eljuano28

2 жыл бұрын

Asimov/Shmasimov: Douglas Adams is rolling in his grave!

@wolfgangsanyer3544

2 жыл бұрын

42

@kaitlyn__L

Жыл бұрын

@@wolfgangsanyer3544 I used to think the computer should’ve said something earlier and was being needlessly picky with the “well you didn’t ask me a proper question” stuff, but now it makes total sense - leave your input lines floating and the computer will spit out some random answer!

Loved that last argument! ;D

@leberkassemmel

6 жыл бұрын

I was thinking about how to add more memory to that thing. Maybe adding a instruction that replaces the memory with another piece of memory from an eeprom. If i need to multiply, load the multiply function into memory, and when done, load where the program originally was. It still has only 8 Bits to know which memory chunk to load. So maybe if we swap memory, always jump to the first address? Then we could have 255 different memory contents to load...

@unvergebeneid

6 жыл бұрын

Michi Lo, wrong thread?

@leberkassemmel

6 жыл бұрын

It happens from time to time...

@pvic6959

6 жыл бұрын

the comment about the distance to infinity? Yeah I really liked that, I had to stare at the screen for a moment and just absorb how freeing that felt

@niwasox3

6 жыл бұрын

You just invented paging and segmented memory.

yes, yes.but turing actually ment: will it run crysis?

@motsgar

4 жыл бұрын

Will it run ms dos?

@Mostlyharmless1985

4 жыл бұрын

Technically? yes.

@pumpkin6429

4 жыл бұрын

@@Mostlyharmless1985 shaddup, bitch. How would you know? 😂

@Mostlyharmless1985

4 жыл бұрын

Pumpkin because That’s literally what Turing complete means. If it is a universal computer, it can be made to run any arbitrary code.

@rob4214

4 жыл бұрын

@@Mostlyharmless1985 at 1 frame per 10million years. 😂

Very smart of you not to build in any speculative execution - there will be no Spectre attacks on the Ben Eater Machine.

@tvoipapa

6 жыл бұрын

there is no instruction pipeline here, how can there be any speculative execution?

@notaras1985

6 жыл бұрын

didnt understand shit. you guys have a slang of your own.

@monad_tcp

6 жыл бұрын

Didn't matter, as soon as you use C to program it, you will have buffer overflows, that's enough to be insecure forever.

@yoloswaggins2161

5 жыл бұрын

@@tvoipapa I think you missed the joke

@RogerBarraud

5 жыл бұрын

@@tvoipapa r/wooosh :-)

Ben, I don't know how i would thank you. You completely changed my perception of computers(/computing) and your 8-bit computer series got me in electronics and in how does a computer work (the elemental stuff no one looks at nowdays). Stay AWESOME, cheers from Czech Republic! PS: do you think it is possible to simulate a basic quantum computer with hardware? (just like your 8-bit computer)

@jpisello

6 жыл бұрын

It *is* possible to simulate a quantum computer with classical computing hardware. You just have to create enough separate components to represent all of the possible states that each qubit can assume simultaneously, as well as the needed quantum logic "gates" (several of which perform different operations than classical logic gates). The issue is that the classical simulation will have exponentially more components than the quantum computer (i.e., the number of classical components increases exponentially as you simulate more qubits).

@usern4m32

4 жыл бұрын

What im wondering is : Would it be possible to build (program) a basic interpreter for the CPU of Ben Eater if we just use an lcd screen in stead of 7 segment displays ? And if it is possible, how hard would it be to program it ?

@usern4m32

4 жыл бұрын

@alysdexia What do you mean ?

@nagitokomaeda3237

4 жыл бұрын

@alysdexia do you speak English?

@nicholassternon5857

3 жыл бұрын

@alysdexia wow crazy languages blend and evolve

JNZ, jump if not zero, is my vote for your conditional jump instruction. Was my number 1 decision maker when I was an 8051 assembly programmer.

Ben: Hey, I built a computer Alan: *bUt CAn iT "If" ????*

I think I have a program that can multiply two numbers using only the instructions that we have right now (so no conditional jumps). The idea is that we can edit the RAM, which means we can both change the storage AND the actual program itself. This means that the data can actually change how the program behaves, and with this we should be able to make a multiplication program. This is the program that I came up with: 0: LDA 3 1: ADD 17 2: STA 3 3: JMP 31 4: LDA 3 5: SUB 17 6: STA 3 7: LDA 18 8: ADD 16 9: STA 18 10: LDI 1 11: STA 19 12: LDA 17 13: SUB 19 14: STA 17 15: JMP 0 16: X 17: Y 18: 0 19: 0 . . . 28: LDA 18 29: OUT 30: HLT 31: JMP 28 I actually needed 5 address bits, or 32 memory locations to make this work, but I still only used the instructions we have available. Lines 0-6 are essentially what are doing the conditional jump that we need for multiplication. What they do is jump to line 31 if the number stored at address 17 is 0. With this it's relatively easy to do the rest of the program, which just adds the number in position 16 to the number in position 18, and stores the sum back in position 18. At the same time, it subtracts 1 from the number in position 17, and loops back to the beginning of the program where again, it checks if position 17 is 0 and if so, goes to the last line, line 31. Then, on line 31, I just jump back a bit so I can output the answer, which is in position 18. So, basically, positions 16 and 17 are storing the two numbers we want to multiply, and position 18 is storing the result of that multiplication. The way the conditional jump works is that I am editing the jump statement right before I reach it. In memory, the actual jump statement will be represented as ABCD11111, where ABCD is just the code for the jump statement. Ben used 0110, so I'll also use that. The other digits are 11111 because that is the position we are jumping to, 31. Right before the program reaches the jump statement, we add the number in position 17 (which I'll call Y from now on) to the number in position 3. But, the number in position 3 is the jump statement. If Y is anything other than 0, we will be editing this jump statement. The jump statement before was 011011111. If we add anything to this, we will be changing the first four digits of the statement. As long as we add a number that is less than 5 bits we will only change the 4th bit, which means the new code will be 0111. If we just make this code do nothing, then if we add anything other than 0 to the jump statement, the line will then do nothing. Only if we add 0, which means Y = 0, will we actually jump to line 31, as then, the jump statement won't be edited. So, this works as a conditional jump statement that jumps to the last line if Y = 0 (and Y is less than 5 bits). I'm pretty sure that this means the computer is Turing complete, even without adding a conditional jump statement, but it's just much harder to reason this out, and it's probably easier to just add a conditional jump.

@azzajohnson2123

4 жыл бұрын

Chaitanya Ravuri pretty sure it’s people with brains like yours that got us to the moon with the AGC and then hacked it mid flight even with the bulk of its programming in read only memory. The limit here is the address size (more bits needed) and the ability to modify its own memory. Here’s a crazy thought. You could write a program that uses pseudo random number generation pulling out different predefined “gibberish” ram memory allocations that changes after every power on and use it to print out random ASCII characters to hear from the universe or create random music generation. 🤪

@ajreukgjdi94

4 жыл бұрын

No need for all that if we can assume both inputs are positive Check this out 0: LDA 10 1: ADD 11 2: STR 10 3: OUT 4: LDA 7 5: SUB 9 6: STR 7 7: (Y-2) 8: JMP 0 9: 1 10: (RESULT) 11: (X) Since 0000 is NOP and 1111 is HLT, this will add X to itself Y times and then halt when address 7 rolls over to the maximum. I suppose we also have to assume Y-2

3 жыл бұрын

What you wrote is an impure program. People generally hate impure programs because of reasons. Good job nonetheless.

@srenkoch6127

3 жыл бұрын

@@ajreukgjdi94 Nice one! however I think these tricks only works because the op-code and argument is part of the same address. I do not think you could do it like this if the OP-codes and arguments were in separate RAM addresses (which you would need if you wanted 8-bit addressing and more than 16 OP-codes (but with more than 16 opcodes you surely would add a Jump-carry or Jump-zero or similar, making this argument a moot point :-)

@PeterKleiweg

3 жыл бұрын

Indeed. You don't need a conditional jump. Your program is just data that you can rewrite, just like the data/program that is on the tape of a Turing machine. The question is: what is the minimal instruction set for a computer like the one in this series to be Turing complete? Lambda calculus doesn't have a conditional jump either. On the other hand, a conditional jump is very useful, like many other "non essential" instructions, to allow for a smaller program and using less RAM for calculations.

At 17:30 I half-expected him to say "Here's an infinitely long tape I ordered from ebay..."

@usern4m32

5 жыл бұрын

ahahah

@fromvoid3764

4 жыл бұрын

Tried that once. Delivery takes forever.

@ewdlop1

3 жыл бұрын

it is unbounded you can just add more tape as you go

I've never built my own computer, and probably will never find the time to do so.... But I almost feel like I've had the experience of doing so, just by watching your videos. Your presentation is clear and compelling, and has given me a much better understanding of what's actually going-on "down-deep" in a computer's circuitry... things that I've mostly already understood at an abstract level but always wanted to understand all the way down, in detail, to the physical level. Thank you for making these videos, and I definitely look forward to more.

Interestingly enough, Church was Turing's PhD advisor.

I was wondering how you were going to end this series. I thought it might be similar to just saying "tadah! I'm done!'. But no. You lit the metaphorical dynamite and said: "here, hold this, it'll blow your mind"

Woah, where did you find an infinite piece of paper like that? I want one. :)

@usern4m32

5 жыл бұрын

I ordered one at christmas, i'll see what answer i get from santa.

@garychap8384

4 жыл бұрын

pcred, You're in luck! I happen to manufacture infinitely long strips of paper ! They're not cheap though. Being infinitely long, we manufacture them to also be infinitely narrow - we find this saves on shipping costs.

@eggmeister6641

4 жыл бұрын

@@garychap8384 you sell air? cool!

@lxathu

4 жыл бұрын

Moebius Inc. sells it.

@BrightBlueJim

4 жыл бұрын

All you need is a self-replenishing forest providing feedstock to an automated solar-powered paper mill that puts out a continuous strip of paper. Access time is a little slow, though.

You can literally translate Entscheidungsproblem to "decission problem" and as a German I wasn't even aware that "Entscheidungsproblem" is used without translation in the English papers :D

@MegaKopfschmerzen

5 жыл бұрын

Entscheidunsproblem is not a word or phrase, but a name. The problem was obviously proposed by a German scientist, that's why it holds a German name. Similarly we call 'sudoku' by its japanese name, instead of saying something like 'number place'.

I watched some of your earlier videos (but not the ones building a computer) and I'm looking forward to it! This is really great material.

3:10 about minimal instruction sets: Christopher Domas famously wrote a code obfuscator and even a complete gcc plugin. He showed that Intel’s MOV instruction is Turing complete. Presentation is here: kzread.info/dash/bejne/hGt5p9GQl5mrm84.html (At 39:13 in that talk Christopher even shows a 3D-floating-point framework driven by MOV instructions exclusively - an incredible feat of concept proving, in my opinion!)

Ben, you are very practical and inspiring. Know many of us appreciate you beyond the breadboard.

Absolutely fantastic video! The question of what a computer is, on a fundamental level, was never thoroughly discussed in my Computer Architecture class. This video truly opened my eyes. Thank you so very much!

Your explanations are stellar. I can follow everything you say and the presentation with prepared papers and notes is just awesome and rarely seen nowadays. Keep up the awesome work!

Just found another easter egg in the thumbnail, it says: "How to compute everything" and the display shows the number 42. Very cool!

Had written a comment out asking you to make a video explaining how to allow your machine to perform conditional jumps and how to program those individual conditions. Needless to say I can't wait for the next video.

It is possible to use those instructions to create a multiply command with values below a certain bit length. You can permute the stored instructions to create a conditional jump. It's not necessarily with the limitations of this computers memory but with the same instruction set it is indeed possible. In this case I'll do multiplication with repeated addition. You start with two arguments somewhere in memory, these are the numbers to be multiplied together. The first of these arguments we'll call the iterator since it will count down each time we execute the loop. As well designate an address in memory we'll call the product because it will store the product of multiplication. ADD the second argument and the product together and store the result over the product. Load the iterator, subtract 1 and store it again then add (0110 ) to the result. Store it to The next command in the fetch is now equivalent to jump with the offset being the iterator. All commands in memory addressable by a number the bit length of the largest argument you accept should be jumps, which will jump the program back to where we loaded from memory and then added the product and the second argument together. The only exception to this is the command immediately after which should jump out of that loop to the commands LDA , OUT, HLT Our program execution then for lets say the values 4 and 3 should be. loop1: iterator = 3 product = 3 JMP offset 4 loop2: iterator = 2 product = 6 JMP offset 3 loop3: iterator = 1 product = 9 JMP offset 2 loop4: iterator = 0 product = 12 JMP offset 1 Additionally such a command would be possible using ADD as a bitshift. Adding a value to itself is the same as bitshifting it left once. So by bit shifting one argument by the bit length of the other, adding the two together then using that conditional jump trick you could create a situation where you have a unique jump address for every combination of arguments. Given this I do think the original instruction set is Turing complete given an arbitrarily long instruction bitlength and an arbitrarily large amount of memory in which to compute.

@regularruby3786

5 жыл бұрын

Thank you for pointing that out i had an idea of how to multiply but this has realy helped

@jordanblackadar951

5 жыл бұрын

Glad I wasn’t the only one thinking this is definitely possible!

@Sal1981

5 жыл бұрын

The same can be done with subtraction to compute a division, given an arbitrarily amount of memory. There are probably better hardware to be had though to do multiplication and division.

@shooting6lasers

4 жыл бұрын

Yep, many basic instructions are Turing complete when an arbitrary amount of memory is considered.

Ben, you are just a wonderful gift to many of us. I love your videos and Thank you so much for making them. Your content is rich yet easy to understand; the mark of an excellent teacher.

Another great video! I have already learned so much by watching some of your 8-bit computer videos. You explain things in a way I can understand and the videos really reinforce the concepts I am learning in school (going for Computer Systems Engineering). I can't wait until I have learned enough to build my own computer. Looking forward to your next video!

16 bytes is just about as far from infinity as 16 GB, so it's just as good. Loved it!

Wow I just watched all of these in 2 or 3 days. Damn. Nice series.

Great intuitive introduction to the fundamentals of assembly language. As always I am excited to see your hardware implementation to add the branch instruction. Amazing work Ben, you sir are a teacher and this series should be mandatory for any Elec/CompEng/CompSci student.

I absolutely love this series. It starts with the chemistry of transistors and ends up organically teaching assembly language and Turing-completeness in a way that's completely organic. Each step logically follows from the last.

"We don't really expect a computer to be able to computer the meaning of life" why shall we? We already know it's 42

MY GOD MAN! You just made me realize the Architecture im working on... it can expand its own instruction set. Its like a Virtualized Wetware... but not virtual in the common way of thinking. Meaning no sacrifice in speed to do this.... i mean it by hardware design doesn't have an ALU (at all) in the physical components level, its all done by code. Maybe just maybe one way to think of my architecture is one large mass of control unit s, but still not exactly. Its not Harvard or Von Newman.

Your content is great. Your style of editing/ narration makes the subject matter extremely understandable. I wish I had the motivation to tactical a project like this.

Hi Ben, Excellent explanation, thanks a lot for your time and efforts in making these wonderful videos.

grade A German word butchering :)

@cogwheel42

6 жыл бұрын

I bet there's a German word for that

@DasEtwas

6 жыл бұрын

erstklassige Wortzerstückelung

@rcookie5128

6 жыл бұрын

true :D *and @Hugohopser: I would say the comment above seems better, and if you were to translate it word-for-word I would go for "Schlachtung" /"Schlachterei" instead of "Metzgerei" :)

@unvergebeneid

6 жыл бұрын

Of course "Gemetzel" would be more natural to say. I also like "Massaker" in this context.

@rcookie5128

6 жыл бұрын

allrighty ^^

Ben, have you considered venturing into FPGA? I'm learning them now, and it would be awesome if there were some Ben Eater style tutorials out there ;)

Thanks for this video series. It’s been very enlightening. Can’t wait for the next video. Very inspiring!

I want to say thank you for such a complete and informative history and explanation. This was eye opening and gave a lot of purpose to words and phrases I use regularly.

To compute the meaning of life, you multiply six by seven

@Mermaider

3 жыл бұрын

22 and 11 She's.......

@Keneo1

2 жыл бұрын

Actually it’s What you get if you multiply six by nine?

@Handlessuck1

Жыл бұрын

@@Keneo1 Are you joking?

@Keneo1

Жыл бұрын

@@Handlessuck1 well yes, everything about thhgttg is jokes What do you get when you multiply six by nine?" is the ultimate question of life, the universe and everything. As explained in Douglas Adams' book, The Hitchhiker's Guide to the Galaxy , the answer to this question explains the purpose of life…. incidentally, the answer is 42. This explains why a lot of things are very weird in our universe

@Handlessuck1

Жыл бұрын

@@Keneo1 I was talking about your conclusion for six by nine

First of all great work! I'm a assembly programmer my self and to see that home made hardware can run opcodes, is really cool thing to see! I'm more to the x86 syntax, but can surely understand 6502 like syntax as well. Are you going someday add I/O portability to your'e computer? And for last question: Will you give it a name?

As I saw in many comments about the SAP(-ish) video series, and probably already commented myself, I'm astonished by the clarity and simplicity of your explanations.. I'm absolutely glad that you started this series, Ben, I managed to simulate the computer in Logisim and I wrote some scripts to help me with microcode and programs assembly, all thanks to your wonderful videos. Keep it up!

Entscheidungsproblem is pronounced a bit like Entshydeongsproblehm or entshydoungsproblehm with r spelled harder than in english and emphasised on "shy", ou like in "you". 😊 It really means "decision problem". It's german, because Kurt Gödel was the first person writing a paper 1931 about the Entscheidungsproblem which was reformatted by Alan Turing 1936. Btw as a computer scientist I love your videos. Best chilling learning and educational videos about this for everyone who wants to get in touch with these computer stuff even when you may be a beginner. Very well done 😊

Say we have two unsigned numbers in the memory cells 14 and 15 which we want to multiply. This program will then print the result of the multiplication (to the out register). This assumes JC jumps if and only if the result of the SUB before it was

@JoJoModding

6 жыл бұрын

Hope this works

@codenamelambda

6 жыл бұрын

I tested your solution, it works. I was a little confused because of the `STR` instruction though, until I realized that it is the instruction for storing the value (he called it `STA`). You don't have to clear A, since you load something into it anyway. And you can remove instructions 4 and 5 (STR 15 and LDA 13) and insert them before the conditional jump. This way, you don't have to load the value in instruction 9 again. This makes you use one byte less memory, but there will be one additional unneeded step (STR 15) executed before the result is shown.

@JoJoModding

6 жыл бұрын

Yes, instruction 0 is absolutely unnessecary, I derped there. I did not pull the STR 15 and LDA 13 in front of the conditional jump since the conditional jump maybe only works if it is directly behind a SUB. (depending on how Ben will wire it up). Otherwise, that would surely be better. Have you actually build his CPU, or simulated it in logisim? How did you test it?

@codenamelambda

6 жыл бұрын

JoJoModding I built a little simulation in python. And the carry bit is only changed by the `ADD` and `SUB` instructions, as you can see in the assembly he wrote for displaying Fibonacci numbers (in an older video).

@JoJoModding

6 жыл бұрын

CodenameLambda is it set when the result is

3:36, ahem, the answer to life the universe and everything has already been computed by Deep Thought and that answer is.... 42 One of the things that bugs me when people talk about the early years of computers is they always forget about Tommy Flowers who built Colossus, the world's first programmable electronic computer... Everyone just bangs on about Turing...

@eritain

3 жыл бұрын

Colossus was a mighty work of wizardry and deserves better renown than wartime secrecy allowed it. But OTOH, for many years the same was true of the bombe. In the end, both were purpose-built cryptanalytic devices, not general-purpose computers (I do wish _The Imitation Game_ had name-checked Turing machines a little more cautiously), and both were programmed mechanically even if Colossus did _operate_ electronically. Mechanical programming kind of limits the payoff for electronic operation. IIRC someone eventually proved that you could build a Turing-complete computer out of ten Colossi. I'm not confident you could do that with bombes. So there's that. And cryptanalysis always was a first-rate example of why you'd want to systematically burn through a lot of grunt-work with some sort of a machine that could repeat sequences of operations and switch from one sequence to another. I used to teach a class about classical cryptography and I often found myself saying, "And *that's* another reason it was cryptanalysts that invented computers."

Yees, really hyped that you are going to cover computability in the future videos! Last year finished course on Theoretical Computer Science, which made me really interested in what computers are (in)capable off. Now starting to delve into Turing's papers with help off Charles Petzold's book "Annotated Turing". Thank you for your work!

your classes are incredible, I am an economist trying to learn networks, eletronics, software engineering, etc. and found your videos, the best ones in internet, you are an excellent professor

I like what you got

@Brutikus32

6 жыл бұрын

Good job!

Oh, that's why Chrome consumes so much memory, because it was designed to be ran on a Turing machine!

Splendid take on Turing completeness. This series of videos is a gem. I would recommend this as a starting point for anyone interested in computer architecture. Kudos!

I like this series of videos. It takes me back to my college days when we built a 4-bit computer on a breadboard and studied computational complexity, NP Complete, and other such esoteric computer science topics. Even though I know this material (but it's been 25 years ago) I am enjoying your presentation style and the review.

It's Turing complete when you run Doom on it. And you have a video card now, so...

@Vlad-1986

4 жыл бұрын

If they managed to run Quake in an oscilloscope, Doom could have even lower system requeriments

@vs24bv

4 жыл бұрын

@@Vlad-1986 They didn't "run" quake on an oscilloscope, they used the scope screen to output a representation of the output video - this is much different.

While it isn't do able in practice when it come to your machine there is a way of doing branching statements. As reference I point to Movfuscator ( github.com/xoreaxeaxeax/movfuscator ) which is a turning complete compiler based solely on the mov instruction. So if your computer can emulate a mov instruction(which I believe it can) then your computer is in fact turning complete.

@samu6982

6 жыл бұрын

I think that this computer can't simulate a x86 mov instuction because is way more than a simple memory copy

@argcargv

6 жыл бұрын

No the computer would need indirect move instructions for this to work. Also I don't think you could do anything with this approach and only 16 memory locations.

@ReonFourie

6 жыл бұрын

Nope it's not. the X86 MOV instruction can be used as and equivalent to conditional jump if your creative. The instructions on this computer can't emulate a conditional jump in it's current state.

@samu6982

6 жыл бұрын

Reon Fourie, yes if you have a mov that can write directly on the PC(thing easily doable in this computer) then you probably created a Turing machine

@JoJoModding

6 жыл бұрын

Yes, you need to store a register at the adress hold in another register, because that's the way comparsions are made by the mobfuscator.

Ben, this is some of the most illuminating video on system design I've ever seen. Please don't stop, it gets me so inspired to understand the machines I use and get paid for to use everyday.

I'm so happy to see Ben come back with his 8-bit! The comments of the last video blew up with requests for an if-statement, that last crucial bit of necessary CPU architecture, and it's finally coming! My christmas came late it seems!

A computer can compute the meaning of life. It's 42

@guilhermetorresj

4 жыл бұрын

So long, and thanks for all the fish.

I made the multiply program using the jc the other computer has, which, if I got it correct, jumps when the carry bit on the ALU is set. This works due to the possibly wrong observation that subtracting one from every positive number except 0 will trigger the carry bit. I unfortunately do not have the money or time to spend at the moment to make a breadboard computer, so I have no easy way to test this. But here's the (revised) program: 0: JMP 4 1: LDA d // start of loop, add first input to the result 2: ADD e 3: STA d 4: LDA f // subtract one from the second input 5: SUB c 6: STA f 7: JC 1 // jump if second input was greater than 0 8: LDA d // load the result and output 9: OUT a: HLT b: c: 1 // needed for quickly subtracting one d: 0 // the result, needs to be initialized to 0 e: // first input f: // second input My first incorrect attempt: 0: LDA e // move e to d, essentially preserving the input 1: STA d 2: LDA e // start of loop, add first input to stored number 3: ADD d 4: STA e 5: LDA f // subtract one from the second input 6: SUB c 7: STA f 8: JC 2 // jump if second input was greater than 0 9: SUB d // I think this is needed to correct an off by one error a: OUT // output b: HLT // and halt to make sure the data isn't interpreted as code or whatever c: 1 // needed for quickly subtracting one d: // reserved for use by program e: // first input f: // second input

@RussellTeapot

6 жыл бұрын

I suggest you to check Logisim: it's a digital logic simulator. From basic logic gates, to registers and memory, you can create pretty much any circuit. It's freeware, too! I've almost finished to simulate the computer discussed in the series by Ben

@Huntracony

6 жыл бұрын

Russell Teapot, Thanks, I'll check it out.

@Yotanido

6 жыл бұрын

I tried simulating an ALU built out of logic gates years ago with Logisim. It really didn't like it, eventually it just stopped working properly. It may have improved by now, though.

@JoJoModding

6 жыл бұрын

before you SUB d to correct your 1-off error, you should LDA e, so that you actually subtract from your result and not from -1.

@Huntracony

6 жыл бұрын

JoJoModding, You're right. Not only that, but I actually had two off by one errors. The first one was initializing the result to the first input rather than 0, the second one was hard to explain, because off by one errors suck, but was fixed by the jump on line 0. So it's fixed, with one byte to spare this time.

I teach programming to teens, and am always hunting for videos that are young learner friendly. This week I was searching for something regarding Church Turing thesis, and this is the most accessible one I have found. Bravo!

Well worth the wait! Thanks so much Ben, another excellent video!

What a heartless creature gave this video a thumbs down.

@233kosta

4 жыл бұрын

A computer?

@Gamer-uf1kl

4 жыл бұрын

A turing complete machine?

It's pronounced as entshydoongsproblem

Tout simplement génial !! J'ai regardé toutes les vidéos de la série, et elle m'a appris beaucoup de choses sur les ordinateurs. J'espère qu'elle ne s’arrêtera jamais ^^. Thank you Ben

Thank you so much for your videos! I can't get enough of them

Philosophically speaking, "computer" is in the eye of the beholder. John Searle points out that a falling pencil is a computer. It computes the time it takes to cross a distance in constant acceleration. If you use it for that purpose, you use it as a computer. So, "computer" is anything you know how to use to acquire answers to your numerical questions. Of course, a Turing machine can be used in limitless ways to compute limitless answers. (Well... the pencil too can be used to compute limitless things, by dropping it from different heights. But it's not obvious how to use it to compute the length of a vector. On the other hand, maybe we are not smart enough at using the pencil. Maybe, if we are smart enough, we can use the pencil for that purpose, e.g. by writing the norm down and doing all the calculations by hand, using some paper and the graphite of the pencil to keep track of all the numbers. So, a pencil is probably a general computer after all, provided you have enough paper and enough time to write things out.)

3:36 "We don't really expect a computer to be able to compute the meaning of life? right?" said the man who built a computer that outputs 42 every time

Oh my god, never been so early. Amazing work, I got heavily inspired by you with my classmate and we are building our 16b computer now. I would love to see you do more of this stuff, like try to do pipelined CPU (based on this one), or extending RAM (and thus capabilities) by choosing active bank (similar to 6502) or making UI to it with LCD display and HEX keyboard to program it in assembly. I really love your work and everything you do for us. Huge support from Slovakia and Czech republic ❤

Excellent presentation, Ben. Thanks

Hello ! Im from Poland, sorry for my English. I think Your computer is very interesting ( My hobby is AVR ), but i have one qestion to You: If You have memory adressable on 4 bits, instructions are easy: KKKKDDDD K-command D-mem. adress, but what if You have memory adressable on 8 bits ? one command is two bytes? Can you answer this qestion?

@stargazer7644

4 жыл бұрын

That's exactly right. Or it could be even longer than 2 bytes. The PC has opcodes up to 15 bytes long.

@srenkoch6127

4 жыл бұрын

Yes, that is exactly what I am building at the moment, an 8-bit computer with 6 bit opcodes and 8-bit address space. Most commands is still only one byte long, but all the ram IO and jump instructions are 2 bytes long, one for the op-code and one for the address. By using 6-bit opcodes i also have the 'luxury' of having 2 user operated inputs, 4 registers, special inputs (0 and one) and in addition to add and subtract I have also included logical AND as well as NOT (that is a true ALU :-) and increment and decrement value in A register (by loading the special value 1 in B register and doing sum or subtract). I have also used 74LS194's for the A and B registers as they allow to do bitshifts. I am now working on giving it a persistent storage (an 28C16A EEPROM like the ones Ben and I use for the OP-code decoding). I'm also planning to do a 4 byte hardware stack (using 9 74LS194's) for subroutine calls.

is your computer susceptible to the spectre attack? xd

@DasEtwas

6 жыл бұрын

Gigabyte1337 shush :x

@Brutikus32

6 жыл бұрын

Just add 100-million transistors for speculative execution and yes!

@nikoerforderlich7108

6 жыл бұрын

+Gigabyte1337 It also doesn't have a cache or out-of-order execution, so.... :D

@Huntracony

6 жыл бұрын

Gigabyte1337, So basically what you're saying is it's safe because it has no security.

@nikoerforderlich7108

6 жыл бұрын

+Huntracony No, not really. Gigabyte1337 is saying that the computer is safe (from the spectre attack) because it does not have the security features which spectre would break. Spectre can't be performed on this computer -> It's safe from spectre.

Holy shit ben! You have the ability to blow my mind in every video Your quick rundown of assembly to C was fascinating

Excellent video Ben!

The meaning of life could be computed and I bet it is around 42.

make a computer that uses Brainfuck instructions

@Adraria8

5 жыл бұрын

Hunar Omar I got a headache just from programming the fibunacci sequence

@ClaDepro

5 жыл бұрын

Hunar Omar well basically brainfuck is turing machine language So any turing machine will do

@BrightBlueJim

4 жыл бұрын

I saw a YT video somewhere that showed how to program in brainfuck without hurting yourself. The trick is to use macros to create useful instructions first.

This is perfect. You've made my day! And not just this one! Thank you very much.

WOW! Its great to see Ben's video after such long time. now we will be able to make it Turing complete with the JMP instruction. awesome stuff!

If it can download porn, its a computer. End of story.

@rozaepareza

6 жыл бұрын

A TV and a VHS tape can download porn, but isn't a computer.

@fakiirification

6 жыл бұрын

Sorry, but by the definition of computer, if it can download porn, it is a computer.

@rozaepareza

6 жыл бұрын

Oh, I see. OK.

@user-gr5do8nk7e

6 жыл бұрын

Rozae Pareza most TVs have have a cpu though.

@quarksamurai6101

6 жыл бұрын

fakiirification What?

A Mac? The breadboard computer really is better...

@naheelazawy

6 жыл бұрын

You deserve to be up

@darer13

6 жыл бұрын

underrated commnent

@evilotis01

6 жыл бұрын

sigh there's always someone

@dipi71

6 жыл бұрын

You guys seriously underestimate the power of macOS and its subsystems: *BSD, GNU tools, gcc, Ruby/Python/Samba/SSH preinstalled, a proper firewall, OpenGL, OpenCL etc, all open-source and industry standard, unlike proprietory Microsoft crap.

@danielmclaughlin5573

6 жыл бұрын

Proprietory Microsoft crap. That's an Apple product. If you want open-source, just use Linux; it, at least, is *actually* built on open-source.

I love how Ben explains things so easily, back to the roots of meaning

I really admire the amount of work you put into your videos Ben, it definitely pays off. Keep up the good work! (^:

Thanks Ben, this really helped me to understand the whole idea of computers.Thanks a lot.

Can't wait for the next episode, in fact I'm doing a cpu with transistors and I am following this tutorials as a guide but with a diferent alu with more options! Thanks for all!

You make it so clear, and you go from some hardware to explain fundamental concept: thank you

Thank you for a new video. Happy new year.

Thanks for a fantastic series of videos!

Love you ben!!!, there's a paper out there explaining that the mov instruction its by itself turing complete. Keep doing your thing man, you're an inspiration

I love your videos so much! If you explain something, suddenly I understand the stuff.

You are freaking awesome! I was researching this stuff but you made me understand it so much better :) Thanks :)

Masterfully done! Again. Thank you.

Yay! Happy new year!

One of the best descriptions of a Turing machine I’ve ever seen!

I wrote a multiplication and division program in my assembly class. The language we were using(SRC) didn't even have those operations built in. Cool to learn about the correlation between Landa calculus and turring machines. Another great video!

Great video. Really made me think about the fundamentals of computing.

I just found this channel and I'm actually annoyed that I hadn't found it earlier. I love these videos.

you are so good at explaining, i read turing machine on wiki several times (for leisure) but i understand nothing. You make it so much simpler

Mil gracias Ben. Apreciamos muchísimo tus videos. Manita arriba todos!!!!!!! Thaks a lot!!!

Ben you are great! You know exactly how to share your know how, thank you for your precious work.

Amazing video skills! thank you for your teachings

I love your content. Im sure the next thing you do will be amazing

WoW!!!! I never ever in my whole life heard more good explanation about conditional jamp (branch)!