AmpBenzScientist @AmpBenzScientist@qoto.org

@freemo It's a really fun time. That's how I was taught Calculus. It was theory that we had to prove.

@lupyuen I'm getting a much better disassembly and C code. It's almost perfect now. The same code that was crashing disassemblers is now tamed.

@freemo @math It doesn't mean that you shouldn't try to explain your country's dikes and the Mathematics behind them. The Mathematical Proof of Nederland.

@lupyuen @freemo It Disassembles and Decompiles cleanly. :3 I didn't expect this to work that well. :blobcatboo:

@lupyuen @freemo Just be aware that it has errors. I dug through the documentation on the ISA and discovered that the Atomic extension was causing the illegal instructions due to two instructions not being supported with the extension. I'm testing my new processor in Ghidra and I haven't found any of the old warnings yet.

@lupyuen @freemo I ported the proper arch instruction sets into Ghidra.

@freemo @math Standard notation of The AMS requires a solid black square to mark the end of the proof.

@freemo That's really cool! I still have a TI-83 Plus Silver Edition.

@2ck Oftentimes the whys are answered in another course. That's when it becomes clear. Time answers many questions.

@timorl @2ck It is irrelevant if people have different views on Calculus. What matters is that it is presented as theory with rigorous proofs. Mathematics is a field based on proofs. What I stated was not false as theory is required for proper application. It is true that Calculus like operations were being used before the discovery of Calculus. Euler's Method is a good example of this. There are problems that have been proven to not have a solution.
In summary, Theory and rigorous proofs are the foundation. Examples and applications should logically follow after this.

@jmw150 @freemo @Science Turing took his own life at the age of 45 (I think that was his age). I don't know if there was a stated reason or even a note.

@freemo @Science It just occurred to me that this is not complete. There should be a few more pages. I remember similar TeX documents requiring approximately 3-5 pages of formulas. I had to make Mathematical Models of Malaria outbreaks with different drugs, resistances and other factors that changed the model.
Side Note: this was around the time that I got more heavily involved in CS. I used Axioms to prove that a certain computation could be scaled.

@2ck You learned the proper way, the way filled with proofs. Nothing matters unless it can be proven. The rigor strengthens the mind.

@jmw150 @freemo @Science A Mathematician declared insane is just solving the problems of the next century. I don't know if I have ever seen a successful Mathematician. Even Turing did not feel complete.

@freemo It's Reverse Engineering and the hardware, RISC-V, has made it more complicated. It's because it's not complicated and I've been deceived by what I've seen.
TL;DR I was mistaken about being mistaken while also being wrong and all the while lost. I read the ISA and complex manual for the processor and one assumption that I suspected early on was in fact wrong. This instruction extension produced 4 different types of errors,illegal instructions and has caused a massive effort to fall on its face. At least 48 hours per week went into this.

@freemo @Science The set of equations of an object that have a proportional variable that reminds me of free fall with resistance. It seems like a ball is involved. It seems correct but I am not certain what is going on. There is a force being counteracted by a resistance proportional to the value of the object.

@freemo @Science Omg it's so beautiful!

@freemo @Science Mathematics is beautiful.

After a 3 month long obsession I have found information that should help me finish what I started. I just need to do some tedious work before I can finish it. I will release my work when I can.