skysight-inc/HackerNews huggingface dataset:
This is not at all the case.

Product development skills are extremely important for a software engineer to have, especially at smaller companies, because a lot of the time the person making these product decisions IS the engineer.

During my engineering career, most of the time my boss gives me a general goal for a product or feature that needs to be built. And then I take that general idea for a product, and make all the product decisions about what to build and how to build it MYSELF.

At smaller companies there may be NO product manager. Or maybe the product manager is only making very high level decisions, and isn't really involved in every little nitty gritty detail about the product.

You the engineer have to make the product decisions. And you have to balance those product decisions against tradeoffs, such as how long would it take to build, how high quality it is, and other software engineering design tradeoffs.

Product design and software engineering are very closely related, and any good senior engineer should be competent at both. Software engineering makes you better at product design, and vice versa.
This is really, really helpful. I will try to do all of these things for the project I'm currently working on. But man, cold calling 20 people is going to be so much harder than actually building the thing.
There are multiple problems here, and they all stems from a lot of misunderstandings.
Disclaimer : i do have a maths background and formal methods do have their use. But not in the general case.

>they are for programming (as in math) a well-defined, solid formal system that solid systems can be built on

Except you forget one big thing. Maths do not deal with errors or real world complexity. Maths exists by themselves in a world where errors and failure at other level do not exists. And i will not even talk about Gödel incompleteness or Turing proof of the the halting problem as other fundamentals mistakes here.

> can be built on in a way that nothing else can be in software, at least thus far.
What about System Engineering? Because guess what? Other complex systems exists in the Nuclear, Space, Chemical or Aviation industry. And they are not developed with formal proof... and they still do work... But they use Engineering, proper one. Not wishful thinking and all.

>In a world where software flows more freely than water, the correctness and reliability of software systems must be taken with utmost seriousness.
There is a really really small but essential mistake here. Two to be honest. The first one is that any sufficiently big software can not be proven correct and reliable. That is what Complexity Theory tell us.

But most importantly, it does show a complete lack of knowledge of the meaning of the word reliability and the research in Complex System. Reliable and Correct systems are inherently dangerous. What you want is a system that is SAFE. A system that is Safe, is a system that accept to do the "wrong" thing if it is the safe things to do.

>What do you propose as the theoretical basis for the engineering science of software development?
Complex System. SNAFU catching. Stop trying to ignore the stack we live in and begin to think about runtime instead of over complex architecture. Safe guards and operators. Debugging as a first class citizen. Bulkheading and recovery. In general, System Engineering and Human Factors.

You can begin with reading web.mit.edu/2.75/resources/random/How%20Complex%20Systems%20Fail.pdf then follow with Nancy Leveson free book https://mitpress.mit.edu/books/engineering-safer-world .

PS: oh by the way, to everyone saying that other Engineering discipline are based on rigid step-by-step methodology that enforce correctness. It is not. It is even more a mess with slower feedback loop. I worked in other engineering fields before IT and it is not really better. It seems to be really American to believe in the "scientific method". But that does not exist. The world outside is messy and complex.

Try accepting that. There are solutions, but by living in a dream, you are working around the bug instead of fixing it.
Nonsense. If A says "there's no such thing as red, because it's a human construct", and B says "there is such a thing as red, because human constructs are things", that disagreement doesn't stem from different premises about the world. There's no experiment one can imagine where A and B would predict different results.

It's just two different ways of using the word "thing" - each as valid as the other. Either party could switch to the other's viewpoint without changing anything about how they see the world, they'd simply be defining a word differently.
> In the Israel-Palestine situation he criticizes Democratic Israel far more than, say the Kingdom of Jordan. He criticizes Likud more than the PLO, and writes about the USA's imperialism in supporting a democratic state in the Middle East, while ignoring that during the 50s and 60s the KGB trained the PLO as part of explicit support to undermine Western-backed countries.

And he also often explained why that is, he focuses on his government and their allies, because he is responsible for that, respectively as directly as can be, and by proxy. Criticizing their enemies is kind of masturbation.
Also liberate people of the money to pay those therapists. /s

I love shortsighted technological solutions to social problems.
How one click upsell can increase revenue for your online store
It's weird seeing this. In Australia prostitution is completely legal. There was actually a publicly listed brothel for a while. Strange to think other societies criminalise it.

I think being legal is best for the health and wellbeing of the sex workers and minimises the criminal involvement.

There are brothels all over the place but mostly they are pretty low key, often hidden in backstreets or warehouse areas with only a red light and a sign to indicate they exist.

I wish we had such an enlightened position on drugs, which remain almost completely criminalized, whilst other parts of the world move towards legalization of various aspects of drug law.
Common lisp has this universal setter-macro, SETF, which can be used to set values to all sorts of places.

