skysight-inc/HackerNews huggingface dataset:
Ugh. In the title:

"Ancient" means 1941. "Simplify" means approximate. "Numbers like pi" means irrational numbers. "How to" means "how accurately you can".

Background to the actual conjecture: if you take any irrational number and ask how well you can approximate it by rationals p/q, then it turns out (the proof isn't trivial but e.g. plenty of undergraduate mathematicians would be able to follow it without too much trouble) you can always find infinitely many approximations where the error is no bigger than of order 1/q^2.

The actual conjecture: suppose you want it to be true that for _almost all_ irrational numbers, you can find infinitely many p/q with an approximation error no more than f(q). Then (so conjectured Duffin and Schaeffer, and so apparently Maynard and Koukoulopoulos have proved):

you can do it if and only if the sum (over all positive integers q) of f(q) phi(q) is infinite, where phi is the "Euler totient function": phi(q) = number of things <= q and coprime to q.

Very crudely, how fast does this allow f to decrease with q? Well, the sum of 1/q is infinite but "only just"[1], so we want f(q) phi(q) not to decrease much faster than 1/q. phi(q) varies fairly wildly but crudely is "not usually much smaller than q", so we want f(q) q not to decrease much faster than 1/q; that is, we want f(q) not to decrease much faster than 1/q^2. In other words, the "classical" result I started with is kinda-sorta about the best you can do. (I think that at this level of handwaviness this has been well known for a while; the Duffin-Schaeffer conjecture is about making it extra-precise.)

[1] The sum of 1/n is infinite but that of 1/n^(1+h) is finite if h>0. The sum of 1/(n log n) is infinite but that of 1/(n (log n)^(1+h)) is finite if h>0. The sum of 1/(n log n log log n) is infinite but that of 1/(n log n (log log n)^(1+h)) is finite if h>0. Etc. So in some sense the boundary between finite and infinite is very close to the (kinda-nonsensical) 1 / (n log n log log n log log log n ...).
Ask HN: Why can't you fully block a Facebook page?
If you block a profile on Facebook, it is like that person never existed. You may occasionally come across an old comment from them on a photo or something but for all intents and purposes, it's like they never existed.

However, when you block a page, you can still see that page everywhere. You see their comments on news articles and across Facebook. You can even visit the page, but you can't like or interact with it much.

I've noticed lately trolls are creating Facebook pages and commenting across the social network that way because you effectively can't silence them.

Is this intended on purpose or is it a technical limitation with their infrastructure and the big blue app?

Why can't you fully block a Facebook page?
An Open Letter to Developers
Exactly. This sounds great to me: they should have a separate (long) line for the Apple customers, so people like me with Dells can just cruise right through security.
Perhaps the hope is that corporations would behave more ethically if their owners were personally liable for them, for more then just their initial investment.

A liability shield is a fantastic invention for capital owners, because when things go pear shaped, they can leave the rest of us holding the buck.

Most of us aren't capital owners, in any meaningful sense, though.
To expand on this, if successful, this project would basically make it a lot easier to get firmware updates and write firmware for more devices. This, in conjunction with the Linux Vendor Firmware Project, could potentially make it extremely easy for vendors to support Linux and get firmware updates via Linux. Whether that's the projects actual goal or not, I am not sure, but that's what opportunity a project like this potentially avails us to.
I'm going to offer some insight, particularly because I feel you are suffering from something I suffered from.

1- I think you have muddled thinking. This results in muddled messaging. Look at what you write:
> I saw them and I don't understand how they live
> I know for an average person it's hard to understand the people with mental issues
> they are all just as normal as anyone in the earth, just little problems, everybody has problems

Do you see the contradictions in these? It feels dishonest (not saying it is, just how I feel)

Also, you are truly trying to capture everyone. That's not how it works. Facebook started as a college campus thing, with specific colleges.

You start out niche, then you go broad. Not the other way around.

My other suggestion: be personal. Why are you starting the site. How do YOU feel? What do YOU want? If you have a specific mental health issue, then focus on that. And find like minded people. Maybe mental health issues for the Russian diaspora?

Right now, you want: everyone who has any level of mental health issues (i.e. 25% of the population) and you want them for... chats (billion dollar industry), dating (billion dollar industry) and medical advice (billion dollar industry). Even facebook, google and amazon isn't that ambitious, and they have tens of billions of dollars in their war chest.

You need to be able to have a specific person in mind who is your idea brand ambassador, and have a service or something that they value enough to tell friends.
Mainly was interesting to consider if a candidate name was popular in the past and not now, or in steep decline or steep ascent.

Old fashioned names are fine but I didn't want to choose a name that had just been popular 10 years ago and curse child with a faintly aunty-ish name for rest of her life, and didn't want to choose a name that might be about to become hugely popular either. At the same time didn't want a "unique flower" kind of name. A name with 10-50 children being named that each year and not wildly ascending or descending was in the sweet spot.
Stupid filter keeping me in the dark.

Access Denied
You don't have permission to access "http://www.sec.gov/Archives/edgar/data/1533523/0001193125192... on this server.

Reference #18.6fae0017.1565800624.11173d06
Unfortunately the batteries degrade in other ways beyond mere capacity. I’m not an expert but a comment here says resistance also increases, so I would guess you end up with lower capacity and also slower charge/discharge rates, and lower efficiency.

I would hazard a guess that the battery becomes effectively useless before “capacity” actually reaches 50%.

I do wonder if this is a matter of going from 500 to 1000 cycles, or if it’s more exponential decay so we’re talking just 100 cycles between “no longer good enough for the EV” to “no longer good enough for the house/grid”.
Beautiful Examples of Anime UI
https://www.youtube.com/watch?v=-M30g3In8ao
Sorry for the missing line breaks in there, typed this on my phone. And for some reason my edits don't stick. :|
It's not being collected, at all. Sun hits dirt, wind blows by. Decades of externalizing oil and gas costs have made it seem like fossil fuels are cheaper than renewables, so renewables have not been deployed widely, even in a state like Texas where conditions are ideal (a lot of sun and a lot of wind, pretty much year 'round).
Can someone explain simply how they make money doing this?

