skysight-inc/HackerNews huggingface dataset:
> is the intent that miri could find much beyond what the sanitizers could?

Miri serves two purposes. One of them is completely unrelated to this stuff, and that's to deal with const functions.

This stuff, on the other hand, yes. Those tools don't know anything about the language themselves. Miri is able to model the exact rules that we lay out for pointer usage. This means that it should be a lot better, not only at finding things, but also stuff like error messages, eventually.

> Regarding aligned accesses: does miri consider the alignment constraints of the most restrictive target? Or are there language specifications regarding alignment?

Because it's an interpreter, miri can run like any target. That said, I'm not 100% sure that 'cargo miri' exposes this easily yet; I gave it a shot but it's giving me an interesting error. The idea is that you'd specify the target you're testing for.

> To my uneducated eye, it looks like many/most of these defects that miri detects require unsafe to cause (barring compiler defects). Is that accurate?

Yes. Safe code should never produce undefined behavior, that's a hard design constraint of Rust.
> I know that I can be terminated at any moment for whatever reason.

This is true for the US, but it's not necessarily true for the EU, or some other countries. As a result, expectations can be mismatched - even though reasonable research should turn up this possibility.

My experience suggests that a lot of folks in their early career are overly optimistic, or just don't want to believe the possible downsides, especially if it involves cool work. I also see different decisions taken by folks I know in other industry who are not under the spell of tech.

With remote working, especially with smaller companies that have limited admin/HR support, I wonder will the number of these incidents increase? This is possibly another way to look at this situation beyond the "startups and stock a minefield" issue which results in lots of tears.
For ref, this is the relevant bit: https://tools.ietf.org/html/rfc5545#section-3.3.5

This is something we (startup insurance company) have thought about a lot actually. Since the certificates we issue are relevant to a particular jurisdiction, if the document states e.g. "23:59:59", it means the "wall clock" time in that jurisdiction - whatever point-in-time our DB contains isn't really that relevant.

So the likely problematic situ is if we've got a policy end date/time more than a year in advance, then the country changes their TZ offsets, we need to make sure our point-in-time records get updated (and then of course the duration of the policy changes). It's a bit of a pain in a system built around immutable events!

On a kinda related note, we also took the decision to clearly define that our start/end date-times have a resolution of one second and are inclusive. So if a policy starts at 00:00:00 and ends at 23:59:59, that's the full day, all the way up to midnight. It also means then it's important that we render the full time (incl seconds) on our docs.
"Ants among Elephants" by Sujatha Gidla is the true story of a communist revolutionary in (what is now) Andhra Pradesh in the mid 20th century, I'd recommend it: https://www.goodreads.com/book/show/31450688-ants-among-elep...
Downtown Detroit is ok for biking, certainly. The metro area though is so spread out I just don't see a realistic alternative. Sorry to jump on you like that, I agree driving is expensive but when everything in our lives is separated by dozens of miles, connected by streets where cars move at deadly speeds next to paper-thin bike lanes, its difficult to see an alternative.

I'd love it if there as a pan-Southeast-Michigan light rail to happen, but doesn't seem realistic with all the other infrastructure issues Michigan is having right now. Best we can hope for right now is that Q line gets extended out from downtown Detroit up to Royal Oak or Birmingham, but even that is a whole can of worms that Dan Gilbert would have to push for for there to be a chance at it.
I wonder how they make any profits. Consulting to corporations since this is open source?
False hope for autism in the stem-cell underground
>I revisit both every few years to revel in what we do have, and feel lucky to have been in the lifetime when both were at least weekly gifts.

Compared to the lifetime where kids didn't yet have C&H and The Far Side, but could play outside for hours, unsupervised, and even go around town etc?
I’m still waiting to hear a good explanation for why expensive housing is desirable but expensive food/water is not.
Plus the feature, minus the reputation.
Unfortunately `timestamp with time zone` is misleading and crippled.

