skysight-inc/HackerNews huggingface dataset:
(Life on enceladus -> Life is common) does not entail (No life on enceladus -> Life is rare) by any length of proof, much less one short enough to let you call it a "corollary" with a straight face. This would be so even if "Life is common" and "Life is rare" were perfect logical complements, rather than being endpoints on a wide spectrum.
I wouldn't call Zoroastrianism an "obscure" religion at all. The term really doesn't fit.

Zoroastrianism was a major religion and the religion of one of the worlds major empires years ago.

True it's declined and doesn't have many adherents today but the word "obscure" just doesn't fit.
I wrote out the mechanism that I'm proposing down lower, and I'm going to paste it again up here so that people see it.

My idea of how Metabolism First would work is something like this:

1. You get a lot of weird chemistry happening, say, in pools of water. This chemistry starts creating large organic molecules that are like sludge building up in the pools. These molecules are dead, but they are rich in energy and perhaps interesting building blocks. Maybe they are made of amino acids.

2. Now you have this unbelievably rich energy source, and at some point there start appearing chemical chain reactions that start "eating" the sludge.

3. Life originates from these chemical chain reactions.

I suppose it kind of flips the prevailing hypothesis around. Rather than have lightning and such build our proto-organism directly, instead it builds up a sludge that the proto-organism eats.

With the planet being sterile, this organic sludge could build up forever until something figures out how to eat it.
Looks like we first cultivated "garden strawberries" in 1714[1]. Before that we just had "wild strawberries", which are small and not very sweet. I don't know now they've changed nutritionally (probably more sugar), and I doubt they've changed chemically.

[1] https://en.wikipedia.org/wiki/Strawberry
Presumably "go to Pirate Bay" was meant to imply "download a pack of ROMs".
Red Hat and Fedora use fwupdate which supports ESRT/UpdateCapsule. Pretty sure this is UEFI specific.
https://github.com/rhinstaller/fwupdate
@davesailer Thank you for sharing this!
Obviously United screwed up and seems like a horrible company, and I think that forcing airlines to more explicitly disclose how flights are overbooked to their customers, including the resolution process seems reasonable.

But police getting involved in non-criminal matters? Not strange in the slightest. It wouldn't be strange at all for someone to call the police about a trespasser or removing a customer that refused to leave (from a bar, restaurant, retail store, and so on).

It's even less shocking since as part of buying a ticket you agree to a contract of carriage (which is a shitty adhesive contract, but that is a separate issue) in which you agree that United has the right to remove you from a flight.

And again, just reiterate, I found the content of the video abhorrent, but making a 1 off rule against airlines seems totally arbitrary. If all other types of businesses are allowed to call the police, why not airlines?

Do police coerce people with violence? Sometimes, yes. But what does that have to do with United. That's an issue with political authority.
Note that NATS is currently pub/sub, which is a "if a tree falls in the forest" situation. Messages don't go anywhere if nobody is subscribing.

So it's awesome for realtime firehose-type use cases where a websocket client connects, receives messages (every client gets all the messages, although NATS also supports load-balanced fanout) for a while, then eventually disconnects.

NATS is ridiculously fast [1], too.

There's an add-on currently in beta, NATS Streaming [1], which [2] has durability, acking/redelivery and replay, so covers most of what you get from both RabbitMQ and Kafka. It looks very promising.

[1] http://bravenewgeek.com/tag/nats/

[2] https://nats.io/documentation/streaming/nats-streaming-intro...
> The only call for full sized desktops is people like me, where cramming in full sized GPUs, more than one drive, and 32+GB of RAM is required.

That's exactly why I'm still stuck on a desktop.
Hi all! I'm the person who made this. If you have any thoughts, please share em here. I will be checking this thread regularly. :)
Plaintiff should be aware that according to Citizens United ruling corporations are persons. So it's corporations who must serve jail time, not officers who create corporations with explicit goal of protecting themselves in situations like this.

