skysight-inc/HackerNews huggingface dataset:
Another way to put this is that the only Nitrokey product that claims U2F support right now is one that doesn't do OpenPGP, and uses a lesser hardware stack.

If this does U2F, I'd be interested in knowing. I'm not saying it's impossible.
Using normal lat/long to read a map doesn't require you to do a base20 -> base10 conversion, where the characters are 23456789CFGHJMPQRVWX instead of 0123456789ABCDEFGHIJ, and where latitude and longitude are interleaved character by character, in your head.
Falsehoods programmers believe about addresses (2013)
Depends on the jurisdiction but for example in Las Vegas (http://www.gambling-law-us.com/State-Laws/Nevada/) I believe this would fall under NRS 465.070 numbers 2, 5, and/or 7.
For people who don't want to hand a random website a RCE vulnerability just to display some HTML, the supplement and actual article are at http://www.jcgt.org/published/0007/03/04/supplement.zip and http://www.jcgt.org/published/0007/03/04/paper.pdf respectively.
Paying for knowledge isn't FOMO. Would it still be considered FOMO if $7B were spent on Business & Productivity books?
While React Native doesn't fully support native navigation components out of the box, there are third party libraries that interface directly with native navigation modules, e.g. https://wix.github.io/react-native-navigation. Moreover, React Native makes it easy for developers to 'drop down to' native code at any point to fully leverage native SDKs and APIs alongside their Javascript code using the NativeModules API.

Example of native modules with React Native wrappers: https://facebook.github.io/react-native/docs/components-and-...

NativeModules API: https://facebook.github.io/react-native/docs/native-modules-...
Yeah but you'll always have unpatched vulns or 0days. You should patch but you should also account for when patching isn't enough. Sometimes servers get missed. Some places even have forgotten servers that aren't part of asset management. Some places don't have asset management.

The fancy tools are not a onse size fits all solution just like patching and goof security hygeine isn't.
"can't distinguish a corgi from a loaf of bread or specially designed white noise" You are talking about adversarial examples, which are in most cases extremely rare and not detrimental to the typical function of the image recognition system. Even humans have problems identifying some of these adversarial examples. The white noise is particularly troublesome from a technical standpoint. It goes to show that these learned manifolds are not perceptual manifolds.
Why? It might be worse than a <p> and a <ul> with links to papers but it loads ok and it’s basically a point of pride amongst academics to have an ancient or amateurish looking handmade website. Perhaps it is a signal that time is spent on academic work or a that the site was made by the academic (and so has useful materials for academics) and not by some publicist who does not provide useful academic materials.
Get in on Free Brad Feld and Jason Mendelson Venture Deals Course Starting Oct 7
Someone commented recently in another thread that you can make software from order (via languages) or from chaos (ML), or often a combination of the two.

Perhaps determining "meaning" on the web is similar, where the synthetic "order" approach is semantic markup, but the analytical "chaos" approach is NLP, image object recognition, etc.

I think you need both, since human produced content doesn't always follow discrete predefined categories, but also has patterns that can be pre-classified to solve real problems more easily.
This is probably the result of having a diffusion of responsibility. Essentially, a “not my problem” kind of attitude, especially with the company going bankrupt and all.
That's a huge problem with SQL in general. It ought to be trivial to maintain multiple views of the data to allow you to migrate old clients bit by bit, but in practice it's rarely done.

Also, it's a business problem. They can always ask for more cruft and IT has a huge incentive to take the short-sighted route, get promoted and move on.
This reminds me of a fortune cookie I once had, that I first thought was aggressive, and then I found liberating:

"You'd care less about what people think about you if you realized how little they do"
It's a sad time for wireless charging technology. Apple also claimed they would launch wireless charging in 2018, but also might be unable to deliver due to fundamental engineering problems.

http://sonnydickson.com/2018/09/16/what-really-happened-to-a...
RPKI and BGP
Not true and please do not scare the coder here unless you are a lawyer.

Firstly, writing code itself can never be a crime irrespective of how that code might be used. In most of these cases you need to show a victim. If there is no house that lost money because of this guy, if no machine was tempered or someone's code was not stolen I think you are perfectly in green.

Also if the machine is public then using camera and other devices can not be a crime. A house might catch you if you are using a camera on your body to cheat the machine but it is unlikely going to lead to any kind of criminal charges.

If these slot machines can actually be hacked like this and house loses money they will simply get rid of those machines.

First rule about cheating a casino : You don't tell others about it.
There are laws in the US that ban using any machine that enhances your ability to win, even if you never tamper with the machine. This covers attacking the RNG by analyzing past outcomes and predicting future outcomes of the machine. Not what the OPs post does, but just clarifying that you can be charged with cheating even if you don't tamper in the US.
That is interesting. I would think that someone from today who considers the manner in which current youth dance to be sinful would have no problem with the Carole dance. I have to wonder, was there a manner of dance that proceeded the Carole dance that the quoted medieval theologians would have found acceptable?
Its about who is pulling the strings. Obviously NK doesnt care about the US'relationship with Iran, and visa versa.

What OP is talking about, the people who Trump is "negotiating" with on this level, desire an "existential threat" "boogey man" they can use to fear monger and mind control their constituents into a state of distraction and permissiveness, among many other purposes.

The idea here is that Trump was able to trade peace with NK if he allows the creation of a new one, Iran. Iran might serve these interests better than NK, and NK might serve Trumps'.

I'm not saying I agree with that assessment or not, but it is interesting.

Its all behind-the-scenes realpolitik. Who really knows.
It's interesting that this article doesn't touch on this aspect of the situation at all, but when reading about Mochizuki's proof in the past it was presented as clear that proving the ABC conjecture was one application of a new general theory—not that all of Mochizuki's innovations are tied specifically to that problem.

I was given to understand that his work was more like Grothendieck's, where he's developing this entirely new, super general system. But you can imagine if Grothendieck for example had done all of his work for years and years in isolation and then presented Schemes, Topoi, and Motives to everyone all at once, using them in combination to prove something familiar, and expecting other mathematicians to just learn and understand them all in order to verify a single proof.

I think in that case, folks would not have been immediately so interested in the new constructions Grothendieck had come up, viewing it initially as mountains of unnecessarily alien concepts built up just to give other mathematicians a hard time ;)

