skysight-inc/HackerNews huggingface dataset:
>“This is obviously a very time-consuming and burdensome project,” said Lisa Barnett Sween, one of Google’s attorneys, claiming that the company has already worked 2,300 hours at a cost of nearly $500,000 to partially comply with the government’s demands, which she argued were broad and unconstitutional. “Our courts must act to check this abuse of power.”

$500,000/2,300 = $217.39/hr
"The average driver" is unlikely to change their driving style very quickly, so the tests would be reasonably reproducible from year to year.
I believe that the deflationary nature of cryptocurrencies is the real problem in replacing money. Also the fact that a trail is left behind transactions is unlike it is with cash. This property is cool for the government, but the users may not want to have it.

On question that bugs me, but don't have enough knowledge bout Bitcoin: are the transactions public? (I believe they are). So anybody could map the wealth of the members of the bitcoin network? If it were used instead of cash my money movements could me monitored by anyone, eg. my employer?
This is a simple function of the number of tinkerers available.

Any ML project I've worked on has been a lot of tinkering - not unlike the sort of craftsmanship one associates with woodworking and blacksmithing.

Tinkerers gave us Google, Facebook and of course modern civilization.

Tinkerers need the Medici family equivalent. Silicon Valley has that in spades. The Chinese graduate students I met and knew brought this tinkerer's spirit and the American university atmosphere allowed them to unleash their potential (check out who features in the author lists of CMU, Stanford, MIT's papers at NIPS, ICML etc.).

That state of mind and not a top-down approach is what we need.

More Ben Franklins, Robert Hookes, and Issac Newtons; fewer 5-year planning commissions.
Benchmarking and Scaling WebSockets: Handling 60000 concurrent connections
How to Reset Root Password in CentOS 7
What values of the documentary when political instability occurs, your assets still is your assets? Blockchain can do that.
Chinese yes, China? Seems not even close from the first link you posted.
Google, Apple and Mozilla prefers ripple blockchain
Ask HN: What linux distro should I start with?
I just got myself a used Fujitsu Lifebook E8410 - the thing's around 6 years old, maybe older.
I'm aiming to use it to learn C and wanted to install a gnu/linux on it, but I don't know where to start. A gui would be nice though, maybe not even a DE, I might just put i3 on it.

I've used debian before, but I'm open for any lightweiht distro with support for older hardware.

I'd love to hear your recommendations and/or warnings.
> It allows you to write and run code that runs on my servers without me having to trust/audit your code.

So basically it's a hilariously slow and wasteful equivalent of Heroku. Amazing.
> Is your bank responsible for your peacekeeping and policing ? It is not.

So you are fine with the bank having your name/dob/gender. But don't want the government to have it?

In case you don't know, govt already knows these attributes about you. Birth certificates, passports, PAN for high value transactions. FUD.

> Accusations of lack of rationality are valid when you have the locus standii proven by base knowledge of subject matter. Your various assertions here and in other parts of the thread do not suggest that

Oh, I think I do! Along with overwhelming majority of a billion+ Indians who are very happy using Aadhaar, doing millions of transactions each day, and want the program further expanded.

> So how is this not a matter of rights and trust. Please demonstrate.

That is for you to demonstrate, since it's your argument. Not me! Hence I said devoid of rational arguments.
No small art is it to sleep: it is necessary for that purpose to keep awake all day.

Ten times a day must thou overcome thyself: that causeth wholesome weariness, and is poppy to the soul.

Ten times must thou reconcile again with thyself; for overcoming is bitterness, and badly sleep the unreconciled.

Ten truths must thou find during the day; otherwise wilt thou seek truth during the night, and thy soul will have been hungry.

Ten times must thou laugh during the day, and be cheerful; otherwise thy stomach, the father of affliction, will disturb thee in the night.

When night cometh, then take I good care not to summon sleep. It disliketh to be summoned—sleep, the lord of the virtues!