/s
Sounds like the choice paralysis discussed here yesterday: https://news.ycombinator.com/item?id=14102937
This link led me on to a little bit of wikipedia reading where I learned something that really surprised me: according to wiki, Xerox today still employs more people than either Microsoft or Apple, 130k to their 115k each. Am I the only person who finds that shocking? I had no idea they were still so huge. And this despite their market cap being a hundredth of Apple or Microsoft's.
I'm not sure what places are like Xerox PARC now, but I want to create something like it again in the near future. Only for space-related ventures.

My uncle was on the original PARC team so I'll see if I can get an answer from him to answer the quora question.
Ask HN: Anyone use 'smart glasses' as primary coding monitor?
Just wanted to check in and see if anyone here has ever tried using a pair of 'smart' glasses (VR / AR / ? ...) to program with. I'm thinking of something simple with an HDMI input I can just plug into my thunderbolt port and project my IDE / web browser onto.

Background: I tend to sit in a reclined position with my feet elevated when I code but my neck and upper back then have to strain to look at what I'm doing on the screen. If I could fully recline with a head mounted display I think it would take some of the strain off. I realize a standing desk is an option to avoid neck strain but I'm curious about the glasses use case.

It seems like the wild west out there right now in terms of modes, options, models and price points so was hoping to tap the collective here to avoid problems.

I'm not looking for AR or 3D capabilities, just large format immersive (probably some translucence).

Here's a couple of links for reference:
https://www.youtube.com/watch?v=yRFv9XxXnh0
https://www.youtube.com/watch?v=bYPmpMPLa6Y&t=687s
I love how Stripe is transitioning into a services company for internet companies, particularly startups.
I hope Amazon does not buy them out. This is getting a little out of hand.
Nintendo should follow this announcement with a new NES classic edition that has a few more games but twice the price.
It is amusing how he went from being a die-hard PC curmudgeon that would troll Mac fans to one that was a Mac enthusiast who trolled PC people. Anything for the clicks!
Tesla Model 3 will have final reveal in July before truck launches in September
The new controls are basically Wiimote add-ons. The original NES controllers have a different communication protocol.
> we haven't seen anything comparable from Google's Advanced Technology and Projects program

And we won't because all those things have already been done.

The laser didn't come from Bell but from Hughes btw.

> PARC and Bell Labs were at the right place and right time to make fundamental contributions in the nascent areas of digital computers, software, and digital communications. They caught that wave perfectly.

Precisely.

> Now we're searching a similar revolutionary technology that will open the floodgates of innovation, but it's not apparent yet. Machine learning and AI? If that pans out, Google Brain/DeepMind would be well situated.

Machine learning is disruptive to a degree that the web never was. The web is augmentative, machine learning is pure disruption. Jobs that require lots of people will soon open up to automation, this is going to change the world in very fundamental ways if it keeps going at the rate that it does right now.

The last three years have seen one humans-only benchmark after another give way and the party is just getting started.
An guy my in-laws know can do this as a party trick.

Just talk on and on without using that char.
One thing we can observe is that parts of the planet have been completely isolated from each other for many millions of years, until very recently when human travel has brought "invasive species" to places where they've never been.

I think this proves that there was no civilization advanced enough to travel between continents for however many millions of years the evolutionary isolation can be proven. I'm guessing it's at least some dozen Megayears.
That's a good way to use your time.
You could point to Mr. Musk by using his South African origins, but also with circumlocutions such as:

Zip2 collaborator

X.com collaborator (by and by, part of PayPal, of which a principal and also a primary joint stock-holding guy, and so an original PayPal Mafia "mafioso")

Mars colony instigator, for which aim's promotion also principal of orbital propulsion firm with first major victory involving launching an orbital craft propulsion unit again and again

Popular luxury voltaic-propulsion motorcar firm kingpin

SolarCity capitalist

Scary fast monorailish-but-not vacuum transport plan originator and champion

Philanthropic patron of folks with a major fascination for AI, apologists for both caution and gusto about it

Boring Company instigator with plans to dig subways in L.A.

plus additional stuff (that guy has had a hand in astonishingly many things...)
> Square pegs don’t fit in round holes, but what if you have power tools?

