skysight-inc/HackerNews huggingface dataset:
In typical use, primality testing for cryptography is probabilistic. Note that the testing one wants to do in an adversarial condition (where someone else, possibly nefarious, is giving you input) would be far more stringent than typical crypto prime generation where you supply the inputs. The chance of randomly chosen composite of the size we use for crypto passing even a single Miller-Rabin test is extraordinarily low. Use multiple random bases and ideally add a strong Lucas test, and one can be reasonably certain the result is prime. Not certain enough for mathematicians, but enough that you've exceeded the security of other areas in your method.

There are reasonably primality proving methods, such as ECPP and APR-CL, that can give results in quite reasonable times. As in under 30 seconds using a single core of a home computer for a 2048-bit prime. There's no need to invoke supercomputers and days of time. BPSW (a good probable prime test) takes under 10 milliseconds for this size input.

Related to the original article, all these times are ridiculously fast compared to the time it would typically take to factor 600 digit composites using current state of the art methods.

AKS is often mentioned on internet forums. It's not actually used -- it's horribly slow. Estimated time of about 17 years for those inputs that take less than 30 seconds with the other exactly as good methods. Unless you're writing a paper that needs a theoretical asymptotic complexity result for primality, or doing number theory research and reading the actual paper for the math, there is almost no reason to invoke AKS.

So ... why don't people use the proofs?

(1) in a practical sense there is basically no value. BPSW is extremely fast (M-R base 2 plus strong Lucas) and there are no known counterexamples after 38 years of use. It's what is used by Pari/GP, Mathematica, etc. You can add a few more M-R tests to reduce the chance even further (as FIPS 186-4 recommends for crypto use).

(2) crypto *programs* are almost all written by programmers, not mathematicians. Most of them have never heard of anything beyond Miller-Rabin.

(3) Coding Miller-Rabin is quite simple. It's 10-25 lines of code, and written in hundreds of books. It's fairly easy to write correctly, and easy for others to double check. Coding APR-CL or ECPP is quite difficult. Open source implementations for both are over 1000 lines, and verifying that they actually work is difficult. ECPP can give a primality certificate that can be verified so that is helpful, but there are still many more areas to screw something up. A working and solid probable primality test is *more* certain than a badly coded primality proof implementation.
That is related, but the university I was referring to is Duke :).
I write bots for various purposes all the time. For the exact reasons you mention, I rarely bother even looking at APIs anymore and go straight to mimicking HTTP headers from a web browser for the functions I need.
His page needs a trigger warning for Imposter Syndrome.
> Something has to give — either Apple’s organizational structure needs a change or Apple needs to abandon certain things completely instead of releasing sub-standard products that aren’t expected from it.

Or you know, apple users can start acting like concious beings with agency, and start buying better products. It's not like there is a lack of choice out there. If you absolutely hate M$ Windows, dell has a laptop that ships with Ubuntu now. Vote with your wallets.
If you haven’t seen the difference in quality and design from older versions of OpenSSL to more recent versions, it’s a quite impressive transformation.

I definitely learned a lot of new techniques for writing quality modern C from the recent versions of OpenSSL.

Congrats on the award.
I've heard about solar sails for decades. Why have we never created one? Is there something limiting its development besides money?
The roles played by preferences for athletes and children of alumni [pdf]
Taxing what you don't want makes sense if the market cannot solve a problem. It's more flexible than an outright ban, as it's easier to make trade offs. Cap and trade can also work.
Why do this with markdown? Github supports other [1] markup languages, many of which were designed to be edited programmatically. The format produced by such tools are not designed to be read by humans [2]. Perhaps other tools support commonmark/GFM, but not the computer editable variants listed [here][1]? But that leads to the second question: why have such tools converged so heavily on markdown?

Don't get me wrong, I love markdown, but only because it allows the author to define the formatting of their source in the way they want. Standardizing markdown is completely against to the point. If you want a standardized markup language, why not start from something well defined, that is designed to allow extension, and in fact already includes more features than markdown?

