joha2

Results 8 comments of joha2

@void4 sorry for chiming in: Are we sure that physical constants are not only anthropocentric concepts? Further, some of the constants are constant in our physical model of the world:...

@void4 Thanks for your questions. Maybe I explained it a bit sloppy. I try to elaborate more on that: > Are we sure that physical constants are not only anthropocentric...

@Pavgran nice comment on decoding cosmicos! @paulfitz sorry for chiming in: the real problem seems not to be the small alphabet (two delimiter symbols + two data symbols), but the...

Hey @aw1231 sorry for the neglection of the cosmicos from my side. Yeah definitely this tree structure is something for another variant. I do not know how complicated the implementation...

Hey! Sorry for my late reply. It's like with cosmicos itself, like @paulfitz already mentioned "Short bursts of activity then a long silence" :-). Yes, you're right! It totally makes...

@metiis is there anything preventing this PR from being merged?

Since I observed new activity in another issue, I thought I could revive this issue, too. Is there any news or comment on this matter @97jaz :smile_cat:? Sorry for bothering...

Hey @isovector I had a short look at 1.0.7. It looks much better now: ![format2_better_or_intror](https://github.com/isovector/certainty-by-construction/assets/12564815/e91b6bfc-7df9-4d0a-8d62-b5c86b0b70f9) ![format2_better_or](https://github.com/isovector/certainty-by-construction/assets/12564815/0887fba7-2afc-4081-8c0c-6cc38de0619e) (above) The two `\or` symbols are now the same and also the underscores in...