When you store something as timestamptz, postgres converts it to UTC and "loses" the timezone part.

The only difference between timestamptz and timestamp is that when postgres is returning the timestamptz to you, it converts it back to your local time zone defined by SET TIME ZONE (and not the time zone it was originally stored in)

So basically if you store a timestamptz, you cannot convert it back to the local time, as the local time is never even stored.

I personally had to add a second `timezone` column to my table to store the timezone of the date.
Now that you’ve been acquired, how invested are you in the company’s future?
Baidu Research Open-Access Dataset
The Playground [0] and cargo-script [1] are the best options atm. In some respects, I think I prefer these. The only downside is the lack of introspection which is diminished by the use of static typing.

[0] https://play.rust-lang.org/
[1] https://github.com/DanielKeep/cargo-script
Google Calendar does let you set the time zone in the 'More options' view, FWIW. I use it occasionally.
I had an interesting experience when I was in high school, watching this happen to my parents with a comic they enjoyed. I forget the name of the series...but the story went like this:

In the 80s, it was just a daily life comic, Parents with young kids, more from the parents perspective. As their kids [comic] grew older, so did I and my siblings [real world]. The comic progressed to show when their kids had kids [comic ]--in the 90s. My parents were also grandparents at the time, and they would smile and giggle as they shared the Sunday comics.

Being old enough to witness those moments were really touching to me. Made me have an even deeper appreciation for a story that evolved, but also watching my parents grow and change --not just "grow older".
Running ELF Executables from Memory
Not the best delivery, but I think the question has to be asked. How much use does a tool take for the blame of those who misuse it?

We would all laugh at an article entitled "Criminals used PENCIL AND PAPER in dastardly crime to traffic women" or "telephones" or even "email."

Obviously the other extreme exists, when a tech company knowingly caters to an immoral regime, which is part of why I reject this blurring so emphatically.
In Mammoth, the snow is so deep, residents tunnel out. There’s a history to that
Zeit Now for Gitlab
First of all, you definitely don't want any chance of incorrect recognition of handwriting coming from a nuclear weapons plant.

Loving this, this sounds like the plot of a bad sci-fi movie.
Europe to mandate speed limiters in all vehicles by 2022
It is mentioned that employees have not been helped to find new jobs. But there may be reason for that.

It is sometimes the case that for a particularly high-performing, excellent employee, a manager or senior exec might call around to a few friends and see if they have openings. And of course, provide a reference for others. But that is not true of laying off a whole division. No team is comprised of 100%, or even 25%, top performers (usually). A manager shouldn't be expected to put his professional reputation on the line for every person in his division, even if they aren't the best (but good enough to keep on), just because of a lay-off.
I work as a game programmer for AAA studio. Most of our engine folks are physicists by education.
The old media has been going increasingly rabid-luddite in general really as they lose relevance.
Beautiful description of whats happening.
Few can see what you describe through their lense of bias and rationalization
Ask what is the current strike price and how many shares are outstanding.

Then do simple math on the equity part of your offer and figure out if spending the next few years of your life there is worth it. Feel free to run analysis on 2x, 10x, 100x, etc of the strike price.
It was often the best choice for getting a product up and running fast and rapid iteration for exactly the reasons you mention. Once the schema solidified, it stopped being the right choice.

We (ZeroTier) experienced the same thing but with RethinkDB, a similar schema-less database. We outgrew it when we needed something more solid and more reliable and we had a pretty settled schema.
My experience running Pinboard (which offers Stripe and PayPal as payment options) has been that PayPal is indispensable if you want to collect payments from people outside the United States. There are also common situations where Stripe doesn't work (for example, the customer only has one credit card and it's declined) but PayPal does.

Stripe is far more pleasant to use and implement, but continue to see around 2/3 of my payments coming through PayPal.
Could this article title be rephrased "Has Postgres essentially killed the MongoDB market?"? ;)
My father is an Eagle Scout that frequently volunteers for the organization at the national and council level. I don't always pay attention when he talks about scouts, but I have heard enough. I'm not very keen on supporting the organization myself, thanks to their abuse cover-ups and hostility towards non-orthodox people.