In this case you would use

(setf (vref chip x y) new-value)

to call the function (just like with AREF above). Using SETF has the advantage that you can define "modify macros" that read and write a place. For example,

(incf (vref chip x y) delta)

would increment the place by DELTA. Or

(rotatef (vref chip x1 y1)
(vref chip x2 y2))

would swap two pixels.
What is software Engineering !? Making an excel sheet ? Making a web site ? Writing SQL ? Using programming language X, Y, Z ?
Well it's definitely possible unless I'm a moron (correct me if I am). If you have the primes up to √n you can find all primes up to n because everything else will be composite of the primes you know already. This is basically what TFA is doing. What I was suggesting is that it would be cool if you could avoid defining rules explicitly for (3n+6), (5n+10), etc and have them appear from some feedback loop where we go from a sequence of primes up to n, to n^2, to n^4...

CSS4, let's do it.
How to generate new SSL certificate using SAN for localhost?
How does Quora works? I regularly see very interesting answers there. While it looks like SO clone, its content is different. Do they pay for good answers? Or they just happen to have bright people in their community?
UK data protection laws to be overhauled
Actually, it is fundamentally different in that just building the thing / just running the experiment is cheaper than doing the simulations or proofs.

Every other discipline does simulations because actually running the experiment is magnitudes more expensive and time consuming.

See "Why software development is an engineering discipline"

