Viewing profile — 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…

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 …

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, b…

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",…

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 …

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 …

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 …

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 outs…

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 idea…

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 …

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 …

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://c…

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…

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 diff…