But I think of what I have done and thought during the day. Thus ruminating, patient as a cow, I ask myself: What were thy ten overcomings?

And what were the ten reconciliations, and the ten truths, and the ten laughters with which my heart enjoyed itself?
Thus pondering, and cradled by forty thoughts, it overtaketh me all at once—sleep, the unsummoned, the lord of the virtues.

http://4umi.com/nietzsche/zarathustra/2
Some developers don't have python in their toolbox/skill set. The alternatives in many cases are Electron or nothing (due to higher development costs etc). The right tool for the job is not always that which gives you the best product, but what gives you A product in the shortest time.
He's always been an avid reader. And he's read a lot of books that spoke about science and that's what inspired him to do what all he's doing today
I know what you mean - Luckily I usually feel this kind of energy and urge to do stuff in the morning while preferring to wind down in the evening (which, admittedly, may still involve screens).

Maybe you could try to shift your tasks to fit a similar schedule. Use the evenings for thinking, reflecting, planning and theoretic concepts, preferably with some music, while executing those thoughts and ideas in the morning.
The market cap doesn't take into account the cryptocurrency derivatives market.
Should be easy enough to add an alias to $HOME/.gitconfig right?

[alias]
hub = !hub
Lawyers, man, am I right?
If you trust the counterparties enough to trust that they'll hold to the hashrate limitations, you are implicitly trusting that they won't try to screw you and take 51% control, in which case they can do whatever they want. The two concepts are literally one and the same.

Validating transaction settlement according to an agreed-upon set of rules is perfectly fine. The whole hashing thing on top of it makes no sense whatsoever for trusted counterparties: you just agree that if the block doesn't validate then it doesn't happen and nobody accepts it. The attacking bank is now "hardforked" onto their own chain that nobody else cares about.

Again, for trusted parties the hashing thing is entirely useless. A distributed ledger is fine, but not groundbreaking in a world with off-site replication of databases. You can probably hack something together with triggers for validation in like a week.
For MS and BS students, IIRC, a lot of countries will subsidize the education of their citizens in the US to some degree.
Reading this on Monday morning already late for work and wondering when I can have a nap...
Introduction to Machine Learning for Quantitative Finance
Laparoscopic Hysterectomy
I can't believe George Will gets paid actual currency to trot out the old worn-out "look how good you poors have it today" argument. It completely misses the point.

The problem isn't that today's billionaires have more toys, houses, and concubines than the rest of us. The problem is that money is power--and they have so much of it that they can short-circuit the avenues of democratic self-government.

If your kids are in school, public or private, chances are Bill Gates has more input on how your kids are educated than you do. Or if an oil company wants to frack in your neighborhood, no matter how outstanding the town hall turnout may be, I'd put my money on the oil company eventually getting its way.
Common Lisp implementations generally do multithread really well and give you lovely syntactic abstraction capabilities while also running significantly faster than comparably high-level languages.
Dupe: https://news.ycombinator.com/item?id=14429904
"Asked about a hypothetical, Wagner explained that if a female employee starts at a lower salary than a male colleague in the same job at Google, she may continue to make less even if they both excel in their first year and score the same on evaluations."

I think this is pretty common in companies and not really related to gender.

I am saddened that the society will now likely expend lot of energy to chase this problem in the special case of different genders, while doing nothing at all for the more general problem. Is this even desirable? It's just one of the many games that people play on each other.

I personally think that everybody should get the same salary, period, because you can always make an argument that someone should be paid more. That seems to be the only way to make children (and I really mean people) to stop arguing.
Boarding Pass UI Concepts by Dribbble Designers
Google's stand that $100k is too expensive does not engender good-faith -- it's difficult to believe this is not an obstructionist strategy.
No it's not. Me too
There's a lot of "I" in that article.
Your statement indicates that you don't know what a pyramid scheme is, or that you do and you're expanding its definition to generalize its negative connotation to something else that doesn't fall under the proper definition of a pyramid scheme.