Or how the institutional investors they mention make money?
All Danish “realkredit” morgages are done with bonds, so the “bank” is not loosing money, the buyer of the bond is.

For some loans, on some conditions, the morgage is actually negative, and lender is either paid a quartely price, or the debt is lowered accordingly. (This is for the morgage named F5, with a fixed 5year rate, and when the house has very low debt, then the fee charged, is also lower, as it is based on risk)
Why would anyone listen to Attorney General Barr regarding information security issues instead of actual experts?

> This is exactly the policy debate we should be having

Why is this debate needed? It's beating the same dead horse since this debate already happened in the past. It was made clear, that backdoors are not an option.
Facebook did the sneaky listening thing, too
We are we still trying to execute on this terrible idea?
I hate the startup talk too. After a few years you are no startup anymore. Maybe you are a successful or a struggling business but not a startup.

In my company managers think „startup” means to work a lot of overtime and weekends and changing project direction every month.
I was confused as well, Project Mu to me is a Japanese car tuner: http://www.project-mu.co.jp/en/
I like Go’s strategy. Consts have no type and are the only thing with implicit conversion. math.Pi is defined explicitly with a whole lot of digits and the type system can somehow do inline math on all those digits with full precision before downcasting the final result to an int, float32, float64, etc.
The bet was for returns AFTER fees, though. S&P was its return minus 0.05%/yr (or whatever it is for vanguard). The hedge funds was their returns (which did suck compared to the S&P500 IIRC) minus 2%/yr plus 20% of final profits.
I think her aims are loftier than taking survivalist "enthusiasts" down a peg or two. Businesses like this have existed before, they just don't make much money. The owner interviewed here claims he broke even, which isn't all that surprising since the market for a $1 million + bunker in South Dakota is going to be limited.
I think Chillers with ice storage could be used to handle this somewhat. They already are used for that purpose to buy power off peak prices and then distribute the cooling when its needed thus de-coupling the supply and demand somewhat. This is mostly just armchair speculation on my part however.
Do you look at the business license of every store you walk into? Probably not.

