theWheez

At the beginning of 2018 I was in a pretty bad state in many ways. One of which was my health.

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 feel this strongly.

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.

It looks like this twitter account is trying to do just that

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 expanding the axioms, I'm comparing the paradoxical nature of mathematics to other systems.

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.

Yes, I understand that, and am well aware of Godel's position on its application. Hence my statement that I extrapolate it further than intended.

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.

Like monads, I think the issue comes from "frames" of thinking.

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.

I think going through The Little Schemer by Daniel Friedman and Matthias Felleisen helped me a lot. It builds up your knowledge in a conversational way to achieve understanding of quite complex ideas in simple terms. In that case, it builds up to an understanding of the halting problem, and then to the Y Combinator.

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

This, alongside the second incompleteness theorem, showed me that any formal system cannot prove itself, and any system deemed "consistent" can only be considered as such from outside that system.

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.

Is that related to the Curry-Howard isomorphism?

I'm 100 or so pages in to this now. What a book! I'm sure this will be a long time classic for me.

This theorem actually changed my life. Once it clicked for me it shifted my understanding of reality significantly.

I'm nearly the same! I've found that I can't stick to a single book at one time--when I'm jogging, I don't want to think about technical things, I want to think of big picture ideas.

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.

Sent from our WePhone

The $ Combinator

Yeah, I agree. Up until the internet, getting information out there required resources and/or a platform to speak from, be it the pulpit, a newspaper, etc. If you had something to say, you had to go through such great effort to say it.

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

Wouldn't that be more like public roads? You couldn't decide that Fords are not allowed on a road, just because of the brand, but Ford is perfectly within their rights to not sell a car to somebody, just as Cloudflare and Voxility have decided to sell their hosting services to 8chan.

I’ll second this. Pi-Hole was very easy to set up and gives me some good peace of mind. Love seeing query trends too.

Location: Salt Lake City, Utah, USA

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: mail@caleb.dev

5 years of Android experience, and 2 years as an independent contractor. Available for contract work (potentially to hire, with the right fit).

You'd love his DEFCON talk! https://www.youtube.com/watch?v=KSWqx8goqSY

Any idea how this might affect (or help) projects like iSH, or similar?

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.

I would think on a variety of companies fitting the description the author makes. Consuming large amounts of capital with plans mostly being "growth"

Perfect! Thank you :)

Any advice or insights on creating and fostering that community for your projects?

If I understand this correctly, does this mean that this is not a weakness in Quad101, but the internet infrastructure itself?

Can anybody comment on what is meant by a "frame" here?

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?

Having finally gone through the process of getting diagnosed with ADHD, I can't agree more.

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.

In my grand ole state of Utah, even our voting doesn't matter [0]! The Utah legislature gutted a medicaid expansion program which the population had passed in a ballot initiative in 2018.

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...

This is incredible to me. How can one get to senior or middle software engineering positions without the ability to write such trivial code?

By Googlers? No, but by the audience around me, yes

I asked this exact question at the Android Dev summit this last year, and was laughed at

https://youtu.be/FV3iN4PIB5U?t=902