Plastic fumes :(

> But it doesn’t have to be this way! In this post, we present a technique that we use for intelligent cropping: a fully automatic method that preserves the image’s content

This seems like overengineering. Why not just build a UI to quickly crop a set of images exactly as desired, with a scalable box given the required aspect ratio?

Since it's likely you'll want to verify these kinds of images before posting them anyways, and might go back and fix some later, it seems like you're not really cutting down on anything other than maybe a few seconds per image to move that initial bounding box.

Though it's cool nonetheless.
It doesn't have to be a perfect process, or even one that's "feature complete" when it launches. It just needs to be something people can latch on to.

Like if a previously certified device is found to be full of holes because of a new attack vector, that vendor can be forced to address that issue or lose their certification. Right now the consumers have no recourse other than an ugly class-action lawsuit.
The average 4th year US service member will probably have put up with massively more crap than the average college graduate. Which makes them tough in a specific way. That seems plausible enough :)

What I was objecting to

A) "Life is tough/ college isn't".
Put in those terms, "Life is tough, X isn't" works for basically anything. And, I would argue, military service is closer to college (specific schedules, insulated from real world, the amount of time spent on PS/XBOX) than real life.

B) the tone that seems to indicate that the military has a monopoly in all types of toughness.
Fascinating topic. I wish I knew how to interpret Coltrane's diagram. Any ideas?
On the other hand, imagine the neat tricks they could come up with using magnesium alone.

Would they have to be underwater, though? They could use the sea surface, provided the atmosphere is not toxic to them.
HP tops all of them at 300K (or rather, did until the formation of HP Inc.).
"If the airline arranges substitute transportation that is scheduled to arrive at your destination between one and two hours after your original arrival time (between one and four hours on international flights), the airline must pay you an amount equal to 200% of your one-way fare to your final destination that day, with a $675 maximum."

It certainly looks like they are specifying a maximum compensation for the relevant situation here.

But suppose it were entirely up to United. Whenever I've asked people what United should have done instead, "offer more money!" is really the only response I've gotten. Even if the amount were much higher, there could still be scenarios in which people would refuse it for whatever reason. And even if it were entirely up to United, that seems like very minor mistake, if you could call it that. And certainly nothing that should cause anything resembling "moral outrage." Particularly when their flight bump compensation is in line with all other major airlines.
I've had some times in the past where my chair was really causing me discomfort. I thought it would be nice to be able to do something similar--perhaps even lay down with one of those split ergonomic keyboards. (I rarely use a mouse)

I didn't find much during my investigation at the time, but this was a couple of years ago. There were some VR headsets that people had hacked up to show a terminal, but not much beyond that.
Yup, and Uptane is supported by ATS, which is also open source and provides a full management system:

https://advancedtelematic.com/en/press-releases/ats-presents...
I've been reading the book he mentions, "The Dream Machine", by Mitchell Waldrop. It has been a great read so far (I'm a little past the point of the creation of ARPA), particularly the section about John McCarthy developing LISP and conceiving of the architecture for time-sharing.

Reading it has felt like I'm paying my respects to the pioneers of our field, because I am humbled by what they achieved.
If you click "Show more", that's the longest CL description I've ever seen :)
> Have I been cheated? Of what?

First of all, let's get things straight. A copy that matches the exact original specification with the same material is the mythological unicorn of the knock off business. Finding something genuine in an underground world that thrive on selling counterfeit goods is probably an adventure on its own.

You don't get cheated buying a stolen car if you were looking to buy a stolen car. Same thing here, you bought what you were looking for, no cheating.

More generally, you are going to pay more for a "perfect copy fake" than a basic fake, so you are in the same boat than the guy thinking he was buying the real stuff: if the vendor is lying, you were cheated out of your money.
Mars-bound Musk
I have an iPhone 7. I also have a hearing aid that is Made for iPhone, meaning that it connects to the iPhone using Bluetooth. Audio streams directly to my ear. It's pretty sweet. It's taken me from being terrified of speaking on the phone to having a job where I spend at least 2 hours a day on phone calls for business.

