skysight-inc/HackerNews huggingface dataset:
people want (in ecommerce sites, news sites, actual websites, etc): working back buttons, regular scrolling, open-in-new-tab that works, elements that don't move around, obvious and not-hidden navigation, and also tons of gimmicky/flashy crap.

people want (in desktop replacement spa's where they spend hours and hours): app-appropriate usages of keyboard nav; background tasks with status windows, working back buttons that don't stop the music stream; links that work like links & app-clickables that work like buttons; refresh buttons that refresh (via a page reload) their current full state, but working.
Modified keto where a higher amount of protein is permitted is much easier to stick to (i.e. 30% protein).. to stay within 0.5-1.5 mmol/L BHB
Static typing enables faster feedback loops. The kind of thing Bret Victor raves about.

In practice, I've been able to accomplish things with static typing that I hadn't the brainpower to do with dynamic typing, because even with a REPL, runtime errors came too late, and didn't meaningfully informed me of my mistakes.

As for why we switch to dynamic typing as we scale up, some of it probably has to do with trust. Computers communicating over the internet cannot trust each other, if they can even trust they are talking to one another to begin with. They have no choice but to perform lots of runtime checks to make sure they don't get pwned by the slightest remote mishap. Once you get to this point, static verifications become much less useful, and can often be skipped altogether.
> "This is a very important sorting algorithm, though it takes a long time to sort this data."

The author is clearly being tongue-in-cheek here and making a bit of a joke!
Because then every minority can vote whatever they want. A few of your neighbours can vote to kick your family out of your house. A few rival supporters can vote to kick your team out of your favourite league. Some students can vote to kick your kids out of college because they do not like them. If we let anyone to invent polls and votes that affect the majority of people then nonsense happens.
No, in fact I do want to read an interview with the Google Manifesto guy.

I totally understand why you want to filter those out from your life, and I also want to filter a lot of things out of my life too. But that's our problem, not the media's.

I think the job of journalism is to give you what needs to be heard instead of what you want to hear. Being unbiased is not easy so I think at least media needs to provide as many sides of the story as possible so that each value judgment cancels out and the consumer can make the right decision based on complete set of information.

The problem with the current mainstream media is that every one of them has become "Buzzfeed"ified, which means they try very hard to optimize content AND their interpretation to cater to their existing audience. This is why you see acceleration in polarization. And this is why you see so many people sharing articles talking shit about Hilary Clinton or Donald Trump. They just want to be reinforced with content AND value judgment of what they want to believe in.

This is human nature and we as consumers cannot easily change to act rationally because we have other better things to do in our lives than focusing every waking hour of our lives into useless political debate or whatever that's being marketed through the media. This is why I think this is journalism's job.

I no longer can trust any one side coverage of a single story so have started following multiple sources just so i can make a sane judgment on anything that's happening around me. You should try that too, it's amazing how almost always different parties write extremely different interpretation of the same objective static fact that doesn't need to be sensationalized.

Maybe many people may want to live in the matrix and just believe what they want to believe, but personally I do want to know exactly what I'm being fed and don't want to brainwashed with propaganda.

I realize this is something that's not easily possible within the traditional centralized organizational structure (because they have to make money) which is why I think the new decentralized trust-less technologies may be able to help.
Currently: lexer, and parser, and AST printer (bidirectional parser you could say), with a few lightweight ppx macros included for UI development.
Sorry to "well actually" you, but

1 to: 10 do:[ :i | <do something with i> ].

would be a single message `to:do:`, not a chain of messages.
The skeptic in me looks at the current climate situation and recoils in horror at the thought of cars without the 'snow firmware' trying to deal with unexpected snow in South Africa
After a few years of reading UBI (Universal Basic Income) debates I come to the conclusion that it is impossible to teach humans new tricks. The way you earn and spend money is deeply ingrained into our brains.

When the Neanderthal used the ATM he knew that it was his successful killing of a sabre tooth that lead to the money he had in his hands.

Maybe we should just skip this immediate step and go full on Star Trek/Venus Project.
I'm going to get smashed into the ground for saying this, but a lot of psychology research has found that East Asians have a higher average IQ than caucasians. That's known to be a strong predictor of success at math at school and surely has something to do with ML.
List of Top Monitor for Programmer
AppleScript may be the only read-only programming language in existence.
The term "free money" is a silly put down term designed to close a discussion before it even started. Nothing is free. Money comes from somewhere, and it goes somewhere.

Even if this money did not end up creating more jobs, or reducing health care costs and so on, it's still going somewhere and doing something.
You should look at GPU memory bandwidth for a proxy for performance when training DNNs.
The P100 is about 40% faster than a 1080Ti. The V100 is only about 75% faster than a 1080Ti.

Based on this, i expect these commodity GPU servers (with 10 1080Ti cards) that cost 1/10th of the DGX-1 will be huge:
https://www.servethehome.com/deeplearning11-10x-nvidia-gtx-1...
It's not named parameters though, it's compound message/method names. The arguments are interspersed within the "bits" of the method unlike e.g. Python which has named parameters separate from the method name.
> This tells more about the journalists than Facebook. Facebook has always been the same. It's journalists who sold their soul so that they can make money.

I'm not sure what your whole screed about journaists has to do with the decision at hand. It's just a fact that one of the largest online audiences is on Facebook and that newspapers & magazines have to be present on that platform to get views. They can't really get around posting to Fb, can they? If Fb suddenly cuts a major source of revenue for a whole industry without any discussion, if that is Fb's power, then this is really unhealthy for our market economy and our ideas of democracy
Great tutorial. I see active learning as a halfway house between supervised learning and reinforcement learning, because requesting labels is an action (as in RL), but of a very limited, predefined type.

A lot of problems which we initially model as supervised learning are in reality, in a live situation, more like active learning. Going the whole hog to RL may be unnecessary. But still, bandit-type models may be the right fully general setting.

These topics are very much in the air at the moment with a lot of new interest in bandit models and algorithms.
Crystal in Production: Diploid
Can you expand on what made you choose Elixir over Nim?
To change. To do different roles and things beyond acting looking that careers of Clint Eastwood, Al Pacino etc for inspiration noting that if Clint kept on repeating "Go ahead make my day" in every film his career would have been over pretty fast thereafter.

The plan is constant reinvention. The underlying irony is to western audiences, including those who love his work very dearly, he's type-cast and plays essentially the same character in every film. His new grittier film likened to Liam Neeson in Taken, may change that.
Show HN: Hack to add search to remarkjs slides
I get it now, I will practice that more. But won't you be breadthening the argument by saying the steel was weakened and not melted and then they will ask about how beads of steel were reportedly seen or recorded?
From the number of Toronto buyers of property who are foreign.
Actually, I think it is more important to be aware of the issues and handle them than to set strict size limits. For example, a few years ago I lead a redesign project for a mobile web shop and the designer told me he was not allowed to include icons as our CIO had set the limit of the page size to 100k (including all images).

By the end of the project the page size was about 200k, but when the sales were ~20% higher (multi million $ shop) nobody asked about the size limit anymore.

So yeah, page size/load time is important, but please keep reflecting what you are doing. The best load times are no good, if (as a result) the UX is poor.
Frameworks are simpler to implement and maintain, that does not make them better for users.
Presumably the delegating and recasting of votes that you recommend would involve the abolition of single-member districts. Why not implement proportional representation as a stepping stone to your system?

Proportional representation is already widely used. Evidence shows it increases turnout and improves government in a wide range of ways.
How about I just point out the huge flaw here:

Bank bailouts, in theory, are to be paid back, with interest. In a lot of cases they were. Not all, of course, but the economy turned. Net, bank bailouts were a good investment. QE may turn out to be as well (I may doubt that, but truth it the jury's still out)

If that same deal can be made, believably, for basic income, we wouldn't be having this argument: we'd provide basic income, today, as a loan. Hell, I'd fight to add my own money to provide that basic income.

Since you pretty much don't like me anymore at this point, why not just go ahead and fully state the problem:

What we cannot have in the economy, is a large, and potentially exponentially growing, group of expenses without any useful work.

And when I mean "we cannot" I don't mean that I'm denying this to you. I don't mean states don't want it. I don't mean I don't want to give everyone that. I mean we cannot. Any such policy must fail in a limited amount of time.

I mean you cannot have basic income for any length of time in the same sense that you cannot paint the sky green. Disappointing perhaps, but simply a parameter of existence, nothing more.

You shouldn't blame economics for this. Nor should you blame states, banks, the rich, or anyone. The only things to be blamed for it is thermodynamics. Of course the universe couldn't exist stably without those laws, so maybe math itself should bear the guilt.
Are there decent recent implementations in python of these? Or tutorials of some sort?
Users don't care about development. Sure, for us frameworks are great, for them the trade offs look far worse.
Unfortunately it's corp stuff and needs a bit of cleanup. But I'll try to get it open sourced - can you send me a reminder email? My email's in my profile.
That's just locations and quakes. And even there, only really big ones. That's only half of what you need to predict quakes.

There's not much in that dataset to predict with.
I completely agree. The post had good intentions, but it was all over the place.
Mobile hijack ads. Careful with that link.
Yes, it's a free money! What else it could be??

You give free money to people who don't work (and probably don't want to work at all) and you naively expect them to have high-level of responsibility in the sense they eventually find a job and pay back money in form of taxes.

Do you know what's happen if you give free money to people? They just ask for more money! They won't feel guilty for not working because they would think it's rich people who has to pay back what they "stole from society" during last centuries. They would create complicated conspiracy stories which justify their side.

Many people (if not most!) are completely irresponsible for their own life. Face it! If it were not true, people in Russia wouldn't support paternalistic ideology of Putin's government, people in Venezuela wouldn't buy free-lunch ideology of Hugo Chavez, people around the world wouldn't believe in god to whom they would beg for solving their problems.

The only reason many people work (and contribute to economy) instead of drinking beer is that they need money for that beer. If you don't believe me, just go to Ibiza's San Antonio West End street and see how brits got wasted.
Perfection is not the comparison, as long as they do better than human in the event of a failure it's a net win.

Are you more likely to get food poisoning from a person prepared meal or a snickers prepared by machines? Now, why assume driving is different?
Seems like you could validate using random points in the latent space, and crudely verifying that the nearest neighbors in image space aren't similar.
> Money comes from somewhere

Someone entering a few zeros behind another non-zero number into a bank lending system.

http://positivemoney.org/how-money-works/how-banks-create-mo...
As gp said, you could tell people exactly where you are, but it takes a long tome for anyone to be able to reach those coordinates by ship. If your power source dies and you drift in the interim, now it takes many ships and a coordinated effort hopefully involving aircraft for a chance that you’ll be found. The ocean is a very large place and a ship doesn’t exactly leave tracks.
I feel like this basic income ideology is really rooted in laziness - like, everyone likes free things, right? You don't have to work for it?

But - do we ever really ask where that money is coming from? The rich just give it? So then, why would I work hard to become rich, if its just going to be taken from me?

Its like income tax. Everyone loves paying tax on their income, right? (I, personally, do not.). So why don't we switch to taxing spending, instead? I'd much rather see the income tax abolished before any UBI fantasy ...
"Officially" isn't really a thing here, I feel. I mean the `purs` (formerly `psc`) compiler just gets given a list of .purs files from your build setup (pulp, custom make files, a little custom program, whatever) and recompiles what changed to the given output paths. I think they just converged on bower by accident (whatever it professes to offer, the sub-set of features required here for PS apparenty just-worked sufficiently well) but really anyone can manage their packages however they like.

psc-package does* very much look like it's going to be the "sanctioned/endorses/semi-official" tooling for pkg-mgmt one way or the other.

This popped up just now in my feed reader: https://qiita.com/kimagure/items/0d9354900d7a7dbd3864
Is there more to your experience you’d be willing to share?
This stuff is heading towards torches and pitchforks.
Basic income should be perceived by everyone. Working or not.
This looks more like an exercise by someone trying (and in my opinion failing) to pass an ideological Turing test than a real argument.
Why I’m done with Facebook
"the OCaml ecosystem does not seem to be in a particularly stellar state"

Maybe that's a good thing for Facebook?
The .com domain is controlled by the USG.
If they want to serve a false DNS response, they can access the key used to sign the .com domain.
That key can be used to sign a new key for the relevant domain, which can be used to sign the response.

That the .com domain is under USG controll follows from:
"The domain was originally administered by the United States Department of Defense, but is today operated by Verisign, and remains under ultimate jurisdiction of U.S. law."[1]
That said, since the control was transfered away from the DoD, the control is much less.

A similar argument still holds for country level TLDs. Any government that administers its own TLD can use that with DNSSEC to forge DNS responses.

[1] https://en.wikipedia.org/wiki/.com
Right now, every day.
I think that some sort of UBI has become absolutely necessary.

People who have money tend to have so much of it that they can't possibly spend it efficiently - There is no way for the money to trickle down evenly because wealthy individuals rarely interact with people who are outside of their own social class. In the case of extremely wealthy individuals, they even have to hire a security detail in order to further insulate themselves from the lower classes.

I think that's why cryptocurrencies are going up so much; the very rich can afford to keep 'throwing away' an unlimited amount of surplus money. I don't think cryptocurrencies are a bubble because bubbles only pop when the fear sets in; but if you have unlimited money which you don't care about losing, you have nothing to fear. The way I see it, cryptocurrencies are like UBI for tech people.
> In another 300-500 years

instead of "In the future", triggers me. Do you know something we do not? I am resigned to the notion that everything is up for grabs.

> I am not sure if I am a toy simulation

We need "reality discriminants". The trippy thing is if they could exist and their output is not necessarily boolean. There would be a threshold point at which beings can exist along the simulated-real spectrum, were by they can understand the output of the "reality discriminants", yet they are not real.
I'd be inclined to go for something bit shorter for this, perhaps just "times", but yeah.

Lets pretend we've got a $5000 budget.

Quick back-of-the-envelope math shows that a 8xGTX1080¹ box will be able to generate ~3 onion addresses beginning with "nytimes" every second, we can afford 6.25 months of this.

Instead of waiting a really long time, we'll rent multiple boxes and squeeze all that into one month. In that month our servers will find approximately 44055283.1 onion addresses beginning with "nytimes".

At least with the wordlist² I use, without a prefix I discover approximately one "good" onion per 8 million random onions. Considering we've got a 7 character prefix for our 44 million onion candidates, so I'd expect a significantly better rate than just 1/8000000

So yeah, in a month you'd probably find at least 5 "better" onion addresses.

¹ $800 a month https://selectel.com/solutions/gpu/ Shouldn't be a problem for NYT to get a few of these.

² which besides words contains some easily memorable fillers such as "aaa" "bbb" and so on
I think it's usage as real geometry learning tool is very limited. You can even see in the video that the children are wondering what the animation is after completing the puzzles. Fortunately the educator sees this explains it to the boys.

This is not surprising as Maria Montessoris understanding of geometry and pre-numeric Math is nowadays considered to be quite poor.

The usage as a stop-go animation machine seems to be fun, they seem to enjoy it. I've worked with children almost twice as old and they were quite confused about the concept of how to create a stop-go animation, so i'd like to have a similar machine in my school.
This. You can't trust client-side validation anyway, so you need to have some server-side. So why not just let the page refresh, and then add a tiny bit of JavaScript that'll send off the form via AJAX to validation?

Suddenly, the site becomes solid, lightweight, and supports everyone. That's what I think people used to call "progressive enhancement".
Indian Income Tax tribunal asks Google India to pay taxes on $220M remittance
I'm definitely getting into hair-splitting territory, but I think it's important to not conflate modifying a protein with fusing two proteins. It would be easy to come away from the GP and think that scientists have the ability to easily change the enzymatic function of Cas9, when in reality they're effectively just connecting a protein to Cas9 and letting it do its thing.
That might be part of it. But things are rarely that simple. Another big argument is to act as a safety net allowing people to take bigger risks, like starting a startup.
HTML web components using vanilla JS
Technology itself is rooted in laziness.

I'm too lazy to wash my clothes and dishes so I have robotic washing boxes do it for me.

The protestant work ethic has no place in the 21st century, so lets drop it.
Truman, Kennedy, Johnson, Nixon, Reagan, Bush Jr., Trump.

Noting the exceptions: Eisenhower, Carter, Bush Sr., Clinton, Obama.
Well, it is free money, that's the point; but neither that nor being "socialism" automatically makes it bad.

This article is an interesting way of pitching basic income to a "capitalist"/right audience by phrasing it in ways like "basic income is fuel for markets", "buying is like voting" (!) and "I like markets. I want to reduce the size of government. I want less bureaucracy. I want less administration. I want fewer government jobs."
You are describing anti-social behaviors, not really addressing my question. Do you think that keeping $15,000 out of the Social Security system is an animating reason for them to take the non salaries?

I think it is more like a few hundred thousand dollars not really being a relevant amount of money to someone with hundreds of millions of dollars of stock on the line and the symbolism being useful.
> group of expenses without any useful work.

Pensioners? Rentiers?
Indeed, if we presume ZFC + Continuity to be consistent, then your situation cannot happen.
However, it could be that ZFC + Continuity has Goldbach true, and ZFC + Forcing has goldbach false.

I should say I recall reading that if the Riemand hypothesis is false, then it is provably so in ZFC, hence my inclusion of the Goldbach conjecture. [1, 2]

[1] https://mathoverflow.net/questions/79685/can-the-riemann-hyp...

[2] https://www.youtube.com/watch?v=O4ndIDcDSGc&ab_channel=Numbe...
What is an ideological Turing test? I don't think I understand your parenthetical remark.
The point is not that DANE doesn't make things worse. The point is that it is not a solution. Originally, DANE was meant as a method to restrict rogue CA's from issuing certificates. The fact that state-actors can still do that after DANE makes DANE a bad solution.
Here you go: https://gist.github.com/chomy/003deea83b5a13ad1ee3
Taxing spending tends to be regressive. Rich people end up paying less tax as a proportion of their income while the poor end up paying more.

It is however less visible. Income tax is at least upfront about how much is taken whereas tax on spending is spread out and often invisible unless you're actively thinking about it.

Sure you can make people happier about taxation by making it less visible but I'm not sure that's a good argument for it.
The problem is that sales tax is an extremely regressive model. If two people buy $100 of goods, but one makes an income of $100K a year and the other $20K, the taxes are effectively 5X higher for the person making less money.

No one likes paying any taxes, but at least income tax aligns the motivations of the individual with those of the government. If you make more money, you prosper, and so the government -- which ostensibly creates a society that helps you to prosper.
HTTP public key pinning is being removed from Chrome
I'd say it's half fashion and half business incentives. JS frameworks are fashionable, every kid learns JS and Node now, and this leads to what I see as a big part of programmer population suffering from acute "only-got-hammer-everything-is-nails" syndrome. But business incentives play a big part too. It's easier to make a shitty SPA than a well-engineered site, but all the shittiness gets externalized on the users, so companies don't care - they get to be little quicker to market, but they don't have to pay for the worldwide waste of electricity and bandwidth they cause.

(Not to mention user frustration. Mainstream webdev doesn't give a damn about that either.)