skysight-inc/HackerNews huggingface dataset:
I like Rust too. I re-wrote a parser I had implemented in Go in Rust and got almost an 8x speed-up.
Having said that, the two almost have no overlap for me. I don't see how Rust replaces Go in 9/10 of Go use-cases. And vice-versa.
> In Firefox, immutable is only honored on https:// transactions.

https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Ca...

> Clients should ignore immutable for resources that are not part of a secure context

https://tools.ietf.org/html/draft-mcmanus-immutable-00
Seeking 100GB of Video: How We Made Sightline
One dose costs $4,000. A full treatment is more than one dose. That sounds like over 100 doses if all you do is pop some pills. If I had to guess it probably isn't 100 doses but you have to do other things like stay in a hospital during the course of treatment, other tests, or something else that adds to the price tag.

AKA the price tag on a service is usually much more than the cost of goods sold.
THC is far from the only compound in cannabis. There are hundreds of them, with virtually all of them having had far less study done on them than THC has.

If a human were to die of cannabis inhalation or ingestion, it's not clear which of the hundreds of compounds in cannabis would be the one most responsible for the fatality. It's quite possible that it wouldn't be THC.
The point still stands in practice- it's an interesting sociology of science topic. There are often unwritten rules and protocols that have a huge impact.
Cantor's diagonalisation is certainly constructive. Given a a sequence of sequences of binary digits, it gives a way of constructing a sequence not occurring in the sequence of sequences. The resulting sequence is as computable as the input.

But to answer your question: Many mathematicians regard their (classical) proofs as algorithms. They just allow themselves to use an oracle call for any well-formed question:

Say I want to prove B. Then, at some point in my proof, I formulate a sentence A, and make a call to the oracle. My proof/algorithm then branches: in one branch I assume A is true, in the other I assume A is false. If I can continue such each branch gives B true, then my proof works (classically). [0]

The constructive critique is that such an algorithm cannot be executed my humans, or turing machines for that matter.

Also there is a whole continuum of stronger and stronger oracles below this ultimate oracle allowed by classical logic — which is an interesting continuum to study. Often one can locate an exact class of oracles needed for a given classical proof to work out.

[0]: This is the «church encoding» version of the law of excluded middle: For all B, we have (A → B) → (¬A → B) → B, which is equivalent to the usual formulation (A ∨ ¬A).
At one of my jobs we used a 3rd party library for .NET to do our licensing but then we decided to roll our own. By rolling our own we got the benefit of doing things that wouldn't be available in commercial solutions. For instance, we sold our software in modules and you bought each module separately but they each fit into the product. With our homemade system we could disable or enable modules at will from our system and have the user refresh. They had to connect once a year but if they bought a new module they could just go to the help menu and refresh their license and the module would unlock immediately. Not sure if you can do that with other commercial products or not.
This.

Thank you for constructing the words I could not.
> else we'd all spend five hours on each move. Chess is about bounded rationality

Without any other tools (as in, pencil and paper to note conclusions), do you really think you could make a more effective move given five hours?

I mean - if the conclusion of the study is actually that use of drugs gave players a larger personal time bounds within which to think up a move, that's still significant.

I don't know about you, but my #1 blocker for productivity is how long I can actually concentrate on something. If a drug lets me focus for 10% longer, even if it doesn't improve my capabilities while focusing, that's still huge.

Edit: But you're not wrong, it does stink of p-value hunting. On the other hand, if your experiment is expecting one correlation, and instead you find another... then the p-value hunting was the correct move...?
1. It didn't work reliably

2. The UI was awful and buggy

3. It finally broke outright and replacements with halfway modern features were pricey
Unfortunately for Google this is 100% true. They are in no way a good business partner to any commercial operation. While I think on a tech level they may have more brilliant engineers than Amazon, they can't seem to get the business side right.
Deep Learning Book (2016)
Try emailing the mods hn@ycombinator.com , they usually reply sooner because this threads are sometime unnoticed.
That is a very dangerous statement tbh. In general it is much more important for any system to have its foundations robust.
> The high scoring Chinese students were either never interested in critical thought