https://www.youtube.com/watch?v=zDEpeWQHtFU
Noah Chomsky says technology is neutral: it can be used to empower companies, automate jobs away (as it's the case right now). It also could be used to empower employees (into super craftsmen??) but so far this direction isn't pursued.
> I wonder what they could be in another million years.

Dead. All dead.
>The modern equivalent of Victorian worsted-stocking wearers are hipsters, who imitate the wealthy’s penchant for farmers’ markets and fair-trade lattes, even if they cannot afford a cruise to Antarctica.

As a life-long hipster I must object to this. Hipsterdom has nothing to do with wanting to appear well off financially. It is a combination of a longing for authenticity and wishing to separate oneself from the hoi polloi, but through sophistication and coolness. The proportions may vary from hipster to hipster but in no case is it an attempt to imitate the wealthy.
> formal specification

Where did the formal specification come from?

How do I know the formal specification is what I actually wanted?

Is the connection between the informal requirements to the formal specification easier to trace/follow than the connection between the informal requirements and the code?
Project Management: A Beginner's Guide for the First Time Project Manager
I don't think there was any need for that kind of response.
It is right to be suspicious of formal proof. In most areas of software engineering, employing formal proof makes you about 10-1000 times slower. Knowing how to do a formal proof in principle though lets you often reap a lot of the benefit without actually getting slowed down much. This is similar to how mathematicians know how to prove something in principle without running it through Coq or Isabelle.

By the way, Curry Howard is just one way of doing formal proof (one I personally don't like). There are many foundational and practical problems that need to be solved before formal proof is ready to go mainstream (but I am convinced that it will one day).
GA can be used for topology and parameter tweaking.
There are several public brothels in Nevada. Prostitution is on a state-by-state basis.
I've seen a different kind of behavior. It consists of taking a project that could be done in six months and stretching it over two to five years. And, yes, it looks pathetic and absolutely ridiculous when viewed with the eyes of a "get shit done every day" entrepreneur, yet it seems that in some of these environments this can become acceptable behavior in some strange-as-fuck way. I think it's soul-sucking depressing.
Proof of Work Without All the Work
Start a Successful Business with Our Delicious Coffee
Words are not actions.
Even if you are linguist and coders, you must realize that the code is not the execution.
The secret lives of millionaire tech engineers who 'rest and vest'
Right yeah, of course.
[NSFW]Monster Girl Garden update; screw your monsters
Is it the year of tech IPOs in India, finally?
While the focus of the article is on crosswords, Will Shortz makes all kinds of puzzles. He has a Sunday Puzzle show he does on NPR which is a word game and he is a prolific author of Sodoku puzzles as well as others. So I'd argue that puzzle master is appropriate.
The first Nexus phone had .5GB RAM and .5GB flash.

In other words, you don't need a ton of space. 8GB split among OS, apps, an running programs would do pretty well, honestly. 16GB is definitely enough. The question becomes more about how much space you want for photos and mp3s, and whether there is actually a benefit to putting those in RAM at all.
I find it similar to how a doctor diagnose malnutrition. The exact amount of vitamins, minerals, and proteins needed for each individual varies, so you can't be sure within the natural variance when a problem occur by just measuring each level in the blood. So you end up with lists of symptoms that may indicate a problem by malnutrition, but the existence of those symptoms (like fatigue, stress, sexual behavior) are all interpreted by the society/culture you are in.

I think the most important part is that people should not end up diagnosed unnecessary. Rather than rigid diagnosis, I rather have solid professional standards that require the psychologist to have a similar education and use techniques that will reduce cultural and social norms as influences.
A Brief History of Gnome [pdf]
> Ironically Sweden has moved in the past 20 years from a fully public healthcare system to a mixed public/private model (similar in many ways to a voucher approach where the customer picks a provider).

So the healthcare quality could be because of privatized healthcare ?
AI and Big Data Reshape the Language Service Industry
Government would beat Comcast? I would really have to see some data before I’d be convinced of that. You must have some really strong faith in government but there is nothing in my experience that would suggest a government entity would have any incentive to actually be good at anything.
Pokémon Go APK v0.69.1 Latest Download Free for Android – Android APK's
Using CSS to detect prime numbers
I'd say it has too much data and it is already hurting search results. You get tons of unrelated stuff.
Quite easy to explain given a few graphs. The explanation boils down on how hard is to accurately draw a curve of such an elliptic function at big x (P3) and then figure out which two other points intersect with a given line near. You can even show it on a big whiteboard.

You can even show how easy out would be for a simple curve where the left part is an easy equation.

The hard part is what makes an equation easy to solve. (And how some elliptic are broken.) It takes at least some high school math to hint at this.
I hear it's most common in Washington D.C.
> wanted to grow a garden

And what's stopping him? There is nothing he could do yesterday that he cannot today, other than invest at yesterday's prices.

Hell, it's probably significantly easier to develop with today's landscape - services and libraries being much more numerous than before - so you're going to have to enumerate specifics if you want to argue otherwise.
The Vulnerable Victorian Governess: Cases of Bigamy, Assault, and Murder
The thing with Australia is it's very difficult for the US to learn from Australian social experiments and determine if they will be effective. Australia has extremely tight border control and far more police powers. So while legalized prostitution has been a huge success in Australia, it may open avenues for human trafficking to thrive in the US.

While I generally agree with the notion that legalized prostitution reduces human trafficking, this wouldn't be a certainty from looking at the effects on Australia/NZ.
Sadly it is probably your only choice if you want a multithreaded extension language playing nice with a multithreaded main application. For all other extension languages I know, this is a huge hack that never works well in practice.
Don't forget to create the product as well.
For bitwise and you have to be solving it in a Galois field (And consider what AND does) which is actually easier than the general solution but points you more accurately at the cryptographic origin of the question.
>>Writing software is not math.

> You're wrong, and I've explained this upthread.

I suspect there is a difference in semantics, here. Software is inherently mathematical, yes. But the practice of writing software is not the practice of doing math.

The output of doing math is proofs. The output of writing software is...something that does something when run on a computer, hopefully interesting, meaningful, useful, or entertaining. In the vast majority of cases, we have not and will not need formal proofs of correctness for software to achieve these things.

If I want a blur effect on some portion of a UI, and choose to implement that with a Gaussian blur, what value is there in formally proving that a specifically Gaussian blur has been applied? All of this is inherently mathematical, but that doesn't imply a need for mathematical proof.
I found https://www.splcenter.org/fighting-hate/extremist-files/indi... but:

- It reads like a hit piece, in that it states facts that are technically true but designed to mislead. For example: It says "Murray advocates the total elimination of the welfare state" but neglects to mention that he wants to replace it with universal basic income.

- The SPLC accuses Murray of using "tainted sources" in The Bell Curve, but the vast majority of the data was from early cohorts of the National Longitudinal Survey of Youth. The "tainted source" is apparently Richard Lynn, discoverer of the Flynn effect. Anyone doing any intelligence research is going to depend on Lynn's research, and anyone doing such research in the early 90's is going to use his data. This accusation can be made even if Murray had come to opposite conclusions in The Bell Curve. Sadly, Lynn seems to have gone batty since his days as a researcher. Still, that shouldn't affect the truth value of the data he collected before his decline.

- Many of the accusations are guilt by association, such as condemning Murray for taking money from the Pioneer Fund. Apparently, the fund was started by a proponent of 1930's-era eugenics. As Murray has pointed out, the Pioneer Fund of today is nothing like its original incarnation.

- The SPLC piece never mentions The Bell Curve's conclusion that east asians tend to have higher IQs than whites. It's hard to label Murray a white supremacist when he thinks whites are not supreme.

All-in-all, I have difficulty believing the SPLC's piece on Murray. I don't have the time to vet every accusation, but the ones I have looked into seem without merit. Moreover: Every time I've given the SPLC the benefit of the doubt, they've let me down. Their hatchet jobs of Ayaan Hirsi Ali and Maajid Nawaz have completely destroyed my trust in them.
Price tanks. But your bitcoin remains.
Yeah these aren't bad. Only complaint on these is the discharge curve. For some reason they run a little low for their middle voltage range making them work for devices designed/spec'd to run at that lower voltage point. Out of curiosity, anyone know any good sources for ultra low power consumption battery performance charts? Does anyone publish these?
But the entire discussion is about HAMT not std::map, the parent comment only talks about std::map as an example of performance issues in tree-based maps in asking how that relates to HAMT, it doesn't actually care a whit about std::map.
Could you elaborate on news & NLP in regards to stocks?

We tried sentiment analysis in uni a few years ago and had no good results:

The idea was essentially: news says: 'stock A is great' -> it goes up shortly thereafter

We tested our algorithms against classifying Amazon reviews & Tweets by sentiment. Those are filled with sentiment and easy to detect if it is a 5 star review or a 1 star review. The news articles we parsed all had near neutral sentiment. We ended up building a classifier that could detect the news category of an article quite easily instead.

My initial idea was sparked by the Gulf spill and the subsequent dip in BP, I wanted to detect and capitalise big events like that, but the news sources we parsed always seemed to significantly lag behind the stock movement, too.
I think you are reading it wrong. It isn't about greed. It's about recognizing an opportunity and having the drive and interest to jump on it, sometimes at great personal risk.

I have failed to recognize and/or act on a number of opportunities so far in my life.

One was when the consumer Internet was "waking up". Domain name registration was free. And, even later, as Network Solutions started to charge for them, domain names, good one's, were plentiful.

And so, there I sat, living through the technical birth of the Internet, fully understanding it from an engineering perspective and yet, due to my lack of experience at the time, never made the mental connection to the opportunity that lay ahead. While other less technical people gobbled-up tons of good and very valuable domains I was geeking out making use of the embryonic consumer Internet. These people made millions. I did not.

Another missed opportunity happened during the economic downturn of 2008. The market crashed. I had been a day trader a decade earlier and have always kept a level of awareness about the market. I was on the phone with a friend and made the comment that Ford was an absolute goldmine as it had dropped down to about $1.50 per share. The company had none of the problems the other auto makers had. It just got dragged down with the rest of the market. It told him I should get off the phone and buy 100K shares of F.

In other words, I recognized the opportunity and had the ability to take advantage of it. Yet, I did not. I would have made somewhere in the order of $1.7 million inside of a year and a half or so.

I'm sure people who also recognized the opportunity and brought themselves to pull the trigger made a killing. I, for some strange reason, did not.

I look at cryptocurrency and your comments the same way. You probably recognized the opportunity yet did not act. This has nothing to do with being intelligent or dumb. I have no clue what it is but it happens.

I wouldn't feel bad about it at all. Plenty more opportunities ahead. Just try to grab onto of one when the time comes.
You can say that every sub-group tries to separate oneself from the so called masses.

The author's view is pretty spot on, while the individual reasoning might be different the overall group mentality does imitate a lot of the practices of the upper classes.

I never could find a "hipster" that managed to define what "longing for authenticity" actually means all in all it feels more like a slogan than a philosophy.

But spending way more than is appropriate for their income bracket on food, clothes, personal grooming and what one would call "sophisticated art" or antiques is a pretty common denominator.

This isn't that different from the middle class in Victorian England going crazy for upscale wool products at the time, and I'm pretty sure it you asked them they wouldn't say that they were imitating the wealthy either.
I don't see how being a hipster is any more authentic than being anything else. You're still conforming your dress, tastes, speech and behavior to some social group that decides what's appropriate and what's not.
> This is because Python makes it excessively easy to analyze call stack.

Wrong. Pytest uses AST rewriting to inject debugging information, introspection has not been the default mechanism for years[0], and was removed entirely in pytest 3.0 (released mid-2016).

> It may be the case for many other VM-based runtimes, like Ruby or JVM, but it's hardly feasible in Go.

Wrong again, see above, as long as you can statically inspect a function body and rewrite an assertion statement you can do what pytest does.

[0] I think rewriting was made the default as soon as it landed back in 2011 but am not actually certain
A comprehensive guide to the new science of treating lower back pain – Vox
Cuck.
I suspect that legalising prostitution would actually make it much easier to prevent human trafficking for sex work.
TLA is one of the systems that are actually very practical. You can go up or down as many abstraction layers as you need . There's a great introduction written by @pron on his blog [1].

However, it's worth pointing out that you don't magically get the final program out of the TLA proof. The proof only works for the abstraction level that you chose to write it at.

[1] https://pron.github.io/
I've had dozens of Iranian friends, most of them women engineers.

All of them in it for the love of science and engineering.
Yeah. A bunch of my friends are sex workers. They make literally ten times as much money as me per hour and love their jobs.
How to run Phoenix application inside a Docker container?
Out of idle curiosity, what is this doing here?