skysight-inc/HackerNews huggingface dataset:
For some context, Ralf is one of the people who's been working on proving Rust code, and specifically unsafe Rust code. He's already had some really impressive results.

One of the weakest areas of Rust (in some sense) is unsafe; we don't have a proper understanding of what exactly is acceptable with unsafe code. Projects like these are working on proposing a model for what those rules should be.

So, if you're most Rust programmers, this doesn't affect you, really, other than making code you depend on a bit higher quality :). If you're an author of unsafe Rust code, this would tell you what you can and can't do, and if you work on a compiler, these rules would tell you what you can and can't optimize.

Additionally, this is pretty neat:

> I hope to explore this question further in the following weeks by implementing a dynamic checker to test the model on real code.

If we accepted this model (which is, of course, a big if; it was just proposed!), then we could take this tool and instrument your unsafe, an "unsafegrind", if you will, that could tell you at runtime if your code trips UB.

This tooling is enabled by MIRI, which is also amazing, but I've gone on too long already. TL;DR: it's sort of a "rust interpreter" that we've invested in for compile-time function evaluation, but also pays off with things like this.
SpiderOak warrant canary to be replaced by 'transparency report'
An example of Snowden documents being legally grey, and even the example of the guardian being under pressure because of it.
And consumers simply don't have any other options can match what Apple is offering. If an average cares about both product and service experience and data privacy, I don't see any alternative comes remotely close. That's the position Apple has been building for a few years and it's a clever move. This alone can make Apple a lot more attractive for data privacy concerned consumers. Apple doesn't have to worry about the decline of their software/hardware design/production level as before. Data privacy service can compensate those to a very big degree. Any alternative not more expensive, easy to use and not more burden on user's mind as a whole is welcomed.

Am I trust Apple with my data? No, but that's my best choice for now and near future.
>Really, the life of nearly everyone improved a bit since Uber entered the city.

Except for bus riders and cyclists that deal with much more congestion. And transit riders that deal with services changes as a result of decreased transit ridership.

Not to mention behavior like drivers randomly stopping in places that weren't designed for stopped cars.
I was banned from twitter, despite never having tweeted, my appeal was ignored, and I don't even get the phone number option!
Are you kidding? I've accidentally (almost) taken money from a tip jar. I've accidentally (almost) left without paying for something. Many times.

Maybe you never get absentminded, but, well, what can I tell you? Other people do.

And in none of those times was violence close to being an option - I was usually just made aware of what I'd almost done, and fixed it.
I have a https://www.purpleair.com/ . It measures PM 1.0, PM 2.5, and PM 10.0 . It uses the same laser scanning sensor that everyone else seems to be using, a https://learn.adafruit.com/pm25-air-quality-sensor/overview , only it has two of them. You have to plug it into the wall and it communicates over wifi. Honestly, it feels a bit mom-and-pop-ish (it's literally housed in a PVC pipe.), but it seems to work.

Purple Air, talks about how it uploads everything to PurpleAir.com, but their website is really really janky. Luckily, the device has a web server, and spits out data in JSON, so even if Purple Air goes belly up, your sensor should still work.

I have mine integrated into http://www.weewx.com/ via https://github.com/bakerkj/weewx-purpleair , and I calculate an Air Quality Index from this data using https://github.com/jonathankoren/weewx-aqi .

Ideally, I'd like a sensor that calculated all the other pollutants you're supposed to track, but this is what I have.

The sensor is responsive. When the smoke filtered down from the Mendocino Complex fire last week, I saw a huge spike across the particulates, and even today with the Spare The Air alert, the AQI is quite a bit elevated.

The one thing I'll note about its performance, is that after installation, the sensor read abnormally high until the first rain. After that, its performance is on par with other surrounding sensors.

Would I recommend it? I don't know. I feel like I should have shopped around more for one, so I can't really compare it to anything. I do like how it reports data in an open manner.
Pretty sure they're being sarcastic. But I'm guessing the commenter hasn't used Google Cloud anyway - Python 3 was supported on Flex enviroments for a long time. The news here is that they're supporting it on Standard environments, and there seems to be good technical reasons for taking so long.
I really want to do more JavaScript support and examples and SDKs for B2 (both web page and server side).

