Search Results
7/25/2025, 5:35:06 PM
7/4/2025, 5:46:42 PM
This fish kind of thought about why he wanted to go to university. Stuff is probs too slow to be fun X there are other better ways to be around bakas my age. I guess younger me kind of liked the idea of going to uni X baka somehow held onto that but then realizing it's impossible baka sneeded. Now that baka is free from le idea baka thinks kind of le "unless it's MIT or Berkeley or any other university like that id probs hate it"
6/27/2025, 1:27:40 AM
>>105715993
Technically, when you bootstrap something, you implement a different language, so that's not true metacircularity.
When you say "this implementation is metacircular" you don't provide much value over just saying "this is an implementation of X in X". The only interesting fact you can deduce from here is that this implementation can be safely thrown away if you actually use it somewhere. There is no point in such implementations. The actual meat is in implementing something different. And the greater the difference, the better, since it shortens your bootstrap chain when you go from assembly to a high-level language.
And there is no "beautiful" metacircularity in the Mes sources. Or at least I was unable to find definitions similar to those in your first link with quick grepping. Everything is based on primitives implemented in C.
Also, I think that while full-source bootstrapping is nice to have in some abstract sense, it's not a complete solution. Or, to be more precise, it is a solution on a software level, but in practice, you also must rely on your hardware and trust the chip producer (be it chip designer or chip fabber or someone in between).
Technically, when you bootstrap something, you implement a different language, so that's not true metacircularity.
When you say "this implementation is metacircular" you don't provide much value over just saying "this is an implementation of X in X". The only interesting fact you can deduce from here is that this implementation can be safely thrown away if you actually use it somewhere. There is no point in such implementations. The actual meat is in implementing something different. And the greater the difference, the better, since it shortens your bootstrap chain when you go from assembly to a high-level language.
And there is no "beautiful" metacircularity in the Mes sources. Or at least I was unable to find definitions similar to those in your first link with quick grepping. Everything is based on primitives implemented in C.
Also, I think that while full-source bootstrapping is nice to have in some abstract sense, it's not a complete solution. Or, to be more precise, it is a solution on a software level, but in practice, you also must rely on your hardware and trust the chip producer (be it chip designer or chip fabber or someone in between).
Page 1