What you call "critical thought" is what I would rather call "'critical' thought in what is the currently an opportune fashion". I know lots of people who have critical thoughts, but not in the sense of what admission panels like to see as "critical thought".
Interesting to see the note about version 1.0.1 there. Isn't that the latest available in Ubuntu 14.04?

Note
====

Support for version 1.0.1 ended on 31st December 2016. Support for versions
0.9.8 and 1.0.0 ended on 31st December 2015. Those versions are no longer receiving security updates.

I'm not intamately familiar how Ubuntu handles LTS releases, but I'd assume they don't backport security releases for such old third party packages? Or do they?

EDIT: I can answer my own question, they do backport security updates, even for unsupported software that they still ship

http://askubuntu.com/questions/863477/will-ubuntu-14-04-rele...

https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/15966...
I get what you're saying, but people would still use performance enhancers in the "clean" classes.

People cheat for the sake of winning.
They should be - they're making certificate transparency logs mandatory in 2017 [1].

[1] https://casecurity.org/2016/11/08/google-certificate-transpa...
I mean people don't trust Google's motives but I trust the certificate authorities less...

How do we (or Google) know that the CIA and FBI can't create certificates from all the CAs because they have stolen/demanded the Root CA for them?

If I was a TLA I'd want the ability to perfectly MITM anyone.

I think these questions imply that there needs to be a better way to think about security and trust for web endpoints in the days of the state as a bad actor.
I think that instability is surprisingly good for capitalists, however, I don't know if they "want" that instability. I live in Prague, and the instability and corruption following the fall of the iron curtain made many people very rich. It also allowed many western capitalists to buy assets in this country for very cheep prices. Right next to my house there used to be a park. Now there is an office building there. The city never built that office building, nor did it officially sell the land. Some corrupt official simply changed the title. Who can build a building like that and bribe an official? Not just anyone. You need money to build a building and bribe officials, so this chaos was very good for people with money. The same with the post office. Our post office has been privatized and is very profitably held by a Czech Billionair. How did that man buy the post office? Of course it was cheep at the time, and there was corrpution, but the main answer, is that he was able to buy it because he had money to buy it.
Thanks for the support! Making biking more accessible for everyone is one of our goals with Spin. Where are you based, and what's your local program?

PS. This is Derrick, one of the co-founders of Spin :D
And that technique continues to be effective. If anything, it has become more viable over the years. I honestly don't understand how anyone can look at the prosperity gospel (https://en.wikipedia.org/wiki/Prosperity_theology) and not see the blatant cynicism behind it.
I think they are more like a band-aid than a solution.
Interestingly, locale can change one answer.

with LC_COLLATE=en_US.UTF-8,

sort faces.txt | uniq -c

5 (◕‿◕)

uniq treats (︺︹︺) as equal to (◕‿◕).

Copied the file to my machine to test.
I think it is hard to talk about cantor diagonalization as constructive or non-constructive because it is reasoning about uncountable sets.

A more down to earth example of a non-constructive proof would be proofs using non-constructive elements of classical logic like excluded middle (P V ~P), double negation elimination (~~P -> P) or Peirce's law (((P->Q)->P)->P). For example, this proof[1].

There are some similarities between non-constructive logic and non-purely-functional programming. It it possible to see language features such as mutable assignment, exceptions and call-with-current-continuation as analogous to the non-constructive parts of classical logic. These features all make the language depend on the order of evaluation, which destroys makes the program non-constructive[2]

Anyway, I had a really good reference for this but I can't find it right now :( Hopefully someone else can provide a better link explaining how call/cc is equivalent to peirce's law.