Unfortunately, three days ago, my hearing aid's BT antenna stopped working or something, and now it won't connect to my phone. Holding the phone up to my ear works fine, but I miss a LOT because the sound quality is much less. (Your microphone -> my phone speaker -> my hearing aid microphone -> my hearing aid speaker -> my ear.) And super unfortunately, because the iPhone 7 doesn't have a headphone jack, I can't just plug in my headphones. I have to go buy an adapter. I don't want to do this, because I don't normally need an adapter and don't want to spend $40 on one when I'd only need it for a few days until this is fixed.

Also, since I'm profoundly deaf, Air Pods are completely useless to me. It sucks. It really, really sucks. I met with my audiologist on Monday, and they're sending me a new hearing aid that should work, but in the meantime, I'm stuck holding the phone to my ear and being unable to follow conference calls in any meaningful way.

I feel like Apple could have sold Air Pods while keeping the jack. :(
If you have the time could you try reproducing it on the Firefox Nightly? I'm able to repro on v51 but not on Nightly.
Why that? I've been emulating nes and snes games for nearly twenty years now with no issues. Not clear why you recommend against it from reading your link.
With RadioShack going under, AliExpress is my goto for basic electronic components, but it can be painful when you need to wait 3 weeks for a new part to arrive.

But I don't like how Amazon because of how they treat their workers. Maybe the engineering positions are awesome, but warehouse workers and deliverers seem to be worse off than a Wal-Mart employee 10 years ago
Hindsight is 20/20.

I am guessing they might have had to delay/cancel a flight if those four employees didn't get there, which could cost tens of thousands/hundreds of thousands
It doesn't have to be crypto. Right now a basic check done by a post-grad student could probably catch 90% of the most glaring problems.

Your dishwasher has an HTTP port open? That's not good. Your webcam uses port-popping UDP to open up a VPN to some random server in China? Yeah, we're not certifying that.

We're talking about basic port mapping and monitoring of the device in operation to make sure the network activity observed has some reasonable correlation to the actions performed on the device. Most consumers don't have the tools to do this, nor the patience to perform these tests, but these tools are cheap and easy to use by anyone with the inclination.

You can do additional fuzz testing quite easily, plus inspect the data stream for plain-text data that should be encrypted.

If as part of the certification you needed to submit a document describing what encryption methods you use and what system you have in place for dealing with compromised keys and such, great, but I don't see that as strictly necessary. Considerable improvements to the marketplace can be made with very simple tests.

This is the equivalent of plugging in an electrical device, observing it catches on fire, and giving it a failing grade. No specific knowledge of electronics is required.
> Because it erodes trust in the platform, obviously. Would you buy something from a website if you were concerned it might be counterfeit?

It just seems like it'd lead to exactly this kind of effect (quoting another user from above):

> I frequently purchase from Amazon, and haven't(to my knowledge) received counterfeit goods. Generally I stick to "fufilled by Amazon" or otherwise first-party sellers, so that may have something to do with it.

Trust in the platform entails "the buttons worked as expected (i.e. didn't glitch me out of my money)". Trust in the product and sellers can be eroded, but that just makes it more likely that users would next time look for more trustworthy sellers.

I suppose you meant a trust in the ecosystem, but that wouldn't necessarily be eroded either as people would tend to assume that as long as you're smart about it you're fine. (e.g. people get mugged in shady alleys, but this doesn't erode trust in city living - people just learn not to go down those alleys.)
I agree 100%. Eliminating gerrymandering is only going to lessen the two-party polarization problem, not solve it.

From what I understand the party proportional system is what's used by Germany, Japan, and many other nations with modern constitutions.
I think this is a pointless figure for a number of reasons.

1. Their stock is where it was last Friday.

2. We don't know how much the stock dropping is due to the outrage or due to whatever else. 1-3% fluctuations in stock, even intra-day are common. Delta airlines today for example lost 2.2% whereas UAL lost 1%. And the whole market has been down this week.