AFAIK, Mormons recently voted to stop using Boy Scouts as their de facto youth activities organization. The looming crash in membership numbers as a consequence is partly what prompted the organization to go co-ed.

But that's fine, as it also takes a huge and heavy thumb off the conservative pan of the political balance of the national organization. Without them, BSA can now be more open to LGBT scouts and leaders. Maybe even atheists someday. But...

Each troop is shaped in some part by their individual charter and the relationship with the sponsoring organization. If a troop meets in a church, it is likely to be more religious than one that meets in an elementary school gymnasium, or other municipal-owned building.

It's not a monolithic organization. Each council is different, and each troop has a lot of autonomy to organize its own activities.

This leads to situations where every troop within a 100 mile radius of your kid might be a complete mismatch for them, but if you do happen to find one that fits, it will likely remain that way until they age out.

If you can't find a scout troop near you that isn't filled with personality clashes, your kid will likely want to move away when they get the chance anyway, because the scout troops reflect the local culture. They will encounter the same kids at the high schools.
Totally agree, appreciating assets are useful for wealth. Land, oil, and minerals are good examples.
NeuroHub unlocks data for brain research
Alter table is generally no big deal for any of the use cases that MongoDB is also able to handle.

On any good RDBMS, adding a nullable column to an existing table is an O(1) operation. This is the only option that's comparable to what's available in MongoDB, and it has the same performance characteristics.

On the great ones, adding a non-nullable column with a default value to an existing table is also an O(1) operation. The good-but-not-great ones, it's also O(N). (As always, you get what you pay for.) For MongoDB, wanting to do this would be unusual, but you would have the option of back-filling every record. It would be an O(N) operation, too. So, for this case, the characteristics of the RDBMS are no worse, and possibly better.

Adding a non-nullable column with no default is always O(N), but the fact that you're suggesting a document store as an alternative implies even more strongly that this is not the use case you're trying to cover. That said, if you did do it, it would also be O(N).

Converting a numeric column to a string column is always going to be O(N), yes. Whether or not that's the better option is something that's got to be decided in context. Basically, do you want to pay the cost of datatype conversion in one lump sum and then be done with it forevermore, or do you want to pay a small fee for datatype coalescing every time you access that field? There are good reasons to choose both options. However, all too often, the 2nd option is chosen for a very bad reason: Simply assuming that it's zero cost.
There's a workaround, which is that you can set a time zone for an event in GCal.
This is news to me as well as I didn't hear much about the company behind NPM, but makes a whole lot of sense to me. However, I don't see how they can make any profit.
The interpretation and application of the word varies.

Growing up in Canada in the 80s, all of Margaret Atwood's books were always considered Canadian Literature (aka CanLit).

Since the Handmaid's Tale TV series thrust her into the pop culture consciousness, I always find it interesting when someone in the American media refers to her work as science fiction.
Ask HN: Those who moved careers from the US to India, what's your experience?
Specifically asking for Indian folks who came to US, worked for a while and went back (due to VISA issues or otherwise). How has been your experience back in the homeland in terms of money and life?
> That causes a lot of stress and is indeed a major issue on the US employment market.

I'd say it's a major issue on the US citizen's quality of life.
A very good presentation on the topic, by an activist with the Sex Worker Open University: https://www.youtube.com/watch?v=VJRBx0JjM_M

Even if I had found the content uninteresting, I would have still watched through the whole thing because of how well written I found it.
Private package hosting
Wikipedia says Mir publishing house exists. https://en.wikipedia.org/wiki/Mir_Publishers
Why would anyone willingly move to an authoritarian dictatorship?
Memebox: Twitter search that returns the most liked tweets
As a n00b when it comes to web development I've sort of given up on fretting more than "too much" about "Is this the best way?" and focused on "let's try some stuff and it doesn't work I'll learn from it and make a better choice when I come to it".