A company using credit card technology in combination with bitcoin and other cryptocurrencies is simply leveraging existing technology interfaces for companies that want to accept cryptocurrency without said companies having to deal with alternative payment systems. The payment system handles everything related to the cryptocurrency and the payee simply sees the USD (or other fiat currency) value in their accounts.
> This is a spectacularly bad advice, which "off-the-shelves" research libraries that you mention?

Harvard, Princeton, MIT, Stanford, Berkeley, U. Chicago, Johns Hopkins, Cal Tech, need I go on?

It's very good advice; sorry you don't understand it.

In short, the computer science people know how to write software, but for exploiting pure/applied math they don't know what software to write; that needs a mathematician, and the computer science profs rarely have enough background in math to do well with the subject.

The math is based on pure math and is heavily theorems and proofs, and about the only way to be good with that material is to be a BS, MS, and hopefully Ph.D. in pure/applied math.

The computer science AI/ML work has obtained some good results; just why the techniques work is too often still a mystery. But the emphasis on gigantic quantities of data make the work a niche and real applications rare.
> An example is not being able to prove the termination of executing arbitrary programs

The theorem states that you cannot prove a program's termination any faster than running it. You're not violating any theorems.

> So, Im wanting it peer reviewed.

But it has been peer reviewed. Here is the publication http://www.sciencedirect.com/science/article/pii/S0022000005... in this journal https://en.wikipedia.org/wiki/Journal_of_Computer_and_System...

> So, such methods should allow us to achieve the same amount of complexity going upward using same abstraction and shortcut techniques.

First, I think you're misinterpreting (and exaggerating) what has actually been achieved. Looking at Hyper-V[1], 30KLOC of (preexisting and tested) C code have been verified in a year (out of a total of just 100KLOC), but only function-by-function, rather than global correctness properties. They wrote some global invariants, but didn't verify them. As I understand, such similar verification of various layers has been done, but no global end-to-end work. Whether low-level or high-level, there has been no composition across abstraction layers.

Second, such methods would not allow us to go "upward", because there's a reason why people concentrate on the lower level. The state space is smaller there.

Finally, I think you're also misinterpreting DeepSpec's work. It is at the forefront of verification of a certain kind, but if you look at their papers, when they talk about end-to-end verification, they're discussing programs that are 3KLOC C. These programs are smaller than many JavaScript libraries. Also, Coq is not really a tool engineers can put to everyday use. This is what Simon Pyton-Jones, one of Haskell's designers, has to say about Coq and Isabelle: https://youtu.be/re96UgMk6GQ?t=50m56s

Formal methods are starting to work, but we are roughly in the same stage as aviation in WWI, while you are talking about "using the same methods" to get a manned craft to Mars. We may well get there, but it will take a while, and the methods will not be exactly the same.

[1]: http://d3s.mff.cuni.cz/research/seminar/download/2010-02-23-... and https://link.springer.com/chapter/10.1007/978-3-642-05089-3_...
I think the lottery system might change soon enough. I also think there are problems with tying an education degree with employment. There are many universities that charge a huge amount for foreign students for an education here knowing there is a chance of employment. People paying literally $200k so they can get the practical training and a chance at a H1B sponsorship. There was a local for-profit university that did this while not properly teaching their students. Once this was found out the students lost their money and opportunity at a job.
Current vanity metrics seem to include "market capitalization" and amount raised during ICO. It is true that those have become signal in the current noise but it speaks about how frothy things are.

Crytocurrencies simply are hard to value because you don't know how many users they've got.
For what it's worth, I spent a year in Chiropractic School.

It's all a scam. And the Osteopaths--they just couldn't get into the better medical schools. There's only been a few verifified subluxations in the history of medicine, and they were cause by blunt force trama.

I'll never forget this one teacher. Oh she loved being called Doctor. The last thing I recall her saying is, "We have over 15 upper cervical techniques, and they--all--work--equally well!" I just cringed. That was it. I knew it was all Placebo.