But you have a latent expectation that the store is known to local authorities, who will be able to investigate a crime if that business commits one.

The information in an EV is not for consumer inspection up front, it is a paper trail for investigations to follow after the fact. The optional provision of this paper trail is a signifier to the consumer that this business intends to operate responsibly. Just like going through the trouble of setting up a store front is more trustworthy than pulling a truck full of inventory up to the curb.

What browsers could do better is leverage the EV info for consumers. For example, show a "report a problem with this business" button that connects the consumer with the relevant authorities and/or Better Business Bureau in the locality where that company operates. The EV supplies the legal company name and its locality of origin.
Skype and Win10 is forced on us in large corps. Does this give MS the ability to now spy on people in these companies and gain information they would otherwise not have?

Another product to add to the blacklist.
I am in no way saying that you are wrong, I am having a totally different conversation about games.
How Do We Help Keep Private Groups Safe?
Building things deep underground is very expensive. These would have to be enormous vaults, so you’d have to go very deep. Caverns like that are hard to find and hard to map.
> As a result, the Bureau of Ordnance developed highly artificial testing procedures that were designed, in part, to safeguard their practice torpedoes so they could be used for multiple tests.

Reminds me of https://en.wikipedia.org/wiki/The_Pentagon_Wars
Theres a Pysch episode where the main character talks about why he has a motorcycle. So he doesn't have to give rides to people. Move furniture. Pick up kids. Etc. He was also a pretty lonely guy. But he said he'd sell it and get a car if the chick he was crushing on in the show, goes out with him.

Kind of proves your point. Bikes in general are awesome. But they're not entirely useful. Cool. But not practical for the masses. But you wont see builders, painters, electricians or plumbers give up their work vans to haul stuff on bikes. No matter how much they would want to. Or people with kids.
Initial commit in this source tree is from January: https://github.com/microsoft/calculator/commit/ac14e2df10de7...

The major code dump followed alongside the open source announcement:

https://github.com/microsoft/calculator/commit/c13b8a099eea1...

Given the huge size of the Windows repository it probably wasn't worth the effort to recreate the deeper history of the code (and I'd assume probably would have taken a lot of scrubbing/redaction clean up to make everyone, especially the corporate lawyers, happy).

They don't seem inclined to open source the Win32 UI, but it could potentially happen. Maybe when it hits some anniversary like WINFILE.EXE did: https://github.com/microsoft/winfile
Can't see the problem in principle - all kinds of storage (DBs, S3, Redis) seem mockable.
Not in my world; planet earth is a large place.

But in the country I live in, the USA, landlords are liable for many things their tenants do.

A friend of mine is a landlord and he almost lost a house he owns because his tenant was cooking meth in it. I don't remember the exact details, but the liability was no joke.

P.S. I don't agree with this liability issue, I'm simply describing reality as it is.
> the thought has always been that the president was using a high leverage negotiating strategy

Whose thought? The people who didn't know that trump was an incompetent nutjob?
I prefer Common Lisp's way, where fractions are first class citizens. Pity it is not supported directly in hardware.
I would have guessed that it's an attempt to make other US-friendly countries (Vietnam, Phillipines, India, etc) relatively more attractive as places to set up factories, to move that manufacturing base out of China and reduce their geopolitical influence.
we could have, but we didn't.
>If one already has an effective level of security say, by way of illustration, one that protects against 99 percent of foreseeable threats -- is it reasonable to incur massive further costs to move slightly closer to optimality and attain a 99.5 percent level of protection?

