skysight-inc/HackerNews huggingface dataset:
This entire discussion is about what an SE does vs what a CS does. Item #1 for an SE is to pick a library to use instead to reinventing every wheel every time. OP says they don't care about performance which is a naive, potentially stupid, approach to software engineering. Beyond this, I'm out of crayons.

Just because some hotshot (PG?) said to not optimize prematurely doesn't absolve you of your responsibility towards picking a library to use. Don't optimize early by all means but at least know why the library you picked might not be a great choice for problems you face in the real world.

Do you write your websites in C outputting raw HTML? I'm sure you don't. Clearly you made some sort of reasoned deduction about the tools at hand and went with one which got the job done. Why did you not pick C code spitting out HTML? No point premature optimizing your productivity, right?
Yes and no. It is a natural progression of the industry. Those who cannot do "formal engineering" probably don't belong in engineering roles. Engineering, in general, imho, can be distilled down to this: Clearly define the constraints in which your project will operate under and prove that they will hold under those constraints. If someone as an SE cannot do that, they really have no business being anywhere near any field of engineering.
I think it's self-evident that there is no theoretical basis for software development in the way that would satisfy your criteria. Software dev is generally a scattershot haphazard endeavor that involves trying dozens of angles until one of them works. That's an unsatisfying answer, but if we try to hide from the implications just because we don't like it, we'll end up creating companies that fail to startups without these constraints.

It's also self-evident that in most situations, correctness and reliability aren't a concern. The counterexamples account for maybe 1% of the field. 99% of the time, if your program breaks, you can pay someone to go fix it and no serious harm was done. Even Github outages, which affect almost all of us, hardly matter.
I wish that people didn't take these knee-jerk, edgy, contrarian responses.

There are significant implications to what you suggest beyond just the mere possibility of the potential benefit you claim.

I think it is a very disconcerting notion that we would allow a private entity to possess the equipment and infrastructure to wage war.

How do we ensure they don't go rogue?
Do you have time to explain your choices and/or process as you used a static website generator + theme for this project's web site when it appears to be optimized for blogging?

Right now I'm looking at Hugo + Kube but there are so many not-normal things to use (Hugo + Github Pages all in source control but publishing different branches / folders, Kube using not-normal-Hugo stuff since it's got non-blog stuff, etc.) Is there a one-stop zero-to-hero guide anywhere for this kind of thing?
The BBC is rolling out a new font designed for mobile screens
This sort of comment does very little to advance the conversation. I made several attempts to write a response that talks about heuristics, algorithms, what industry does and what academia does, but in the end I found your portrayal of academia and industry to be so hyperbolic and unrealistically one sided that I felt it not even worth getting into the discussion.

Let's try to have respect for each other on both sides of the "academia/industry" fence and not resort to unrealistic black and white views of the world.
This actually dates back decades. DEC invented "no output division": a team comprised of senior but bored people who would be unfashionable and dangerous to kick out. You give them some bullshit bling project and segregate them well from people who are actually doing meaningful work so that they don't get in the way. It's better if they do something meaningless for you than something meaningful for a competitor.
If I spend more than a week without getting meaningful work done, I get extremely depressed. I love the thrill of building projects and creating business value.

You'd actually have to pay me more to do nothing than to do something.
The author of such a wrapper library writes this hybrid code.

Wrapper libraries are one way to deal with hybrid code.
Analysis about FAST 3284 (Residential Gateway)
No particular answers (honestly there are so many good ones), but here are two writers off the top of my head I used to read many years ago:

https://www.quora.com/profile/Daniel-McLaury

https://www.quora.com/profile/Sridhar-Ramesh
> I'm curious if people that do this ever get a "perfect storm" of all clients having unplanned work at the same time.

That is why it is a good idea to make the acquaintance of some subcontractors that you can further contract the work out to if a "perfect storm" happens.
Is there a plugin or setting for Firefox or Chrome that would give me stats on server protocol support for my own interactions?

