skysight-inc/HackerNews huggingface dataset:
Constraint solvers comes to mind. It's pretty much the most memory hungry application I can think of, though some of the VLSA EDA tools need triple digit GBs of memory to do anything.
Make Sagelib a pip-installable Python source package, listed on PyPI (2016)
Hey maybe one day we can get it down to that kind of level
Oh, I totally agree. I was attempting to make the point that purpose-built aircraft with more highly trained pilots still succumb to this. A random on a flying motorcycle doesn’t stand a chance.
We’ll count you in... in the future!
Actually a lot of email addresses cannot be validated this way since most ESPs including gmail have adopted an 'accept-all' approach to incoming email. So getting the email accepted by the server is no indication that the address exists, or that the email will actually be delivered to that address even if it exists.
Rumored: Mark Zuckerberg’s secret escape passageway beneath his conference room
Well, secret passages, certainly:) I suppose if I need to justify it I might say they were for emergency escapes, but that's not the reason:)
>In theory, RISC-V should be at about the same performance as ARMv8

Or POWER9, the cpu with the fastest IPC. And it's RISC.

There's nothing to prevent RISC-V ISA from getting high performance implementations.
This advice is only applicable to those who aren't in mountains of debt, which is pretty hard to do when you're younger than 40: $30,000 in student loans plus whatever other debt was acquired getting situated after college such as credit card and auto loans...
Is hotels.com related to them in any way?
Spy fears spread to power cords, driving shift from China
A funny little flaw in this is that 13th character of those passwords is always "4", right?
uMatrix permits Javascript by default. Mine is set to block js and the count goes only to 24 with no videos playing. It's perfectly viewable too, try it.
The 1/3rd scale prototype is flying. In a number of ways what we’re doing is simpler than JA. We’re confident we can achieve our time goals.
Because your life impacts mine.

https://news.ycombinator.com/item?id=19335217
I dropped sugar and severely reduced carbs 4 years ago. It was hard to do, but I made a game of it: I'd resist as long as I could, and then binge. Then next time I had to go that same duration without, plus at least one day. So 5 days, then binge 1 day, then 6 days, then 7 days, then 12, then 13, etc etc. By the time I reached 6 months without binging, I'd lost the craving. 2 years later, I couldn't stand eating it on any quantity over a gram or so. I also increased my fiber intake when eating carbs to better regulate the insulin response. Oh, also I eat a mostly veggie diet, with meat protein maybe once or twice a week.

Results:

I have zero body odor. It might be a combination of using water only to wash, but my wife has marveled on many occasions how I don't smell like anything at all (except the top of my head apparently, which smells like a baby's). I can (and have) gone 4 days without bathing and she couldn't tell the difference.

My weight is down to normal. I wear size 33/34 jeans like I did in high school.

I eat 2 meals a day (breakfast and dinner) and am rarely hungry otherwise. When I do get hungry, I usually eat figs and nuts. I only drink water and sometimes tea.

My sleep is about the same as always.

My energy is much higher, although I still like an afternoon nap for 15 mins. No more carb crashing.

No more acne or skin problems. Another thing my wife marvels e over and is jealous of is my skin softness.
You have a reasonable point that the victim probably bears some responsibility for crossing in the middle of a block in the dark, but I'm pretty sure that it was a divided city street with a 35 MPH speed limit rather than what is typically thought of as an expressway: "the preliminary police investigation determined that the car was speeding—going 38 mph in a 35 mph zone when the crash occurred" (https://www.curbed.com/transportation/2018/3/20/17142090/ube...).
Definitely! Pitch us at snigdha@thejuggernaut.com - we'd love to help refine pitches!
He was probably slipping the clutch.
Maybe I just had a bad experience, but keeping multiple machines synced, particularly in terms of software configuration and options. Getting the various tools of a toolchain together once often sucks, doing it several times each time you make a tweak sucks extra.

Also, these sync services sound great, until you're losing data due to bad sync. I tried to use Google Drive for this and lost data. So, I'd rather have one machine, well backed-up.
>One source said they had been briefed about the existence of a top-secret exit route through the floor of the conference room into the parking garage, but others said they had no knowledge of it.

Now how did that dumpster full of rotting fish heads get left there in the parking garage under the panic chute? shrug
You can say that for sufficiently high values of hard, "hard to guess" implies "globally unique".
> The signed app can be globally disabled.

Why can't the unsigned app be globally disabled? Is this not the basic premise behind Windows Defender and every other antivirus?
Google explains CPAC sponsorship in leaked audio
Interesting take. I mostly disagree, but let me see if I can explain.

> I took the position recently that if the code you write directly leads to the death of someone, you should be held accountable for it.

I don't think that follows. Just because you are responsible for the death in question does not imply accountability or wrongdoing.

