skysight-inc/HackerNews huggingface dataset:
>The typechecker can't handle un-hinted code

And in Java or c++, un-hinted code couldn't compile. The python type checker can do more than a java or c++ checker in this regard.

>Neither of those is "silent" or "unknowing".

They're exactly as silent or unknowing as you would get in typed python code. You appear to be comparing untyped python. That's an incorrect comparison. Offhand, I actually can't think of anything I could do in typed python that would get around the type checker, that wouldn't be considered reflection or a dynamic cast, and be very obviously so in python too. If you have an example of a silent or unknowing failure of well typed python code that passes on mypy, you should probably file a bug report ;)

>That you don't like or agree with it doesn't make it not an answer.

You're right. Its not an answer not because I disagree with it (I don't), but because it doesn't actually answer anything, which is why I don't disagree with it.

To summarize this:

Python typecheckers are capable of more type inference than Java, and require less syntax than c++ or Java to get well typed code. A typed python codebase can interact cleanly with an untyped python codebase, and within the typed parts of the code, you get equivalent safety guarantees to what the type systems of Java or C++ provide.

Your appear to be ascribing magical powers to compilers in other languages, when those compilers have exactly the same type information as mypy does.

In other words, going back to your first statement:

>Hints don't provide any guarantees.

Hints provide exactly the same guarantees as any other type system: "Assuming you write reasonable code that doesn't attempt to subvert the type system, the type system will catch any dumb mistakes you make."

That's the exact same guarantee you get in any statically typed language.
Is it? This looks like "just" the matchmaking service.

From the README:

> The dedicated game server is called Wic_ds.exe and is included in the distribution of the game. It is installed by Uplay upon download.
skepticism of science based on the accuracy of prior theories is appropriate. Newtonian physics seemed correct for 99% of observable phenomena, but it was in fact very wrong about some basic underlying ideas of how the universe works. That is basically true of every past scientific theory, so it is probable that our current physics does not accurately describe the universe.

I don't see how you could falsify the ufo claims over o'hare airport in 2006: https://en.wikipedia.org/wiki/2006_O%27Hare_International_Ai...

It is extremely likely that people did observe an unidentified flying object in the air that day. That doesn't mean it was aliens, but it was something. That seems true for this recent video footage as well. It is more likely that people observed something vs a grand conspiracy.
I think by that he means it wouldn't be possible to get func_defer behavior in the example with a single keyword, or without some form of qualifier. The compiler wouldn't be able to differentiate the behavior.
Using this approach, Buckmaster and Vicol
prove that these very weak solutions to the
Navier-Stokes equations are nonunique. They
demonstrate, for example, that if you start
with a completely calm fluid, like a glass
of water sitting still by your bedside, two
scenarios are possible. The first scenario
is the obvious one: The water starts still
and remains still forever. The second is
fantastical but mathematically permissible:
The water starts still, erupts in the middle
of the night, then returns to stillness.

Also permissible, and also vanishingly unlikely, under quantum theory.

