skysight-inc/HackerNews huggingface dataset:
They never seem to understand:

Your fingerprint like your face can be the username, but never the password.

Your fingerprint is exactly like your username: you cannot change it and you always leave it in public.
Then could it be that the subsidies are the only thing making rural life livable for many people? In other words, without the subsidy, the economy would be so depressed that people would move to cities.
No, I'm not being sarcastic. I'm fairly well read, and I believe in God. I don't think I have a complete knowledge of anything, but I've read and questioned and looked, and yes, I think there's more in favor than against.

I also think there are a lot of people who say more than they know, on both sides of the argument, but that's true of any subject.
If it fulfills your needs perfectly then there's no need to change.
It may be still worth playing with a bit and doing tooling investigation to find out if there are some super useful features for your case.

I switched to vscode from sublime recently, because it has much better autocompletion and "goto definition" especially when working with JS and TypeScript code, which is exactly what I need.
Other than that I was able to replicate all features from Sublime (e.g. multipoint editing) and I'm not aware of any missing feature from what I used in Sublime. One con is that vscode is slower to start and slower to open up a file.
I am not confused at all. Perhaps you're projecting your own confusion onto me. You simply have an unbelievably naive viewpoint with no coherent argument.

My point is that exploring and conveying "morals" is actually one of the primary functions of literature. I can't tell if you agree or disagree with this. But if you believe that something being "fiction" means it's not worth paying attention to or that it cannot offer valid moral instruction, well, you are a tremendous fool.

Whether you agree or disagree with the moral or ethical argument being made is a completely separate point.

> That a moral lesson is taught through story does not make the moral taught true in any sense.

I never said that a moral lesson appearing in a story makes it "true". That's a stupid thing to even suggest. You are, however, suggesting that any moral lesson in any narrative that isn't "true" (would you mind sharing your definition of true so we can determine how we can come to that conclusion?) cannot contain a valid moral. Which is absurd.
This is incredible. These types of posts are some of my favorite ones that appear on HN.
GLIntercept – An OpenGL function call interceptor for Windows
Federal statues also supersede state law, under the supremacy clause of the constitution.

That said, the states are still considered sovereign and residents of the several states live under a dual sovereignty of their state and the US government. Sometimes this leads to unpleasant consequences, such as being charged for the same crime in both state and federal courts because the Double Jeopardy clause of the constitution is considered to only prevent double prosecution under the same sovereignty.
Do you think that distinction is substantive? Do you think there's some reason to believe that FBI agents are morally superior to the DEA and Secret Service?

As I see it, the illegal and immoral activities of individiuals within acronym agencies comes down to group think, tribalism, and a removal of separation of powers which this country was founded on. If a DEA agent does it, I think that increases the odds the FBI will do it.
Keymaps were my number one reason for abandoning vscode so I'm glad they've got a sublime/atom keymap now. I might give it another go.
>The New Yorker spins articles through a thesaurus before publication.

Perhaps, but there's a reason for the French saying "le mot juste": Synonyms aren't actually words that have the same meaning. They are words that have similar, related meanings but don't actually connote the same thing.

What should they have chosen instead of "ineluctable"? Irresistable? Inevitable? Those words don't really carry the same meaning for me.

Precision in language (spoken, written, programming, or otherwise) is a beautiful thing.
The Science of the Perfect Night Out
Wallabag.it launched (Hosted wallabag, similar to  instapaper)
AVS RetroUSB: FPGA-Based Re-Implementation of the NES/Famicon
A museum of 500,000 oddities
Of course there is extremely bad and dangerous behavior. But then there is extremely bad and dangerous behavior we don't have true control over - typical examples are compulsive, drug induced or depressed behavior. And yes, all of them need professional attention but that does not preclude us spending significant time with such persons.

With negative feedback it gets tricky very quickly as there is such a thing called intermittent re-enforcement - one provides inconsistent strong negative feedback and behavior gets worse and more persistent.

