skysight-inc/HackerNews huggingface dataset:
> I haven't got up to proving things about floating point numbers in Coq. But my guess would be probably not.

It would work with Coq's real number type but as the same properties wouldn't always hold with hardware float types, you may have trouble running the program if you extracted it to e.g. Haskell (as your example shows)?

The QuickCheck tests would pass if you allowed a small difference between them to account for floating point inaccuracies I imagine.
As a newspaper developer, let me tell you, a horrible flaming death isn't good enough for it.
Perhaps a C++ rewrite would be faster, but it depends on how many of the dependencies you revise to be optimal for this particular task and how much more clever you are than the NumPy authors and a jit-compiler.
Idk if it is industrial strong, but there is lanes and probably few more listed at lua-users. Do you have any experience to share on these?

The choice of 5.3 is pretty strange, as Lua is known to split in two at 5.2, because LuaJIT was fixed to 5.1 variant with compat backports and is to my opinion an "industrial" Lua standard. 5.x are actually three different (but not absolutely superior to each other) languages with shared 5-like foundation and app-level code compatibility, so speaking about Lua in general is pointless in a sense.

http://lualanes.github.io/lanes/

http://lua-users.org/wiki/MultiTasking
I wanted to make the point that very few formulas fail on really special inputs in practice.
AWS aurora audit logs to cloudwatch
How many times have you seen a company push their best to the brink, or just outright fire them for little to no reason? I've seen it quite a few times. So unions aren't the only ones doing what you accuse them of doing. So why call them out for it if you're not going to call the companies out for doing the same thing?
> split on regions

I think you really meant s3 objects are redundant in each region, which actually is spanned across multiple DCs.
That's exactly what we're going for. Ideally, we'll also expose PromQL query functionality in Influx so Prometheus users can hit their historical data in Influx directly just like they would with Prometheus. Still early days on all this work, but I was very inspired coming away from PromCon last month.
The UK had a VAT before nearly anyone else in Europe..

It's vastly more likely that you'll have to deal with VAT on all European products in addition to the current products rather than getting rid of the VAT altogether.
AFAIK the US also has significant tariffs on certain kinds of imported vehicles, namely pickup trucks.
I've recently written a couple thousand lines of PowerShell.

It's a miserable language, full of unexpected behaviors and badly designed features. Oh, it's got some interesting stuff going on, but things like:

- including the text of 'echo' (and stdout generated by invoked tools) in a function's result was a big surprise. You wind up piping stuff to "Out-Null" a lot in defense of this, since a lot of Windows tools are stupidly chatty ("The Blffgh command succeeded with status 0!") and that's awkward.

- so was the "unwrapping" that happens when a function returns a list (return [a,b] you get the list you want, try to return [a] and it rips off the list and just returns the inner 'a', and I think an empty list results in null . . . just wow).

The sole reason I use PowerShell is because it's good for mucking with OS-level objects in Windows, stuff that I would otherwise have to write native code to frob. And sometimes that is actually kind of attractive.
Yeah, they are usually are similar. The thing is, for many underwriters, if you ate even 1 point below their range on even one report, you will be rejected. Usually there are things most consumers can do to boost their score by a few points, though, reasonably quickly.
I really hope advertisers are unrelenting in their attack on Apple over this, at least until Streisand hears about it. How dare Apple give users the tools to staunch the flow of their data?

We all know that newspapers could never have existed without all that tracking of which ads readers saw. And broadcast TV was a universal failure in reaching consumers with advertising. The idea of advertising without tracking is just unprecedented.

The advertisers arrogance and tone deafness here is just unfathomable.

From the outside, it appears tracking benefits aggregators more than these ad agencies. Without tracking, it makes a good agency even more important as they keep track of which sites generally have which audiences and target ads based on those trends instead of relying solely on doubleclick's data. Google and FB have a lot to lose here, not advertisers nor ad agencies, imo.