While I think of myself as a 'C' programmer, the GIGANTIC amount of work being done in JavaScript nowadays is just amazing, and you can reach so many customers via JavaScript that I think JavaScript is a huge part of the future of computing.
I definitely see your point, I just don't quite agree. The amazing production values of 'good EDM' don't make up for the nuance of humans.

If Pink Floyd existed today - and - they had a brilliant EDM-ish producer, I think that would be 'better'.

I find myself turning to Jazz too often ... the 'final resting place' of a music snob :)
The software release of the year, easily.

What an incredible journey the team has had this far. A very approachable group of people involved with the project have tirelessly given their work to the Julia language and finally, FINALLY the 1.0 is ready for consumption.

As if I wasn't psyched for this weekend enough already!
I was lucky enough to have met him in person several times, and to have corresponded with him in various online venues. He was generous with his time, and he both taught and practiced only giving advice when asked. His books are among my most read, most quoted, and most given to others. He was a giant. RIP.
> This. AMP was a blessing for me honestly. I can now maintain a version of our new site that isn't bogged down with tracking and flavor-of-the-month JS feature garbage.

That doesn't sound like it relieves you of maintaining a bogged down version of the site, it just means in addition to maintaining the bogged down version you have to now also maintain the amp version, and keep them consistent.
I could see this ending up in my data ingestion pipeline... using SIMD instructions for finding line boundaries right after decompression would give a major performance boost.

Decompressing LZ4 can not be done in parallel, but right after that what I want is to split the workload to CORE_COUNT threads at correct line boundaries.

Some primitive way to control pipe flow would solve a problem I have not found any good soloutions for.
Example:
I want to ingest csv/json with a row containing a domainname.

That row will be my primary key, and my table is partionised on domainname TLD.

In Postgre COPY FROM is the only really fast way to ingest data, but it is not possible to COPY from into a partionised table unless all entries are ending up in the same partition.

If I could do something like this:

curl -q http://something.com/x.lz4 | lz4 -d -| tool -pipeFlowCmd=postgreIngest.sh -pipeFlowCmdArg=split($domainname,\.)[-1]

The tool should spawn a postgreIngest.sh for each tld it sees with the tld as argument and keep the process open piping matching lines into them.

postgreIngest.sh would be something like:
psql | awk '{ if ((NR % 500) == 0) printf("COPY domains.$1 FROM stdin "); print; }'

so psql starts by getting "copy domains.com from stdin" then 500 lines piped into it- all with a tld of .com then repeat.

Having a tool capable of using SIMD instructions for ultra fast pipeflow parallelisation and control would be awesome because the bottleneck will not be distribution of the decompressed data to X processess.

If I can find the time I will make it myself using hes ideas for inspiration(I will make it in c++ Posix subset).

Anyway, great work, thanks for sharing- you inspire me :)
New, innovative music is out there, even in the indie mainstream.

Moses Sumney, for example, is incredible. Give this a whirl. https://www.youtube.com/watch?v=NPeji3NS4uE
> if Google had encouraged better practices?

Google has been using indicators like page performance in their ranking algorithm for quite a while now, so to be fair, it doesn't look like it helped that much. A single label and clear prioritisation apparently make it a far easier sell within companies.
Ask those that did, and did not go to prison.
Our society rewards greed over conscience.
Sounds like a problem with the conformance suite then?

A number of the CMA9 were given a deadline extension, so there is no reason for them to be compliant yet.
I've had to do something similar when a bank decided that CSV history was limited to a much shorter time period than PDF documents. Nothing a little python-driven OCR can't handle. But it was stupid I had to employ such measures in the first place.
https://technical.ly/brooklyn/2018/02/19/mta-announces-will-...

It's less of a complaint, but rather my belief that the water ferry system currently transports so few passengers that I do not believe it will absorb much of the excess spillover.