Enforcing hard limits consistently requires careful thinking and acting. It does have value in some cases. There is however a risk getting stuck thinking about the problem not solution. The author argues a solution focused approach is more effective in most cases. I don't think he covered clinical or criminal situations.
> Type theory-based formal methods are virtually nonexistent in the industry

I mean, all of the ML-derivative languages are in very wide-spread use. I guess you could argue that type systems aren't formal methods, but I'd disagree -- especially in the case of systems with effective type inference, which is essentially a bit of theorem proving baked into your language.

I would guess that Algorithm W (and derivatives) are the most successful and most widely used formal methods tool in the world today.

> ...if we don't count joint industry-academia projects

The same is true for most formal methods (FWIW I consider MSR and similar labs squarely in the "academia" side of that divide...) It's not even clear to me that this is a bad thing, actually. Maybe for highly critical systems it makes sense for companies to contract with boutique formal methods firms.

More generally, what I meant by "incredibly productive" is that a lot of the ideas in their work are equally applicable to other systems that aren't in that tradition. So that even if you aren't working the Milner tradition (which I man not), you may still find this work worth knowing about and borrowing from (which I do).
> Punishment might make you feel better, but it won’t change the kid’s behavior. Instead, he advocates for a radical technique in which parents positively reinforce the behavior they do want to see until the negative behavior eventually goes away.