I'm pretty sure the preference is newer versions of TLS where available. So would be interesting to see if this would have any impact on ones own browsing habits (ignoring the fact that FF has its own TLS lib so wouldn't be using OpenSSL anyway).
But there's no reason to believe there is "an opposite"... Would you say there is a scale ranging from having the flu, to being normal, to... having the opposite of flu, I guess? Makes no sense.
I still wonder why use XOR? Is it to give fake sense of security?
One-byte XOR is as safe as caesar cipher... specially when you get big chunks of null bytes AND the model is in the header.
My heart's with you. Email in profile
And who defines "rogue"?
I don't see how I'm 'missing the point' nor do I have anything against formal methods. They just don't turn programming into engineering - we're a long way from that and some of it has to do (in a completely unglamorous way) with the nature of programming. We just don't know how to turn it into engineering the way bridge-building became engineering.
Considering the history of Blackwater it's a distinct possibility.
Now eagerly waiting for Letsencrypt to make Elliptic curve as default. Respect to the author of the article.
hes got a good point
Can you find (possibly negative) integers x, y, and z, such that x ^ 3 + y ^ 3 + z ^ 3 == 33? If so, it's publication-worthy.
HIV-AIDS AND EBOLA BIO-TERRORISM AMERICA PUTS SANCTIONS ON NORTH KOREA
And this is what nightmares are made of...
Perspective for those outside of CA, to be in the top 1% you need to be making in excess of $450k / year.

Source: http://www.businessinsider.com/top-one-percent-every-us-stat...
Public servants warned against liking anti-government social media posts
Meeting of Bisexual Singles Is Now Easy Thanks to Bisexual Dating Sites
The inspector tools of both Firefox and Chrome will give you the protocol version and cipher suite selected.
10 Command Line Recipes for Deep Learning on Amazon Web Services
The Wolfram Alpha results for this one are pretty intimidating:

http://www.wolframalpha.com/input/?i=(a%2F(b%2Bc))%2B(b%2F(a...
bcrypt is a hashing algorithm, pbkdf2 is a key derivation function. Am I missing something?
Highlighting prime numbers with CSS
Comments like this are a bannable offense on HN, so please don't post like this again.
Thank you for pointing this out, really changed his credibility in my eyes.
I try to do this with rbnhd.com, but more and more of my emails are getting blocked. I've been debating shutting down this service for a while.
How to slice the equity pie fairly for projects
Sea lice are parasitic creatures, although feeding on tissue and blood, havent seen them outright attacking and feeding
I don't like "1" equal to 1 in Tcl :-/

% expr {"a" eq "b"}
0
% expr {1 eq 1}
1
% expr {1 eq "1"}
1
What happens when one of these private companies comes through your area and kills your loved ones? Who is to be held responsible?

At least with nation states there's some feeble international law.
>I think it's self-evident that there is no theoretical basis for software development in the way that would satisfy your criteria.

I don't think this is self-evident whatsoever. One of the problems in software engineering is that we never know when a solution is "right," we only know when it's vaguely not-wrong, and even then almost everything we create is still subtly wrong in a way we forgot to think about. Math is solid because there is certainty in the correctness of certain proofs, and these can be used as building blocks for further results. Philosophically speaking this is the closest we're going to get to "real" engineering practice in software, and we're pretty dang far from it if you know what that looks like.

>Software dev is generally a scattershot haphazard endeavor that involves trying dozens of angles until one of them works.

But this is a symptom of any pre-scientific field in engineering, it's not specifically endemic to software engineering. The main difference is that in software engineering we're applying math directly, and in other engineering fields we're applying science. In a certain sense, the natural sciences are purely empirical (modulo advanced physics of course, which overlaps with pure math and philosophy these days) while math and consequently computer science are purely rational. So, what are the solid elements in math? Proofs. Proofs are also how you ensure that the field actually moves forward and you're not stuck recreating solid results that already exist. Sound familiar? It happens constantly in software, but imperative and poorly-typed languages inhibit composability and reuse because they lend themselves easily to extremely specific solutions to general problems.