3. When Amazon loses 1% of its stock, it loses 4 billion in "value".

4. Loss in market cap is not loss in value to United. Its a loss to shareholders collectively.

5. The short term losses don't mean anything if it rebounds.
do you really think that about deep learning? it has zero application or effect in my job (i don't see that changing for at least the next decade) and in my personal life, it only serves to produce "better ads".
Well, in your article you mentioned that you tried to use Cassandra for one task and had to jettison it because of unexpected performance problems. You had to re-approach the problem with a whole other DB. I would say contradicts the point you're making.

I'm not arguing that most problems need a custom database, only a minority do. I'd say that this problem is borderline on which direction to go.

Databases are very leaky abstractions as you all discovered. The nice thing about custom code is that you don't have leaky abstractions. The bad thing about custom code is that you have a large new untested surface area.

In the case of your application the requirements are so minimal, a bitfield plus a log, I'd say its a wash.

Programmers today forget that things like flat files exist and are useful. It's a shame, because you wind up with situations where people just assume they need a giant distributed datastore for everything.

What you're doing in that case is trading architectural complexity for code complexity. Now, if its the case that all data in your org goes in one data store to keep things consistent, great, that makes sense. But for a one off app I just don't buy it.
The decline in the industrial sector seems more likely correlated to the general decline of US manufacturing capacity.

The rest is less clear to me. More efficient lighting and HVAC seems more likely to move the needle than anything related to computers.

Nice breakdown of where the electricity goes from the EPA:
https://www.epa.gov/sites/production/files/styles/large/publ...
True, however desktops are getting more efficient, too. You can have an impressive amount of computing power (GPU and CPU) with a couple hundred watts.

Just a couple of years ago I had a 800w PSU to be able to run modern games. Now I have a mini-ITX machine with a 450w power supply with a lot of room to grow. I'd estimate actual power usage to be 50-60% the nominal capacity at peak.

It's hard to compete with a laptop in power consumption, of course. My CPU's TDP is higher than 35w. It's an I3, so Intel says 51W TDP. It will still run circles around the laptop's cpu.
Dell UP3017Q '4K' UHD OLED Monitor
I came to write exactly what you wrote. Here's an upvote brother from another mother.
Canned tomatoes are almost always better than fresh at a grocery store anyway. Fresh tomatoes need to be picked too early so they're firm when being transported. With canned they can pick at ideal ripeness and can straight away.
In the 90's, if a developer made a game with a cheat code that was 'exclusive' to buying a particular strategy guide, would it be unethical to share/use that cheat code without buying your own copy?

I don't think so.
Best Kids Bikes Review
Yes. But since we're quoting Wikipedia, here's the summary in Wikipedia of the chapter from JFK's Profiles in Courage about the senator who opposed Johnson's impeachment trial in the senate:

Edmund G. Ross, from Kansas, for voting for acquittal in the Andrew Johnson impeachment trial. As a result of Ross's vote, along with those of six other Republicans, Democrat Johnson's presidency was saved, and the stature of the office was preserved.

The point is that the fact that Johnson was able to stay in office was until quite recently widely viewed as a positive outcome.

(ADDED: And the fact that it was in Profiles of Courage in this manner may well have influenced how I learned about the event.)
ASCII, UTF-8, ISO-8859-1 (Latin-1), Shift JIS, among others.
Did you click "show more" on the commit comment? Much of the CL details are simply hidden below the fold, as it were.
> The only call for full sized desktops is people like me, where cramming in full sized GPUs, more than one drive, and 32+GB of RAM is required.

That, or when you need more CPU horsepower than what a laptop will provide. Even if it is not thermal throttled, if it is not a big laptop, odds are it is using a very low power part.
The other "advantage" to centralized textbook buying is the opportunity to slip in that sweet sweet non-educational indoctrination. Hard to universally indoctrinate when the local community is doing their own thing.
It's a deep subject, not only in CS, new empty space to release creative forces in synergistic ways.
You are the only one here talking in absolutes.