skysight-inc/HackerNews huggingface dataset:
My point was we can make wealth non-self-sustaining by applying progressive taxation to long-term gains, combined with modest inflation. We probably do need to increase the top income bracket from where it is now for that to work though.
Don’t conflate “elementary” in the GP post with “simple.” Elementary in this context just means that the proof does not use tools from complex analysis (i.e. it only uses theorems from real analysis, which is basically freshman calculus on steroids). The elementary proof of the prime number theorem is not easy by any means.
Haldane's Rule of the Right Size (2017)
For what it's worth, quantum computers might give a provably correct source of 2 (random numbers).

The version I saw (requires 2 quantum devices): http://www.henryyuen.net/fall2018/scribe2.pdf

New paper that claims to do it with only one quantum device: https://arxiv.org/pdf/1804.00640.pdf
Confidence is immensely useful
Facebook Says It Is More Aggressively Enforcing Content Rules
> On the other hand these organizations are immensely wealthy and successful.

Have you read "Searching for Stupidity"?

Basically the NASDAQ of 1990 has almost no relation to that of 2000 not because of competence but of stupidity. Big lumbering behemoths shoot themselves in the foot and fall over.
TIL one year’s worth of raspberry calories is a starting salary for a coder in the Midwest.
Jeffrey’s journey: An addict’s trail from street to cell
PiDP-11 [video]
They designed 20,000 specialized vector graphic icons. Do you think it's quick and/or cheap to do that?
“Be a traveler, not a tourist”. Such wise words. Gonna slowly sip this in for the rest of the day.
>Please don't buy into the idea that government, by its nature, is dysfunctional--please look at other countries around the world to see that it is possible to have a non-corrupt, beneficent government entity that improves life for its citizens.

No, it's not possible, in the US. Outside the US, yes, as you've pointed out, but it's just not possible here; there's too many internal problems to make it possible. It's like saying it's possible to have a non-corrupt, beneficient government in Afghanistan; no, it really isn't, not for many generations. The social problems there prevent it.
You might want to read a little history of the presidents for real examples of dictator-like behavior, from Democrats and Republicans.
Yeah, same for me. Since about 2.2.
And I remember patching init.d scripts on Debian, adding sleep 5 In the network script, because you know our service had to have eth0 up and configured.
So it's not like the old init system was perfect either :)

Or when I was building VM appliance with dB inside, and I was reading the news about systemd and how it would allow cpu and ram limits per service and thinking how if I had it it would save me from weeks worth of work (yes IBM DB2 is total crap when you run it in VM).
and so on.