I think the end of pervasive tracking would not kill internet advertising, it would just make value-add middlemen more valuable. I know I'm ignoring re-targeting, but gawd the reason I didn't buy your widget while I was on your site is not because I forgot to put in my CC info. Re-targeting is not something humanity should be proud of (even though it's hard to run certain internet businesses and be competitive without it as long your competition is using it).

It almost feels like a luxury that when you examine an item at Best Buy and decide against purchasing that a store clerk doesn't jump in front of your car asking you to reconsider as you're trying to pull out of the parking lot. Or follow you home...
Unfortunately afaik Always Online does not work in the event of S3 errors because S3 is available, merely answering with HTTP error codes.
You can upgrade yourself via `brew`. But you probably already know that. Just in case.
Really slick website! One feature I've wanted is to be able to put the price I got my crypto for and see the relative gain or loss from that rather than the previous day or week.
This response doesn't really even matter because the rich wouldn't be taxed enough to actually pay for it. And if they were it would hinder economic growth. You also realize the top 50% of income earners in the US pay 100% of the taxes. You also realize the top 10% earners pay 37% of the income taxes. So at what point is enough enough?

The entire premise of UBI is counter productive as it is. We can act like the differ but we all know that people will simply drop out of the work force when they don't have to work.

Wouldn't this be a solution to any third world country is to simply supply a UBI to its citizens? Why wouldn't Venezuela do this if it was so great?

Such a big risk to attempt that ignores economics 101.
Especially since there is no way I'm buying this as a hobbyist. I'd like to have it, but I don't need it and can't afford it - so I either pirate it or won't use it.

If I got access, by pirating, or having a free / subsidized / university version, I might be able to develop my skills such that I can use this professionally, and would certainly be able to buy a license (and ongoing support).

But like this, the only way I could "get into" IDA Pro is by using it at a company where the bought a license.

Also, the developers should really release a new demo/evaluation version, supporting 64 bit.
There are inland checkpoints, even on the Canadian border that search people who've been in the country for a while: http://www.washingtonexaminer.com/border-patrol-checkpoint-i....

They can even nab American citizens for drug possession:

"One of the people arrested was a U.S. citizen who fled the checkpoint and led the police on a five-mile chase. The unnamed man was arrested and charged with three felonies, including reckless driving, possessing a controlled substance, and endangering the welfare of a minor."
Their Polari bible translation has "unto the homie" == "to the man", so Polari for "man" is "homie"! I think the modern slang homie comes from "homeboy", so that'd be convergent etymology?
We're getting off-topic here, but see http://www.vfxplatform.com/

RHEL/Centos is probably the most common distro used.
No, I meant treat it like casinos are. A tax on revenue that specifically goes to pay for addiction.
Because physics is full of magic! Sadly I don't have enough physics background to google this phenomenon in a way that provides good results results, so I can't find other sources, but the way I understand it is there is a small band of radiative frequency that the atmosphere (at least on a non cloudy day) is almost completely incapable of absorbing, and so the energy is essentially easy to radiate into space. If I had to guess, it's probably related to the chemical makeup of our atmosphere, and a different gas and particulate makeup would create a different frequency band.

Mirrors don't work in the way you're suggesting because they don't provide enough of a shift in frequency in the energy they rebound (though they would act as an effective shade). For active cooling strategies, what you want is a material that can take the infrared frequencies from a heatpump, and shift them to the specific frequencies that make it hard for the atmostphere to absorb (similar to the use of phosphors in lighting for the visible spectrum).

Edit: I clearly didn't read this particular article closely enough, and the process they're measuring is actually a passive cooling system, which shows the material, or at least it's shade to be cooler than ambient temps. You could still use this material in conjunction with simple radiators to get better performance from a heat pump though.
Great, if you guys bring Clustering back to the open source version i would be thrilled.
Thanks for replying.

I'm not sure I agree with that, but I'll meet you halfway with those errors rarely matter in practice. (There are only 2^33 people, so getting 2^96 events (or significant portion) is well, impractical. So failure on a single, random one is unlikely to matter.)
Thanks for adding this, it should help quite a bit with our kubernetes deployment
Now that I'm a PowerShell expert, the idea of dropping down to a *nix shell that only knows how to pass text around is appalling. Like, "the 1970's called, they want their shell back" kind-of appalling. And so what if it's a few extra characters to script stuff in it? I can make aliases for whatever I want, there's tab-completion for everything, everything is self-discoverable, there's Get-Help and Get-Command (alias gcm) to find everything that's available to me, and, by the way, it's all just a language projection on top of .NET... it's all great.

It's like any other language... until you bite the bullet and really learn it, you don't know. And the idea that Windows isn't built for scripting is from the 1990's. For the last 15 years, there's (almost) nothing that Microsoft ships that can't be automated/scripted/controlled from a command-line.
I'm currently on a ship sailing through the Bering Sea and down through the north Pacific towards Hokkaido over the next week or so. I am not sure if we should be more worried about typhoon Talim or North Korea :)
Mastodon[1] is European :)

