skysight-inc/HackerNews huggingface dataset:
> So I guess if you're comfortable with modular arithmetic, you can fairly consider this an obvious proof. It relies on another result about primes, but it's very common that one result makes another result easy, and a blanket disallowal of that approach leaves you saying that proving anything is as tricky and non-obvious as proving, proving, that 2+2=4.

But Gowers' point is that FTA relies on a deep fact that is non trivial (as pointed out and proven elsewhere on this thread, the correctness of Euclidean division: https://en.wikipedia.org/wiki/Euclidean_division#Proof). You can sidestep this by using other lemmas in arithmetic, but at some point everything is resting on this one deep fact.

Also, it's not like proving that 2+2=4, which follows trivially from Peano's axioms and the definitions of 2, 4, and +. If something is nontrivial to prove, it's usually because there is something deeper going on beneath. In this case, the fact that Euclidean division works for the integers, but not for other number systems (e.g., Z[sqrt(-5)]), is what makes it deep and interesting.
That small? Wow. Anecdotally I would have guessed it is much higher.

Not that my sample is statistically significant.
Many programmers start their career by trying to optimize their income to achieve independence , rather than optimise their living expenses. this is mostly because the market allows it

it is very rare for someone to intentionally decrease their income for a new employment opportunity , and the highest paying jobs precede your next highest paying jobs.

in the tech industry you are often rewarded for changing your job regularly. if you subscribe to this model, and the bubble doesn't burst , than this can be a very profitable approach to life.
> "Do you really need another conference lineup of all men?"

If they are the subject matter experts, then yes, I would prefer they are all present, and none of them be excluded because we are searching for faux diversity.

When the subject is one's technical knowledge, the actual genetic makeup of the person making the presentation doesn't matter. It's strange that, to some, this is somehow a controversial statement.
Native Analytics: Embedded charting done right, by Keen.io
> > "the majority of people live below international poverty lines"

> The international poverty line is ~$700/year. India's average income, adjusted for purchasing parity, is $6100/year.