Except that's not the case. Encryption is mathematically proven to be 100% secure. Assuming the application was coded / implemented correctly, the only thing capable of unlocking encrypted secrets is the secret key.

AG Barr wants to move it from 100% secure to "99.5% secure". Not the other way around.
Don't use `text-gray` if you're building an app that needs to be themed like that. Instead use `text-secondary` or a similar name that you'd otherwise use in a themeable system. Tailwind lets you define _every_ single design token in the system and comes with zero opinions there.

If you want to change density of the design, you can change the spacings centrally in the configuration itself. But if you need a non-proportional change, then it isn't any different than BEM+SASS environment where you'd have to go into every CSS class and make the change. I think it is even better than BEM here because you only need to change classnames in HTML, which is co-located with the style, and it doesn't cause cascading changes due to specificity etc.

To me the opinions you hold seem to come from not having tried it in good faith, which was how I used to judge functional CSS as well. If the current CSS style you use serves you well, that's fine you don't have to explore. But if you've wondered whether there is something wrong with the way we do CSS today, then Tailwind could be an eye-opener.
Worse than what? Their alternative is owning nothing at all. And derivatives are just fine - they can be pegged to the dividend adjusted value of the asset.
See https://www.forbes.com/sites/jessecolombo/2018/08/24/u-s-hou... for a more elaborate treatise of the subject.
You'd need something along the lines of 60ish digits: https://www.wolframalpha.com/input/?i=diameter+of+the+observ...
You can't import(buy) more than you export(sell) forever and hope to still be rich
Yeah there's a lot of garbage vegan clothing out there. Good shoes typically set you back a few hundred unless you can get them on sale. Novacas is a great brand but you can only find them at resellers really Mooshoes has a pretty good selection but they are definitely going to be higher end shoes. Totally I find myself looking for the all man made materials on the label
How Many Decimals of Pi Do We Need?
I'm not opposed to nuclear, but that's not an option on the table, either. In Texas, fossil fuel is God, and nothing that would impede it will be tolerated, even when there are more cost effective and less environmentally destructive methods. Oil and gas holds so much sway over our politics that it's nearly impossible to make progress. Allowing the oil industry to externalize costs is so deeply ingrained in our politics it's hard to see a way out of it.
But it seems many of them do not deliver food if you just call them up, which is what I'm talking about. Not other platforms.
The linked article was for Monday, as was my friend's power bill. So you're right - I was off by a day when I posted on Tuesday "Today his power bill was $9." He was actually complaining to me about the day prior, Monday August 12th. In the interest of full disclosure when he texted me he said "$9 power bill" but his screen cap from Griddy which he sent later was only $8.07. I think he was a little cranky when he sent the first text. I can upload the screen cap if you want to see it?

Edit: BTW he just texted me: Tuesday's power bill was $14.65.
> And the whole platform is about conversation!

I always understood Twitter to be a personal text broadcasting service, i.e. single direction communication, not conversation.
Today you do. You overvalue everything by 99% and hope that one thing your invested in pops. Because all the social properties are ad-based, what you really hope for is that your thing will be the thing, at least until you cash out.

The ad dollars generally just flow to whatever is the biggest, whatever is believed to deliver the highest ROI. It doesn't even have to be good, just large and slightly better than everything else.

Tumblr didn't become Facebook or Twitter. But it could have. If something ever manages to deliver ads that are slightly better than FB or Twitter than those disappear as well.

The bar is simultaneously really low and really high. Low because all you have to do is create a platform that delivers ads with an ROI that is slightly better than nothing, at scale. High because that's actually really hard to do. In some cases "better than nothing" is actually too high a bar. A lot of businesses—maybe even the majority—would be better off spending $0 on FB. Google is the only one who can consistently provide a positive ROI, reliably, for most of their customers.