It's a stretch, but I wonder if it's reasonable to think of data points in the vector field describing fluid motion as probabilities rather than definite measurements. That might allow their behavior to be modeled with different mathematical tools.
Nextcloud, it's great.
We've sold Mumbrella
Filament Group was a sponsor but the project was not "tightly tied" to the company. I believe that's a bit of FUD right there.
A mix of syncthing (for distributed secure storage, opensource, https://syncthing.net/) and mega.nz (with its CLI tools to share files securely, http://mega.nz/).
I'll bite.

std::vector<std::pair<float, std::string>> in_order;
std::transform(data.begin(), data.end(), std::back_inserter(in_order),
[](auto& item) {return std::make_pair(item.weight, item.name);});
std::sort(in_order.begin(), in_order.end(), std::greater<>());

While I won't claim it to be as elegant as Python, it doesn't seem too ugly. Does anybody have an idea about how `auto` could be utilized to avoid the long vector<pair...> type declaration?

For the adventurous: https://repl.it/repls/RepentantGentleKudu
Alteryx Data Breach Exposes Information on 123M American Households
Are the contributions unrelated to your employer's work?
There are great reasons to use GCloud, MS AI, and the many other offerings out there. The ideal solution will vary by use case. Some considerations might be:

- serverless functions or full VM? With the former you pay by the second or minute, the latter is often by the hour or even month and many people use under 20% of the capacity they're paying for.

- what languages do you need? Many full VMs can support anything, but most serverless function hosts support very few languages.

- what frameworks do you need? Do you want to do a full install and dependency reconciliation, or have it done / managed for you?

- interoperability, API chaining, and marketplace. Algorithmia's language-agnostic open marketplace is pretty unique: you can use grab any of 4500+ APIs right from your own algo, without ever leaving the environment.

Happy to step through specific use-cases with you anytime! Just click the chatbox in the lower-right at Algorithmia.com
Between c and Python there is an ocean of languages...
Opiates are cough suppressants.. which is also why in large enough doses, they're breathing suppressants.
I saw this thing a few days ago where BOA was awarded a patent for basically atomic swap. Tweeted komodoplatform when I saw it but not a response so still curious how that will play out. If BoA is going to say that atomic swap falls under their patent and if they are subject to royalties.

https://t.co/EQp6fVXepA
You mean overturning Citizens United (https://en.wikipedia.org/wiki/Citizens_United_v._FEC) and McCutcheon (https://en.wikipedia.org/wiki/McCutcheon_v._FEC).

A law that targeted corporate executives would have no chance of surviving the legal precedent of those two cases. It wouldn't do much to solve the problem of dollars having more influence these days than one-person-one-vote in the U.S., but hey, don't let me stop you.

Easy reading about those cases: https://www.publicintegrity.org/2014/04/22/14611/mccutcheon-...
Same. I'm unhappy with how so slow their web interface is but really you shouldn't be using it.
Car detection algorithm
Not quite. Fund managers generally have a fiduciary responsibility to their limited partners, meaning they are required to act in ways guided first and foremost by what increases ROI.

There's a lot of room for interpretation there about short term vs long term gains, the investor value of creating sustainable businesses, and of course the biases the manager's own political views inject into their decision making. But he or she must still act with investor ROI in mind by investing in the companies they honestly think likely to succeed and then help them do so. To fail to do so would be to face investor revolt and possible lawsuits, and undermines those hard working entrepreneurs who take their companies in different (and maybe more profitable) directions than their investor had in mind. I don't like that.

To rephrase what I originally said, I prefer my investors to be economically rational in their motivation, not political. Hence I have never sought YC investment under Mr. Altman, nor do I intend to. Thankfully I've done just fine without.
I see. Now I see a strong point of favoring implicitly passing the context - attaching the context to a go routine local variable (no such thing yet), so the aspect of context passing can be decoupled. Of course for some logic we probably still want to do some explicit context stitching, but that won't pollute most of interfaces. Would that address your concern?
China Tour Agencies Confirm Government is Banning South Korea trips
Indeed. That, and you'd be able to process a lot more than 7 transactions a second!
I actually have to thank you, deeply and truly, because in trying to respond to you, it clarifies a bunch of things for me. I've re-written this comment three times. Thanks.

I made that phrase up. But I'm sympathetic to the essay, and I think maybe I was subconsciously referring to it.

Okay so, my issue with free software is similar to my issue with liberalism. I mean that in a philosophical, historical sense, not a "the Democrats" sense.

Liberalism (and much thought from the Enlightenment) is focused on freedom with regards to exchange. The Four Freedoms are focused on "I have this artifact, what can I do with it in relation to others." Marxism, which I am more sympathetic to, instead focuses on production over exchange. That is, the issue is not in individuals exchanging things, but how those things are produced in the first place. So in some sense, it's pre-occupied with the wrong thing.

Let's make this more concrete. You know the concept of "source dumps"? Let's say that I'm MegaEvil Inc. I can create some software, and once a year, release a new version. I also give you a copy of the source code, licensed under the GPL. There's no mailing list, no way to send patches, no governance. Just a copy of the source, once a year. This is 100% Free Software, but I'd argue that it misses the point. It's still better than being proprietary! But it doesn't let me, as the user, exercise any control over how the software is made. Yes, I could create a fork, but what happens when one year, there's an extensive internal re-write? At some point, a fork is a completely separate project, and we're back to step 1.

That is, the question I'm interested in is, who has the power to affect the development of the software? Free Software has nothing to say about this. But that's the real step forward. Being at the complete whim of upstream isn't that different from being at the whim of a proprietary vendor.

Given that I've literally just thought of this, this might be a bit rambly, a bit too deep, and a bit under-developed. But there you go. :)
Not to mention that someone who has studied this alleged phenomenon as much as the commenter claims would be less reluctant to post evidence in support of the allegation.
The value of gold is not rational
> forgotpassagan

They have password managers you know and also spell checkrs too. :P
Progressivism in the big-D sense, and UBI-based approaches to economic equality.
there are lots of virtual mailbox service offerings out there, to open and scan mail for you. what you describe is right up their alley.
Curious about the reasons for downvotes. In case I wasn't clear, those three are very critical of the current Republican party, especially the current administration
There are, I just can't think of them at the moment, I know though because I setup a bookscanner with a linux box. If I remember right the scan/ocr/archive tools are all seperate, so you would have to script them together.
Yeah, and mind you the UK under May and the US would almost certainly love to do this too. Demonize encryption and anything which might allow you to bypass either monitoring, ISP fuckery, or copyright law. There’s probably no technical solution for a government to do this, but as with rubber hose crypto, they don’t actually need one. If we don’t want this in our future, it’s going to take a lot of work.
San Diego's real estate is quite reasonable. So, kindly, stay in the Bay area. Please.
It is web based port checker app.
I find writhing a quick hacky solution and then fixing it over time (IF it's worth it, alternatively a rewrite might happen) is quicker because I don't usually write what I want/need on the first try.

If I want to end up with a great end result, I find this is the way I have to work.
Some racists (e.g. Strom Thurmond) switched parties, but in general the Republicans were never as racist as the Democrats historically were. They didn't have to be. Popular support for racism has been on the decline for more than a hundred years, and the remaining racists no longer trusted the Dems so the Republicans never had to give them anything or even really promise to give them anything to get their votes.

This is kinda sorta true, but it neglects to mention that the "Southern Strategy"[1] was a real thing:

In American politics, the southern strategy was a Republican Party electoral strategy to increase political support among white voters in the South by appealing to racism against African Americans.... Republican politicians such as presidential candidate Richard Nixon and Senator Barry Goldwater developed strategies that successfully contributed to the political realignment of many white, conservative voters in the South that had traditionally supported the Democratic Party to the Republican Party.

[1] https://en.wikipedia.org/wiki/Southern_strategy
What is going on here? I tried storing that in a file "Makefile" and created a file called 'foo', then did:

$ make foo.enc

The output was:

make: Circular Makefile.enc <- Makefile dependency dropped.
make: Circular foo <- foo.enc dependency dropped.
openssl aes-256-cbc -a -salt -in foo -out foo.enc
enter aes-256-cbc encryption password:

After putting in a password it did encrypt the file, but there's a lot of noise in my output, so maybe I'm doing it wrong. Any clues?
> WebAssembly has nothing to do with Javascript

They are different VMs in the browser alongside each other, I was wrong about that (1)

However, this comment says more about the ways that they are and aren't equivalent (2)

Both are for "targeting the web browser client" so they have that in common, and a lot of the logic about their place in the world is therefore the same for both of them.

1) https://github.com/WebAssembly/design/issues/219

2) https://news.ycombinator.com/item?id=15982036
> If the article showed that she knows how Bitcoin works - keys, signing, etc

you fault the person being interviewed for the job of the interviewer?

bitcoin is more than 'keys, signing, etc[sic]'

from tfa:

> I have been making my clients mine for me for a couple of years.

> I take donations and also have people mining for me. I take a lot of geek clients who like new technology and they were really excited when I taught them how to build a mining rig for me

this person states over a period of years she has amassed 1M+$ having taken donations in cryptocurrencies, shipped a successful remote mining pool, and even taught others how to build their own mining rigs and your response is the article needs to show she knows about 'keys'?

how do you propose someone does those things while also being ignorant of, what i assume you mean by 'keys', public key cryptography? that would be incredibly impressive in its own right

here is the full quote you keep referencing:

"Everyone is now interested in bitcoin because the growth has been exponential. Soon it will be too high for individuals to invest in, so you have to invest in others. I think it’s smart to have diverse portfolios of currency. "
To me this leads to a question about the Bay Area centric techno-spehere: at what point do the prices become so high that companies/ecosystems in other parts of the country become relatively attractive?

I understand that the SV network is a real and powerful thing, but holding all else equal (indulge me), wouldn't it make the cost of startups more attractive for all stakeholders if an alternative, viable network were in Buffalo or Nashville or Boise or wherever? Is it just a matter of lack of coalescence?
By "these days" do you mean "needed to support the latest version of each major browser"?
> Beyond that its utility diminishes until it starts to become a hindrance.

Tell that to any serious Numpy/Scipy/Pandas user.
Is it bitcoin or blockchain to its name? One of the pervasive mistakes which keeps happening is equivocating bitcoin and blockchain. If a publication like NY Times can't differentiate, one can only think of average Joe.
Well done! Will definitly give it a try back home !
47.9% (on average) approval rating by Americans for his job as President (and consequently positions his cabinet, Congress and his party took). It's a barometer of how Americans feel about the USG, too.

If you polled him right now across worldwide audience about his stature, it would probably be north of 70%.
xrb_3q61w9dohm6ok15mo1ua84qk6xqm535kzfkbsx66ggcruee73khprbt4iykw

Sure, why not.
Not to mention some pretty solid data about where the anti Black racists reside.

It's hard to imagine a Klan member being a Democrat, within the past few decades.

https://www.washingtonpost.com/news/monkey-cage/wp/2017/04/1...
Just chiming in real fast that you can use ssh to edit files on remote systems even if they don't have emacs themselves via /user@host:~/filename.txt

So I also can use emacs almost anywhere. (I still advocate users and admins at least be functional in vi/vim regardless). Also don't forget GNU Nano isn't out of the game either as a small almost everywhere easy to use editor.
If you can convince an entire community to rearrange their finances, in certain jurisdictions you might get some interesting results even without UBI.

For example if you were to pay taxes in gold: https://www.forbes.com/sites/briandomitrovic/2014/09/08/tran...
I haven't tried this yet, but - https://openpaper.work/

Edit: tried it, it's crap.
I've used vcxsrv to run X applications from the Linux subsystem ubuntu. It worked quite well for the Linux apps I needed to run.
Wow, Peter Thiel, is annoying, to say the least. He sounds like someone who lives in a bubble that is completely decoupled from the real world. He doesn't even let anyone else make any point.

Am I even allowed to say all these without getting sued or banned?
Ask HN: Is it possible to start a martian magnetic dynamo with it's core?
I am wondering if anyone has any thoughts, data or even crazy ideas of how this could be done?

A hypothesis I have on how this could be achievable:

Place coupled oscillators in key locations on the Martian bedrock. Use these to create a constructive interference pattern in the core. Manipulate the waveform induced in the core to induce rotation. If possible, would the result be a magnetic field (to shield from radiation and prevent atmospheric evaporation)?

A planetary jumpstarter, I'd like think of it as.
I've worked in Silicon Valley for the last 10 years, both as entrepreneur and investor, and I have rarely encountered the bad behavior described in this article. In my experience, the success stories are primarily by hardworking, modest, highly intelligent people who see an opportunity and just go to work on it for a long time.

That said, I'd imagine that a reporter is constantly exposed to the bad apple "bros" who view Silicon Valley as a get-rich-quick, fake it til you make it process. And by extension, this is what most of the outside world sees. After all, what's interesting or noteworthy about a bunch of people just working hard for a long time?

To bring it full circle: I've had a slightly (but not overly) negative view of Wall Street to date, but now I'm curious as to whether it was a similar story there. I feel like there is inherently more value in people building technology and companies than in buying and selling financial products, but I'm obviously biased.
Long Island Iced Tea shares went crazy after changing name to Long Blockchain
This is absolutely true, and the Republicans rightly deserves to be applauded for this.

But the OP was referring to the Southern Strategy[1] which had its roots in (Republican) Barry Goldwater's 1964 presidential campaign where he campaigned against the civil right act and picked up Democrat voters in the South:

Goldwater decided to oppose the Civil Rights Act of 1964. He believed that this act was an intrusion of the federal government into the affairs of states and, second, that the Act interfered with the rights of private persons to do business, or not, with whomever they chose, even if the choice is based on racial discrimination.

Goldwater's position appealed to white Southern Democrats, and Goldwater was the first Republican presidential candidate since Reconstruction to win the electoral votes of the Deep South states (Louisiana, Georgia, Alabama, Mississippi, and South Carolina).[2]

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

[2] https://en.wikipedia.org/wiki/Southern_strategy#Roots_of_the...
Falsely shouting "fire!" in a crowded theatre incites behavior that is knowingly contrary to the well-being of the patrons. (Also, some defenders of the first amendment argue that this is protected speech, but let's ignore that for now.)

Imagine I pay a news station to run a story about a hospital (for example) which I believe to have saved many lives and I expect will continue to do so. Arguably my advertisement is in the public interest, because it brings attention to a potential health benefit.

What then, hypothetically? Is "public interest" still a justification for the fine?
Rclone + its encryption + Google Drive business account is the best option I've seen so far. Unlimited for $10/month since they don't enforce limits on single user accounts yet.

Some alternatives I see here and the reason I don't use them:

SpiderOak: I've written extensively about this [0]. TL;DR: It's slow as hell and they're utterly unmotivated to fix it. It's slow enough that I consider it unusable. Fine for one off documents, nothing else.

Syncthing/Resilio/Nextcloud: I'd have to provide my own storage.

Dropbox/AWS/GCP/Azure/Tarsnap/Rsync.net: Too expensive.

[0]: https://news.ycombinator.com/item?id=13306353
Seems sane, didn't forget the shop.
xrb_1rmjmow56xhnsk5yojpjafqty7kpzbxx7sct4wsue65ckqmq997c5dse6oup

Thanks.
Sure, but at that point you've just reimplemented python in macros ;)

The other thing to note is that

sorted([(k.weight, k.name) for k in somelist], reverse=True)

is essentially already typechecked:

def biggest_ks(ks: K):
return sorted([(k.weight, k.name) for k in ks], reverse=True)

The above code now has all the same type guarantees as your c++, actually maybe more since the macros you use are going to be...uhhh, mysterious.
Absolutely not. Python is not the technological superior choice for the majority of the applications.
If you think so then your experience in different domains and application types must be very limited.

The preconcept that dynamic languages are more productive is just an illusion because you can easily take shortcuts that will hamper your progress in the future.
A proper typed language with HM type inference has the ability to mostly avoid writing the types with the guarantee that the compiler will catch most of the pitfalls.
And if you don't do any logic error pretty much every time your code just works.
Saying that in a million line application Python is a better choice than F# or Haskell it's frankly ridiculous in my opinion.
My comment is gonna sound harsh but I'm trying to understand what exactly the value is.

How do the OCR api in the marketplace holds up against Google Cloud, which is considered the best in the industry?

Do you see what I mean? All of the other things you've listed just wraps the core thing which is the actual algorithm. The serverless or having full VM doesn't cost much nor is it painful to setup imho. The language in the end does not matter since a developer could just make HTTP calls to the Google Cloud API. What good is having thousands of API when I just need a few that I know is the best in the industry?

I'm curious to know if there are real world use cases here. Perhaps for larger companies, what you offer might be important.

Thanks and I think that's the last of my questions!
Wow, you're clueless. I bet you'll believe every lie about Keynes and think yourself an expert despite never once picking up a copy of the General Theory.