We adopted a puppy a little more than a year ago and this was the exact advice we were given for how to train her. Puppies and little kids are remarkably similar, and the key to training a dog is not to "punish" them when they do something wrong (they'll just get scared of you), but rather to reinforce the good behaviors, reward them when they listen, and essentially just ignore them when they don't.

In practice, after a year, this technique has worked great. Our puppy listens to us, respects us, and despite being absolutely crazy, will drop everything if she hears us call her. We didn't even need to train her to avoid eating the baby's toys since I think she understood that she received more praise when playing with "her" toys.

Our baby is only six months old so we'll have to report back in a decade as to whether this approach works well with kids too. :)
I don't think that's accurate, with one special exception: When the Republic of Texas was admitted as a state, it was given the right to subdivide into up to 5 total states, should it choose to.

Otherwise, it's up to Congress to decide whether or not to accept new states to the Union.
I do believe the US states can have a state militia and I believe some other form of national guard.
I enjoyed the movie even more than the original short story "Story Of Your Life". Which is very rare.
"Arrival" is not perfect, but very good.

A very good intro is also http://blog.stephenwolfram.com/2016/11/quick-how-might-the-a...
by Stephen Wolfram who helped with some science parts on the movie.

My short review: https://letterboxd.com/rurban/film/arrival-2016/1/
Neuro-imaging? Very probably. Send a resume and cover letter.
Ditto. I remember looking at Pathfinder images on a computer in the town library in 1997. I was in 10th grade.
For reference, here's a check of the torrent with the .torrent file I snagged from https://www.qubes-os.org/downloads/ last night. Master signing key checked against the fingerprint published on the mailing list in 2013. Looks legit.

Qubes-R3.2-x86_64 moi$ gpg --verify Qubes-R3.2-x86_64.iso.asc Qubes-R3.2-x86_64.iso
gpg: Signature made Tue Sep 20 18:33:37 2016 BST using RSA key ID 03FA5082
gpg: Good signature from "Qubes OS Release 3 Signing Key" [full]
“One Hundred Years Hence”: Victorians predicting future technological wonders
China Chases Silicon Valley Talent Who Are Worried About Trump Presidency
From the consumer perspective CC transactions are effectively instant, at least for the strip transaction. Even introducing the short delay that the chips involve has been very unpopular. (Why they went with chip+sig is clearly some form of non-security motivation.)

The solution to bitcoin, ironically, would be bitcoin+signature. The signature is forming a contract, a promise to pay. This is different from waiting for /an/ actual payment to clear.
We place our trust in algorithms -- creating a high tech game of cat and mouse.
when did download errors become newsworthy? are networks that robust now?
In the article (graphic 5/5) it seems to be part of the Las Vegas megaregion.
I'm surprised he didn't discuss his decision to turn it into a time-travel story. That's a major alteration to the plot and meaning of the story, and I'm curious when, why, and how that was made. Did he make it right from the start when he realized that he'd never be able to explain the stuff about the least-time principle and Sapir-Whorf and whatnot, or did he try and fail, or did someone else make him or what?
It's not "tricking", unless you're letting your toddler dictate whether you should leave the house. Toddlers don't have a choice over that; instead, you're giving the toddler a choice appropriate to their level. That helps build their cognitive abilities and takes the focus away from whether they want to leave the house (a choice they shouldn't make), to whether they want the sweater or coat (a choice reasonable for them).
This is an adorably bad idea:

+ As fdik said above, you can't change your fingerprint or face easily, and it's always public

+ Face recognition and fingerprint scanning are not robust against spoofing — there are known ways to circumvent both

+ You can be compelled to authenticate a biometric without a warrant

Don't use biometrics as a password; use them as a username.
Even those parts of the story leave much to guessing and theorizing. I believe wholeheartedly that the government at many levels is spying on these folks, probably using illegal techniques. I just don't know that the explanations given in this article are right.
I wonder how much of "Item Not Received" is due to poor transport security, like delivering the item to someone's 'property' but just leaving it outside, unattended and unsecured.
>almost none of the American sites supported it

There's just not much incentive to support it. You have to make it optional, otherwise your conversion rate drops like a rock. And, if you make it optional, only a very tiny amount of customers ever use it...and the ones that do are VERY unlikely to be fraudulent users. Thus, the shift in liability isn't really an incentive.

The only way it would work would be to make it 100% mandatory. The checkout path would be harder on customers, but they couldn't choose to go to a competitor's site that didn't require it.
Glad to hear it was helpful!

Yes, definitely. You have to carve out time for yourself, very deliberately, and be conscious about minimizing the amount of stimulation and distractions you are letting in. Spend time alone, go for long walks with your phone off, let your mind wander. Devote mental time to the things that scare you and trouble you -- really, really lean into them. (Another friend once said to me: "Embrace the struggle." Also a helpful mantra.) Therapy, if it's an option, can be great self maintenance. So is daily meditation, even if just for ten minutes. (It helps you get into the habit of unplugging.)

The work of focusing on your "feelings" is interesting because, often, it's actually the opposite of "focus." It's more like letting yourself drift freely and, in doing so, mapping your interior sea. :)

(Not to get tooooo hippy BS about it. Ha.)
>> Nobody expresses surprise that, say, Fight Club is still available to watch

You would if it was on a streaming service. How many times have you watched something on Amazon/NetFlix and go back to watch it at a later date and it's unavailable?
From a spec writer perspective, the short answer is that it has hotkeys, formatting based on element type, and autocomplete.

Beyond that, there are versioning tools (screenplay versioning can get a bit esoteric), alternate dialogue capabilities, scene numbering and reporting tools, and a lot more. It also has a lot of capabilities related to production, such as omit functionality, watermarking, script locking, etc.

Final Draft gets bagged on a lot for being expensive and ugly, but it really does have a ton of specialized tools that are incredibly powerful if used correctly.
Evolution of Kadena, the First Real Private Blockchain
I absolutely would not give up on fighting the political angle of this. Public trust in government to be any more honest or effective than any other clump of people (corporation) is going down across the board, the time for a new political party is coming. We technically-aware people are a significant voting block.

Also, though I agree adding technical security is a MUST, what happens when the FBI hacks your computer directly to record the logs itself? Or backdoors your OS? Or even makes a law making TOR or the fundamental technologies of self protection into "hacker tools that subvert government's rightful knowledge?"
Thank you so much for the kind words! That's a very generous response and I appreciate you sharing.

Kickstarter does feel like a completely different life, but that's only because of how much I was able to grow while I was there. That's a good thing, I think!

My equity did not completely vest, no. Close, but no!
I am assigned to one project at a time. Sometimes other projects can "borrow" me temporarily when they need help, and relevant people communicate and share knowledge between projects, or for example integrate changes back up to the engine if they would be useful for other projects.

Most developers at my work belong to one project, but there are some central teams that serve the entire studio and work between projects.
There is a difference between pointing out how surveillance works and saying it's good.
This definitely depends on where you live. I don't know if it's still called "swats" like it was when I got hit (with a long wooden paddle!) in school, but any poll taken around here would find a majority in favor of corporal punishment in educational settings.
also here: https://archive.fo/TnKIM
Thank you so much! An exceedingly kind insight -- although, without any humility whatsoever, I have to insist that the success of Kickstarter was due to many factors and the work of many wonderful people (including the founders). :)