For a while it looked like Tumblr could have done it. They had the users, the growth, the content and probably more data on what people ACTUALLY liked than anyone else has ever had.
In all fairness, though, when you read on, the word “approximate” is seen more frequently, and the word “represent” less so.
Tomorrow, the team behind Electricity Map, has a Slack team available to the public. Also, anyone can contribute a parser to an electric grid not yet being scraped for tracking and display.
Some background: In Denmark, mortgages for housing are handled by special real-estate lenders (realkreditinstitutter) who issue bonds and handles defaults.

These bonds are considered to be very stable, about the same quality as state bonds, as the lenders will only lend up to 80% of the value of the house (an ordinary bank loan must be used for the remaining fraction) so can usually recover most of the money through a forced sale. Also there's a fee on top of the bond rate to absorb the losses as far as I understand. The fee depends on the security percentage, so if the lender only has a security in the top 60-80% part of the value of the house, the fee is much higher, see the tables here:

https://www.mybanker.dk/sammenlign/bolig/bidragssatser/

The Danish central bank has had negative interest rates for some time, and these real-estate bond rates have also been falling.

When taking out a mortgage, you can either opt for a fixed rate for up to 30 years, or variable-rate bonds where the interest is redetermined periodically, e.g. once a year. The variable-rate bonds have been negative for some years now. The news here is that the rates have been falling even more lately, and that you can now get the negative rate fixed for up to ten years.

In any case, it's the bond investors who are losing money, not the real-estate lenders who apply a fee on top, both as a rate and a fixed fee when applying for the loan.

The rates are so low that I think that if you're in the low-risk category, you might end up with a small negative total rate. Of course, the fixed fees when obtaining the loan may eat that.
There are two things China has been doing for years that the WTO hasn't put an end to. The stated goals of the trade war include stopping those, which I can - as anything but a fan of anything to do with Trump - actually agree need to stop. I'm far from certain the scale and breadth of tariffs involved are necessary to stop them, but I agree those two practices need to stop.

One of those is outright IP theft. One especially egregious form of that is by OEM manufacturers in China getting specs from foreign firms in the US and Europe then manufacturing knockoffs under their own brand name on the same lines as the ones they're making under contract. China has agreed to curtail this in their industries. Another form of outright IP theft is paying industrial spies to go to other countries and leak government and corporate documents back to China in an elaborate espionage system.

Another practice which China has already announced it is ending (and may have ended without the trade war eventually anyway) is forcing foreign companies to form foreign/domestic partnerships with Chinese companies in exchange for access to manufacture or sell goods in China. Often this involved cross-licensing agreements for IP, meaning companies like AMD had to license their patents and copyrights to Chinese companies or but shut out of the market.
https://www.jpl.nasa.gov/edu/news/2016/3/16/how-many-decimal...

Let's go to the largest size there is: the visible universe. The radius of the universe is about 46 billion light years. Now let me ask a different question: How many digits of pi would we need to calculate the circumference of a circle with a radius of 46 billion light years to an accuracy equal to the diameter of a hydrogen atom (the simplest atom)? The answer is that you would need 39 or 40 decimal places. If you think about how fantastically vast the universe is — truly far beyond what we can conceive, and certainly far, far, far beyond what you can see with your eyes even on the darkest, most beautiful, star-filled night — and think about how incredibly tiny a single atom is, you can see that we would not need to use many digits of pi to cover the entire range.
The techies who agree tend to frequent circles other than hacker news.
Slavery is America's original sin, to this day it permeates every aspect of this nation. Americans must continue to campaign to right the wrongs that began in 1619, I'm really grateful for this project and it's motive of reframing the origin of this country.
It's not so easy to distinguish the drunken master from the drunk. They walk the same.
They borrow the money on money markets from people who will lose even more, and you get some of the upside as well.
'The' Ohio State University Wants to Trademark the Word 'The'
What consequence would you expect? Inflation? The Fed would probably welcome inflation right now.

And, how does QE cause other players to lose their treasury holdings?
Yes, that was linked above. It looks like this is part of reducing support to what's in the spec?
Where does there exist a vacuum?

How does a particle or its environment measure the particle's traversal of a truly empty space?