theWheez
I did a lot to turn it around, including running regularly, and a better diet. I lost a lot of weight. But what's more amazing in the long term is the mental transition that's come with it. When I get anxious, often I think "when is the last time I went running?" and if it was more than 2 days ago, getting my gear on and getting outside is nearly automatic. It's an emotional outlet. Anxious? Run it out. Angry? Run it out. Happy? Run with it!
Truly, we are meant to run. We are meant to exert ourselves. And our bodies crave it, if given the ability to.
I've been a software contractor for the last ~18 months. I do it because it affords me the ability to spend my time exactly how I want to, mostly reading and researching. But I also have reduced my contracting time as much as possible and this year my income will have been ~30k.
I've gotten to the end of my rope, and it's stressful and weighs on me 24/7, especially with my fear of an upcoming recession.
I decided to find a job again and in just a month I've been able to get multiple offers lined up for 5x my current income.
On the one hand, I use my position to its fullest--and I've spent the better part of a year learning things I never would have learned in a University or employment setting.
On the other hand, I recognize that this is an incredibly privileged position, one which I don't feel very deserving of. I understand the market forces, yes, but I can't help but feel a tinge of guilt knowing that I can be somewhat irresponsible financially just to pull myself out within two months of a new paycheck.
https://twitter.com/thetokenanalyst/status/11699297386071244...
I am not an expert and this is a very rough estimate, but this data[0] shows 7-day rolling USD trading volume on major exchanges. It's pretty volatile but fluctuates from $300m to $110m daily.
I would guess that this is liquid enough to be able to pull out $1b+ over 30 days, perhaps drawing some attention. This is also only for USD. Would love to hear an expert's thoughts as well.
[0]: https://www.blockchain.com/en/charts/trade-volume?timespan=6...
I'm not saying that reality is encompassed in the theorem because "mathematics", I'm positing that if mathematics, a man-made formal system, is self-consistent but requires a true, unprovable statement, then perhaps other man-made systems might reveal similar paradoxes, when put under scrutiny.
Mathematics is unique in that it is systematic and, as Godel discovered, able to be self referential and explicitly outline this paradox. Yet one can recreate the sense of the theorem in English with the phrase "this sentence is false".
This doesn't invalidate mathematics, nor English, nor any system. It simply demonstrates that what we may consider the "sound" logic of mathematics is paridoxical, and I believe that this paradox, this strange loop, is not unique to Godel's mathematical theory alone.
My extrapolation is influenced by the Curry-Howard isomorphism, equating computer programs and mathematical proofs. Extrapolation to "reality" and philosophy, to me, comes from my belief of computing as universal and that consciousness is not so separate from computing.
You cannot understand monads in terms of functions as is understood in most languages. You also can't understand it in terms of its common uses like I/O. Yes, it can be applied in those domains, but it is like explaining the internet with electricity.
The click felt to me similar to understanding recursion for the first time--it doesn't fit into your head naturally. Once it does "click", even then you have to re-remember it later, and trace your logic on how you "realized" recursion.
Godel's Theorem brings that "feeling" of recursion and takes it to the extreme, in that its subject matter is "meta"-mathematical. So in the same way that recursion can't be grokked in terms of only loops, Godel's Theorem can't be grokked only in terms of equations.
I don't know if that made sense, I've also seen some links in this thread which I think may help as well
A great way that I visualize it (thanks to Hofstadter) is like Escher's never ending staircase painting. If you look at each step, it looks just fine. In fact, you can say that each step on its own is "consistent". But it is only when you take a step back, outside the system of each isolated step, that you see the paradox.
Similarly, the theorem applies this to mathematics, and by extent, any formal system. Just as we can see each "step" going from one to the next, in mathematics we must hold an axiom as truth without proof, so that subsequent theorems may use it as the next "step". It is, in a sense, a paradox which we agree to use.
In practical terms, I may extrapolate that further and more philosophically than was intended (or that I have commonly seen), but the subsequent Halting Problem combined with the Curry-Howard isomorphism shows me that Godel's Theorem has major real world effects. The idea that there can be something that is true but not provable rings true to me in many regards. I, like many, spend nearly every moment of the day unconsciously putting faith into the "truth" that I am not alone in the universe, thereby fending off solipsism.
I cannot prove "I" exist. But it is true. What are the other truths that cannot be proven? That question guides my thinking.
When I'm driving a distance, I want to get into the nitty gritty of something technical or informative with an audiobook.
When I'm relaxing, I want something interesting but not directly related to any of my work--I don't want to get my mind running on tasks I "should be doing"
Very much the same with browsing the "eye candy" type forums, Twitter, HN, Reddit. If I've got a good book, it seems to permeate my life for the duration of reading.
What do we even do, besides sit and watch? I've totally shifted the way I browse the web to reduce my exposure to toxic information, and I think that the whole corporate banning of Alex Jones was a net positive, but what happens when a voice I agree with gets shunned in the same way?
What a messy problem
Remote: Yes
Willing to relocate: No
Technologies: Android, Kotlin, Java. Proficient in Python, JavaScript, SQL, Linux, etc.
Résumé/CV: https://caleb.dev/android/
Email: [email protected]
5 years of Android experience, and 2 years as an independent contractor. Available for contract work (potentially to hire, with the right fit).
I've been fighting to be productive on my iPad, and currently that takes the form of a remote terminal.
I've been craving the ability to run a proper Unix shell locally.
My intuition tells me that what we consider a "frame" in our daily experience (24 up through maybe 144) would be pretty different from what this "frame" would be, in terms of how it is captured and how it is subsequently rendered.
Any ideas?
I talked with my doctor about a referral, he essentially just said "find somebody in your network" and gave no direction. Of course, finding psychiatric care in my network was a no-go, so I ended up paying out of pocket.
Even with the diagnosis and subsequent medication prescription, the out of pocket price was $189 for 30 days for a generic medication! Only with a coupon app was the price lowered to ~$50.
It's no wonder the black market for drugs is so strong considering the barrier to entry, not just monetarily but logistically.
Technically legal? Sure, they're the legislature, they can do whatever they want. Incredibly disappointing as a voter.
[0]: https://www.politico.com/story/2019/02/11/utah-medicaid-expa...