>It's also self-evident that in most situations, correctness and reliability aren't a concern. The counterexamples account for maybe 1% of the field. 99% of the time, if your program breaks, you can pay someone to go fix it and no serious harm was done. Even Github outages, which affect almost all of us, hardly matter.

This is preposterous. Just because lives are not in danger does not mean that it's not worth doing right by the solution, and frankly I think a lot more lives are waiting to be put in danger by crappy software with bad security than you realize. It's already become almost dogma that all software engineers need to have a deep understanding of security, and I don't understand why correctness can't fall under that rubric as well. If we're going to be having Geohot or even Google or whoever building self-driving cars for possibly billions of people, enormous critical infrastructure projects coming under computer control, etc, the whole industry from education on up is going to have to have a serious attitude adjustment to keep up with the demands of safety, security, and reliability.

It might not matter 99% of the time, (I think it's a lot more than that of course) but we need to make sure that we can as a discipline deliver that 1% when it is absolutely critical, and as of right now it doesn't seem like we can.
Or, it could have just been a joke.
And freezing / pinning dependencies (and their dependencies...) to avoid deploying a version of a library you haven't already tested first.
"The guidance warns that “liking” something on social media “will generally be taken to be an endorsement of that material as though you’d created that material yourself” and sharing a post “has much the same effect”."

So to press the like button, is to endorse, is to have created the content itself. WTF.
Have them try sports. Don't force them, but try a few and see if any stick. It's a huge social advantage for the rest of their lives both as something to do and something to talk about.
PRTG Network Monitor 17 Crack and License Key Free Download
When I see someone mention virtue signalling, I dismiss them as posturing for their community of opinion. Is that fair?
The current default is for people to work extremely hard and make minimal progress in software. Startups or giants most development is horribly inefficient. So, I don't think there is much to defend about how things actually work in practice.
I agree with you that "Software Engineer" is often used pretentiously. Supposedly a lot of North American companies advertise "Software Engineers" because the job category "engineer" is mentioned in the NAFTA treaty (i.e. it's easier to hire people that way).
Having a style ends the debate yes. Configuring your editor to automatically replace tabs with spaces does not end the debate. It starts it.
Amazingly, UberForWar.com is still available.
Apple has a similar system: I've never met a level 1. Level 2 SWE is kind of entry level, level 3 is mid-career, level 4 is senior. It's pretty achievable to get promoted quickly up to level 4. Some people even come in at level 4 if they come in with experience. Unfortunately level 4 where most people's careers and raises (and stock, from what I hear) come to a screeching halt.

I understand there's a level 5 that takes about 10x the effort of going from 2 to 4. You need to be pretty much a world renowned wizard to get there. I think a SVP needs to approve 5's. The vast, vast majority of SWEs will never make level 5, and managers are discouraged from promoting people to 5 unless they are super ultra mega stars.
Dyncorp should be mentioned in the headline too. From what I've been able to gather Dyncorp is still a much larger company than Blackwater and their history of war crimes is more extensive too.
> They just don't turn programming into engineering

No, what turns programming into engineering is having a rigorous understanding of proof methods and being able to apply them to solve problems the way solid science is used to solve problems in other engineering disciplines. Civil engineering and electrical engineering and mech-e and so on became engineering through the discovery of underlying principles that allowed processes to be formalized, standardized, and improved.

Formal methods have to be at least part of the answer here, unless you can think of a better way to formalize, standardize, and improve the process of software development.
If you look at an article talking about finances and machine learning, the success depends if you earn real money or not. It is cynical but it is the way algorithms are valued in that space. Real money returns are the real test.
There is a difference between fighting for a country's interests and fighting for personal profit. The military is not "just another business".
Hi. I am interested in knowing more about the Android positions. Are these remote ok? Thanks in advance.
Beyond the boring blockchain bubble
Am I missing something? the number 1 is 1 in all of those bases and therefore can be written using 0 (0 times) and 1 (1 time).
Are you located in SF or some similarly expensive area?
Honestly, I think this setting will get better responses (if it actually gets responses...)
How do you envision the effects of that change in thinking? Doesn't seem like it could be anything positive to me.
> I think it is a very disconcerting notion that we would allow a private entity to possess the equipment and infrastructure to wage war.

Historically, that's hardly unusual.

> How do we ensure they don't go rogue?

How do we ensure anyone and anything doesn't go rogue? What does "going rogue" even mean in this context? Are you imagining that they might behave worse than officially state backed forces? How is that even possible, given how horrible state backed forces routinely behave?

I'm not trying to be flippant, but I just don't get the distinction you're trying to make. This doesn't seem especially new, or different, or dangerous.
Except that it is true. That's exactly how I read the article, so it is guaranteed to be a true statement about how to find a readable version of the article.

I didn't say to subvert the paywall with google. I said that you can google for sites that have the article.
Here's an addon for firefox that'll display that for you easily. https://addons.mozilla.org/en-us/firefox/addon/cipherfox/
Dupe of https://news.ycombinator.com/item?id=14636228 (the URL on medium.com redirects to hackernoon.com).
One of the labs?
> In Engineering you have architects/industrial designers etc. They work out the product specifications and then ask the engineers to deliver an efficient workable solution that fits those specifications.

I've always thought programming would eventually go the way of mechanical engineering with engineers doing design vs fabricators doing the manufacturing. The closest we've come so far in software I think is having one person doing architecture or write a spec and others implement the code. Not quite the same but I wonder if we'll get there eventually.
>I think it is a very disconcerting notion that we would allow a private entity to possess the equipment and infrastructure to wage war

Why? Do you feel you have any real say in what our public entity does with its equipment and infrastructure to wage war? Those capabilities are already in the hands of the highest bidder.

>How do we ensure they don't go rogue?

The public entity is already rogue.
Life Expectancy--Our World in Data
Call me jaded, but whenever I hear a book from a famous and long-deceased author has "been discovered", I assume that it has been known for decades but the publisher only now thought it would be economically propitious to make it available. That is, after all, what we have seen innumerable times in the case of Tolkien and many classic science-fiction writers.
Is international law what stops Russia from annexing Alaska?

Conversely, how well is international law working for the residents of eastern Ukraine?

Although I wish it were otherwise, when I look around the world, I see a system governed by force, not laws. Private military forces fit tidily into this system.
> Tech is driven by fashion more than anything else

So I agree the field has remained disorganized, with it's research and development severely underfunded. There is no language implementation wiki. The field's research is often by years of intermittent incremental papers, and little bus-factor one projects. We're down to like one biggish industrial research lab. And ARPA, sigh. And professional progress, often seems sort of exploration by an army of wandering ants, rather than purposeful pursuit of economic development and human progress.

So with the poorly organized professional knowledge, and the unacceptability of high onboarding costs, yes, there's a lot of random motion. And the scrambling mob carves a flood plain.

But.

Cohort learning is actually a good learning strategy. And given how big the field has gotten, and the criticality of community, it's a plausible local heuristic to "follow the mob - it's path will likely at least be plausible, even though not optimum, and the inevitable obstacles can be collaborative tunneled through, or filled in with bodies". And the profession is not just larger, but vastly better trained than it used to be. There's a massive education process in progress.

And the "driven by fashion" argument gets used a lot. At least sometimes, it's clearly an "argument from failure of imagination". A "I can't imagine what they're thinking, they must all be nuts". Sometimes your expertise in some domain corner is enough to confidently say that. Or the nuttiness is nicely compact - "Google backs it, so I'm sure it will be supported for decades". But it seems most use of the argument is more... ambitious than that.

> Tcl is a powerful language that you can use to create complex systems with simple code, the holy grail.

Tcl/Forth/Smalltalk/Lisp/Self/APL/Oz/... we've had many many languages with glints of grail. We're just still really bad at combining and polishing them.

There's little funding for it. So it's a multi-decade incremental creep. An "if you're still alive to see it" bright side might be, it looks like the transition to "no longer crippling", when it finally happens, might be a "boom - new world" kind of thing.

EDIT: aside: I saw the other day that React native(?) could now be packaged up with it's own little embedded faux file system... and thought, yay, we're catching up with 1990's Tcl! (The Tcl app distribution story was excellent). You just need to have a half century of patience, and it will all work out. Patents only last two decades. And we're only failing, what, 7 billion people? Delay a year, miss a 130 million person cohort. No problem.
I havent thought of this before but i was a mathematician that does software engineering, and Im starting to see some stark similarities between a mathematical proof and a "test" as in a unit test. I imagine if you went down this road you would end up with something very similar if not identical to TDD. What i was hoping this thread would discuss is how to turn software design patterns like the adaptor or factory patterns into a science in the same way that differential topology turns differential equations from a haphazard collection of methods into a rigorous science. I dont know why more people havent focused on formulating this more practical side of software engineering. Why is it that SOLID works so well, etc
The kids and I binge-watched Primitive Technology [1][2], which is an Aussie guy who goes out to his land somewhere and does everything from scratch: building various shelters, fires, pottery, charcoal. It's brilliant. (And I wrote all this before noticing a sister comment mentioned it too.)

Man vs Wild with Bear Grylls is also a favourite of my kids, although it does get a bit repetitive after a few episodes. Good to have on in the background while you're doing something else, and you can just look up if something interesting happens.

For navigation skills, find your local orienteering or rogaining club and do some events.

[1] https://www.youtube.com/channel/UCAL3JXZSzSm8AlZyD3nQdBA Pro-tip: turn on captions to see explanations.
[2] https://primitivetechnology.wordpress.com
I've used plenty of whole apartment airbnbs, and it's not the same as a hotel. As the OP said, you get a fridge/kitchen etc, and the host can trust you based on your rating.

I agree past a certain scale it can be troublesome. But I don't think it is like a hotel.
@icantdrive55 - Many of your comments (including the one on this thread) are "dead" (hidden) for some reason. I'm not sure why that's the case, and since I didn't see anything wrong with your comments, I figured you should know.
Why I Switched from Git to Microsoft OneDrive
Are you aware of who Erik Prince and Stephen Feinberg are? You are essentially advocating for even more death and misery abroad in the short term, in the hope that the public's stance on the US military will change. It won't change anyway though, the opposite would happen -- allowing Blackwater and Dyncorp to do what they do (murder, human trafficking, torture, etc.) will accelerate chaos in the Middle East and globally, and you'll end up with even more Americans throwing themselves behind the war machine.
This article outlines the basic problem. If you want smart contracts that do anything off chain, there have to be connections to trusted services that provide information and take actions. If you have trusted services available, you may not need a blockchain.

The article points out that you can't construct an ordinary loan on chain, because you have no way to enforce paying it back short of tying up the loaned funds tor the duration of the loan. Useful credit fundamentally requires some way of making debtors pay up later. It's possible to construct various speculative financial products entirely on chain, and that's been done, but it's mostly useful for gambling, broadly defined.
this one, which I assume you are referring to, is a classic. The one I had from the 80's had a green cover.
http://www.forrestmims.com
http://www.psychotherapy.net/interview/bruce-wampold-psychot...
There was play about that; a guy dating 3 stewardesses, then commercial jet flight is introduced, and he has to juggle them all until his scheme crashes down. Pretty damn funny play.