When I look back of all the stupid things I had to take care of and in systemd are just a config away, I can't help but wonder why people dislike it so much.
The art world has a history of subverting what people think art is. If this viewpoint becomes common, I think we can expect to see entire high-end exhibits of only AI-generated art at some point in the future (if this hasn't already happened).
interesting, is this a sub-field of physics ? high temperature physics or something ?
From my observation, these companies become wealthy and successful first, then develop awful cultures as innovation becomes less important (and more difficult as you get away from your core business), and extracting maximum value from current capabilities (sales) becomes more important. Once you get to making billions of dollars, your organization can afford to be a lot less efficient and less innovative technologically.
You'd probably want fine sand - not coarse.

But I think even the finest sand you could buy at a big-box home improvement store might be too coarse, and/or have impurities in it.

So you'd be left with getting certain purified "sands", that would be closer to being called "cutting agents for water jet cutters" than anything else.

With the associated ($$$) pricing.

But maybe there's something cheaper out there? Maybe there's some kind of finer mortar grit additive that isn't too expensive that would work?
You're saying a 1 degree increase over a hundred years is not significant? That's an unprecedented rate of change.[1] And again, most of the effect from the greenhouse gasses released over the past 50 years hasn't been seen yet, because it affects the rate of change of temperature, not the instantaneous temperature. Unfortunately by the time the effect is impossible for you to ignore, it will be too late to prevent massive damage. Also unfortunately, that damage will impact all of us, not just those who don't believe climate change is an issue.

Anyway, this will probably be my last comment in the thread, since I'm getting the impression you're not really open to this information, but hopefully you'll prove me wrong.

[1] https://www.theatlantic.com/technology/archive/2013/03/were-...
Propensity to test anxiety might easily be culturally determined. It's certainly closer to a cultural factor than it is to an innate trait.
Seconded... it's early days but it's nice to finally see a good successor to ScreenHero, which was never fully integrated into slack as well as it worked before aquisition, and with this change it's sort of like it's dead now. They don't have multiple cursor support yet for instance, but they do have a nice system that avoids some of the problems with accidentally both sharing simultaneous control of the same cursor so that you have to click to take over the cursor. Similarly, switching seamlessely back and forth who's sharing and/or which screen you're sharing has been really nice.
I haven’t found any games that exploit this yet. Traditionally it has been very difficult to make games that feature truly large entities that behave actively and not in very broad and uninterested patterns due to things like camera constraints and what not. Shadow of Colossus and it’s siblings come to mind as close examples of this almost working. But VR could make it great.
I think he watched anime.
> > zeroth arg
> There is nothing intuitive about that for me.

It looks a lot like how a command-line program has the program name as the zeroth argument. The address just happens to be the name of the program in a blockchain context.

> exposing the blockchain interface as a module feels like it would be a significantly cleaner implementation

I'm not so sure. I think that the goal here is to allow developers to program "DApps" using their normal toolchain and abstract over the semantics of the blockchain platform. IMHO even the ideas of "block" and "chain" are implementation details in the same way as the journal of a traditional database is an implementation detail. Exposing these details as a library means that the program is tied to not only the blockchain, but a particular blockchain runtime.

> wrap that module as a library behind my own interface

That's always a good idea, but not incompatible with having a lower-level interface (in this case WASI and Rust/C++/AsmScript `std`).
I'm not sure you are attacking representative democracy, but instead are attacking the US two party system. I'm def not going to argue against you on that. Just wanted to say that in a representative democracy, one does have a say in policy. I do very much agree that the US tries to give us all as little of a say as possible, as the "adults" (read: billionaires) decide things for us
Boy, there's some fairly scathing pieces of commentary in this teardown (particularly coming from what could be expected to be a pro-Mac site).
FAA expects Boeing 737 MAX ungrounding as early as late June
Agreed... particularly ironic since the author says: "[...] we have no idea what nutrition costs. We needed a way to value food.", but then goes on to discuss nothing other than protein and calories.
The High-Frequency Trading Arms Race: Frequent Batch Auctions as a Solution [pdf]
You can probably slog through it with that level of knowledge, if you’v got a good grasp of summation notation.

Here’s one version of the proof: https://www.math.lsu.edu/~mahlburg/teaching/handouts/2014-72...

See also:

https://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute....

https://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute....

And, a related, very simple and elementary proof of Chebyschev’s theorem that there is always a prime number between n and 2n: https://en.wikipedia.org/wiki/Proof_of_Bertrand%27s_postulat...
The only "extraneous" comments related to the point-free style of Forth are the "stack diagrams" showing the inputs and outputs of a definition/function, when it's not obvious from the code (it very often is when you write one-line definitions).

This is no different from what people do with Doxygen. Nobody prevents anyone from using a Doxygen-like tool with Forth. Or even literate programming if that's your thing.

Inside definitions, if you have to insert a comment to remind yourself what the state of the stack is at that point, very often it means you have failed in some way. Some refactoring or rethinking is needed.
Health Care Needs Cyber Security for Digitalization
Putting an experimental systems interface in an immutable blockchain seems like a bad idea. Why not just use linux x86 or Emscripten asm.js or even JVM? That wouldn’t get you as many HN hype points I guess.
I don't think you're saying what you think you're saying.
Who owns BB10? Are they any more able to do business with Huawei than Google?
I always wanted to buy one of these for myself, because I always thought they looked so cute! Unfortunately, other concerns, needs prevented me from doing so.
would you want a body camera at your work? You wouldn't I'm sure. Don't blame them for looking for their interest. It's someone else's job to (politicians) to legislate the use of it.
Android with Linux works, so not sure why switch to iPhone....

A google search came up with:

https://www.libimobiledevice.org

https://wiki.gnome.org/Apps/Rhythmbox --> Music
Combining finances
With no personal knowledge here my guess is that's just marketing speak, and the real reason it was removed is... well... Slack is an enterprise product and a lot of enterprises don't want or need this, and the idea of a vector for remote control even being possible just blocks a lot of sales and complicates security audits in BigCo. I'm sure they offered a way to disable it but the feature was still in there so... just my guess though.
You have never been a victim of a crime have you?

I'm pretty sure if you were, and the crime was caught on camera, your position on facial-recognition software would change.
The overwhelming majority of people are probably ok with recording plates at the border. If it's confined to the border it's not really any different than the customs agent jotting down your license plate. It's also not really "tracking", it's just a record created at that single point. It's the whole network that makes it "tracking"

It's the record keeping everywhere else and tracking that that enables that's not ok.
> We argue that the high-frequency trading arms race is a symptom of a basic flaw in the design of modern financial exchanges: continuous-time trading. That is, under the continuous limit order book market design that is currently predominant, it is possible to buy or sell stocks or other exchange-traded financial instruments at any instant during the trading day. We propose a simple alternative: discrete-time trading. More precisely, we propose a market design in which the trading day is divided into extremely frequent but discrete time intervals; to fix ideas, say, 100 milliseconds. All trade requests received during the same interval are treated as having arrived at the same (discrete) time. Then, at the end of each interval, all outstanding orders are processed in batch, using a uniform-price auction, as opposed to the serial processing that occurs in the continuous market. We call this market design frequent batch auctions.
Jack Monroe's Cooking on a bootstrap was written when she was claiming benefits in the UK and subjected to the sanctions regime. Some weeks she had very little money to feed herself and her child.

Because she was poor herself she does a good job of not requiring too much equipment - there's a fair amount of one pot stuff, or microwave only food. And she creates plans so that you use all the food you buy at the start of the week. Some books are cheap per meal, but you need to buy a huge quantity of something that you don't use again.

https://cookingonabootstrap.com/

Sadly, she's not a cook or chef and some of the recipes in the original book just don't work, so go careful. The reviews on Amazon can be useful.
I live in a dense part of Chicago and have a community like the one in the story. That's been true across housing types, from high rise, to mid rise to townhouse.

It's not the suburbs that make community. It's engaging with your community and its institutions. In this story, the mail carrier. But you can engage with all manner of other institutions and start to be more apart of where you live.
Once you have a timer, it takes 10 minutes. It is scalable too. No need to watch it cook.

And you can prepare it ahead of time then reheat...
Those needing anti-psychotics are a small subset of the population I mentioned.
> I hear so many bizarre technological “solutions” to what are ultimately policy issues.

Tech is empowering, much moreso than playing politics.

Consider something like the Kafkaesque nightmare that is applying for (and keeping) food stamps. It doesn't need to be complicated (nor should it be!), but you can either try to convince elected officials to make the poor a priority and fix the process or roll up your sleeves and write a script to complete the forms in triplicate, generate mailing labels with delivery confirmation, remind users of deadlines and pull phone records to prove the social worker never called like they said they did in the denial letter.

Or you could petition, harass, bribe and cajole your way into enacting change, and have it all overturned with a change in administration.

In some part these technical solutions exist to fix people problems. Look at the internet itself-- where problems exist (a country's politicians/dictator makes the nation unroutable), you don't wait for a coup, you route around it.

But also in some part these solutions are just modern rent-seeking, so...
I like to remind myself how many firms are financial engineering firms first and customer facing firms second. Banks, insurers, (at one time) Porsche, Tesla (imho for this one).
>In particular the man on the $20 bill was killed by vice president of the man on the nickel. That was in 1804.

What the heck are you talking about? Andrew Jackson died in 1845 of old age. Jackson killed some guy in 1806 in a duel, and apparently had a hot temper and challenged others to duels, but he himself died at the old age of 78.

Edit: you're thinking of the Hamilton-Burr duel, where Alexander Hamilton (who's on the $10 bill, not 20) was killed in 1804 by Aaron Burr, VP for Jefferson.
Well go ahead and dox yourself right here for us.
Final Countdown to 1.0
Rice, lentils, beans, all are much less nutrient dense than most animal foods.

It's important to account for the fact that plant foods often come with antinutrients (lectins, phytates, oxalates) which block absorption of vitamins. Most plant sources also supply only incomplete amino acid profiles.

Also, plant foods often have their vitamins amounts listed in the form of precursors and not the bio-available kind that your body can utilize without a conversion process. So, iron in spinach? It's not heme-iron, so it's not so great when you consider the above along with a high oxalate payload. Vitamin A in carrots? It in carotinoids such as beta-carotine rather than retinol which is the format your body uses. Your body prefers bioavailable forms of vitamins and nutrients, rather than spending energy converting to usable formats.

This is why animal foods are so hard to beat for nutrient density. E.g., herbivore animals graze on plants, converting the nutrients into animal-appropriate formats and fuller-spectrum proteins.
I'm guessing the "low to moderate population densities" part?
I've been following the development of the Bender-Brody-Muller approach to the Riemann hypothesis because I knew one of the authors in a previous life. I don't think it's taken that seriously by number theorists [0][1]. The paper was written by physicists, who sometimes play a little fast and loose with mathematical rigour.

Maybe this line of argument fixes the flaws in the original BBM paper in some way - I'm not qualified to comment - but I sort of doubt it.

[0] https://arxiv.org/abs/1704.02644
[1] https://math.stackexchange.com/questions/2211278/riemann-hyp...
This may be an unpopular opinion here but on the flip side have you been to China lately?

Street crime (including petty thievery) has dropped immensely.

Any city in China is much safer than Oakland.
Nice! Are there any open source or cheaper alternatives to these? At $39 a month, this is more expensive than Microsoft Office! For students, that is almost impossible to cough up for intermittent usage.
Chopped mushrooms readily make vitamin d in sunshine. And they’re a whole food. B12 though is just washed out of the modern food supply.
oh wow. that's pretty meta.
Under the Hat [Fiction]
So this basically brings Firefox on par with Chromium, which was already using dav1d?
I think the reason why this is significant is not so much that the proprietary files were leaked, rather the amount and breadth of personal information exposed along with the insinuation that this company's network (who maintains large amounts of personal data of unwitting participants) is not secure.

I bet a little digging and we will discover that this network was hopelessly undefended and their software is horribly riddled with holes and poor security practices.

It was obviously done to impact the company as an entity rather than to target individuals or the government. It's quite obvious, to me, that the attackers wanted to dump a large liability in someones lap and perhaps for good reason. If this company can't secure the data it collects about innocent civilians then it shouldn't be allowed to collect it.
Perth doesn't count as a major city? (% of that 30% live within its metro area. This isn't to say the 7-city grid is a bad idea, but your statement is inaccurate.
As others have said, React is absolutely littered across tech positions right now.. Moreover, full stack development is huge right now - become familiar with RESTful API's, both creating them and interfacing with them in some popular language (python, nodejs, plain javascript, golang, etc).
> Ever met someone on anti-psychotics?

Yes, I meet very many people who take a variety of anti-psychotic meds.

> They go through the rest of their life barely able to grasp new concepts with a drug specifically designed to mute that part of their brain,

This describes a few of them, but not most of them.
The definitive guide to running EC2 spot instances as Kubernetes worker nodes
Facebook is only doing this because of the upcoming potential re-election of Trump. Left-leaning extremists can spew their hate with impunity.

Louis Farrakhan was banned in the latest crop of content crackdowns, yet his live speeches continue to be broadcast all over the place..and they don't get taken down.

Right-leaning activists that interviewed Gavin Mcinnnes (who was banned awhile back)..and get get censored/banned for guilt by association. The problem is that the content rules aren't enforced without bias..which has most definitely turned into censorship.
I was recently at a purported “VRCade” and was expecting to have the same sort of experience you’re describing. Instead I got to play some of the dumbest games with the most terrible graphics I’ve ever experienced.

If that had been my only experience with VR I’d think it was stupid. Having owned a VR headset before I know better, but others might be really turned off by that.
If I had to guess, it'll be $200-300 for the base station and $40-50/m for 100mbps.
I accept that national defense is not a profit center, neither are highways. But they are good for everybody so it's ok that the taxpayer pays for them. The same may be true for TARP but I don't like to hear that TARP made profit because it didn't. Since 2008 we had huge deficits, banks got a backstop for free, the fed had to take on a lot of assets it normally should't have to, interest rates are very low. These all have a price.

TARP was not a benign thing but instead we should make sure this never happens again.
Why Philosophy Gets No Respect in Society
This one really gets to me...

>Being slightly sick has killed my mood and mindset. I can still work for 10 hours a day, but it doesn't feel good to live. Scary to think of what something like cancer could do to Productivity.
Material Icons Library
This is a flawed viewpoint. The idea that any single company can stand up to a nation state is absurd. The level of resources that Russia or China brings to bear for a single hack is far beyond what any company or even groups of companies could defend against.

This is the unfortunate weakness of the Western style democracies in the face of totalitarian states. We have a much more obvious divide between private and public entities. In China and Russia, the lines are blurred and often they get much better support from the government to defend and hack the opposition. Even to the point where China will hack US companies and just give the IP to Chinese companies.
> Yeah but to what degree are they absorbed and used versus just peed out?

Considering multivitamins cost basically nothing, you don't have to care about paying for the stuff you end up peeing out.
Nope. It's just software decoders from FFmpeg project that are heavily optimized. Also Firefox disables VP9 on slower machines, so websites serve H.264 instead.
It would not be surprising if Huawei attempts several strategies in parallel and buys several small mobile OS and mobile UI technology companies at once.

Buying both Sailfish and Qt would be peanuts for Huawei.
I guess best would be if every can of soda had a picture of the amount of sugar in it. That may illustrate things nicely and understandably. Most people don't really connect numbers and measurements to reality.
Any hope of being unblocked?
>The answer is plain and simple - Huawei managed to lead the 5G development and growing faster than anyone else

Or you know, they were stealing trade secrets.
Current state of Vulkan port is that the correctness is on par with GL, minus a few driver bugs. We still need to re-architect WebRender a bit in order to get the performance advantage over GL.
> Don't blame them for looking for their interest.

Blame everybody for only looking out for their own interest, from scammers to corrupt politicians to short-sighted investors to oil execs. Otherwise it's just status-quo infinite whack-a-mole and we see how well that's going.
You will need to learn some complex analysis which is very beautiful. Ash has a very good chapter on the Prime Number Theorem as a reward for learning complex variables: https://faculty.math.illinois.edu/~r-ash/CV.html
You don't need to learn the whole book just some knowledge of contour integral and analytic continuation is sufficient to understand the proof. So you could just start with the last chapter and fill the gaps as you go. (If you go linearly through the book you will encounter things like the normal family not required for your stated goal. Even though the normal family stuff are even more beautifully amazing IMHO the presentation here may be too abstract to grok and could discourage one to soldier on.)