I don't know if more rideshare permits are the optimal solution, but I won't pass legislation that limits licenses a half a year away from a major public transportation shutdown. I have my doubts it would support 300k trips as well, but if it can support 25k through rideshare services or carpool services like Via, it at least helps solve the problem.
In this case they are preying on the lenders, who don't really care because they are passing off the risk to someone else.
There is a lot of ridiculous hyperbole and disingenuousness in this post so it's a little hard to take seriously.

As someone who has lived in New York for the past ten years, the entrance of Uber hasn't changed my life at all, other than some VCs subsidizing/coercing some lower income drivers into taking $10 off my fare when I go to the airport.

Public transportation, which you deride, usage utterly dwarfs taxis/ubers/etc (notice all of the large buildings _in Manhattan and Downtown Brooklyn_ where people work?). The MTA definitely has some issues, but calling it dysfunctional because it takes a little extra time to go from Astoria to Prospect Park is absurd.

I don't need to be reminded of the standard, clean, regulated experience I have every time I jump into a yellow or green cab. Boro taxis were introduced into the city _two years after_ Uber entered NYC. How can you possible hand wave them away with "too little too late"? And Uber has its fair share of drivers who have no idea where they're going (actually, definitely more, but I will say they're better about following GPS, which can be both good and bad).

They're taking about limited the number and providing a minimum wage, hardly life changing stuff.
I’ve never really understood the
problem Uber is solving in the UK

I've had excellent service from taxi firms in my hometown in the UK, and I always try to use a local service before I resort to Uber.

Times I've resorted to Uber include when I visited Bournemouth and got scammed by a driver who "didn't have change" for £20 on a £16 fare, when I visited Coventry where taxis don't accept credit cards, and when I visited Montreal where their homegrown uber-equivalent doesn't support foreign phone numbers.

In other words, fairly basic service delivery issues that local taxis could easily solve, but that for some reason they haven't solved.
>Jokes aside, it was a data point to illustrate a change that I know takes place also in other countries; that women account for an ever larger fraction of people with higher education. The number of families where the mother makes more money than the man is slowly increasing.

I think if you dig into the data for US universities, you'll find that women are underrepresented in high-paying STEM majors and over-represented in low-paying majors like Dance or Early Childhood Development or Pre-1860 Russian Literature. Until that changes, I don't think your prediction is likely to come to pass.
Collection of Israeli startup landscape maps
His factual description of the impact Pearson and fiberglass had on the accessibility of sailing to the middle class stands either way.
Newspapers Still Keep Shrinking
I don’t think I ever refused to acknowledge that the Chinese Government commits human rights violations (among other offenses). My point all along has been that these offenses cannot be used as justification for a complete trade embargo, based solely on those violations.
i live in nyc and im glad this is happening. we have a traffic congestion problem here - i dont want more ubers, lyfts or yellow cabs on the street, i want less. i wish nyc would copy london and actually tax people for enter every bridge, tunnel etc in rush hours to stop it.

the law of diminishing returns is in full effect here, regardless of what the engineers and SC want to tell themselves.
This post is full of schlock. I live in brooklyn and commute to manhattan via subway everyday. It's reliable and good.
> It's not just the hardware.

> Stravinsky's Rite of Spring could have been composed hundreds of years ago on basically the same instruments, but it wasn't. Nothing remotely like it was.

You are grossly underestimating the effect that technology had on music. Rite of Spring couldn't have been performed until the 20th century so there was no point in writing it.

Bach's children and Mozart (mid 1700's) were the first products of music pedagogy. Paper didn't become common until the 1800's. Interchangeable parts and factory practices made musical instruments much more consistent and available in the late 1800's.

All of this means that the average orchestral musician improved dramatically in capability over the course of less than 200 years.
Looks a bit rushed, less than 24 hours after the release candidate.
In a plane, the passengers, the pilot, the airport and the company owner all want the same thing : a safe fly.