[1]: https://joinmastodon.org
Higher-level scripting languages. Fast for programmer's time, slow for run times.
I'm running out of things that the progressives want the government to pay for without any logic and mathematics behind it:

1.) College
2.) Healthcare
3.) Abortion
4.) UBI

Why not just throw the entire enchilada out there and just have them pay for everything? If giving people money allows for economic growth, then wouldn't it make sense to just give everyone unlimited amount of money. Why stop at X when you can go for Y.
Continuous Release with CircleCI and Houston
Japan is not really collateral. North Korea hates Japan apart from the US. In fact it's really the US that's collateral.
> This isn't a competition (you'd lose)

This is particularly bad discourse imo.
Why can’t the ad companies just use localStorage instead? Is that blocked too. I’m guessing this fucks up the Javascript paywall I’ve been building.
Some people sleep with their eyes open.
GET requests are a bad example because usually GET(x) will always return the same thing, unless x was updated in some fashion

Let's work with the classic TODO app example. Say the user adds a TODO item, and makes a POST request to the server to store it. If the user POSTs their TODO, but due to your front-end being overly-eager to hear back from the server, it sends the request twice because the first one took too long to respond.

This should not create two identical TODO items, but instead only create one. This is the concept of idempotence; performing the same operation n (n > 0) times should be the same as performing it once.

It's slightly notationally inaccurate to say f(f(x)) is what the client is performing in this case, it's more like f(x) * f(x), but these details surely are unimportant.
Apple wrote their own SSL/TLS stack a while ago; they haven't used OpenSSL for quite a while: https://developer.apple.com/security/
We use S3-proxy internally and are pretty happy with it.
An interesting argument I hadn't considered. I wonder, though, how genuinely impactful bean quality is for the end product. It's well understood that it's impactful to some degree, but do premium roasters need the top 10%, or is, say, the better half of arabica produced sufficient to yield effectively the same brewed product?

Said another way, is the slope of quality distribution that severe?
100G is not quite state-of-the-art anymore, but it is what is being deployed. This chip supports 10G ports, and can do 400Gbps through it, but does not support 100Gbps front-panel ports from what I can see.

There are field trials and pre-prod switch/route chips and optical/DWDM gear that support 400G Ethernet using 56Gbps SerDes. This chip uses older 12.5Gbps SerDes, current-gen 100Gbps stuff uses 28Gbps SerDes.
Ahh right, tcsh! Thanks for reminding me. I think being so lost at the tcsh prompt is what first prompted me to start learning other shells and ended up with Zsh for a long awhile.

Also, I had no idea the fish dev worked at Apple. I have no hopes of them going with that as a default, but I could certainly see them shipping it as part of the os...
Just use C, and retain your sanity. C++ is full of awkward heavyweight hard to understand abstractions like this.
Does this happen before or after we pay the 20 trillion in debt we are?
> The rules allow programs that use manual memory management to…