[1]: https://github.com/github/markup#markups

[2]: Markdown is harder to make ugly than html, but the OP doesn't wrap long lines, and doesn't format tables properly. They also do inline links. I've seen readme.mds in the past that numbered every entry in a list with a 1., because they know that markdown treats it all the same when rendered.
What's the point of the graphics in git-time-machine? The bubble plot seems less useful to me than a readable log. If it were useful there would probably be an equivalent findable from https://www.emacswiki.org/emacs/Magit
I once met an ex-apple engineer who created a hat that would read your thoughts and play the song you were thinking about. It only worked for certain people and had a limited playlist to choose from but it was really cool watching your "brainwaves" on a screen and then thinking "Daft Punk Get Lucky" and having it play on the speakers.
1. LastPass / 1Password

2. AdBlocker Extension

3. Modify your /etc/hosts to block a lot of malicious sites.

4. Signup for https://haveibeenpwned.com/

5. VPNs on all wifis not your own.

6. 2-factor wherever you can. But also a place where you can print out your backup 2-factor keys, since losing your phone happens.

7. Have a email for newsletters/spam/signup, another that you use for friends.

8. Use credit cards that can generate on-demand numbers. IE. Both Bank of America and Citi let you generate one time use credit card numbers with set limits.

9. Signup (one time) with your credit cards to warn you for sudden changes in your credit score (ie. to prevent someone opening a loan in your name).

There's probably a lot more that I forgot I do ... it's amazing how little people do here.
Some aspects of the signals are individual-dependent, some are consistent across individuals (for some definition of individual-dependent and consistent). I know that's vague, but it's accurate.
Is this the Private Suite at LAX?
Just taxing what you don't want is simpler than trying to evaluate and track all of the behaviors that might reduce it.
English is certainly imprecise, but I would claim that if I commit some act X, and you have no less property than if I had not committed act X, then whatever else we can say about act X, I fell confident that it is not stealing.
Is it like whoever signed up got 6000 coins? When I checked my email I found out also I have signed up for stellar and tried to recover the account using recovery password. Now I am not seeing any private/public key for the old account and the balance also shows me as zero. Not sure what happened.
I know, which is why I said they have a common history and core. react and react-dom are both part of the same github project at https://github.com/facebook/react. Frequently when people are talking about React, they only mean the HTML version, not including React Native. For example, the Nerv project mentioned in this post.

While React Native makes use of the react core package, it is a separate github project http://facebook.github.io/react-native/
There's a loss now. I bet Oracle's legal team was not cheap.
Life on the Mississippi is one of my favorites. It's rather discursive and lacks a strong story arc, but the descriptions of working on the river in the years before the Civil War are a window into a fascinating, lost world.
Don’t Let Trolls Get Away with Asserting Stupid Software Patents
EEGs (at least non surgical ones) provide only the highest level information about what's going on inside of brains. It's a bit like looking at a city as you're flying 10,000 feet above it. You can figure out when it's rush hour, but you're not going to be able to tell what the most popular restaurant is.

The most sophisticated EEG systems actually train your brain to use the EEG, no the other way around.
What does the language have to do with anything?
Ah, thanks - you're half right :) The plan for Filecoin was initially (in 2014) to be based on Bitcoin, but since then this changed to its own Proof-of-Replication and Proof-of-Spacetime, reusing parts of Ethereum.

IPFS itself has never had any cryptocurrency integration, although there are external services that store your data on their IPFS nodes in exchange for Bitcoin.

