najdan33

4 ms·

1.
Landing Wingsuit on Solid or Water?(aviation.stackexchange.com)
2 points by najdan33 2y ago|0 comments
2.
by najdan33 4y ago
It would be interesting to see a list of what a small player (eg. small country) effectively needs to be able to bootstrap chip/IC production.
3.
by najdan33 4y ago
> Cryptography rearranges power: it configures who can do what, from what. This makes cryptography an inherently political tool, and it confers on the field an intrinsically moral dimension. Admittedly, this is true for other types of in
4.
by najdan33 4y ago
You are right, I was wrong. If there's a way to evaluate each single yes/no question in a finite number of steps, then the set of all problems is decidable, since any question can be resolved in a finite number of steps. That woul
5.
by najdan33 4y ago
Thank you for suggesting this example. For the undecidable Diophantine equation Q=0 of n variables - I'm assuming that the fact that someone could hit a solution randomly (by randomly generating the n variables and getting lucky) does
6.
Ulam's Prime Spiral(mathworld.wolfram.com)
2 points by najdan33 4y ago|1 comments
7.
by najdan33 4y ago
The spiral was discovered in 1963: > This construction was first made by Polish-American mathematician Stanislaw Ulam (1909-1986) in 1963 while doodling during a boring talk at a scientific meeting. While drawing a grid of lines, he deci
8.
by najdan33 4y ago
Thanks for the answer, it helps piece together the puzzle. I believe there's a problem with this reasoning: > each concrete solution can be expressed in finite length in a formal language with a finite alphabet Suppose that's t
9.
by najdan33 4y ago
Does there exist a set of yes/no problems such that: - there's no general algorithm that can solve an arbitrary problem from the set (the whole thing is undecidable) - each problem in isolation _can_ be solved. there's no sin
10.
by najdan33 4y ago
This thought deserves some admiration: >Assume that bad technical decisions are made rationally, for reasons that are not apparent. It could be generalized: >Assume that acts or behavior you don't understand are made rationally,