The mean income (which is the average for which that statement is true) tells you nothing about whether the majority is above or below a certain point, unless you know independently that the distribution is normal, so that the mean is also the median (but that's unlikely for an income distribution in a country.)
I don't fully understand. You cannot take back your public contribution, just as you cannot ask the patent office to erase the patent from all records and have everyone aware of it forget about it, and remove each and all references that build on that patent.

The world would be a much different place if smart people in the past hadn't invented Copyright and Patenting, which both are mostly being misused and are not used to foster innovation. Back then it was normal to hold onto secrets and patents and copyright were invented to incentivize publication under well-defined and not too long exclusivity periods after which other can freely improve on it. But today we have 20 year patent monopolies and Disney copyright absurdity.
Not for nothing, but "being patronised" is usually right up there on the list of common female developer complaints.
Eclipse Neon Released today
> Is that compatible with non-apple devices?

Yeah, here is a list of a few products: https://support.apple.com/en-us/HT204903
The term you're looking for is "chronological snobbery," coined by C.S. Lewis. It's the idea that something is worthless because it isn't new.

https://en.wikipedia.org/wiki/Chronological_snobbery
For whom is spam actually a problem? Filters are absurdly good.
Problem is, we only ever mess about with small numbers. Take some absolutely humungous number, N, and find, somehow, that it's a times b. Suppose someone else asserts that it's c times d. These numbers are enormous, absolutely enormous, so the question is: if a, b, c, and d are all prime, is it really obvious that these two ways of writing N have to be the same?

Edit: As pointed out elsewhere (and in the sibling to this comment) there are systems where "prime" and "irreducible" are not the same thing. In the integers they are, and that's sort-of why the FTA is true, but in other places they aren't, which is why the FTA is not obvious.
If there's evidence that conferences are deliberately excluding women speakers, then that is a bad thing. Not just because of sexism but because the conference would be deliberately narrowing its field of potential speakers.

But why would we favour new speakers who are called Katie (or only new speakers who are women?). We should choose speakers who are experts, and new speakers from all possible candidates.
You can automatically spoil GoT to your friends, because people are horrible
This reads to me as: They took a working system and did parts away until the system failed (or did stgh "odd" towards failure). Then they were looking at the pieces they took away and guessed what functionality these pieces have.
This is a false dichotomy, there are Android phones which are distributed using the Apple model (straight from the vendor with no cruft, activate on whatever carrier you want). Moto X, for instance.
Remove duplicate characters from String
Not at all, anyone can "join" the network, but nobody can decrypt the traffic without the key.

Zigbee has built-in, easy, encryption. You simply set your router to allow unsecured joins temporarily whenever you get a new device, which then learns the key.

When the network is set to allow only secure joins only devices pre-configured with the key can see anything other than encrypted frames.
Do you know an article about that? Did not find anything about a life form without DNA, except http://news.nationalgeographic.com/news/2010/12/101202-nasa-....

The definition of life itself is not really obvious to me either, some sources count viruses as life other don't.
Ticalc.org turns 20 years old today
GNU Guile beta 2.1.3 released
> It's strange that, to some, this is somehow a controversial statement.

What you are saying is not controversial, but nor does it reflect reality. Conference speakers are not solely selected on the basis of being the best at what they talk on.

This is not a call to add people who are inexpert, it is a call to find experts where you don't usually look.
It could also be false if there were two different pairs of prime numbers with the same product. See Answer 4 in the article.
Many people don't trust that it will be "implemented properly and to the spec". Even look at something like Displayport on Macbooks - the hardware chosen and standard used is functionally capable of spec'd features like passthrough, and this even works on non-stock operating systems, but Apple simply refuses to implement them in their drivers.

Digital, analog, or both... I don't want to have to worry about the parts of the spec implemented on my specific device's connector. Stereo audio is not complicated stuff and shouldn't be made to be that way.
At least they care about 1st class support on Android Studio, instead of InteliJ + sbt + missing support from Android tooling.
Sweden can extradite, but not without permission from the UK. The terms of the European Arrest Warrant states that Sweden can't extradite him to a third country without permission from the UK. This means the US would have to convince two governments instead of one.

The UK will extradite to the US for a capital offence, but only with a written assurance that the death penalty will not be applied. I don't think the US would risk its extradition treaty for the sake of one person.

The question the Assange fans never seem to want to answer is why, if the US secretly wants to have Assange extradited, they didn't do that in the months when he was under house arrest in the UK. Why would they concoct an elaborate conspiracy to get him to Sweden so they could extradite from there, when it would be harder than extraditing from the UK?
Actually, you're pretty much spot on. The word you want is "irreducible", rather than "indivisible". In general rings there are irreducible elements and prime elements, and they have different definitions. You're looking for a unique factorisation into irreducibles.

https://en.wikipedia.org/wiki/Irreducible_element
https://en.wikipedia.org/wiki/Prime_element
Amazon will soon dethrone Best Buy as the top seller of consumer electronics
As a layman, I noticed the abstract said that "caramel colors" need to be evaluated further? why would that be? Also, would honey classify as this "caramel" color or does the coloring here refer to something else besides the color of the food?
IoT won't be a source of revenue for telcos
Thank you for your reply. I have yet to be confident enough to apply directly to companies I like, even though I am in my prime. I keep wanting to make sure my portfolio is "perfect" heh. God speed dude.
US government conducted airflow tests on NYC subway to understand bioterror risk
The Open AI version: https://news.ycombinator.com/item?id=11950687
Lots of genuinely interesting speakers. Full of puns. I wish it was real.
Dotty is Scala. It's an experimental project with the aim to clean up stuff and be eventually mainlined.

And I think a bit of simplification and formalization is exactly what Scala needs, in the long run.
> Relatedly, big box retailers that offer little advantages beyond availability and low prices are being outdone by Amazon on both counts. In the very long run it is hard to see why they will continue to exist.

I have lately noticed amazon is increasingly more expensive and return policies more restrictive. Yes, it is good for their business but I find amazon is getting less compelling offering for me.

And the 'very long run' part is cleverly phrased obviousness. I mean in the very long run I do not see why human with so many shortcomings would not be replaced by some superior digital form of life.
`2,000 requests/second on a modest 8GB server`

Are you kidding me ? How is this fast ?
The more I think about that the more makes me believe that the Genome is not the smallest order which defines "life".

Maybe all is hidden behind getting blurry because of Heisebergs uncertainty principle.
You embarrass yourself. Should the people who figured out that asbestos caused cancer have proved it by inhaling asbestos dust on camera, and then contracting cancer?

If you were one of them, would you do that?
San Francisco has some of the highest property values in the world. By what definition is that a success? "Don't fuck with success" sounds here like "dont fuck with lowering obscene property values because then homeowners might be slightly less loaded than they already are".
So this page is saying that all these speakers are good generalists who can brush up on any topic and deliver a reasonable (maybe not great) talk? If you "need a bit of diversity". That's really patronising.
That's a fair point, and I agree. However, the reality is that a major selling point for these things is along the lines of "control it from anywhere", and whether people actually need remote access or not, it seems that a lot of consumers still see it as a major upside.

Maybe what we really need are more consumer-friendly, self-hosted (and secure) home VPN options. That way you can just run your services on the local network, and still have remote access without opening your devices to the world (or to other companies' servers). Until the average grandma can do that, the "personal cloud" idea will probably be overshadowed by manufacturers' desire to provide proprietary remote access options, because those go hand-in-hand with things like subscription pricing models, data mining, etc.
How Many Calories We Burn When We Sit, Stand or Walk
> If there's evidence that conferences are deliberately excluding women speakers, then that is a bad thing.

The thing is, it's rarely deliberate. It's a subconscious bias thing. Which is why people use blind talk submissions - they're evaluated solely on the basis of the content of the talk.
Nice concept
People here are saying that this page is trying to create awareness that there are enough females in technology to ensure greater numbers of female speakers at conferences, and that conferences should try harder to achieve that.

Why is that the responsibility of the conference? As far as I'm aware most conferences call for proposals to be submitted. Whether or not anyone of a particular group applies to speak at that conference is not necessarily a fault of the conference organisers? Are there conferences that actively seek out the majority of their speakers?

I am in favour of a wide variety of speakers at a conference (the more viewpoints the better), but this seems unnecessary. I would have liked for this to be a real conference though, the topics are great.
While I wouldn't have traveled to Australia for this, I find the concept of an idiosyncratic conference like this very cool conceptually in addition to supporting the political statement.

EDIT: I initially wrote Canada instead of Australia. Not that this changes the sentiment. Thanks for catching the error tedmiston.
Additive method: Synthesize genomes with the genes you expect to be necessary, pretty much an optimization problem on the number of genes where you continually try to remove genes that were in previous iterations.

Subtraction method: After reading a bit of the paper, they utilized Tn5, which causes a DNA sequence to be arbitrarily inserted into the DNA (Random locations). This randomly disrupts genes, causing them to likely not function correctly.

Here's the logic:
If all genes were necessary we would expect no cells to live that had mutations.

If no genes were necessary we would expect all cells to have mutations at about an equal rate relative to the space they occupy. (Assuming no bias by the Tn5, but that's a nuance)

What they instead found was that some cells grew, but there were certain genes that were not mutated, meaning that they are likely necessary.

They also classified a few things like studying the growth of the cell (Slow growing, but still viable was classified as "quasi-essential") and implanting their minimal genome in another species, which failed giving evidence that a subset of genes that are sufficient for survival are not necessarily sufficient in all cells.
The WHOIS points to the 2nd Katie down on the left speakers column. I was half expecting it to be a guy.
Speaking of funding, Sam has a Patreon page to support his amazing work (and transitively the children learning to code with his tools). It's definitely worth supporting with a few quid a month at https://patreon.com/samaaron
i just used an iphone app (IQBoost I think..it's been a while) & did the sound+vision version with headphones, practicing in groups of 3 with a break inbetween until & got bored
Seems as though the GOP Senate are equally steadfast against any discussion on limiting access to guns as they are to eroding what little privacy US citizens retain. How can one amendment be so untouchable that it actually harms another?
Everytime we try blind auditions we see more women being picked. It's the responsibility of the conference to guard against bias.
This is a really great point. Should there be a pay-to-play portion on these, e.g. Your copyright will "expire" and revert to the project(?) Should you not commit changes for a period of 2 years.
The real price of a Bitcoin exchange
Oh, I see. Is it really true that organizers filter out some part of the demographic, or are women due to bad experience not trying to present? I didn't organize a conference, so this is a serious question.

I mean, encouraging everyone to attend, submit talks, and ensure they all feel welcome and safe is more useful than making it seem like women (or some_x) are only at a conference due to maybe a diversity quota.
It's hard for me to grasp what this negotiation would look like. Particularly with objects that haven't encountered each other. It just seems like such a huge problem.

I don't really know anything at all about microbiology, but maybe climbing the ladder of abstraction to small insects like ants. There is clearly negotiation and communication happening there, but I have to think it's pretty well bounded. Even if one ant encountered another ant, and needed to communicate where food was, it's with a fixed set of semantics that are already understood by both parties.

Or with honeybees, doing the communication dance. I have no idea if the communication goes beyond "food here" or if it's "we need to decide who to send out."

It seems like you have to have learning in the object to really negotiate with something it hasn't encountered before. Maybe I'm making things too hard.

Maybe "can we communicate" is the first negotiation, and if not, give up.
They are accessible over HTTP. http://git.savannah.gnu.org/cgit/nano.git/commit/?id=115aeda...
I don't know what I need John Gruber is. But I'd say those quotes you pulled are pretty intentionally characterizing the potential (and legitimate) issues somehow acceptable. Why would I want Apple to regulate the third party headphones available to me? The headphone market might be a bit too large to track, but having that many choices isn't a problem in my mind. I'm free to research and select from the myriad options at any price point. Those who prefer to buy Apple endorsed products can go to their store and find Beats or whomever on the shelf. Tell me what advantage is gained by eliminating the other options in be market?

And I see no significant advantage to the change in technology itself. Optical ports provide a measurable advantage in sound fidelity over analog, but you haven't seen them eliminate composite or component ports from home receivers, because there are also significant disadvantages in cost and length of optical cables. I don't even follow that there's such gains to be made from switching to lightning...

Which leaves me at the obvious conclusion that this is just a ploy to sell more adapters and reap licensing fees from vendors at the expense of their customer.

And remarks he makes like "Cough up the extra $29 for a new pair" convey exactly the tone that is bothering us all.
Blue-rich light from LEDs impacts human health and the environment
I am reminded of an advertisement for "compressed molecules" lager from the 80s. This is the only reference I can find:

https://broken-tv.blogspot.co.uk/2011/05/when-advertising-wa...

I was starting to think I'd imagined it.
I for one would love to see the 'etc' expanded, but in any case I do appreciate you taking the time to respond. Thanks!
He's Australian.
When I work from home my office calls my cell. So I often have my headset plugged in and my phone charging.

Wireless headphone tech isn't there yet. There's problems that are going to be fairly difficult to solve. Problems that won't be solved in the next iPhone. For instance, again when I'm working from home, my headphones get unplugged from my computer and plugged into my phone when a call comes in. With wireless I would have to unpair from my computer, and then pair to my phone.. Not to mention, for longer calls I'd have to wear my headphones while they're plugged in? Or what?

All this trouble for a thinner phone? Is the iphone 6s really that fat? I don't need it any thinner. Do 95% of people need it thinner? It looks like they are solving a non-problem and introducing new ones. (Or what's really going on is the whole DRM lobbying thing, and they're just pulling sleight of hand.)
Hold on - it sounds like this thing is running Android. Has reference to connecting with ADB, apks, and Android versions. But it's also running a SSH server and OpenWRT? What's going on there, is it running 2 different OSes for some reason, or did they somehow merge Android and OpenWRT?
> Katherine is a town in Northern Territory, Australia.
But more to the point: there is no purpose to SSL/TLS on an appliance because it will not have a valid certificate, hence it won't protect anything. You might as well just use WPA2-PSK.
I did not know that about Savannah. I am mainly familiar with Github, Bitbucket and Launchpad. I guess there is no point hiding from the bots these days.
Link to the AMA report (warning - PDF)

http://darksky.org/wp-content/uploads/bsk-pdf-manager/AMA_Re...
I'm guessing he means RNA viruses
https://en.m.wikipedia.org/wiki/RNA_virus
> Right now it looks like certain games won't work on every headset. This immediately tells consumers to wait for standardization. It's a fucking monitor. You don't get to have exclusives for your monitor.

Alright...I'm triggered, let's do this!

Here's what a VR consists of, which makes it substantially more complex than a monitor:

* Image warping. This is currently built into drivers, specific devices may require specific warping so that the images look correct after lens distortion.

* Latency reduction techniques - both the Rift and the Vive have different techniques for handling what happens if your FPS drops. I believe both of them take a rendered image that is out of date, and re-project it so its now up to date with your current head position. That is some complex math.

* Head position tracking. This is a combination of accelerometer/gyro and a lower latency but higher accuracy tracking solution like the lighthouse.

* Input devices. For example the Vive controllers communicate directly with the headset. The input devices also track physical position.

* Output - as well as sending position back to the computer, they may also send other information such as controller button presses, your IPD (because different IPDs require different graphical output).

In the future we will have some crazy optimizations going on to improve efficiency. Such as splitting each eye into four renders. Foveated rendering, which would mean the headset would contain a very low latency pupil tracker so that only the area you are looking at would be rendered with high detail, and so your eye direction can be known to the software.

All that said, yeah it's possible to create a standard wrapper around this stuff, but saying it's a monitor is not really true.

>As an aside, I like moving my focus with my mouse. It's incomparably more accurate than hoping my deviated septim is pointing exactly where I want to look. If you can't disable headtracking that's an immediate red flag for me.

Also talking about mouse input makes me feel like you haven't tried the Vive. It's not about giving you an advantage, the draw of these technologies is that they can make you feel like you are there. Think about the difference between playing angry birds on your phone, vs actually picking up a giant bird, putting it in a slingshot and destroying some houses.
Those tools that help with distributed messaging are logging or sugar coated logging. Logging can be a part of a debugger, but it's not the core reason why debuggers are used.

Usually "debugger" refers to running a controlled portion of a program, to some specific position is reached (breakpoints, stepping) or until something in program state is true. When the condition is met, the debugger suspends execution.

Debuggers also offer ability to inspect program state.

Chrome developer tools can do request logging. It can log the HTTP requests, timelines, Javascript console, etc. It also contains debugging tools for Javascript, but those are rather unlikely to help with debugging distributed messaging.
For me is better than the movie...
> "Why Lightning as opposed to USB-C?"

Why use either? One of the main reasons behind this push to get rid of the 3.5mm jack is DRM. Is that something you really want?
Tales of Three Cities
Hammers work great. Always have.
From Instagram's medium post

> Instagram currently features the world’s largest deployment of the Django web framework

I think it is fair to assume that they use Django pretty heavily from that.