konstante | 2 years ago | on: Pkl, a Programming Language for Configuration
konstante's comments
konstante | 2 years ago | on: Relearning math as an adult
What do you mean by "trained mathematician"? I ask this because I always think that mathematicians are simply people do research in mathematics, if not they aren't mathematician. So no need to add "trained", what is an "untrained mathematician" btw?
I saw some people claimed on their twitter/blog that they are "trained mathematician" but I cannot find any single published contribution of them in mathematics.
And everyone I know who do research in math seems to agree all that "math is hard".
konstante | 2 years ago | on: 30 Years of Decompilation and the Unsolved Structuring Problem: Part 1
Yes, static disassembling is well known undecidable, data and code are indistinguishable in general. The reason is very simple (it's actually just an exercice), consider an assembly code:
jmp rax
...some binary data...
Where the value of "rax" depends on some input, so the disassembler can never be sure that "some binary data" is actually "data" or "code".
page 1
I think that too, "Futamura projections" are important but they are very very far from "complex mathematical machinery" as you may hear it. They are indeed very simple (even mathematically trivial) and require no special background to understand.