[1] http://math.stackexchange.com/a/1118851
[2] http://stackoverflow.com/questions/24711643
Sorry if this is a dumb question. How is immutable caching any different from cache-control headers with a max age of 100 years?
The proverbial fox guarding the hen house.
I read the parent comment prior to my first. 'neuronexmachina is discussing the topic at hand. Yes, it adds politics. That's going to happen on HN regardless. What their comment doesn't do is imply unfounded intentions upon HN community members. That's unhelpful. Some are all too quick to attribute agenda to particular behavior on HN, particularly submission ranking. Without evidence, it leads to bad faith in discussions, and with political topics to be discussed well and civilly, we need an abundance of good faith.
A Node.js Perspective on MongoDB 3.4: Decimal Type
>> When I type, I'm able to render my thoughts directly into text, whereas when I write with a pen I have to think about the physical process of writing. I imagine I'm not the only one here who feels this way.

It is still the reverse for me. For me, writing involves less cognitive load than typing:

While writing, my mind wanders into thinking more (probably since it still has a capacity to, perhaps just because writing is slower than typing) which helps further.

While typing, I still make a lot of mistakes, which take attention away. I hate touch-screen keyboards as my error rate with them continues to be an order of magnitude higher than the same with physical keyboards even after several years of use.
The trick is also making sure they don't get too excited and build a tumor, which would make things really bad.

But yeah, they're almost magic, except we understand it. Which is probably why large sectors of the religious public finds them so abhorrent: they take away yet another arrow from the inscrutable Fate they worship, they lift another bit of veil from the mystery of our existence. And it's a shame, because the objective need for strict regulation will be hampered by constant calls for pointless bans.
That's what everyone said about Citibike, but they seem to be doing fine. The biggest problem was their poor IT system which they had to replace.
I used Turbo Vision in Turbo Pascal 6/7, then migrated to Turbo Pascal for Windows 1.5 with OWL and eventually to Turbo C++ 3.1 with OWL.
Tesla is suing its ex-Autopilot director
It trips my sarcasm detector, but it's also exactly what I'd expect business-speak to say if they did cut a series short due to lack of money.
Nostalgia isn't what it used to be!
I would hate to live next door to you and your intelligent, self-aware lawnmower.
>The other thing companies do is set up plenty of shell/thin corporations around the world, assign the IP rights to those in minimal tax countries, and then charge massive internal fees so that all the rest of the organisation barely makes a profit. This sort of thing seems to be the same level of loop-hole as setting up multiple companies so that the CxO's can get paid more.

All it takes to end this practice is for the tax authorities to take a dim view of it.

Starbucks and Google were both caught by this and although they didn't pay a fine as large as they should have done, with a nod and a wink, they did end up paying more.

The economic system is nowhere near as immutable to change as certain people would like you to believe.

The swift reaction by BlackRock to the government simply making noises in particular was noteworthy:

https://www.theguardian.com/business/2017/jan/15/blackrock-d...
So, sold $10,456,055 and Oracle is mad about $257,335.79. I seem to remember stories of other companies screwing their sales people (e.g. Perot).

Seems incredibly short sighted and carries a valuable lesson to the other sales people.
Hey stevenrace, I'm Derrick, one of the co-founders of Spin. Given our roots in the US, we're building our bikes for the local market, and use different tech than the Chinese companies, for example, FCC-compliant devices or networks that are available in the US (3G and newer).
My favorite use of this is making a resizable box that always maintains the same aspect ratio. Padding % is out of the element's width. So width: 100%, padding-top: 50% will make a block that is 2:1 that resizes automatically.
True, but you don't necessarily need a whole lot of structure to get started. Or at least I don't; in my personal journal, I just use a headline and a timestamp, generated by means of snippet expansion, and come back later to add a proper title. My work log uses dated headlines.

On the other hand, my personal journal is very freeform, and my work log is mainly a list of tasks and actions taken toward them, so I'm not sure how well that generalizes. Perhaps a useful recommendation for someone struggling to start might be this:

- Spend a few minutes thinking about what you want to accomplish by journaling.