(source: https://filecoin.io/blog/update-2017-q4/ and I'm on the IPFS team)
I agree. Tacking requires "levering" against a fulcrum (the the centerboard on a water yacht and the skates on an ice yacht. Imaging trying to tack on a frictionless surface - you'd simply get swept away from the wind.
I presented the thinking and summary of this at PyCon AU. Here is a recording of the talk --
https://youtu.be/I326bpbdvJo - (tonybaloney)
One could almost be certain there would be some underhanded quid pro quo with this situation.
Remember people. We need AJAX because it makes websites faster and more interactive. That's the basic concept behind all these frameworks.

Specifically, the old model:

request -[latency]> [server] -[latency]> response

Needs to be replaced by:

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

request -[latency]> [server] -[latency]> response

Why ? Because it's faster ! Damn you !
>A statement was sent along with a screenshot of 14 reviews Yelp claims came from the same IP address belonging to Sinnott’s Yelp account.

Probably because they were all on the cafe's wifi network when they reviewed the place.
as a web developer my perception is dreamweaver and frontpage are now no longer relevant. is this actually true or am I just biased because of my job?
Guaranteed vaporware. If these guys had even a fraction of a clue they would have gone with a 6 rotor design.
Supreme Court Won’t Hear Key Surveillance Case
Do you accept REMOTE jobs?
Neat! Do you have a rough idea how much they cost per kg?
Very cool man. I could definitely see myself using this. Is there a mode to set new notes to tiling mode rather than down a list? Something similar to https://i3wm.org/
API key != TOS
Ozone is not a relic, it's constantly generated in the stratosphere through exposure of O2 to UV light. If the rate of ozone depletion goes down that means it gives more of a chance for natural ozone (re)generation to catch up. Which has indeed been the case.

Additionally, the "ozone hole" is not a permanent phenomenon, it's a temporary event that occurs in the local spring and dissipates after several weeks (again because the race between ozone creation and depletion ends up being won by creation).

See, for example, ozone concentrations over Antarctica in September: https://ozonewatch.gsfc.nasa.gov/monthly/climatology_09_SH.h...

Versus December: https://ozonewatch.gsfc.nasa.gov/monthly/climatology_12_SH.h...
Very interesting.

Are any of these consistent aspects associated with the type of action or thought?
I just found this note that suggests the AMD PSP (ME equivalent) can be disabled, officially, and not as a hack:

https://www.phoronix.com/scan.php?page=news_item&px=AMD-PSP-...

If so, AMD is looking relatively good compared to Intel these days. Can’t say I’d mind some more competition.
Something similar is this truck with a video screen of cars on the back: https://i.pinimg.com/originals/4b/b7/78/4bb778ec36038e6f88ae...

This is going to be a more and more serious problem. It's not just image recognition either, but also ML data sets. Algorithms can be poisoned.
"Redditors are crowdfunding their legal defense via GoFundMe."

Wait, what? Why would anyone wants to fund for your defense? It bears no significance to anyone who did not participate in "defaming" this psychiatrist.
That's just the front end, you're missing a few request/response cycles to microservices on the backend.
How to reduce your risk of breast cancer
Voice chatbots are a great way to convert your multi-tasking capable pc/phone into a single-tasking one.

The benefit for text chatbots is you can concurrently interact with multiple bots. So one can be talking to a customer over the phone and use multiple chatbots to find shipping, products, place reservations on stock, verify a credit card and so on.

IMO chatbots are still hugely valuable in Enterprise app space, but also any traditiona multi-tasking environment like customer support, telesales, and environments where is too complex to get a bot to handle everything .... sometimes is better just to let the human brain be (literally) the 'meat in the sandwich' to glue all the chatbot feeds together and create the outcome required. Production line planning is potential example - ask bots to tell you about current environment, stock levels, backlog, shift resources, cashflow, and then human decides which work gets done today. Most good planners i have met can do the planning vastly better, and quicker, than powerful systems with optimisation algorithms and Tb of data.
Show HN: A library to help await multiple tasks at once
It’s like XML for your mind!
Can you provide a short example?
I’d much rather type out a program than write it by hand with a pen and paper though.

“Thinking it” might be the next logical step.
I don't see "Bayesian factor" in there.
Performance certainly matters. I applaud the tireless effort from the Atom core team.

Personally I'm taking a pause off Atom (after 3 years professional usage) until it definitely improves.

Best wishes!
Poor is a Mindset
According to the paper, Meltdown can recover memory at about 500 kb/s
Each kWh produced by a gas turbine has a marginal cost of fuel. By charging when there is excess power available, it’s energy that would otherwise go wasted (if the generator was asked to curtail instead) or the generator would’ve had to pay someone to take the power of their hands.
Attack of the Week: Group Messaging in WhatsApp and Signal
Until we have AGI that replaces all developers, someone will have to do the work of converting business requirements into LOB apps.
Ask HN: Did you switch from React to Vue last year due to the licensing dilemma?
If you did, are you considering switching back to React? How is your experience with Vue? What does Vue do better than React? What does React do better than Vue?
There are plenty of scientific and engineering fluid dynamics codes that take advantage of GPUs. The current fastest supercomputer in the US, Titan at ORNL, uses GPUs. Here’s a CFD code that ran on it: https://www.olcf.ornl.gov/2014/06/13/ramgen-takes-turbomachi.... ORNL likes their OpenACC; here’s a GTC presentation on the code: http://on-demand.gputechconf.com/gtc/2014/presentations/S475...

LLNL and ORNL are right now rolling out two new gigantic GPU systems, Sierra and Summit: https://www.google.com/amp/s/www.nextplatform.com/2017/09/19.... There will be plenty more GPU CFD simulations of running on those systems.
This is mind blowing!
English is my native language, but I spent the first 10 years of my career in Japan.

I didn't really notice a difference with which language was being spoken.

My Japanese colleagues came up with a joke (?). They'd ask me something mundane (like: did you eat yet?), but since I was so zombie-like for several minutes, they would slap a post-it on me.

I felt bad about this, but I was managing a 2M line code base (C), and they 'only' had to manage 250k-or-so transistors.

I now believe (for me) that if you (one) is debugging a large code-base, taking a moment to relearn human is to be expected.

It's a self-serving belief, but I have found little evidence that it is wrong...
People need to really think about plumbing intent- the societal implications for this are grave.

“Fake news” (the original term, not the co-opted one) is an example of society affecting conveniences that we have no answer for.

Messing with intent is another such area.
That makes a lot of sense, but can't you model two null hypotheses using the same data in some clever way?
I bought my sister a surface laptop to use for school, and the very first thing she said was “How do I watch Netflix?”
I transact in BTC all the time. And while I haven't made millions of USD, it's a considerable sum. My friends have cashed out plenty of BTC into USD/EUR; well into the millions.
UI Design: Why is there a blog link at the top that isn't clickable?
A good observation that someone at Yelp! probably missed. Nice catch.

I personally hate this sort of anonymous group think thing where's there is no way to get a human to look into dumb processes and policies. YouTube seems to be in a similar place with copyright claims. No way to get a human to look into obvious failings of automated (or dumb manual) policy enforcement.
At first glance this sounded like the rebirth of the proposed restructuring of the commercial airline industry as covered in the book "Free Flight: Inventing the Future of Travel"[0], by James Fallows (2001). Back then the business model was to marry a fleet of very cheap passenger jets[1] with the huge number of little used airports dispersed around big cities. The book mentions two companies as leading the industry, Cirrus Design[2] and Eclipse Aviation[3]. The startup collapsed during the financial crisis. I remember reading an analysis of the difficulty of scheduling individual pickups to thousands of small airports, essentially a full blown traveling salesman problem that had to be updated in real time with each new reservation. The promise was to cut an hour or so off the total travel time by using small airports near the customer's home and destination.

[0] https://www.amazon.com/Free-Flight-Inventing-Future-Travel/d...

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

[2] https://en.wikipedia.org/wiki/Cirrus_Aircraft

[3] https://en.wikipedia.org/wiki/Eclipse_Aviation
Pac-Man creator Toru Iwatani shows his original concept art for the 1980 game
I don't think that it is inherent in the system.

Other countries manage to get this right. Taxes are the most obvious example.

Taxes in the USA are (by all accounts) an absolute pain to deal with. There's an entire industry built on helping the average American fill out their tax return.

In New Zealand, to file your tax return for >90% of people, you just log in online, tick the boxes to confirm the numbers they have are correct, and then click submit.
Because:

-Chinese reverse engineering and lax IP laws aren't actually that lax; Westerners just pretend it is.

-Bitmain isn't a US corporation, it is Chinese.

-The owner of Bitmain is Jihan Wu.
I don't understand why you would pay money to put up with this when it is incredibly easy to pirate. Given that it's available overseas on Netflix, a service I already pay for, pirating Star Trek is the moral equivalent of using a VPN to bypass region locking.
I've heard that docker does have a (inconsistent) CPU usage issue on OS X. I would definitely pin it on docker.
This happens. It has lead to most of my workplace disfunctions. It seems that even programmers can not grok that you can't even English right now.
A Builder’s 25 Fixes for the California Housing Crisis
Which trailer was that? It's been a long time since I read the books but I didn't get that from the ones I saw.

e: nvm, I just found this one: https://www.youtube.com/watch?v=b7J5mxaQ2xA
First time that I hear heads-up and variance free in one sentence.
Do you have any publicly available security review documents?
That’s a fair counterpoint. I don’t have TSA pre, but maybe that cuts enough time to make the value prop not worth it. Also, I’ve been meaning to get it, so maybe now I will.
After almost two decades, WPA3 is here to fix the WiFi security sins of the past
Boeing built a giant drone that can carry 500 pounds of cargo
where do they say anything about having jobs in canada?
Huawei releases a mesh Wi-Fi system it claims has ultrafast connection speeds
Implementing TLS Persistent Transport Support in Osquery
> Then they admitted the coins had value, but they said only criminals would use it. Then after many established legitimate businesses adopted it, then they said it is only usable by people with computer smarts but not for average folk.

And now many criminals and legitimate businesses are beginning to drop support for Bitcoin [1][2][3]. The crypto currency community is failing to reach pitifully low bars that were set years ago.

[1] https://steamcommunity.com/games/593110/announcements/detail...

[2]
https://btcmanager.com/end-bitcoin-debit-cards-visa-tells-ca...

[3] https://www.bleepingcomputer.com/news/cryptocurrency/microso...
Are you asserting that the salient moral property of theft isn't a party removing a thing from another party, but rather a party gaining a thing made by someone else?
How to enforce gender equality? Iceland tests the waters
Detecting Gravitational Waves by Watching Stars
> Whenever rents are less expensive than mortgages, then it's better to rent or buy. This case is true throughout much of the Bay Area right now.

Not so fast. It seems a little silly to say the equity in the home is worthless, even if the house depreciates somewhat (although for the time period described and even in the present the trend for most home owners is appreciation that is better than inflation). After all, you not only get the option to sell the home -- you also have the ability to seek HELOCs, reverse mortgages, etc. Those options are not available to renters.

Or, to put it another way, if renting's such a better deal, why does anyone become a landlord?
I think it's going to be pretty hard to find the relevant texts among Galeano's work.

Closest thing I could find with a tiny bit of information about Caracoles is the Wikipedia page translated with Google :/

https://translate.google.com/translate?sl=es&tl=en&js=y&prev...

But at least maybe you can find some pointers there in case you want to do a bit more research.

In any case, my Keybase profile is in my hn profile so you can get in touch with me if you want to.

Cheers!
Actually use this all the time! Haha simple yet effect. Some may say "just like the Unix philosophy'...
I work at CTRL-labs, a startup focused on electromyography (EMG) based control devices. This article has a bit more technical detail about what we do: https://www.wired.com/story/brain-machine-interface-isnt-sci...

EEG--reading signals from the brain--is pretty hard. But EMG--capturing muscle contractions in the arm--produces relatively much cleaner data. This can then be fed into a variety of machine learning algorithms to map high-fidelity time series data to discrete signals or continuous gestures for which we have appropriate training data.

Want to find more? Come visit our offices in NYC!
South Korea justice ministry prepares to ban cryptocurrency trading
Good code snippets
Regarding #3, I'd recommend https://github.com/StevenBlack/hosts/