There seems to be a cost associated with evaluating optimal paths. Personally I get SQL (well enough to use it) and I can work with so I don't bother with MongoDB much, but if there's someone who doesn't and needs to get a project going and the alternative is lots of delay or no project, yeah why not.

I feel like when it comes to development people really gripe about the best choices ... when the non best choices might just as well be looked at as a path to the best choices, and there's a lot of value in that.

Now that's all within the context of weighing the costs to ... everyone. Hobby project few if anyone will see, hey who cares. Work project, a lot more diligence and consultation with others ;)
Understanding Futures in Rust, Part 1
Meanwhile, every time there's a proposal to increase density and build more housing, the local NIMBYs show up and protest.

My neighborhood association just sent us this today:

https://m.imgur.com/gallery/TvX3679
Pretty funny you should mention Nehru. Tweets from official Congress party account credits today’s event to Nehru. Both sides resort to the same kind of tactics.
Rent control tacked to region wide inflation levels is still good policy even if it's bad economics. People should have an inherent right to place, if they didn't the immigration and native rights debates around the world would be non-existent.

Rent control also has the positive effect that if renters put in effort to improve the economic value of their community and neighborhood, that they wouldn't be displaced in the process. I'd also point out that rent control doesn't always have to happen as a result of low supply, nor does rent control necessarily reduce housing construction should zoning be relaxed in the process (in the era with the highest levels of rent control in Manhattan, was also the era of the highest amount of construction).
I am curious, why not japan or South Korea? Or even Taiwan, which google is now opening offices there?
How to Stand Out in a Python Coding Interview
Hi there,

Is there a reason why you don't integrate with their API instead? Seems like they offer have what you need: https://haveibeenpwned.com/API/v2
>for lower pay

How is it when adjusted for cost of living though?
Haven't moved my career here but am working remotely for a couple of months.

All of my work is European and I'm on the verge of leaving due to how bad the internet gets at night.

Throughout the day you've got ExpesssVPM and Shadowsocks but at around 7pm every night there's a huge crackdown on foreign traffic where even obscure sites fail to load.

It's probably fine if your work is 9-5 but outside of then the internet for foreign usage is pretty much unusable that I want to curl up into a ball and cry most nights.

Baidu and Chinese sites will consistently ping at around 40ms consistently but at night you're looking at something like 70% packet loss and 2sec pings outside
This article contains an central economic fallacy.

> Take the example of San Francisco; with nicer streets, even more people might want to move there. That would push up rents by an amount roughly equal to the value created — putting the gains from the higher quality of life into the pockets of landowners. ... The political economy problem now should be obvious: Why exactly would non-landowners press for improvements in their cities? The value of those improvements will be captured mainly by other parties.

This is equivalent to saying, why would anyone want a Starbucks to open in their neighborhood when the value of the Starbucks is captured mainly by Starbucks shareholders? (Assume, for the sake of example, you like Starbucks, otherwise replace with whatever you like.)

The answer, obviously, is that enough people find it to be a beneficial trade for both parties: people want to spend more money for better coffee. That's the invisible hand of the market that improves the sum of things.

Similarly, gentrification is about people wanting to pay higher rent to live in a nicer neighborhood. Yes the landlords get more money... but the tenant gets the nicer neighborhood! (Or closer access to more jobs, or whatever.) That's the whole point. That's free trade.

The author tries to claim that "residents just won’t care enough about the quality of life in their city." That couldn't be more wrong. On top of it, the author literally contradicts themself with the earlier line "with nicer streets, even more people might want to move there". You can't have it both ways, sheesh...
>> It's incredibly hard to convince people to give up power...