But In a vote, not everybody wants the same. As a mayor / senator / etc., I want as many votes as possible, and so do my opponents. You can't trust anybody, as the expected outcome is different for everyone.
Yup. I'm no fan of Uber but at least the service is consistent.

I remember on my first trip to NYC many years ago, I wanted to go to the airport during rush hour. No cab would stop and take me, because I looked like someone who wanted to go to the airport, which is out of their way. Apparently this is a known problem, so you're supposed to kind of hide your bag so they don't notice, then get in the cab, close the door, and THEN declare that you want to go to the airport, at which point they are legally obligated to take you. (Having used this option on subsequent trips... it consists of 45 minutes of whining.)

Meanwhile, with Uber you just press a button and they take you to the airport, bags and all.

This is why the taxi industry is dying; these little "hustles" add up and people don't trust yellow cabs anymore. Meanwhile, the app-based cars just take you where you want to go without the complaining. (I suppose they now have the ability to just not accept your trip if they don't feel like going there, which I think is fair. I don't want to listen to an adult whine about how annoying it is to go a particular place, I just want to go there.)

Right now, NYC faces a big problem. There is no viable method of transportation. There is too much traffic to drive anywhere quickly. The subways are overcrowded and broken. You can bike, but there probably won't be a citibike dock at your destination, and the bike lanes will be blocked with parked cars on the way there. It's kind of a nightmare that's going to become a crisis. Does limiting the number of Uber vehicles on the road fix any of this? Nope! But it's the only thing that's politically feasible, I guess. (We can't have congestion charging, because people in New Jersey and upstate will whine about having to pay to get to work. We can't expand the subway, because the MTA is controlled by the state and it only benefits NYC, so the governor and the legislature won't fund it. We can't enforce traffic laws to prevent people from parking in bike lanes because the NYPD is lazy and incompetent. So we're basically screwed. Eventually it will melt down completely, but we're doing an OK job of keeping the city on life support right now.)
I'm referring to the taxi medallion owners are benefiting from passing legislation that limits rideshare licenses going forward at the potential expense of residences, particularly those affected by the shutdown.
SpiderOak's Warrant Canary Died
I mean, I think most people can (and should!) reasonably expect to go through life without being placed in handcuffs. I think it's a fairly extraordinary circumstance that found a geeky CS professor in handcuffs. Over accidentally "stealing" $4.

Maybe you can't imagine how someone could be so absent-minded. I certainly can, since I've been close to this absent-minded before - especially in the middle of a long flight with a child, which tends to make people espcially unfocused.

Seriously, it seems like you're giving him 0 benefit of the doubt. If a friend was telling you about this crazy thing that happened to him where he was placed in handcuffs because he accidentally took 4 dollars from a tip jar thinking it was change, would you really be acting this way?
This article clumsily papers over the fundamental difference between Apple, and companies like Facebook and Google: Apple does not collect or possess that customer data in the first place. That is the essence of why, and how, Apple can manage to be a better steward of your privacy: it doesn't collect all kinds of data on you. That data is under your control, as a user, which is how it should be. But that in turn means that you have to be responsible for who you share that data with.
Considering Typescript is a superset of javascript & the future of javascript - ie. they always plan to be implementing future javascript 'now', that is their whole reason for existence, and that their team sits on the javascript committee, then yes, I think it is around for the long haul.
https://www.techtalko.com/2018/03/17/typescript-the-future-o...
> only 3 have access to my contact list and those are Protonmail, Signal and WhatsApp

Yeah, one of them shares your contacts with Facebook. Might as well given all 15 this permission..
https://youtu.be/1jN5wKvN-Uk

The moment, an hour into it
> It’s a bit unclear to me what is so expensive about the load balancing nodes.

They also use Reed-Solomon and split data into multiple pieces to store on multiple servers. So they need all those "load balancing"-like nodes anyway and probably no new hardware or infrastructure is necessary to conform to S3 API.
Actuarial tables don't lie, but the question they answer isn't necessarily the correct one.
TLDR:

Don't be mad at the company! The canary worked exactly as it was supposed to.
Oh I have no hopes for the US
Good idea. As a starting point, let's define "HTML Lite" as "HTML without Javascript".

