keyvank

Almost correct! Though the system consists of 2 tokens. BETH which is 1:1 ERC-20 receipt of burnt ETH, and WORM which has a limited cap & limited emission of 50 WORM per 30 minutes which can be mined by consuming BETH :)

keyvank

2 anni fadiscuss

nice job! now it's time for the prover part :)

keyvank

2 anni fadiscuss

So glad you liked it!

keyvank

2 anni fadiscuss

wow, i envy you! :) i have been working on a really simple self-compiling C compiler for some time, was wondering if you are interested in adding it to your OS haha. but if GCC works fine, then i don't see a reason :d

keyvank

2 anni fadiscuss

can you compile and run smth like gcc in your OS?

keyvank

2 anni fadiscuss

have done that already :(

keyvank

2 anni fadiscuss

that’s why i love HN. tnx for the links!

keyvank

2 anni fadiscuss

the asms should be identical, so the binaries should be identical too, unless the linker is undeterministic

keyvank

2 anni fadiscuss

perfect explanation, tnx!

keyvank

2 anni fadiscuss

i think it just supports smth like 70% of C. I didn't bother supporting floating-point operators, or arrays (I mean, malloc and pointers are fine) or etc. I just wanted smth small and self-hosting!

keyvank

2 anni fadiscuss

i learnt that building a c compiler isn't that hard, just takes time :)

keyvank

2 anni fadiscuss

thanks man!

yes that makes sense. unfortunately 30cc is not able to compile that syntax, and will probably give type-checker errors when passing a void* to pointer of another type. but will implement it sometime soon!

keyvank

2 anni fadiscuss

Thanks! The third step proves that the assembly code generated by the second-step compiler is valid even when compiling a big C project.

keyvank

2 anni fadiscuss

tnx!

keyvank

2 anni fadiscuss

tnx!

keyvank

2 anni fadiscuss

Makes sense, have to get my hands dirty.