I went to my grandmothers for Christmas Eve dinner. I got home. I looked in the mirror, and had a huge panic attack. I remember thinking, I just can't be a phoney. I had some other personal issues, but the hypocracy of Chiro school was the tipping point. I never quite recovered either. I had the panic attack. Went to bed, thinking I will be better in the morning. I slept eight hours. Walked out of my room, and boom--the world seemed slightly different, and I was a crying, nervous wreck. I was an absolute mess for years. Still kinda am? I went from an A student, working 30 hours a week to a guy who was afraid of most things.

I really thought I could be a hypocrite, and be a happy Chiropractor. I just didn't have it in me though. I got a letter from the dean congratulating me on my grades my last semester. I returned the letter, with a note stating I'm dropping out.

Crazy? Am I crazy? Or, do we live in a unethical crazy world! I don't know anymore?
Arch would be a nice choice for your description - the base install comes with a minimal selection of software, so you can easily add what you want without there being any bloat. However it doesn't come with a graphical installer. A derived distro like Antegos with a graphical installer might be a good choice otherwise.

But, as always, this sort of thing is highly subjective, and there is no 'best solution'. My recommendation would be to try out a few different ones and see which one you like. Even a distro generally labelled on the heavyweight side will run perfectly on old hardware, especially if you install their 'minimal' or 'server' option (and add the software you want on top).