When I read that I thought the word power was important. The OPs brother-in-law is probably feeling a lot of things, one of which may well be "powerless" in the face of what is happening with his father. I'm not sure what involving the court is going to do in this case - for the patient or the interpersonal issues.
Why the Data Science Venn Diagram Is Misleading
Is Google Building an 'Internet of Places?'
Postgres is not an alternative to Mongo, though. Provide a noSQL alternative if you want an alternative. RDBs and non-RDBs seek to address different sets of problems, and sometimes you do not want or need a relational database.
Backblaze has done some cost comparisons between LTO and cloud storage:

https://www.backblaze.com/blog/lto-versus-cloud-storage/

If you're interested, I'm doing experiments with another site with 500T to backup, where I added sampling and sharding to HashBackup (I'm the author).

Sampling allows you to do faster simulated backups to determine the best backup parameters to use. In his case, we determine that a very large block size - 64M - was the best way to backup his data.

Sharding automatically partitions the filesystem so multiple backup can run simultaneously to get backup speed in the 250-400 MB/s range.

It's more at the proof of concept stage, but having another large site to work with would be fantastic! A couple of the larger sites using HashBackup are EURAC (European Research Center) and HMDC (Harvard MIT Data Center)
Why Americans Don’t Cheat on Their Taxes
Show HN: FORM6 – Named &ltfieldset&gt for nested form fields
Came across this FT article [1] exploring how some Chinese are getting around the mandatory "Study Xi Strong Nation app"[2]. The app requires users to collect a certain amount of points by scrolling through state-media articles about the president and answering quizzes.

Someone open sourced a way to subvert this brainwashing, and now there could be a real chance of Github being blocked in China if this solution gets too much traction. That or Github/Microsoft will take the repo down to appease Beijing.

[1]https://www.ft.com/content/adaa462a-4f61-11e9-9c76-bf4a0ce37...

[2] https://www.bbc.co.uk/news/blogs-china-blog-47236902
Giving two weeks notice is not required but it is standard for employees as a common courtesy. Why is it that employees are held to this standard but employers are not? laying someone off right before they vest is a cheap, disgraceful move.
Holidays, iPhones and cars cost almost the same everywhere. As an engineer "adjusted" usually means you're underpaid :-)
I think some of the typing would be problematic, as it allows action at a distance.

e.g.

fn bar(i : &u16) {
i + 1;
}

let a = 8; // a is a u8.

bar(&a); // Now a needs to be a u16,
// but we executed the line of code
// above, which forced it to be u8.
// Is this a type error?

You can probably solve this, by requiring all blocks of code to be executed repl style to be standalone.

i.e. the above code is entered as:

fn bar(i : &u16) {
i + 1;
}

## Execution happens in the REPL

{
let a = 8;

bar(&a);
}

## Execution happens in the REPL.

And make the far above give "a not defined in this scope"
Jason also sent an email to the WireGuard mailing list addressing this. [1] In the email, he stated that Cloudflare repeated refused to work directly with him and his team as part of the upstream project.

[1] https://lists.zx2c4.com/pipermail/wireguard/2019-March/00404...
Being the 4th nation to do this is tremendous achievement, being not acknowledged by PM would have been a bigger news.
How is this any different than if a person owned their home, how many people sell their house should they take a job further away. Rent control generally only contributes significant savings if you've lived somewhere a long time.
Hello Hacker News Community!

I'm the author of Anwendo tool, your feedback is much appreciated. Especially negative one, because friends willing to support share only positive feedback.
Pencil and paper is too generic, that’s like “CRIMINALS USED COMPUTERS!” This is a more specific accusation. Not just any pens, criminals used UNI-BALL PENS.

Tools aside, I have mixed feelings on the Backpage shutdown. What I've heard through friends of friends is that for non-trafficked sex workers this was a service that helped them earn a living much more safely than being out on the street looking for clients. Losing it has not been good for them.

One of the side effects of outlawing sex work is that everyone has to operate under the radar - both the people working a job for themselves and the human trafficking rings. If it were a legal profession operating in the open, would we be in a better position to find and help the people who are being forced in to it?

Similar problems to what we've seen with drug prohibition and the cartels.