> But in this particular case, I disagree that Uber should be held criminally liable.

Why? That doesn't match your previous statement precisely because of what I mentioned about there not being a direct correlation between responsibility and accountability.

> The actual person responsible is the human driver that did not stop.

This implies there is a single person responsible, I think there is far more going on in this case.

> The article states that this individual will be facing criminal charges. I think it’s rather cut and dry in this case; driver’s attention was split, and they were criminally negligent as a result. That argument makes more sense to me.

I tend to agree in this situation, but just because the "driver-not-driver-unless-you-kill-someone-driver" was found to be criminally responsible that doesn't absolve uber of their responsibility or accountability.

Someone at uber decided that their self driving car should not engage a breaking procedure in the situation that an object will be hit. To me, that is an utter failure. It's actually so bad I find it negligently bad.

They also failed to train their user properly. Not that they could have, its an absurd premise to believe a user of a self driving car will pay the same 100% attention that a normal driver does.

This is why I find it negligent to hold the opinion the car shouldn't execute a breaking procedure when it identifies a situation it will collide. To do so and not also implement a user alert system is an abomination.

I know there is a lot of nuance here and I don't hold the position that companies should be held liable for every little crash a car has on the road.

What I do believe is that if they want to operate at the scale they plan to we need to be damn fucking serious about the regulations they have to jump through.

Just look at air traffic control software or better yet nasa's development processes, this is the type of development scrutiny we need to place on self driving cars.

The loss of life and the scale is far to great to trust profit driven entities to take our lives seriously enough.

They will figure out the recall figure and play the numbers, we need to disallow that kind of behavior.

Just in case it wasn't clear, personally all for self driving cars, I think they will be a massive improvement on the status quo. I just don't want it to regret that position.
Writing a Faster Jsonnet Compiler (2018)
Yes! Apt reference. We also have Lakshmi Gandhi, former member/writer for Sepia Mutiny, writing a few stories — coming soon!
I like Pybind.
science in fiction novel being garbage is the point exactly of making fiction around space Ship or whatever group of peoples saga around fantasy ship, late add:(otherwise the author would be making Money with technology instead of selling freaking books right)

it is the poetical freedom and novelistic freedom and fiction freedom right

and there is always reading choosing freedom and freewill of reding books and unreading and reading again and not reading the ship book to start with right

always

aand just to clarify I did not read that shit book people talkabout here and I do not plan to read as my freewill cammands cannabis come on

thanks
Uh, maybe you’re just complacent.... not to get into a war of anecdotes, but I live out of Air Bnbs and have lived in 100+ around the world. Very rarely is the place not as it seems, if ever.
This is a tough one. If asked, most everyone will complain about delays. Just like, if asked, most people will complain about the color choice. Doesn't mean it is the best place to focus on at first.

In areas where the latency has been solved, don't make the options worse for the user. There are bare minimums, but they are usually hard to mess up. Such that, if you are bringing something new to the table, focus on that first.
Also, a recursive descent parser is created by modifying the language specification and so I think one gets a deeper understanding of what language spec "means" than if you just feed a spec into a parser generator - a grammar's ambiguity can become in the process, for example.
Appreciated! I'll detach my comment above.
We detached this subthread from https://news.ycombinator.com/item?id=19334606 and marked it off-topic.
> Side note, haven't heard of the Revelation Space trilogy. Does it offer a workable theory for the origins of the predator dynamic?

Not really, it's doesn't get any philosophical treatment and is more of a plot device. Without giving away spoilers it's more a bit like iRobot (the movie) with the predator having noble but extremely long term goals of what's best for life itself, I don't think why it does this really holds up either but it works as a plot device. It's happy with intelligent life as long as it doesn't expand into the galaxy, it doesn't act preemptively.

> On the other hand, it all develops on the curve of the galactic gaussian justifying possible pre-emptive defense investments. There's a difference of 3-4 or n sigmas statistics likelihood.

The other factor is the cost to put down potential rivals, in the dark forest universe this cost is incredibly cheap. If the cost were a lot higher then the outcome would be very different.
See, I have a problem with this line of thought. You are not an employee of these companies if you can sign up through an app, choose how much or little you want to work, and have no boss. If you want the living wage, health insurance, and employee perks then apply for an actual job and go through the full interview process like the rest of us. This mentality of “I want everything you have but I don’t want to actually put the time and effort in to get it” is very frustrating.
That's exactly the motivation behind this phone, which has a simple OS and a connector on the back of it for hardware expansion:

https://www.kickstarter.com/projects/2103809433/338898127?re...

It's less powerful than a smartphone, but designed from the ground up for hardware hacking.

disclaimer: I am part of the WiPhone project
The opinion itself and the unsubstantiveness/flamebait are orthogonal. If you'd like to present your opinion in a way that gives the reader information and teaches us something, you're more than welcome.