Then "HTML Fat" and "HTML Light" could even be served as one document. If you execute the Javascript, you get the fat version. Else, you get the light version.

If you use Javascript not just to improve the behaviour but also to display content at all, you can provide fallback content that is only displayed in light mode. The fallback content is marked by a special tag. Let's call it `noscript`.

My point is: Making it easier to serve sane and lightweight HTML will not help fix the problem. Publishers don't want to do that, they like all that crap. If we want them to make sane web pages, we must force them.
That’s what I was thinking.

Does it matter?

They’re no worse than MS (maybe better? Honestly don’t know). They’re way better than Google. Or Amazon.

If we ignore phones or what Android does natively, TV makers like LG and Samsung and even Sony have all sorts of stuff on their TVs to spy on you.

My guess is Apple could fall very far and still be one of the best, because the bar is incredibly low.
Smartphones are a great example: I had Richochet wireless on a Handspring Prism almost a decade before the iPhone, including a web browser. The concepts were there but it needed generations of hardware and software improvements to make it viable as a mainstream product.
According to what he says happened, this couldn't have happened with a larger amount without him realizing it.

Theft in the US afaik is also defined as "intent to deprive". That's why e.g. joyriding is different than grand theft auto.
What is this? Comparing who has the bigger stick?
Who harms more people?

Any system has injustices; we cannot prevent that. But willfully enacting forcible family separation was not an accident.

Hundreds of orphans is bad enough.
In my (admittedly anecdotal) experience, the poorest here don't have cars.
Yes.

Unlike FB they don’t do secret backdoor deals with phone manufacturers to spy on you. Also they don’t spy on you. Also they don’t make ALL their money from advertising creating an unavoidable incentive for violating your privacy (and wasting your time but that’s beside the point).

Unlike Android they aren’t a Wild West of malware and dodgy phone manufacturers who do secret deals with everyone to spy on you.

Unlike Google they don’t make almost all their money from advertising (see above).

Unlike Microsoft they don’t bake ads into their OS despite the fact that they don’t make much money from it. Also they aren’t trying to compete with Google. Also hardware Wild West thing.

Unl
It would be interesting to see a statistical breakdown of the causes typical bicycle failures, including the results (injury, death, etc.)
I’ll answer you after all the noisy comment that I thought would never start after my previous comment hours ago.
I don’t need 8 screens, I would be very happy with no screen at all and a magic leap or hololens or whatever can give me the same experience or better.
I need to be able to see at least 3-4 screens of code, preferably 165 chars long.
I would like at the same time to look at production logs in other screens.
Since I’m not living in a vacuum let’s say that I would dedicate one screen to the emails and one to the chat.
So we are at 6 screens, right?
Imagine to be able to speak with your colleague that obviously is working from home while having all these under your eyes.
I honestly can’t wait for something like this.
Probably it won’t be magic leap or hololens.
But show me something like that and I’ll buy it before it’s even on the market.
A comment on that page corrects the statement and shows that the canary is online. They claim to be an employee. It gives the URL for the file.
DVDFab 10.2.0.7 Crack Plus Patch Keygen Free Download
YouTube is about to pass Facebook as the second biggest website in US
Without proof, this comment seems pretty low on actual substance.

I wish we could all just agree not to cite that (13 year old) PG article anymore. We all know what PR is now, right? That's all it is about. I don't think we need a special HN-only term ("submarine") for basic tactics of PR.
Heh. Monthly rent if you want walls and running water, purchase price if you don’t (be sure to leave extra for the back taxes).
SteamVR basically does this - it is a very evolved implementation of a VR OS.

Apps which crash or otherwise stop rendering trigger a fade out to the white-room VR space, whereas frame-skips are handled by hard drops (so the effect is like a teleport to avoid motion sickness).

Like, Valve have really done an incredible job on the user application interface there.
Cooking with gas or electricity?

I've heard before that cooking with gas causes significantly more indoor air quality problems, but I'm curious what your observations are.