vikiomega9

Tbh, I'm also a product of the "screwed-up system". First I think we need to recognize that no system is perfect and there's really no point in trying to blame it, there is however greater value in trying to help fix it or do good. This mindset helps you setup yourself to view obstacles as growth opportunities, however bad things are. Do whatever you need to change your mindset, and quickly.

To your point, nobody owes you a job, you need to get good. Part of that comes from being immersed in an environment that helps. 50 years ago this might have been the biggest hurdle. Not so much anymore. It's easier, but still an obstacle, I agree, but if you try harder you can easily get really good. Let me know if you have questions I can help you with. Here are some resources,

On personal development: https://sivers.org/book/SoGood On building a hacker mindset: http://www.catb.org/~esr/faqs/hacker-howto.html#attitude On programming: https://dev.to/, https://hackernoon.com/ On competitive programming for interviews: https://www.topcoder.com/community/competitive-programming/t..., https://www.codechef.com/

> exabyte-scale storage system

Somewhat of a random question, can you point me to some state of the art research?

> scales non-linearly

Indeed, https://en.wikipedia.org/wiki/The_Nature_of_the_Firm

Awesome thank you, I was just trying to figure what the current state of your mental model on the subject is :)

Some what of a random question, how did you find [0] and [1]?

Well, maybe the good thing here is that at some point someone will notice that the specific gateway code can be extracted and then refactored? Idk there's probably a reason why they decided to do this, the most common answer I've gotten is, product requires feature out tomorrow. How does one reconcile this problem of competing priorities that aren't actually sized right (ie. short term feature development versus long term code health?)

> viscosity of air

Why were people not able to find this error?

Yes, and the same with Unix too, it's fascinating how people cut their teeth on something for years and the end product is simply genius.

Do they talk about why we need to log-in?

Do you a list of required reading?

Side topic, I've been in the bay area for a while but struggled to meet people, did you just go to random meetups? ie. how do I build a network here, I'm a transplant for context.

If we start with the notion that everything is a model and that some are less wrong, then being as close as possible to math simply means the models are in some sense provably correct. Some models need more rigour in being proved as such.

What you're describing is not optimization the math field, and second _some_ of the example do have basis in mathematics.

> Discovering some API I'm using is particularly slow and finding an alternate one that's faster. On it's own it has nothing to do with Math, but writing code as components/services/abstract layers with well-defined boundaries/interfaces/types mean it's easier to reason about the code and avoid bugs. Implicitly here I'm saying we should use a language that has strong type support.

> Adding caching. This is memoization and without the basis that general code functions should behave like their math counterparts this is hard to reason about.

> Reorganizing code to take advantage of vector instructions These are mapping operations that are well defined in functional languages. The vectorized interface numpy provides is an abstraction of maps.

> Making objects smaller to put less pressure on the GC This is orthogonal to the actual math basis for the code. For example using enums over strings is a localized change.

Sort of sounds like the interfaces/components/boundaries/separation of concerns in your modules isn't up to scratch. This is more of an org issue around management as opposed to the language unless you think rust has a set of fetaurs that help with this

Do you have examples of companies that come close to having low cognitive load?

How did the professional help?

At the risk of sounding super weird and creepy this sounds like a fun group and I love pizza, mind if I showed up?

I think Event Sourcing is neatly defined as an algebraic group and provides a nice abstraction to reason with. Perhaps the problem is not recognizing this notion and not proving the correctness of a system before implementing it?

> The difference in our argument is that I think it's important for good people to be involved in their government in order to support these western ideals and work to do the right thing.

In principle maybe, but not under the what's being played out in the US. Given you have these principles I should put more faith in you and hope that you don't murder me when it's convenient? An intelligence agency is not the government and vice-versa. It only reflects the people's mandate in just its core function, intelligence among other things.

What massage was this?

Noob question, I was not able to follow what the advantages of using session types were. What am I missing?

Follow up, 1. How would session types differ from contract based testing? 2. Is there a notion of versioning on the types? 3. If there were better type support (ie. Well defined sum and product types) for wire protocols (protobufs etc) would that solve any of the problems session types might?

I'll leave one of Naval Ravikant's podcast here that contains similar advice including putting down books instead of reading them cover to cover, https://fs.blog/naval-ravikant/

Thoughts on the EB5 visa route?

And then you've forgotten about the product and will end up with a culture like Google that focuses on technical complexity as opposed to adding value towards the business and focusing on building products.

Isn't PRISM and other related programs part of Five eyes? I guess my point was more that as the US moves away from it's War on Terror the next natural target is on ideology

As an aside, I recently came across the argument that programs like Five Eyes were designed because of mass infiltration of immigrants/others who are not designed for Western ideas/government and that it's the price that people pay for relegation of their freedoms. So I might have been living under a rock but this argument is on the alt-right for what it's worth but I'm not entirely sure how to process it. In the sense that there's far too much irony and the lack of a unified framework of laws that work towards humanity maybe? (Sorry for the incoherent thought but I had to get this off my chest)

>My argument for a long time was that animals have no ego

I think the problem with a train of thought like this one is that it assume there are certain fixed properties that makes a human "special". That is perhaps not so considering how we build abstractions on base instincts[1]

> So apparently whales are off the table, but cows are fine?

I hate how people do this for dogs and not pigs either, literally makes no sense how morals are peddled sometimes

[1] https://en.wikipedia.org/wiki/The_Ghost_in_the_Machine

:D I think go did a good job of internalizing this

Err beta-tested?

Just to paraphrase, you're asking for more data right?