skysight-inc/HackerNews huggingface dataset:
Catching logical errors is only one out of several things that static typing gives you.

Incidentally, right now this is a few positions above this posting:
https://news.ycombinator.com/item?id=12350063

Better IDE support, a kind of self-documentation and increased performance come to mind. I know there are counter-examples for each of these points, but the general trend cannot be denied.
Vesper Lynd broke Bond's heart, the committed suicide. The cocktail is named after the character.
Even if they changed the standard library from version to version... the result would be that people would stop using the standard library, migration tools or no tools. Nobody really wants to deal with being pinned to a specific minor version and no older/newer - especially libraries.
You can see your ad profile: https://www.google.com/settings/u/0/ads/authenticated
Just don't call it "Ecoin" please, do not want to upset Evil corp
One my feeling about python is that is a great language for "reference". Probably everybody and write and read it and its already good enough for general programming. There are edges where other languages are better but still is a great language to establish communication among different types of developers
Agreed. That, the explicit self argument (which no other major OO language needed) and the : at the end of lines where you would need a { in other languages. If you google you find that there are good reasons for all of those choices but IMHO they are wrong solutions to the problem they solve and make Python look ugly. At least in 2016 they could make the colon optional.

The colon is so ironic for a language that takes pride in replacing braces with indentation. It's there because of readability, see https://docs.python.org/3/faq/design.html#why-are-colons-req... but so, how about an almost Erlang-like full stop?

if condition:
statement
statement.

That would make semantic indentation optional, IDEs and editors know how to reindent code, spare us with bugs introduced by careless copy and paste.

Nevertheless, Python has been widely successful and it's here to stay for a long while. I hope designers will look at those bizarre features and think of better solutions for future languages. Remember that Python has its roots in the 80s. By the standards of the time it was very good. Compare it with the order of magnitudes worse design of PHP, from middle 90s, and there is a lot to forgive to Python. Maybe Guido Van Rossum would make different choices if he were to design his language now, under the influence of the languages of the last 20 years.
These are not the tags Facebook uses to target ads. Well, they are included, but they use far more hidden, or "dark tags"
> Provably correct software is possible.

Ah cool, so you've solved the halting problem then?
For the most part they are onsite only, yes. I guess this thread is a bit off topic. Sorry for perpetuating it. We somehow got here when vemv mentioned London in reply to wjg saying he* is moving to Europe. Of course, when it comes to remote jobs, it shouldn't matter where he is moving to. If US companies pay the most and he wants to get a high rate, he should apply at US companies.

Having said that, some project descriptions mention a number of days per week that one can work remote or "remote negotiable". And then I've seen a few that were 100% remote, where the recruiters where really excited about it. For them it's still very rare I guess.

I have a bit of a middle ground with my current team. I'm onsite most of the time. But since I've been there multiple times and earned their trust, I can work remotely as long as I don't stray away too far wrt to time zones. I'll probably make use of that in the fall/winter. Thinking of Barcelona, Tarifa, Canary Islands, maybe Malta.

Regarding C++ jobs: The ones I see are usually Qt or embedded Linux stuff (often automotive). There is definitely a lot of C++ contracting work available and I can imagine the rates are at least on par, probably higher than web dev.

* I assume he is male from seeing his first name and profile picture on github

edit: Example C++ project mail with "remote possible"

für meinen Berliner Kunden suche ich einen erfahrenen C++ Entwickler, der Lust auf ein sehr spannendes und langfristiges Projekt hat:

Start: 01.02.15

Dauer: >1 Jahr (50% Auslastung)

Remote: Nach Absprache möglich

* Intensive C++ Erfahrungen
* Verarbeitung von Sensoren
* Linux und Cmake

Bei Interesse senden Sie mir Ihren CV (in Word-Format) unter Angabe Ihrer Verfügbarkeit und aktuellem Stundensatz (All-In).
Display less at once on the screen, and make it scrollable instead, worked perfectly fine for me as an analogy. I actually find "more" less logical, because I can't find a similar analogy for it...
So do LCD monitors have a setting for 50Hz refresh? Or how does that work? I've only seen 59/60Hz (and sometimes higher).
1. My music choices are frozen in time from college 16 years ago (incidentally, daytime Alt Rock music channels in DC similarly haven't progressed past early 2000 nostalgia).

2. My lifestyle and culture is Mac OSX and Android, due to whatever devices I happen to use Facebook on.

3. My food and drink interest is a single choice: "Food".

Well played Facebook.
I would imagine so, but he didn't mention that option in the article.
How to save a dying business: Lessons from a failed entrepreneur
Learn to work with Git in 15 minutes
But you writing this as a bad thing? It's normal for a community to pick tools/solutions that are preferable.

A lot of HN users are for example startup owners/creators so it's normal that they will prefer easy and semi-automated language like Python.
Is this a human thing, or conditioning? Higher framerates being associated with daytime TV or home recordings and all that. Has anyone done research with film-naive people (hard to find) and seen if they show a preference?

24fps sucks anytime the camera pans. Or in action movies, things just jerk around everywhere.
An example of using it for good: https://www.youtube.com/watch?v=WHm_QOoFGAc
Often when people mention provably correct software what they mean is software that don't crash and always produces output for correct input. It usually doesn't mean that the output is correct...
The proper way to do this is to have 2 machines, one connects to intranet and one connect to internet. The one connect to intranet won't accept any external devices, completely unable to connect to internet or even copy data out using thumbdrive. If cost is an issue, VM could work (but riskier).
01000010 01101001 01101110 01100001 01110010 01111001 00111111 00001101 00001010?
Automatic release ugprades in Erlang
Loneliness can be as deadly as smoking
From one point of view, Christianity is more of a culture than a purely religious thing.

Books use allusions to the Bible, even if their authors and readers aren't very religious. People pay lip service to the idea of God (singular, capitalised, and having a particular brand of deity in mind), even if they haven't prayed in decades.

> How in the world could FB figure out I'm an early adopter?

Maybe if you accessed Facebook from a recently released device?

Facebook decided that Mac OSX is part of my 'lifestyle', merely because of the fact that I access them through only through a Mac now despite being a PC owner for decades before that.
HN has language preferences, sure. Of course it does - people have language preferences, and some languages really are better than others - no wonder our aggregate likes some languages more than others. I don't agree with every specific of your star-rating, and a more objective measure would probably be more useful (I'm sure I've seen charts of which topics are popular or not on HN), but of course HN has preferences. Why wouldn't it?
8. Significant whitespace. Not only is it a constant minor inconvenience when editing the program, it makes it very hard to cut-and-paste code fragments on the web.
Yelp would likely wind up forking such a library, if they used one, when it shows bugs.
IMO a much better approach is JSCodeShift, which works based on the AST: https://github.com/facebook/jscodeshift
The problem is that this is very hard to measure. You can't really measure how much time you save on new features after you fixed the old spaghetti-code.
If you think that's bad, watching Wizard of Oz in high definition.
The C specification is irrelevant.

The Python specification defines what the implementation is supposed to do. It happens that the implementation doesn't comply with the specification. That doesn't mean the Python specification is undefined, it means the implementation is in error.

Remember too that the actual implementation is a binary. The C compiler converted the C code into that binary, but in theory it could have been generated manually, as a byte-for-byte equivalent, with C completely out of the picture.

Would you still say it's "undefined behavior" if there were no C compiler? How do you tell the difference in the binaries?
> Plus any good friends will be there a year from now, and if the hustle pays off

I like how you've implied at least the hustle is temporary. Too often people look at work vs life, as something that either (a) must be in balance at all times or (b) must sacrifice one for the other ad infinitum.
This isn't a Bitcoin alternative.

It's just a blockchain based currency.
It is well within the rights of a sovereign country to limit capital movements in or out of the said country, the same way the movements of a citizen can be legally limited if deemed necessary.
There's more

> The HostBridge JavaScript Engine (HB.js) is server-side JavaScript for CICS® applications and IBM z Systems™ data assets

> HB.js runs inside CICS and supports:

> CICS terminal-oriented (visual) transactions (Orchestrate CICS terminal-oriented transaction micro flows as single services)

> BMS, non-BMS, 3270, and CA application types

> COMMAREA (non-visual) programs (Orchestrate and aggregate transactions, programs (e.g., COMMAREA), and data into single composite services)

> DB2®, VSAM™, DL/I, Datacom®, and other data assets

> Connectivity via HTTP, LINK/EXCI, Enhanced WebSphere MQ
Extended Multi-Region Operation (MRO)

https://www.hostbridge.com/index.php/products/javascript-web...
I am as concerned about privacy as next person, but I would have thought that this is similar to what the satellites are already collecting for NSA, CIA and similar (and their counterparts in other countries).

Is flying Cessna planes really the optimal way of obtaining images? Why not drones (if you can't get satellites)? Or is this just MVP with room for optimization?
Bah.... Use Fish
Quake devastates mountain towns in central Italy, at least 20 believed killed
So a centralised decentralised coin ?
The "original team", i.e. Marco Arment, moved on years ago anyway.
3 Simple Ways to Save a Bunch of Money When Buying a New Computer
They didn't say it had to be Turing complete.
The link is similarly a white screen on Android Chrome for me.
> I am sure people have said this but it's "serverless" from the perspective of the user (who is a developer in this case).

It's specifically not server-less. The developer is writing code that will be run on a server. They just don't control that server. That is literally no different than people who push regular Ruby/Python/PHP/NodeJS/Perl/etc apps to platforms platforms like Heroku, or like developers pushing CGI/PHP scripts to regular shared-hosting providers via FTP back in the day.

In all cases, the developer has very limited, if any control over the server, and just uploads their code to run.

> I guess it's like wireless... Something could be wireless from the perspective of the end user but there are still wires actually there.

No, it fucking isn't. "Wireless" describes a specific type of connectivity - either WiFi/Bluetooth style short-range local networking, or Cellular/WiMax style long-range "last mile" networking. For the specific connectivity that is described as "Wireless" THERE ARE NO FUCKING WIRES. It is very possible to operate a 100% wireless network - e.g. bluetooth device networking, or wifi LAN networking. You will only be able to connect to other devices on the same network, but internet access isn't what's being claimed, and it will be completely wireless.

In the single specific definition of the "serverless" architecture, there is very much a server (and more than likely several), and without that server, you have nothing.

> I honestly think that serverless is a lot less ambiguous and misleading than something like "cloud" which is completely abstract.

With terms like Cloud, the term has actual technical background. Network diagrams often include a "cloud" component, which literally signifies something you don't control, usually a WAN/internet connection. See for example, this diagram with reference to a local IPX network (the page it's from isn't in English but references 1996): http://soback.kornet.net/~silicon/network/Tunneling.files/im...

Yes, the term has been expanded upon but there is still a basis of the same concept in its use: something you just use, you don't manage/control.

"Serverless" is a technically incorrect and very misleading term. The term would be better applied to something like HTML/JS Single-Page Apps that use things like offline storage/etc to allow truly offline browser based apps.
I'm curious how the imminent roboticization of public transit will play out. I'm sure management everywhere is waiting eagerly for this tech to roll in.
I'm an American who has lived in Switzerland. I don't wish to start a debate, but instead to mention that from my limited experience European and American systems have a different definition of "unlimited," and in online discussions this definitional difference seems to result in people talking past each other.

The limits in many European systems appear to be on self-determination. There are real barriers in some circumstances to getting second and third and fourth opinions, additional tests, treatment for infants born premature before a certain week, novel and unproven procedures, etc.

I don't know which healthcare model is preferable. It appears to me the US and European models grew under different historical circumstances and have different failure modes.

Again, not trying to spark debate. Just contributing a personal perspective having lived on both sides.
A White Paper About Transaction Tangling on the Bitcoin Blockchain
Matter of taste, I like the image of scroll to see more
If power is transfered as high voltage DC, the loss is a lot less than what we're used to with AC. But I'm not sure it works all that well on a global scale. Transfering MWs of energy over thousands of km is not trivial by any metric.
> economics 101 ... the more fractured the pool the worse the outcome.

You're probably (I don't know) talking about large insurers being able to aggregate non-correlated risk into a nice non-risky positive expectation of profit.

But of course econ 101 loves nothing more than to look at the margin, and if the marginal client simply lowers expected profit, you better fracture him out. But you clearly know that, so what are you talking about?
yeah, calling it less may have been fun at the time, but its poor ui design. if you call a method 'add_one', having it multiply by three might be what you intend, but its not very intuitive.
I must admit i played Pokemon Go a little bit, I am sure maybe they could add more elements as time goes, including player vs player tournaments and lobbies. Single player mode with a pokemon of your choice with story line gyms. They just need to re-engage players.
"Making it hard to copy-paste code from the web" is something that I would consider a feature, to be honest.
Blackbox – a new shipping company from the creators of Cards Against Humanity
Acronis is the first customer to adopt blockchain.
Nothing; it would return a partially applied function that waits for a proof that `x < y` before continuing. (Trying to use that function as an integer would be a type error).

The key here is that `add` is not a function `Nat -> Nat -> Nat`, it is a function `(a : Nat) -> (b : Nat) -> LT a b -> Nat`. There are just some compiler features that allow you to avoid having to write out the full `LT a b` proof each time you want to add things!
1. a matter of tast

2. care to elaborate ?

3. it's not divided, it's evolving from 2 to 3. Java's community is under Oracle's grip, don't know if it's any better...

4. it's not because you can do it that it's worth to do it, so in practice API are just not changing at runtime

5. I can say the same of my industrial strength Java environment...

6. Not a problem since what you do doesn't require speed

7. Ever used PyCharm ? I wouldn't say it's poor tooling. The debugger is fine. What I miss is something like a good profiler to look at running code.

But I'd say :

8. Optional typing should've been there from day one, it'd made code editor, tooling better

9. The date/time handling is not good

10. SOA support is weak (and in the kind of setting I am, we use tons of XSD, WSDL, XML, security, signature you name it)
> neither of them does page-up render properly

Huh? "less -R" has always been working like a charm for me, for scrolling in both directions. Maybe it's related to your terminal emulator? (I use Konsole.)
Stop re-posting this bullshit analogy.

There is no technology anywhere that is called "Wireless internet". There is wireless networking, which does exactly what the name implies, it transfers packets from point A to point B, without wires.

That it might be connected to wires at each end is irrelevant because that is a different technology.

"Serverless" is a misleading name - it inherently requires a server, as it's specifically a server-side technology (an event driven function runner).
The best I can offer are my previous HN comments on the topic, at https://hn.algolia.com/?query=dalke%20numpy&sort=byPopularit... and http://www.dalkescientific.com/writings/diary/archive/2011/1... .

I don't see what's awesome or all that interesting about it.
Enemy of the state anti surveillance 101: Walk under a bridge
I would imagine law enforcement / police should be able to request this if the person has been missing a certain amount of time. But I personally feel it would be better to only let the police request it, rather than personal individuals as it would raise a lot of privacy questions.
* Newline at EOF

* Double quoted docstring

* Remove unused imports.

These things are largely cosmetic.
Vortex Hydrokinetics – Bladeless Hydrodynamic SETUR Turbines
That's fine and your perspective certainly has merit, but as an entrepreneur, is it really worthwhile to spend time reading 100 restatements of vague pessimism? Even if that view might be warranted, it doesn't help your odds (or your mood) to worry about such things when you could be putting your energy into solving concrete problems.

I think that's what Sam is getting at here--not that the comments are necessarily worthless or wrong, just that they aren't generally going to offer much that can actionably help you and could very well get you down.
At a glance, it looks like all languages are reasonably well loved except PHP and Node.js (shouldn't this just be Javascript? Does having a different standard lib make it a different language?)

I think that's due to people having flash backs to terribly written code in both languages.

For example, PHP apps pre-2005 rarely if ever used frontend controllers, preferring instead to twine in configuration and helper functions into isolated pages that were directly served by Apache. This meant that there was no single obvious place to put things like caching.

Additionally, once upon a time, PHP didn't really have well developed ORMS, so everyone just wrote queries and hopefully parameterised queries---but not always. So if you had a hobby project that took off, then within 3 years it'd be a roiling ball of mud where it's difficult to do basic things like tracing which calls happen per page.

PHP came to prominence early in the web, and it was easy to use so everyone had a hobby project that took off, or had to work within something like that. Hence the hate.

To compare it to Javascript, I think the disdain for both languages is due to their initial nature---they were both written over an short period of time, and evolved in spurts rather than being carefully designed from day one or designed to overcome the shortcomings of another language.

The quality of the above really shows up in the inconsistency of the standard libraries, and the fact that certain semantics were inconsistent or danger zones in practice but couldn't be changed.

---

I do remember though when everyone hated C, and loved C++, then went back to loving C... so maybe programmers are just fickle and none of what I said makes sense. :)
Considering Bitcoin is a blockchain based currency, and this is a blockchain based currency that isn't Bitcoin, it sure seems like a Bitcoin alternative to me. Perhaps you can elaborate on why you feel otherwise.
What I find interesting is that we are so quick to follow new trends.
Rewarding in which way? Getting to really improve the codebase? Compensation?
Not so. The major plot arc of the last three seasons originates in the fact that law enforcement only gets SSNs too, and finds this insufficient.
Why and How to optimize your data visualisation playbook
> And instead of trying to tax the health insurance companies into covering people with expensive health conditions, we could actually fund medicare

Assuming you mean "expand medicare to cover everyone so that people with expensive conditions aren't left to die in the street", this is .. the UK system.

Insurance becomes an optional extra for people who don't want to wait and want more than the necessary minimum of attention. Everyone else gets care if they need it.
Maximise Your Customer Success by Closing the Loop
Oracle: Deprecate the Applet API
Americans and Social Trust: Who, Where, and Why
Interesting, I have always ( wrongly ) remember yelp as a Ruby Rails shop. Does anyone know the stack behind yelp?
This article references a paywalled FT article: https://www.ft.com/content/1a962c16-6952-11e6-ae5b-a7cc5dd5a...

From that FT article: "The coins, each convertible into different currencies".

This suggests that they're using blockchain as a distributed ledger, and that the 'coins' are just fungible IOUs for existing government-backed fiat currencies.

So, it's a Bitcoin alternative in the sense that it can move money quickly. But they're not creating a new currency. They're just creating new paperless non-interest-bearing bearer bonds.
They are using MD5 to hash the data: http://notarystorage.acronis.com/certificate/eebb9edc63a06c5...

Ouch.
In PowerShell,

PS> Import-Csv .\names.txt -Header name | group name | select name, count

Name Count
---- -----
cat 3
dog 2
mouse 1
bird 1
Nope. Indian, but get "US Politics (Liberal)".
> Talk to your boss, talk to your peers, talk to others. Ask them what do they consider valuable in employees.

What they will answer though is likely not going to be what they respond to - the answer might be 'diligent and focused' (which is already completely hollow and ambiguous to begin with) while the truth is 'similarity to myself'.
Also Joel wrote another article where he says that rewriting the code from scratch (removing technical debt or switching to a new popular framework) is generally a bad idea: http://www.joelonsoftware.com/articles/fog0000000069.html

Improving and perfecting the code is a task that can take infinite amount of time.
> combined with str(), repr(), vars(), dir(), print(), pprint.pprint()

Very true! Though since in practice, most people simply use a graphical debugger or pick one of the above as their champion (pprint.pprint is my personal favourite), then I doubt this situation will ever be changed.