And still there's outrage that programs with allocators custom-written for binary-trees are rejected :-)
I guess "reactionary populist" is squarely in the eye of the beholder, because I would consider any candidate proposing such drastic redistribution of wealth to be a reactionary populist also.
Actually a pretty fair point. The doctor whose disciplinarian parents forced him into it and is miserable is practically a stereotype.
Facebook could just ask its users "Do you agree to be tracked, even without your consent?" and they 'd still say yes. If it mattered, people would have switched to one of the open source alternatives. This fine serves more as governmental virtue signaling than anything else.
I wonder why no other language has added them? Could there be a reason ...
Interesting. I'd (naïvely) guess Polari homie would come from the French homme, so it would be convergent (as opposed to some shared etymological root).
>golang. You get a modern language

Go is far from a modern language, being more like a mutant, crippled subset of Algol-68, which, as the name says, dates from 1968...
Frankly I think the influence of this stuff can be overstated. Plenty of examples of people with middling parents who turned out fine or people with great, involved parents who really went off the rails.
Given the context...I think his response was apt
Funny he complains so much about incorrect rounding without doing any research: that's called bankers' rounding.

http://wiki.c2.com/?BankersRounding
What I would like to see is for them to ditch all the GNU/GPL stuff and go with BSD for userland. Shipping old stuff is unacceptable and it's not like we can't install it if we want it.
Well, that explains that!

I really should’ve known that already :)
"The reality is these are contractors who will get dropped as soon as it makes sense."

This is exactly the kind of abuse Unions seek to end. Workers cannot simply be fired.

The collective bargaining contract signed between the tech companies and Unions defines grounds for termination.
I worked on a port of a filemaker database once. During this port but well before the end there was a power outage in the office and the discovered that the filemaker server had entered some sort of silent failure mode where it appeared to be working on the outside but wasn't writing anything to disk. It operated like this for months...
The only problem is now half the comments won't make any sense.
Domain names – .io or .com with get in front?
Hello I am working on my companies name, unfortunately the .com has been taken. So I was wondering do you think its better to get the .io version or a modified version of the .com such as "getXXXXX.com or "downloadXXXXX.com" Thanks I appreciate your thoughts!
That's a good point—even a few hundred random test cases are usually enough to cover "normal" code. I use QuickCheck for that at work, and it's enough to both find bugs I wouldn't see otherwise and to make me confident in my code when it doesn't find any bugs. (As a bonus, it also tries to "reduce" failing cases, which can really help with debugging.)

It's worth tuning your random input generator to produce inputs that commonly cause problems like -0.

I can still think of a few situations where exhaustiveness might be worth the effort:

- verifying code passed in from the outside (security considerations?)

- verifying code generated automatically (ie as part of program synthesis)

- verifying very general code you expect to be used in hard-to-predict contexts (ie library routines or compiler optimizations)
"The problem is that, once an industry unionizes, you don't really have a choice."

That's entirely false, and intellectually dishonest.
huh... I am feeling uninformed. Could you enlighten me why this is the case?
I think the organization disclosed above fits into that exception so long as there is sufficient separation between the tech company and the law firm. Structuring the law firm as a customer of the tech company probably qualifies.

That said, I wouldn’t want to be putting my law license on the line for uncharted territory. Ethics enforcement can be really arbitrary.
Oh wow... No union even required.

When a workplace gets "upgraded" to open plan, if two or more workers refuse to come in out of protest, they cannot be fired. Sounds like a great way to work from home for as long as open plan lasts. (IANAL)

Remember this, HNers!

https://www.nlrb.gov/rights-we-protect/protected-concerted-a...

The law we enforce gives employees the right to act together to try to improve their pay and working conditions, with or without a union.

Is the activity concerted?