- Spend a few minutes more laying out minimal structure that might help you work toward that goal. If you're working in a text or org-mode file, for example, perhaps put togther a few lines of boilerplate that you can copy and paste to start an entry.

- Spend a few days working with that structure, and see how well it suits your purpose. Where it does this well, preserve and perhaps expand; where it fails, rework it.

...and iterate from there.
They have the most popular browser, mobile OS, search engine.
They operate popular public DNS servers too.

They add this cert and they control a vast chunk of the internet.
“Curiously Recurring Template Pattern” (C++ Idiom)
>> The gamers in the crowd will get free burgers with day old twitter accounts

(aged) Twitter accounts appear to be pretty inexpensive:

http://www.latimes.com/business/technology/la-fi-tn-twitter-hacker-20160609-snap-story.html

"The hacker... is asking 10 bitcoin, or just under $6,000,
for what he or she claims are the log-in credentials
for 379 million Twitter accounts."
How the Debugger got into the flow
If the vast majority of that wealth coalesced at the top why would I vote for it?
Thanks for your support! Which city are you in? (And do sign up at https://spin.pm)
You could make a JS polyfill fairly easy.
I've been a huge fan of metaphors for years (own and have read 6-7 books on the subject) and this article was pretty insightful.

Stumbled across it today, when I was struggling for a conceptual metaphor of how a new project we're developing works.

Had to share it as I've found metaphors to be the power tools of great marketing copy.
This is easily one of the most impressive products that came out of YC in a while. Fantastic work. Break a leg with the FDA approval.
This is an app that won an Apple Design Award, was one of Time's apps of the year and has done just fine otherwise.

I am speaking of people who rate an otherwise 4-5* app with 1* because of one prompt screen (that also prompts for feedback) per major version.
There are various ways, my sweet little keyboard 'warrior' [1], to guage the character of a people.

You could visit the country and get a feel for the people. Or if are averse to it -- which in your valiant case can not possibly be due to a deficit of courage -- you can google for travelogues of people who have and see what they say. [2]

Or, you can take off your battle headdress and put on a scholarly cap, and reflect on whether cultural, intellectual, and spiritual values and artifacts passed faithfuly from one generation to another are in any way significant in determining the character of a people.

Or, you can pause a bit and wonder why the regime in Iran is called "authoritarian". If a regime reflects the true character of the governed, would it be called "authoritarian" or "representative"? As our president likes to remind the nation, "torture works". It sure does.

But I have to hand it to Iranians back in the old country, they haven't just rolled over and certainly don't need people like you to be prompted into protesting against the regime's outrages. But you know, Iran has its neanderthal subclasses just like we do here in good old USA.

(How do you like it, my little warrior, getting groped by TSA agents? You enjoy that? Do you feel filled with the spirit of "the free and the brave" when you censor yourself on social media so you won't get harrassed at the border? Yes?)

> It does speak for itself that after thousands of years you ended up in one of the most backwards forms of government possible, though I'm not sure you realize the implications of what it speaks of.

There is some truth to that! I was a kid myself then but people who should have known better made some critical and catastrophic errors in judgment back in '78. Propaganda works wonders.

But you know what my sweet little warrior, it also doesn't speak well of the nominal allies of the prior regime that worked hand-in-hand behind the scene with the elements that are now ruling over the Iranian people.

And there is this thing about civilizational ebb and flow but get back to me in a thousand years or so and we'll compare notes!

[1]: per your profile: "As battle approaches, decorum departs."

[2]: here, let me google it for you: https://encrypted.google.com/search?hl=en&q=visit%20to%20Ira...
zip is not a solid archive. Each file in a zip is compressed independently without referencing data from other files, so zip files can't exploit redundancy between files for better compression.

tar.gz files compress the concatenation of all files, using redundancy between files to achieve better compression ratios.

Note that gzip and zip use deflate which has a small 32KB window, so if the repetition is more than 32KB apart it cannot be used for compression.
Why wouldn't the investors like it? Companies license IP to other companies all the time. It actually is a plus for investors because they will see a faster ROI.
Using CDNs lowers the hit rate because the average user's browser cache will have each library stored number of CDNs times the number of versions in widespread usage. A package manager could improve some of this by allowing you to say “Any version of jQuery between 1.0 and 2.0 is fine” when most sites don't depend on point releases.

The Subresource Integrity spec for strong content hashes could improve cache hits by allowing a different URL to be used if the hash matches but everyone wants to avoid that turning into a massive security / privacy hit — see e.g. https://hillbrad.github.io/sri-addressable-caching/sri-addre...
While this is good advice, I feel it is a bit too over-simplified.

Counting incoming and outgoing requests misses a lot of potential data points when determining "is this my fault?"

I work mainly in system integrations. If I check for the ratio for input:output, then I may miss that some service providers return a 200 with a body of "<message>Error</message>".

A better message is to make sure your systems are knowledgeable in how data is received from downstream submissions, and to have a universal way of translating that feedback to a format your own service understands.

HTTP codes are (pretty much) universal. But let's say you forgot to inlcude a header or forgot to base64 encode login details or simply are using a wrong value for an API key. If your system knows that "this XML element means Y for provider X, and means Z in our own system", then you can better gauge issues as they come up, instead of waiting for customers to complain. This is also where tools like Splunk are handy, so you can be alerted to these kinds of errors as they come up.
> taught that lisp has no syntax

Which is wrong. It's just that Lisp syntax looks and works a bit different. Especially there is a data syntax for s-expressions and the syntax for the programming language Lisp is defined on top of s-expressions.

> And that they should avoid the reader macro at all costs.

Common Lisp itself uses read macros for its implementation. Applications use them in various ways.

> In this example, though, what was the advantage of the special syntax?

Xappings were a central data structure in Connection Machine Lisp, thus it's not unusual that it had a printed representation.
That was a huge "WTF" moment, and the point I basically gave up on the article. I was hoping for an interesting deep dive, not a layman fiddling with stuff.

There are much better ways and tools for comparing encoded videos.
Not every model is sustainable and a great operating team may only be able to forestall the inevitable with some models. It's a duplicitous statement for @rus to speak for others in the sale of their company.
We've a few tricks up our sleeves here to make it effective and affordable for us.
The original Al-Qaida (every major member is now dead) which planned 9/11 actually didn't feel left behind at all. They were trying to fight change and westernization. I think that most of the current batch of terrorists, however, are just a bunch of primitive drug addicted machos who want to blow things up (and I'm serious about that, go read the Wikipedia articles on the people who have made attacks in Europe lately).
Here's how I cope:

Focus on the now. Here you are. Here is the desk you sit at. Here is the keyboard in front of you. All these thoughts that rush endlessly through your head are simply thoughts. They belong to you, but they are not you. You are more than your thoughts. You are a human being.

You can do anything you put your mind to, but you can only do one thing at any one time. It doesn't matter which one you choose. You have permission to do any one of the things you want to do.

I find that the best things for me are those that require my brain to shift to the unspeaking side. The one that can't articulate anything. It watches, it moves. It knows, and it can't express itself in abstract ways. Drawing, doodling, making clay figures.

I don't know if that helps you, but I sincerely hope it does. I don't know if you pray, or if you are receptive to the idea, but I shall pray for you.

Whatever you choose to do, try not to worry about it. Worry doesn't add a single day to your life, and it robs you of the now.
Pretty easy in NYC. Maybe even easier. Since engineers are flooding to SF but even non-tech companies need technical help these days, the supply of good engineers doesn't begin to meet the demand.
Node-RED: A visual tool for wiring the Internet of Things
Powered by a content-addressable cache, where each object is identified by the hash of its content only: https://rwmj.wordpress.com/2013/09/09/half-baked-idea-conten...
Why that? The browser download only the assets you require.
Do you worry about becoming dependent on that?