User Portlet
Featured Contributor
| Discussions |
|---|
| I'm hardly an expert on these sorts of philosophical questions. On the specific phrasing of "semantic" vs. "formal", I just copied the way it's explained in some of the works on computational type theory I read. I honestly don't even remember which... |
| The most powerful Pi is the Model B Revision 2.0. The Model B Revision 1.0 has 256MB of RAM, while the 2.0 has 512MB. The model A is designed to be a slightly striped-down version of the B, mainly for lower power use. You might want to... |
| The CHIP-8 is an old and simple computer architecture designed in the mid-70s. It's among the easiest to reproduce via software, and is a good starting project when learning emulation. I've yet to see... |