Generally, this requires two or more employees acting together to improve wages or working conditions, but the action of a single employee may be considered concerted if he or she involves co-workers before acting, or acts on behalf of others.

Does it seek to benefit other employees?

Will the improvements sought – whether in pay, hours, safety, workload, or other terms of employment – benefit more than just the employee taking action? Or is the action more along the lines of a personal gripe, which is not protected?
There's a further distinction between male-sexed individuals who enjoy crossdressing and those who identify as female and dress accordingly. Only the latter group is trans (and is so independent of what they wear)

Apologies to any nuance of language I've missed here, as I'm sure this could be nitpicked to death.
This New Startup Aims to Make Out-Of-Touch Startup Bros Obsolete
"he was arrested in 2004 for skateboarding in a prohibited area"

He was 35 years old and still getting into teenager trouble.

Emotional development is so critical, and often "success" does not really include anything other than vague hand-waving toward "happiness," which far too many people equate with financial and/or professional success. What about qualities like perseverance, steadiness, calmness, empathy, warmth, flexibility, or kindness (just to name a few)? These are things that can be taught and encouraged.
Have to balance the needs of funding the business so we can continue the OSS work we do. It's something we frequently consider. If we can figure out a way to do it while still maintaining a healthy business, we'll be doing it. Basically, it's an open problem. I talked about it earlier this year:

https://www.influxdata.com/blog/the-open-source-database-bus...
That is one thing unions specifically address..."work rules". What can, and cannot, be automated.

It does require the union to have the upper hand in the first place in order to get a company management to sign a union contract with restrictions like that.

However, for this particular story, it makes no sense, because the union only has leverage with their employer, not with the big name companies that have chosen their employer as the provider of the service. The big name companies would just switch to a new provider if they didn't like what was happening.
The thing about third party cookies that I really love is getting "targeted" ads, that make all banners all of a sudden have the appearance of saying something about you or what you have been doing, even when they don't.

Like the present you just secretly bought already for your wife being plastered all over your screen every site you visit. Or even better: "Ukrainian women want to meet you!". Yep yep. Must've searched for that, right? Didn't ya?
You can click on the blue arrows here to download tarballs https://opensource.apple.com/release/macos-10126.html
Virginia Law Review: Crowdfunding and the Not-So-Safe SAFE
> It features an atypically high allocation rate compared to real-world programs.

Do you have any supporting evidence for this? Real-world programs can be pretty allocation heavy, and if anything high allocation rates would "unfairly" benefit GC languages since native programs are banned from using arena allocators.

> As a synthetic micro benchmark that only ever allocates objects of one size, it makes pool allocators look disproportionately good. But in real-world applications with varying object size, overuse of pool allocators is a serious risk for fragmentation.

Huh? It's so incredibly common in the real-world for a structure to be of a single type that pretty much every language makes that first-class supported via templates.

And since they are single-size there's no risk of fragmentation at all. Indeed object pools are typically how you avoid fragmentation, they are not things that cause it. So I'm not sure what you're trying to get at with that comment.

> The rules allow programs that use manual memory management to use pretty much any pool allocator library that they can get their hand on, but forbid garbage-collected languages from adjusting their GC parameters (last I checked, you could easily improve the performance of OCaml and Dart for that benchmark by a factor of 2-3 simply by adjusting GC settings, especially the size of the nursery).

Last I checked if I write a Dart library I can't adjust the GC settings in my library to make my library run better, either, but if I ship a C++ library I can absolutely use a pool allocator to make my library run better (and indeed this is exactly what real libraries do)

So I'd call this a good rule, and allowing tweaking of GC parameters would be more about trying to over-tune the runtime to the benchmark rather than the benchmark illustrating what is feasible to achieve in the language as a library or as part of a larger system.
Personally, this is why I would prefer that UNIX vendors/distributions not include advanced languages like Python, Perl, Lua, and Ruby. It seems like it ends up causing more issues than it solves.