I enjoy the distinction you make between "sustaining" -- I like to say "nurturing" -- a community and growing one. It is important to think about that.

Thank you for reading!
What's wrong with wanting predictability and stability? Right now oil companies have little incentive to invest in alternate energy given the costs, and a carbon tax would change the cost structure for the future and give them a direct financial incentive to transition to non-carbon energy sources.

Re: carbon tax being useless, how so? Of course the level of the carbon tax matters too, but it doesn't make sense that directly taxing something wouldn't reduce the amount of it.
Yea that's one thing I really love about torrents. Because of the giant set of hashes they use, it makes it really great to verify integrity of the download. You've got a hash for each block (128k by default) and for the overall download, along with the complete size of the file.
It's basically a visual regular expressions. So I'll caveat my original statement that if you don't know regex, you need it. I never learned regex because I came from a self-taught, web development oriented background. So if I need to replace all instances of a variable, then go to the end of the line they were on and type in a different variable name or add a semi-colin, that's what I use.
Invasive python species ate three deer in three months. Scientists surprised
Honestly, I think less about the future of crowdfunding, and more about the future of companies like Kickstarter (in context of their recent choice to become a public benefit corporation and other community-and-civic-minded choices they've made as a business). Setting that precedent, holding themselves accountable to their community, and enabling other communities to follow in their footsteps is VERY important, I think. That's what I'm thinking about lately.
> I guess you could argue that type systems aren't formal methods, but I'd disagree -- especially in the case of systems with effective type inference, which is essentially a bit of theorem proving baked into your language.

The kind of properties those type systems that are in relatively widespread use prove are not even remotely close to those you'd call "program correctness".

> I would guess that Algorithm W (and derivatives) are the most successful and most widely used formal methods tool in the world today.

OK, but that's an extremely weak formal method; weaker than some static analysis tools, that are also in widespread use.

> The same is true for most formal methods

Not really. SCADE is quite popular in safety-critical hard realtime systems, and TLA+, while far from "popular" is being regularly used at Amazon, Oracle and smaller companies without any assistance from academia. Other tools, like Z and Ada SPARK (both used by Altran), B-Method (popular in railway software) or SPIN are also regularly used in the industry.

> you may still find this work worth knowing about and borrowing from (which I do).

Sure, but it goes both ways. I've seen a paper about proving the correctness of some control systems for quadcopters in Coq, and they basically used Lamport's TLA in Coq.
I'm not rejecting his theory because of pride or blindness. I'm rejecting it because I evaluated it with my brain and determined it to be bad. I'm saying that it is possible to 'know for sure' in some cases, insofar as my brain is working correctly. This is 2+2=5 stuff. I'm as sure he is wrong from reading his writing as I am sure that 2+2=4, because it's dead simple reading comprehension to be able to tell, if you have a bit of physics background.

I'm telling you that it seems like you don't have the background to evaluate theories correctly, and so you should take note that this is a bad theory and if you think it sounds reasonable, you need to figure out why and correct that in your intuition.

The level of expertise required to realize this guy is a moron is around first year undergraduate physics. That's all. I'm totally serious.

Yes, I'm speaking with unearned authority, having no credentials to share or anything like that. All I can tell you is that I think I know my stuff and I am absolutely confident in my judgment here.

There are theories that I would take seriously in the world. This is not one of them.

This is an example of a recent paper that proposes a theory that is not part of mainstream acceptance, but is not obviously wrong and deserves consideration: https://arxiv.org/abs/1611.02269 .

Note how different it looks. How it has math, arguments, and rigor. How it knows the current state of research in the field. How it isn't posted on a series of fringe websites that seem to all be owned by the same few people. How it doesn't have to tell you there's a conspiracy to suppress it, because its merits stand on their own.

Also, you have to stop accusing me of 'not explaining my views' and 'thinking what academics or governments tell me to". I've written you several thousand words of my views, so those attacks are clearly baseless.
It was relatively fast! I remember it being a matter of months -- six maybe?
State of Global Blockchain Consortia with Interactive Map
This is greag content. Thanks for sharing. Where else in the fil industry do you see python being used in the next 3 years?
For AMEX, there's still a 3 digit CSC code on the back which you will need from time to time.

The 4 digit code on the front is their CID, asked for by most merchants.
Austria election: Far-right nationalist Hofer concedes defeat
Today we have good materials available for almost every purpose. This is quite new. Historically, the available materials were either not very good or were rare and expensive. Through the whole age of armor before guns, only a few people had the good stuff.

Until about 1885, steel was about as rare as titanium is now. Cast iron and wrought iron were used for all sorts of things for which they were unsuited, such as boilers. Reliably good steel was hard to get in quantity until the 1920s. It's amazing how far the Industrial Revolution got with iron. Making stuff extra-heavy was the usual workaround.

Good rubber was developed during WWII. Pre-WWII rubber couldn't tolerate oil. Today you can get tires with a 65,000 mile warranty.

Good plastics came in in the 1950s. The early stuff like Bakelite was brittle and became more brittle with age. Tough plastics like ABS and polycarbonate, and cheap flexible plastics like polyethylene, were game-changers. One of the huge headaches of the early electrical industry was that the available insulating materials (paper, wood, slate, glass, varnish, cloth, asbestos, tar) all had major problems.

When looking at the past, realize how materials-constrained people were.
You can use fingerprints as a password. They aren't perfect but in many situations they are fine.

Security isn't black and white.
Most EULAs aren't legally binding either.
In my experience no plotting software we have today is finished. The sheer infinite range of possiblities of putting data on paper makes it unlikely that this will be the case soon.
I'm not getting anything to play on that page...

Here are some prerecorded videos from these HDEV streams -
https://www.youtube.com/watch?v=Xsm3mX0zqA4

Some of the footage looks almost to be in the atmosphere. Like at 2:44 (https://youtu.be/Xsm3mX0zqA4?t=2m44s) where you can see the moon setting.
Just send an email to the one in the post.
Parrot Security OS 3.1 (ParrotSec 3.1) Video Tutorial
So... DynamoDB?
Yes. Initially, it was a relic from the typewriter days, and the tabbing and indentation was developed to allow each of the affiliated tradespeople involved in the project to do their jobs effectively. But now, it has its own reasons.

One page in a standard format screenplay translates into roughly one minute of screentime. There are exceptions to this rule, but the first thing someone in the business does when they get a new script is check the last page number.

Further, when a screenplay goes into production, the work for the day is organized into eighths of a page, which is used as a shorthand for how long each piece of work is going to take.

So while changing the tabulation and type spacing might make a screenplay more readable, it would make it much much less produceable. At the end of the day, a screenplay isn't meant to be read, and the formatting reflects that.