4 ms·

As you know three sub-atomic particles (electrons, protons and neutrons) give us the 118 elements which construct everything. All hardware can be founded on a

As you know three sub-atomic particles (electrons, protons and neutrons) give us the 118 elements which construct everything. All hardware can be founded on a single NAND gate. I think he's looking for that kind of fundamental core to software -- and it's missing. I am personally quite sure that software construction will one day be a form of mathematics with symmetry being found in everything from biology and neurology to physics.

nickpsecurity 10y ago
Whaaaaat?? Just a NAND gate? Nah, hardware is done on a combination of standard cell library, RAM, ROM/flash, and analog components. You can't even get the volatage right with just a NAND gate. Far as symmetry, there's potential there given some work is reducing it to math and simple constructs. Hardware too. Ill try to rrmember to give you a link when I'm off work.
- deleted 10y ago
  [deleted]
wangii 10y ago
yes, I got your point but consider this: there are only 26 English characters yet I can't finish Ulysses.
- david927 10y ago
  That's funny. OK, I get your point as well. My only counter might be that Ulysses is a monumental work of art. We don't have anything like that in software -- and not just because we don't have a Joyce. We lack that standardized alphabet. That we compile/interpret programs, that we have a completely different language for data access, that we have in-memory data structures, I could go on and on -- it's all getting in our way from creating something monumental. (I feel like I'm cheating a bit; I've seen the other side and it's beautiful.)
nickpsecurity 10y ago
As promised, here's one that creates a theory for programs that can be used in practical ways: http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/ Hardware: http://www.cs.toronto.edu/~hehner/HLCD.pdf http://www.cs.toronto.edu/~hehner/HLCD.pdf If doing the first in Scheme, methods like this tie it to hardware: http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf

nickpsecurity 10y ago

Whaaaaat?? Just a NAND gate? Nah, hardware is done on a combination of standard cell library, RAM, ROM/flash, and analog components. You can't even get the volatage right with just a NAND gate. Far as symmetry, there's potential there given some work is reducing it to math and simple constructs. Hardware too. Ill try to rrmember to give you a link when I'm off work.

deleted 10y ago
[deleted]

wangii 10y ago

yes, I got your point but consider this: there are only 26 English characters yet I can't finish Ulysses.

david927 10y ago
That's funny. OK, I get your point as well. My only counter might be that Ulysses is a monumental work of art. We don't have anything like that in software -- and not just because we don't have a Joyce. We lack that standardized alphabet. That we compile/interpret programs, that we have a completely different language for data access, that we have in-memory data structures, I could go on and on -- it's all getting in our way from creating something monumental. (I feel like I'm cheating a bit; I've seen the other side and it's beautiful.)

nickpsecurity 10y ago

As promised, here's one that creates a theory for programs that can be used in practical ways: http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/ Hardware: http://www.cs.toronto.edu/~hehner/HLCD.pdf http://www.cs.toronto.edu/~hehner/HLCD.pdf If doing the first in Scheme, methods like this tie it to hardware: http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf