HNHacker News
TopNewBestAskShowJobs

externalreality

415 karma · joined June 1, 2015

submissionscomments
externalreality··on Show HN: LaraOne – Ultimate workstation for programmers
> I spend 14 hours in a chair

That is unhealthy to spend 14 hours in a chair. If someone finds themselves spending 14 hours in a hair unnecessarily (i.e. they can't walk) then they should probably re-eavaluate their life.

externalreality··on Types Are Moving to the Right
Interesting observation. Is a wide enough sample of languages considered? What scares me is that we still use text files to program in 2019 such that we are having this conversation. The author makes a good observation nonetheless.
externalreality··on Our Thoughts on the New Zealand Massacre
> nd the appropriate response to this horrible video is to not watch.

Watch it. It represents the horrible truth of the elevated sense of Islamophobia and its tragic consequences. People shouldn't look away from this. Many of us have to deal with this on a daily basis. When it gets so out of control that it creeps up into the privileged world people want to look away. Don't forget that today's global structure is based on widespread massacres and genocide. This extreme comes from overlooking a racist, bigoted status quo much like an infestation comes from overlooking the first signs of insects. We may be looking away from your history too. Looking away is not going to change things. I don't care if it makes us feel bad. Its the truth. We need to deal with it because others have to.

Basically most of us sit there and tolerate minor (and sometimes major) forms of racism and do nothing only to act shocked when something like this happens. Its a psychological game played to avoid guilt and responsibility.

externalreality··on The ATS Programming Language
Well, generally, first there has to be some things that you assume to be true - we'll call them axioms (somethings gotta be true, I mean can you prove that the natural number 0 equals the natural number 0). Then you come up with some properties about your algorithm that you want to ensure hold based on those axioms (or stuff already known to be true that are based on those axioms). So, for example, you may want to ensure that your algorithm does not change the length (or more generally the structure) of the input when sorting - e.g. if your sorted list came out with more elements than it went in with that wouldn't be sorting.

Now you don't need to have a formal proof for this right away (or at all if you don't want to really). A tool like "Quick Check" (Haskell, Erlang, ...) can help you do a quick informal check by making up a bunch of random list structures and running a unit test on all of them automatically. If your quick check property holds you may want to later try a proof and perhaps even see if something like ATS verification system is expressive enough to encode your proof or prove it for you auto style.

The benefit of the verification system is that it happens as static analysis (things that can be determined from reading the code rather than running it) the quick check stuff you need to run the code. A proof is a more complete check.

Please read the ATS (Coq, Agda, etc) stuff to learn from the experts.

externalreality··on The ATS Programming Language
Yes, "verification" in the formal verification sense of the word. https://en.wikipedia.org/wiki/Formal_verification. Also, in ATS the algorithms don't have to be "pure" in the "no stateful side effects" sense of the word to be subjected to verification. ATS is truly a nice piece of master work and hopefully its concepts can start making it out the ivory tower sooner rather than later.
externalreality··on Ask HN: What are CS topics covered in school, that aren't learned in the wild?
Famous quote by Einstein:

"Education Is What Remains After You Have Forgotten Everything You Learned In School"

I don't remember the fine details of anything I've learned in school that I don't use on a daily basis yet the confidence of knowing that I studied and passed the exams is invaluable. I can go back and re-learn things if the need arises knowing that an expert once agreed with my understanding. That is invaluable.

Basically, if this your attempt to make yourself feel better about not having a degree, why not just go get one - there are affordable schools out there that offer nice programs. You may learn something in the process and meet new people.

But, in reality. Do you really NEED a degree to pass a little theory quiz (or for anything else for that matter) -- no you don't -- your brain works the same way with or without a degree.

externalreality··on The ATS Programming Language
I wrote some things a few years ago on ATS. Its introductory but real world: https://www.stackbuilders.com/news/specific-endpoints. Generally ATS is good for verifying pure algorithms. It has code generators which can compile ATS to C and JS and the like. So if you have a very crucial piece of code and you want to do some formal verification of the process then you can try to use ATS. Other than that its completely a research language. I used ATS to write some stuff for my arduino 5 or so years ago.
externalreality··on Ask HN: Startup failed after years of work – Can I even get a job now?
> I really don't think I'd benefit from the material anymore You'll still be fine. A lot of successful programmers don't have degrees. I am a fan of formal education you learn a lot beyond the course material but you don't seem like you are at any loss.
externalreality··on Ask HN: Startup failed after years of work – Can I even get a job now?
You should be fine. Start applying for jobs. You have 7 years of experience. If you want (and can afford it) go finish your degree. Professors are definitely a resource and, since you will be more experienced than most, mentor people we owe it to the new CS people to help them in anyway we can like those who have helped us.
externalreality··on Rewarding Neglect and Punishing Investment in Struggling Neighborhoods
Corruption and ultra high salaries of government officials and police drain the life out of these cities. This is a story playing out in small piggy-banks, ahem, cities all across the nation. I lived in a particularly egregious one called Yonkers, NY for a while. This place is the only city in NY (other than NYC) that goes after your income too in addition to ridiculously high prop taxes.
externalreality··on Rewarding Neglect and Punishing Investment in Struggling Neighborhoods
> all the new people

What do you mean by this - population growth? Younger generations coming of age and such.

externalreality··on Give Me Back My Monolith
I agree. The popularity of Microservices stems from messy large systems. So why not just have messy small systems instead.

Why is that people believe they need a Microservice architecture in the first place? None of the benefits of Microservices are absent in a carefully designed monolith.

If we are not going to give up our frenetic rapid development practices then we just need tools that help us move fast while keeping code understandable. Maybe we just need higher level languages where the machine can just keep track of all the details from extremely high level specifications. Software is too hard for humans.

externalreality··on Give Me Back My Monolith
Perhaps its just that, as software developers, we eschew any form of design that would lead to a maintainable monolithic system (The No Big Upfront Design Movement may have caused us to throw the baby out with the bath water). Maybe we just don't yet have the tools and theory to yet to put together a complex system made up of many individual agents in any easy-to-do way (e.g. Microkernels vs Monolithic kernels)

Look, we live in a era where the fastest time to market is always going to be the way to go. Microservices are nice but they slow development down a great deal.

What we need is an easier, less subjective way to build software. I think DataFlow programming will become more popular since it is easy, scales well, and applicable to more domains than many would think.

A monolithic dataflow application has many of the advantages of micro-services and monoliths alike.

I also think the industry should probably start to shy away from OOP (especially since industry totally dumped OOD). If you go on github and find a random C program, then do the same for a random C++ program - I would bet you can wrap you head around the C far before you can even begin to understand the C++. How people can revolt against microservices and yet not question the same phenomena with respect to basic SP vs OOP is again baffling to me.

I think microservice adoption is a heavy-handed approach to modularization. I very much like Jackson Strucutred Programming, Dataflow Programming etc. Dataflow is actually applicable to many more domains than some think and are about as understandable and scales about as well, if not better than microservices.

externalreality··on Bruce Schneier: It's time for technologists to become lawmakers
Perhaps our voting system should change such that technologists votes/opinions count more on technological issues rather than just making them lawmakers. What good is a computer technologist's opinion regarding anything other than computer tech? That is why I think many lawmaking bodies are broken to begin with. The people who have the votes on most matters are mostly not the ones whose opinion should be counting?
externalreality··on Public Education’s Dirty Secret
You are not smart or open minded enough to have a conversation with. You views are very entrenched and bigoted.
externalreality··on Public Education’s Dirty Secret
I'm going to put this to bed by just calling you a (non-racist) bigot who wants to see things your non-racist but bigoted way. On the one hand you admit there is a huge problem but on the other hand call "sensitivity" to this "life-changing" sometimes "life-ending" problem "misguided". So my friend it seems you are a bigot.
externalreality··on Public Education’s Dirty Secret
> killing cops and beating up bitches we listen to some nicer things, they get called ignorant racists. I think some conversation should also go into maybe changing that.

Here you present a hypothetical (people are are getting called racist for [respectfully] suggesting that students should stop listening to some explicit forms of rap music) while asking me for concrete examples. When has a person been called racist for such a thing? Can I ask you to stop with your double standards?

And Again you are only looking at it from your (privileged) perspective. What if the only "positive" imagery you could relate to was not so positive. You would still have little choice but to relate that imagery for self esteem. And what if somebody from another group who has the privilege of an abundance of relatable alternative positive imagery came and told you not to relate to that single source of positive imagery available to you. Until race becomes a non-issue (I don't see that happening anytime soon) one thing that you can do to help is support alternative positive imagery for minorities. Find a minority politician (Ocasio-Cortez maybe?) you like and support her... have a James Baldwin meetup. Tell people the truth about Christopher Columbus and how sophisticated the people who were subject to his genocide were. Spread positive image about people other than whites and you will surely start solving the problem. Being the angry white guy that keeps saying "Stop listening rap music" is probably not going to work.

Please note that there is nothing wrong with spreading positive messages about whites, but ensure that you are not doing so at the expense of the truth or at the expense or exclusion of other groups. This is root cause of the problem and the article does not even touch upon it!

* And yes there are positive role-models in the African American community but not enough to counter the overwhelmingly biased media.

externalreality··on Public Education’s Dirty Secret
> Can you provide some examples?

Google Dr. Robin Diangelo? She puts it best. You'll likely disagree with everything she has to say because you want to. However, I challenge you to at least listen to her. After that look for some more research into implicit bias. You'll find everything from Xbox Kinect experiments that show how the body language of White teachers can change (for the worse) when talking to minority students and more things that will change your perspective. That is if you want your perspective to align with the truth. I am guessing that you are most comfortable with your existing point-of-view.

> You are of course wrong. And I must suspect the reason you are wrong is that you are trying to mine the situation for a racial angle.

In the USA you don't have to mine. Race plays into many (if not all) situations in the country whether you want to believe it or not. This one most definitely does. The article explicitly uses certain words. Race is right there in the article my friend.

> That's exactly the problem I describe above...

I would have to agree with that statement. But I don't see this teacher as one who has the proper education and empathy to help. If she really, truly, wants to help she can first further educate herself in race relations and the mentality of the disenfranchised.

externalreality··on Public Education’s Dirty Secret
> Is this the only way in which you think her uninformed? Your comments seem to come back to this one point repeatedly,

It not that I keep revisiting the same topic. No, in contrast , its just that I keep getting asked the same question so I keep giving the same answer.

externalreality··on Public Education’s Dirty Secret
> "Race relations" is kinda wide topic

What I mean by race relations is directly related to how the teacher did not know why it is not OK for her, as a white women, to use a particular word. Her stance: "why can't I use it, you used it." This shows a complete lack of understanding regarding the history of the word and how it was reclaimed and repurposed by large segments of the African American community. In short (very short) the word is not hurtful coming from the mouths of certain people when spoken a certain way (anyone who has lived in a foreign country and learned a foreign language would know that some words/phrases should not be spoken by foreigners - its kind of the same thing here). The author is unaware of that and is thus uninformed. The author believes that she is actually teaching the students when she is the one that should, in fact, listen to what the students are trying to tell her.

> True, it is not easy. But I think that's not the reason to not try?

Trying has little consequence for white Americans, trying has very grave consequences for African Americans. I've seen whites deny accusations of racial mistreatment to the point where they are seriously contemplating having the African American committed.

> I do not see how. She honestly tried to help those students who want to learn and advance.

If feel the adjective phrase "students who want to learn" is an unintentional euphemism for "White students". Know that some students are in a society that from day one tells them they are worthless and are undeserving. Any human being would develop psychoses in such an environment. It doesn't help that the majority of self-positive imagery for these students (imagery that show, at least, healthy, un-impoverished individuals with confidence) comes from explicit rap videos, not royalty in ancient castles, scientist, tech entrepreneurs, or otherwise.

smsm42, I hope you understand.

externalreality··on Chinese company leaves Muslim-tracking facial recognition database exposed
Its sad that people can treat each other in such a ways based on criteria that should not matter. Many nations are guilty of similar things.
externalreality··on Public Education’s Dirty Secret
That you for "respectfully" disagreeing.

> What do you mean by "uninformed"?

I mean that the author doesn't seem to be very informed with respect to race relations or social equity issues.

> What you mean by "traditional"?

I mean a school system that fails to take into account or fully address the same issues that I state above.

It is hard to tackle these issues because it is still too hard to have a reasoned conversation on race and the great injustices of the past (both very intentional and unintentional) that have lead students to the despair they find themselves in today. The author of this article is part of the problem IMHO.

externalreality··on Public Education’s Dirty Secret
Um, no.
externalreality··on Public Education’s Dirty Secret
I don't agree with this article. The article presents the very narrow perspective of an apparently uninformed person who thinks that invoking the names MLK or James Baldwin will help their case. People like the author of this article avoid, in their reasoning, any conception of income disparity, an intrinsically racially prejudice curriculum, micro-aggressive and biased media (to which students are constantly exposed), and any such thing that would lead to a rational that an unfair system is producing students who are going to be unresponsive to a traditional school system that is based on a presumption of equality and social equity.

What is more is this uninformed person, doesn't seem to know why it is not OK for a "white person" to use certain words. Showing that she has no understanding of recent history and how words take on a different meaning depending on who is saying them. This isn't a new concept; natural languages(unlike say many computing languages) are VERY context sensitive and have always been so.

This article reveals that it is, in fact, too the teacher who is lacking education. Here I yield to works like that from Robin DiAngelo and Ken Wytsma.

externalreality··on Ask HN: Must a Senior Developer be proficient in design, UX and Photoshop too?
Depends on what you are developing. Right.
externalreality··on Ethics of Software Development (2006)
I like how the author puts the burden of the quality of being ethical on those being trained in computer science after admitting in the first paragraph that they, like everyone else, leave school looking for jobs because they need to eat. Please go place the burden of ethics on the employer who has more control over what they instruct their computer workers to do. I would give more credence the author's argument should he have been from the University' business school.
externalreality··on [dead]
A new (old school) way of saying that "The Gods" are messing with us. The Matrix is 1998. Shadow Run (which describes an early Maxtrix-like system called "The Matrix") is 1989. To say that we live in a world that is composed of rules defined by another (outside) world should be obvious at this point. Whether you consider the "controlling" world to be outside or inside is irrelevant all that matters is that we cannot describe or predict the behaviors of that world with any rules defined by this one. Any observation of that world is basically just Magic. Donald Trump winning the election was not magic... Hillary Clinton just failed to motivate liberals who were all bitter about here campaigns treatment of Sanders. In the Oscars someone didn't err on the side of caution when they saw something wasn't right they just blurted out the result that they wanted to see - no magic. Superbowl - a team just choked - not magical at all.

BTW, black holes are magic. If they worked the way that physicist describe you would be killed just by looking at them.

externalreality··on Help a Frustrated Developer to get back into developing…
Wow, you really have been out of the loop for 8 years. These days all you have to do is read a Rails/Ruby tutorial and go find one of the infinitely many jobs available out there. Once you get the feel for writing code again and get you skills back look for another more satisfying job.

Most productive programmers know that it is impossible to judge how productive another coder is by any method short of actually working with them. So interviews these days, I find, are significantly easier than they were 8 to 10 years ago when people asked irrelevant math questions to judge how productive of a coder you are.

Some points:

The world of programming has changed significantly in the last 8 years -- all the stuff you may have thought was good programming practice is now questioned by a dozen and a half blog posts/articles. Even the mighty if statement is under fire.

I think in general programmers are more friendly than they were 8 - 10 years ago. Perhaps because there are more of us which is forcing more of us off our opal pedestals and back into the reality that we are just blue-collars.

So brush up your CV get in there and join the mighty throng.

externalreality··on Ask HN: When you realize your idea isn't that original
You are 99.999% a clone of every other human being. You are physically incapable of having an original idea. However, all human beings are blessed with creativity and have strong BS engines. Use your creativity and BS engine to make your idea seem fresh and new. Execute better and sell, sell, sell. Don't listen to haters and keep moving forward. That is all.
externalreality··on Man jailed 16 months, and counting, for refusing to decrypt hard drives
Some are arguing that the court has no right to order him to do so. 5th amendment and some case rulings are mentioned.
← PreviousPage 6 of 7Next →