(Not to identify the two mathematicians overly—I'm not sure how appropriate that really is—but I remember that being my impression when first digging into Mochizuki's work, and I haven't seen it mentioned here yet.)
Unix time depends on the wall clock time, so it is a wall clock time, so it can jump around arbitrarily when the computer clock is adjusted, and its seconds can be stretched as needed for gliding adjustments. Applications need to cope with that.
Implementing GDPR right and security demands
The Nevada gaming industry is lobbing heavily to legalize them. So they can target younger demographics.
It's also important to note that this situation is _precisely_ what Voevodsky wanted to prevent:

For nearly a decade, Voevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of mathematics and computer programming closer together. As he sees it, the move to computer formalization is necessary because some branches of mathematics have become too abstract to be reliably checked by people.

“The world of mathematics is becoming very large, the complexity of mathematics is becoming very high, and there is a danger of an accumulation of mistakes,” Voevodsky said. Proofs rely on other proofs; if one contains a flaw, all others that rely on it will share the error. [1]

Most mathematicians still think of machine check for dealing with a large _number_ of cases; but Homotopy Type Theories goal is to manage abstract complexity not just size.

[1]https://www.quantamagazine.org/univalent-foundations-redefin...
> Sure but now you need to account for orphaned addresses. So in the scenario described you'd either end up accidentally purging the marketing addresses by cleaning up the orphans or you'd send marketing material to old addresses.

I am not sure do I follow correctly but just send marketing to addresses which are linked to actual users. Note that some addresses are orphaned from users but not some other events like orders.

> If an address is to be shared between two people it should probably not include the recipient.

I don't remember details about how recipients were handled. The system was quite simple and just about business addresses. We didn't pretend that address map strictly to single physical place so synonymous addresses were considered distinct. Therefore if a recipient was part of an address that was just another distinction point.

> what do you gain from having addresses as separate entities

> If you just want to be able to say "shipping address is identical to invoice address", why not just have one or two addresses per user and never deduplicate?

In our case customer was always company which may have quite a lot of different addresses for different offices or departments. Addresses also had hight expected reuse and we exposed saved address as a "thing" for a user so that it's easy to browse customers own orders history for different addresses etc.

Uniqueness has been a quite neutral thing. Effectively it just removes case where the same customer has multiple equal addresses... Not much gain nor pain.

Edit:
At the end immutable shared entity is not much different from mutable and copied values. That's just one way of doing it and so far it hasn't back fired.
Might be worth doing the CLFS (Cross Linux From Scratch)[1] path since it'll be a LOT faster to compile things like the kernel and gcc on your deskop computer.

I did this and wrote a bunch of scripts to automate the process. CLFS uses busybox and DropBear to keep things really small (~42MB binary for the entire OS, including the Raspberry Pi blobs) - but you'll learn enough to be able to swap out components of your choosing.

[1] http://clfs.org/view/clfs-embedded/arm/
A quick Google shows Bloomberg terminals are $20,000 a year for more than two. So perhaps $1,188 a year ($99/mo) is to low, but maybe there are different plans that include premium data and features scaling up from the $99/mo plan? Just spit balling. Also, 1,000 customers which is not that many generates $99,000 a month in revenue, not bad.

Finally, at $99/mo you can market to "home-gamers" people who invest from home in a non-professional settings. Much larger pool of potential customers.
A JVM attached as a sidecar to each pod is a waste of resources.

Garbage collection isn't great for a high performance proxy.
Very cool. I've also had a side-project developing something similar for a while: http://sonicpines.com/fretboard

I keep being surprised at people having the same idea e.g., see also Grunfy's post from a few months ago. https://news.ycombinator.com/item?id=17272516
He has some very nice stuff there.

My work-in-progress is also derived from "first principles", although I haven't bothered to try adding alternate tunings yet.

Mostly my focus has been on using it to aid learning improvisation, so one feature i added to my little app was the ability to set up a particular chord pattern on the fretboard and "save" it, so that you can have several different diagrams on the screen at once, e.g., one for each of the three chords in a 3-chord song.

Like you, I also have been using Typescript and SVG, but not D3 (just drawing SVG elements directly using React seems to work well enough for my purposes)
Why? At least it's not hot pink or otherwise eye-blinding. I still find it charming that many Japanese sites seem stuck in 90s web design. But recently I've been running into more Japanese sites that seem to have advanced to mid-2000s web design, with proper CSS and designs that use curves and angles and don't force everything into a box shape (visible or invisible)! That's my favorite era so I hope it's a while before they join the rest of us in bloated SPA hell.
Facebook Is Reviewing Its Policy on White Nationalism After Investigation
I think admission to the summer batch early is compensation enough (and if an applicant doesn't agree, they simply elect to not apply early decision, right?)

Having the plan nailed down that early may allow you to think and develop the idea differently than if you're not sure whether you're doing YC or working a job, what city you'll live in, etc.

Since it's optional for the applicant, I don't see any significant downside that would require an extraordinary amount of additional incentive.
Different data store types are used to solve different problems. An RDF store is designed to help solve the problem of ontological relationships. I wouldn't use an RDF store if I wanted to store information about who has the current high score on my video game or who has signed up to my site for a username and password.

Unfortunately some developers think that once you've chosen one particular storage technology (RDF, relational DB, document storage) that's the bucket you hae to put everything into in order to do anything in your application. I suspect that was the mental model of the other devs in the story above.
It takes me about 3-4 months of being around someone regularly before I'm able to hold a conversation that's more than direct answers to direct questions. It's impossible to hide pretty well, or at all really.

Everyone I've ever known says something like "you don't talk much, do you" or something equally obvious. I used to wonder if people ask others the obvious "you're fat, aren't you" etc. I've learnt that few people like a strange, mostly silent creature being around long. It's very rare that I'm around anyone long enough for me to get past it and actually make a friend.

I read articles that open with "all it takes is a little conversation". Gee thanks. That's the hardest thing I know, and getting harder the further into being an adult I get.
This poses an interesting question. How simple an algorithm can be so that "cheating" it is still considered illegal? At which point it becomes the machine owner's loss instead of the player being guilty of cheating?

Suppose that there is a game that produces random numbers and asks the player whether the next number will be odd or even. If the player guesses correctly he will gain a point and if he guesses wrong he will lose a point. Eventually the machine will pay some amount of cash for points collected. Now, it turns out that the machine happens to produce an odd number after each even number, and an even number after each odd number. If (and when) the player figures that out he can rack up points and get a good payout from the machine. Nobody would dare to accuse the player being a cheater because it's so plain obvious that the machine is just programmed in a stupid way.

Now, let's consider a game that is more complex but still simple enough that you could figure out the algorithm either in your head or by feeding a long enough sequence of the game state to a computer to be processed offline. Then after you've reverse-engineered the algorithm you can play it yourself and you'll know at least something that will happen in the game, ahead of the time. Time to cash the machine again. Is this still not cheating?

How about reading the machine's binary dump found on the internet and rebuilding the game algorithm that way, then abusing the knowledge for gains when playing the machine. Cheating or not cheating? Why? How complex the algorithm needs to be for beating it to be considered cheating? How would it matter where the understanding came from?

As in the article, if the game can be reduced to a database of a number of multiple-choice questions and the answer bit for each correct option, how much protection from "hacking" does the game enjoy and why? Especially if the questions could be answered by knowledge acquired from regular studies instead of reading them from the binary dump? How much complexity is required for this sort of protection? And how about different people considering the game's inner workings very complex vs rather simple? If for one an impenetrable oracle of quizzes is a simple exercise for some other, where does illegality come into play?

When does it become the loss of the game machine's owner or maker if we keep considering ever poorer and poorer implementations?
This looks great but I'll hold off using it until it gets automatic sidecar injection.

The CLI YAML-adulterer doesn't fit into my flow very well.
I've seen a number of "build an OS" tutorials pop up recently, and that's awesome! Building an OS will definitely help you understand how to write better user-space programs, and it's fun.

One thing I wish is that more of them would feature UEFI instead of BIOS, or at least come with a warning, as Intel plans to drop support for legacy BIOS in 2020.

Going through UEFI is actually easier anyway, IMHO. ... Maybe I should stop complaining and write that tutorial myself instead. Hmm.
The only way this works is if there is some central agency enforcing and standardizing the tags/APIs.

People (and programmers) are lazy, and ignorant. If its not in their face broken it frequently won't get fixed. I used to have html validator default enabled in firefox, which would point out HTML errors for every page I landed on. The percentage of web pages that had in your face HTML errors despite all the tools to check for broken HTML still didn't mean people put in the effort to assure their pages were error free.
Basically, if the page rendered "correctly" in the developers browser and maybe another test browser or two, then it was job done.
... which can lead to actually liking fewer people, because to meet new people you really like you generally need to spend time with people you only tolerate. The network effects work better with more overall socializing, and in my experience you can’t even hit the maintenance threshold (let alone the growth threshold) by only spending time with those you really favor.
I own a copy of the HoTT book :)

> Namely the way in which mathematicians structure proofs has fallen behind the ways in which software engineers structure programs (which are isomorphic to proofs).

The problem is that the required structure for writing sophisticated mathematical proofs is much more demanding than even a piece of software as complex as the Linux kernel. Part of that is because software as such, when interpreted as proofs, don't verify properties nearly as strong as a real theorem. The difference between a proof of `Integer -> Integer` and `Integer -> Odd Integer` is already a gulf the vast majority of software does not bridge.

We're just not there yet. Voevodsky's program is a great first step but just that: A first step. No one really knows what the next thousand steps will be. It's not straightforward at all.
Wouldn;t it bump into the same kind of problems that Bertrand Russell's attempts bumped into with the Principia Mathematica? Namely it crashed into Gödel's incomplete theorem?

Disclaimer: What I don't know bout maths would fill volumes, in both senses of the word

Edit: From the down-votes, apparently not.
FYI to author, the video that you tried to delete (quiz.gif) is still accessible. It's still in your git history and can still be viewed easily, probably don't want casino people seeing your face :P
Exactly and some “peculiar” edits in the readme...
Seems to be for a UK specific machine.
Wonder if you print a directory indexed by say the first two word of the question. Not sure that would be fast enough but would be fully legal since it isn’t a device. Would be the same thing as a reference on perfect blackjack strategy which any casino allows (and most sell in the gift shop).
What exactly makes you say that? What cryptosystems has he designed? What has he published? He's the maintainer of the most important tooling for an older cryptosystem, sure. But, by way of comparison, not everyone who works on a TLS stack for a major OS is a cryptography expert.

I actually don't know whether he is or he isn't an expert, but the likely basis for the claim that he is --- maintainer of GnuPG --- isn't a valid one. People have funny ideas of where crypto expertise comes from.

(Disclaimer, or something: I consistently and reliably tell clients that while I'm comfortable testing certain cryptosystems, I am not qualified to design them. ['lvh, one of my partners, is, but he has formal training and I don't.])
I've been able to touch typing in QWERTY for around a year before making the switch to Dvorak. I haven't been using QWERTY for some time after the switch so that might affect it as well. It might be interesting to see if I could get back into QWERTY and still retain Dvorak as I used it for a longer period.
This type of article has been about 5% of the front page for as long as I’ve been in the community (~4 years, lurker for ~3).

Yes, maybe it feels obvious. Yes, it’s doesn’t cite a whole lot of evidence. But it resonates with people, and being reminded of the obvious continues to be useful if not glamorous.

So I’ll keep upvoting those that resonate with me!
Speaking as the sublime-text-git person, something with official deeper integration would honestly be appreciated. There's a few common UI requests which something official would probably pick off as low-hanging-fruit but which are basically impossible with the current API. :D
This is very honest revenue.
Did I suggest they were?
I don't think it's as much like line dancing as it is like a dance that was popular up here in Wisconsin in my youth. (Which was a VERY long time ago.)

Anyway, it was called dancing the maypole. It was slightly different. But it sounds extremely similar to the "Carole" described in the article. Maybe there is some kind of connection to the maypole there? My understanding was that the maypole came to us via the connection of farming to solstice to harvest celebrations. But the old people might have been filling me full of nonsense. Because this "Carole" sounds WAY to similar for it to be coincidence.
I saw a reference to this (not sure if the same article) idea about a week ago and started talking to people at work as if they want to like me if they can find a way to. I've been since feeling less alienated from the broader staff (outside our five-person technical team).

I didn't have any reason to believe it, but thought it was a fun meme and the placebo effect might be pleasing. What, maybe I've begun going out of my way to charm people by believing this is what they want.

I should reread "How to make friends and influence people" -- I remember it being a repetitive litany of "try to please people". But maybe this is the whole point -- people want to like you, but they may need some help.