It does take a bit of getting used to, but trading the pleasures of the internet rant for curiosity, which requires more measured conversation, is worth it in the long run. Think of it as a global optimization of the forum, which involves letting go of local optima.
We probably have the highest wing loading of any aircraft, therefore the impact of turbulence is much less than fixed wing or helicopter. The pilot has belly strap and lock holding them to vehicle unless they need to release in an emergency in which case it has pyro cutter.

In rain you’d get wet just like riding a motorcycle on the road. The engines keep running fine.

Flying into birds is not recommended for any aircraft. They wouldn’t go into the engines but could hit the pilot then our safety systems would need to deploy.

Lightning usually won’t take an aircraft of any type out of the sky but may affect instruments.
Fix Time and Date on Computer Windows Platform
> "Why in god's name would I want to run vim on my phone?"

With a Bluetooth keyboard, Vim over SSH is actually a pretty fantastic editor on mobile devices - lots of real estate, fully customizable, and none of those awful "features" that get added to mobile apps. It's really convenient to be able to just connect to my server over LTE and keep working from most anywhere.

I do agree with your point, however - apps designed to make use of a full computer's space will rarely work well on a phone screen, and the great majority of design for mobile is already atrocious even on its native platform.
Could YC pro-actively get in touch with the folks already working on the project? Sounds like they would be your best bet at success.
In a shocking, totally unexpected twist, company owners and marketing professionals exaggerated the value of their products.