Remember, that apart from the package management system and some underlying system choices, most distros are fairly similar to use on the surface (unless you plan on using it as a server - then you'll find large differences between ubuntu based and redhat/fedora based distros).

Having said that, if you install a desktop distro like ubuntu it can be difficult to switch DE's since the configuration is integrated so much.
This seems like a witch hunt. Perhaps the data does confirm a statistical pay gap, but the reasons are open to interpretation; and it's simply difficult to defend against the rallying cry of "omg discrimination", so they resist giving it up.
The difference between junkfood and healthy food is the "calorie density". A big mac is 500kcal, but you are still hungry after eating one.
I would say that apart from historical records, most of the printed information was misleading before the advent of the printing press
It depends on how big the derivatives market for cryptocurrencies is; i.e. how much is leveraged in bets related to cryptocurrencies.
Some highlights:

Q: "Do you hate static types"
GB: "No"
MF: "No"

GB: "Types are useful for:
1. Doc for human
2. Doc for machine
3. Making things faster
…
4. Correctness"

This was experience from the Strongtalk project, which implemented a fast, typed Smalltalk. Strongtalk was purchased by Sun and the tech. was the basis for Java's Hotspot. They actually expected the correctness factor to be much higher, but in practice the static type system only helped to find one or two minor bugs in largely unused code-paths in the libraries. I also find it interesting that "making things faster" is on the list, because the mantra from that part of the discipline has always been that static types do not help for performance, because the JIT will fix it all.

MF: “Research on Types and Soundness smothers research on programming languages”

Clarifying, says something along the lines that you have to figure out more powerful/better language mechanisms first, then later start thinking about how to type them properly.
As far as this 'support your neighbors' culture goes: it's an interesting thing to me because at a national level the politically correct response becomes the opposite (support free trade), and it also turns into a very inflammatory and controversial issue--likely because of nationalism. Even more interesting, it appears liberals and conservatives switch sides when going from local to national framework, i.e. liberals tend to support local, but not support protectionism, while conservatives appear the opposite.
In this tutorial, they use EDN, which is a subset of Clojure data instead.
You're not taking into account the dairy, meat, sugar, and corn lobbies. They are at least partially responsible for the diet and lifestyle of the lower-consciousness population.
(51210241024)/28000 = 19kb per websocket, which is not good at all. There are tons of websocket servers that outscale this by a factor of 8x or more.
The 90s? That can't be the dark ages already :)
How about listening the radio, podcast, music? I wonder what the effects of audio are on sleep.
TBH you can use Chinese unionpay cards to pay things online on Chinese websites just fine, but they are not supported abroad and even if you have debit Visa card it won't work on international websites making it pretty much useless, so for international websites you have to use credit card (pretty much impossible to get for foreigner)

actually online banking ain't that bad, I was doing domestic, forex and international transfers just fine, the login part and verification is the most annoying plus support for modern browsers. i would recommend to use BoC which has own RSA keygen on keychain and requires to install only certificate, CMB worked with SMS verification is you used mobile website but for normal banking you had to install their proprietary app. you rarely have to go to bank if you know what you are doing
Two Different Approaches to Saving Bees
The math, enough to make it mathematical, complete with theorems and proofs. Examples are in mathematical and applied statistics, optimization, applied probability, stochastic processes, control theory, and more.

There is a lot in just statistical hypothesis test -- Kolmogorov-Smirnov with a really cute stochastic process foundation. Then there is a small ocean of non-parametric tests.

Or, suppose we want a statistical hypothesis test that is both multi-dimensional and distribution-free and with Ulam's 'tightness' is not trivial. Well, we'd like the most powerful test -- how to do that? There's essentially nothing in current AI/ML that is new and would work for such statistics.

For a 50,000 foot view, pure and applied math are huge, old, deep fields also awash in applications. What's in AL/ML so far now is tiny in comparison.
3 seems controversial. Vigorous exercise before bed seems OK based on what I've been seeing:

https://www.ncbi.nlm.nih.gov/pubmed/20673290

https://www.usatoday.com/story/news/nation/2013/03/04/sleep-...
That's kinda a neat idea. I makes me thing of that old dot-com era project where they had a ton of people submit photos over the course of one day; although I can't seem to remember what it was called.
"The Linux Command Line" by William Shotts is a good read also, and is freely available from the author via his website http://linuxcommand.org/tlcl.php
Dart could have been such a great language if it was statically typed but Bracha's obsession with dynamic types ruined that effort.
If only because there aren't many Ph.D.s in statistics with good pure/applied math backgrounds. Likely the biggest supply is for bio-statistics.
Maybe for some other phenomena, but for antenna radiation it's not that complex, it just looks cool.
Czeslaw Milosz's Battle for Truth
Oh nice. I always get that 'You have mail' due to failed outbox/not configured.
I know the article is about science and solutions but the title reminded me more of creative writing and at least in my experience it requires far MORE creativity to be acccurate than not. It's easy to cut corners and just decide things happened because I wrote them that way. It takes far more creativity to actually write and make logical sense. Constraints seem to lead to more creativity. So, adding the constraint of "being accurate" would seem to also lead to more creativite solutions.
i would think it's both, horrible security situation on desktop machines plus old attitude to build websites usually not supported in modern browsers (mostly IE only), but in general Chinese websites are extremely heavy on browser, not optimized with very dense layout

don't get me started on official monopoly railways website ​for selling tickets, straight outta 90s

though TBH Amazon website is also straight from 90s and it's hard to find even in China major shipping site which would look more dated
There's so many ways it is being used, and many of it are seen as useful by consumers, I think. For example, better autocorrect/prediction of the next word you're going to type, smarter text selection, ...
Someone working without a US social security number is working illegally. Someone failing to pay income taxes is committing a crime. Filing taxes under an incorrect social security number is also a crime.

Unless the "undocumented" are actually not doing anything, they are most likely committing many other crimes including tax fraud, identity theft, tax evasion.

"Undocumented" is a euphemism. Illegal alien is the correct legal term. And let's stop using "immigrant" to refer to illegal aliens. That is an insult to the thousands of legal immigrants.

Undocumented immigrant is like calling a drug dealer an unlicensed pharmacist. Let's not legitimize illegal immigration by wrapping it into benign terminology.
find-my-way: A crazy fast HTTP router
Do things that won't scale!
Free Geometric UI Icons with a Fresh and Futuristic Twist (100 Icons, 6 Formats)