Most of these sharing startups have just been flops. They promised to "disrupt X", and then no one used them, or they were too expensive, and they vanished.
Well for the engine, of course idling
Many are fatal on an ordinary motorcycle too. Motorcyclists accept those risks.
Although not specifically focused on science-based startup, I cover some good stuff here (I know you've seen this already). Beyond this I would like to reach out and discuss this more directly with you. While working at Affectiva where I was the 7th employee I cowrote an SBIR we submitted to the NSF and were awarded the grant. It was the one and only SBIR I've ever wrote. It helped a lot that I had Professor/Dr. Rosalind Picard, PhD from MIT and Rana el Kaliouby, MIT Media Lab researcher and now CEO of Affectiva as coauthors! I'm a serial early stage startup guy typically taking either CTO or chief architect/head of engineering-type roles. I've also managed patent program for both small startups and for Symantec in the 1990s where I was a charter member of the patent committee. Of course they are just one method of intellectual property protection and seem to be falling out of favor in many startups. More comments through a more direct, and perhaps less public channel
https://www.quora.com/What-do-the-companies-that-retain-thei...

perhaps writing to me at my personal email rsadowsky@gmail.com is a good way to set up a way to talk more
Maybe upper middle class consumers, but not the workers at these companies.

That is not at all clear: https://www.restaurantbusinessonline.com/workforce/uber-comp.... It turns out that flexible hours are a large benefit for many people.
I’m not mad at anyone, you simply haven’t explained anything. You just keep repeating the standard litany of Republican sins.

I never disputed Republicans’ attempt to give themselves an electoral advantage. I just disagree that this is consequential, much less decisive. As you yourself argued elsewhere in the thread, NC Republicans’ chicanery could mean a 2% swing in the House. Not to put too fine a point on it, but you’re telling me that by attributing 100% of R success to trickery, in a state that’s the worst of the worst in this regard and so yields the biggest effect size, you can create a counterfactual where Democrats have 2% more seats in just one half of Congress?

Your smoking gun is a rounding error. So I’m asking again: how do these sorts of numbers lead you to believe what you apparently believe?
"'Buddhism admits that suffering is inevitable,'
says Daniel Sanchez, a 24-year-old in New Jersey."

Not -permanently- inevitable, because there's a Way:

"The third Noble Truth, however, states that suffering has an end, and the fourth offers the means to that end: the Eight-Fold Path and the Middle Way."

https://asiasociety.org/education/origins-buddhism
Please, we are better than National Enquirer, right?
Ya it seems like risk profile isn't very clear, nor do major risks have sufficient mitigations.

I feel like the easier place to start is a low-speed automated cargo delivery system that runs on pre-defined flight paths and only in certain weather conditions. Even then you're dealing with pretty decent risk profile given the failure mode of anything flying is rather dangerous.

I'm not against flying things in cities per se, just want to see the discussion go more like 1) flying things are good for X Y Z reasons, 2) major issues to address before we get there include A B C, 3) here's how we're solving those to unlock this new opportunity. Maybe that discussion is happening in other places, but I'd love to see these safety factors better addressed by anyone building these types of things, else it doesn't build much confidence in the viability of the company.
I gave that user two replies because they posted two comments which broke the site guidelines. I didn't realize they were by the same person.

It's certainly possible to make the point that someone who likes HotelTonight might not like Airbnb. It just needs to be done without breaking the site guidelines. That's easy enough, so shouldn't be an issue. And it doesn't mean "we're not allowed to post opinions here". That's what people do all day on HN!
+1 for Anathem. I re-read it about every 18 months. The dry humor is fantastic. Also, monks in space!
TCP keepalive should solve the problem too. Rather than HTTP keepalive.

(i.e. To handle the case of "HTTP-Request", "huge delay", "final response". Rather than a streaming/chunking reply that is very long/slow.)
That's why I don't think we would ever have flying cars either. We can barely handle driving on flat surfaces and I suspect most people on the road only get by idly emulating simple line following machines rather than actually engaging the whole situation.

It takes a third party to orchestrate busy sections of our current flying vehicles, planes, so I can't see any alternative to full automation of a mass of flying cars.
Median studio rent in Manhattan is around $2500.

$4700 is a good price for a daily rental with housekeeping.
Thats a good solution. For 15 years or so I just used the user.site@domain.com approach. But in the last 4 or 5 years, the spammers have gotten smarter and now are stripping off the site and just emailing user@domain.com.

Yours is a good solution.
I think you'll find it's been years if not decades since there was a Camry available with a manual transmission
Where I live, on the Upper East Side of Manhattan (affluenza patients everywhere), there is a full-service laundrymat that offers free cleaning if you have a job interview. It's where I always take my dry cleaning.
Last-minute same-night deals was HotelTonight's entire business before they added all the other features like memberships and future bookings. That's where the name comes from.

I didn't mean they were the first to do deals but nobody cares about that anyway. Users only care if it works for them, and HT has one of the smoothest apps with some of the biggest discounts. When I started using HT years ago, I could book a room in less than a minute at a lower price than any other online source.

Anyways, as to the original point, they might have lost money on some deals but not all of them, and this is directly from private hotel owners I spoke with.
Yeah well, many colleges offer the live streams. I recently met on eof my student told me tht their college officials offer the free online video lectures. Thanks for sharing this also do visit http://tellthebelltacos.com for more hacking news.
Glenn Martin and Martin Jetpack [0] (Glenn left the company in 2015 though) has been trying to build and bring to market something similar for the past decade (development has been going on decades before that). There's apparent commercial, private, and government interest in the device, but somehow that hasn't actually manifested into a finished and delivered product.

When Glenn spoke to a group of potential investors (which I was somehow a part of) back in 2011 you'd think that they were on the cusp of having a finished product and a stack of orders from the US DOD, a variety of commercial organisations, and dozens of rich people who want a personal aircraft. Technically Martin Jetpack still exists, but it has failed to bring anything to market, despite having millions of dollars poured into the company [1]

I struggle to see how Jetpack Aviation is going to achieve what Glenn and his company failed to do. They don't even have a flying prototype or a physical mockup, only some cool CAD models that look like they were made by some high school kid who's watched Star Wars a few too many times.

Jetpacks and flying motorbikes look cool, but on a practical basis they just aren't useful. They don't fly high enough or fast enough, and they can't operate in high wind or poor weather. For military/government use they aren't suitable and there just aren't enough rich people who want an expensive flying toy to sustain the market.

[0] http://www.martinjetpack.com/

[1] https://www.nzherald.co.nz/business/news/article.cfm?c_id=3&...
Ask HN: Hybrid authentication method for web apps (JWT, cookie)
Hi, I have been working with web applications for a while, some months ago I found a possible approach to get the security advantages from Browsers while using cookies for authenticating requests (probably better to call it session-based) with the stateless advantages of JSON-Web-Tokens (JWT). I'm looking for possible vulnerabilities to this approach.

It is well-known that cookie-based authentication can be secure against XSS but introduces the complexity of CSRF, also, JWT is handy unless you need to invalidate tokens (XSS is a problem too) .

Consider the following approach:

- When logging in, the user receives a JWT that has a very short validity period (like 3 minutes).

- After logging in, the user also receives a cookie that allows to renew the JWT.

- The user keeps calling the server attaching the JWT (the cookie is attached by the browser), the server authenticates the requests using this token.

- When the server gets a expired token, it loads the session from the cookie and returns a new JWT (or the request is rejected and the user renews the token with another request), then, the original request is retried with a valid token.

This approach gives some advantages:

- Token invalidation, if the JWT is ever compromised, it lives for a very short period of time.

- CSRF protection, on a successful CSRF attack, the browser gets a new short-lived token without performing any sensitive operation on the server.
- There could be lots of efficient stateless authenticated requests.

Any ideas?
30 years ago you could already buy almost all of this + estimated income and education on 90% of americans. It's how credit card companies know who to send mail to.