skysight-inc/HackerNews huggingface dataset:
Saw this in the translated "SaferCPlusPlus" output examples.

static void string_set(char** out, const char* in)

What happened there? Where are the array types? Wrong place to look?

If inference can't make a definitely good decision, maybe translators should guess, conservatively. That is, if it looks like something needs an array type parameter, make it an array type parameter with subscript checking. Then run tests on the translated program and see if that works. That's what humans do on such code. Machine learning has potential here. For any array in a working program, there must be some expression of some variables that expresses the size of the array. If humans can't find that expression, the program is unmaintainable and probably has a bug.

There are really 3 cases.

1. this is a pointer, and it's never subscripted or offset. That's a pointer to a single instance of something.

2. this is a pointer which is subscripted or offset, and we can tell from context how big the array is.

3. This is a pointer which is subscripted or offset, but auto-translation fails to figure out how big the array is supposed to be.

The problem is to convert (3) into (2).

I tend to think that a good metric for C code quality is how hard that is. If it's not obvious by looking how big something is supposed to be, there's probably a potential bug.

[1] https://github.com/duneroadrunner/SaferCPlusPlus-AutoTransla...
The outbreak resolves. The infection does not. And recurrence of HSV is quite common.
How long does flipping take? The tax is only 3.3 percent per year for a vacant property. And while you're making improvements you can get exemptions. For 'blight' you need to make sure the outside of the building is intact; that shouldn't take particularly long.
Likely because the charge includes more than sharing the video:

> The young man has also been charged with allegedly posting to social media a photograph of one of the South Island mosques being attacked with the message 'target acquired' along with other chat messages 'inciting extreme violence'.
I just think it too frequently bleeds into trying to find so-called biases in arguments (whether written or verbal)

If you're sick of it, that implies it's all over the place, but I for one have no idea what you're talking about. Who focuses on cognitive biases in arguments? The blog post says nothing about arguments.
Cool. Well hopefully some third parties will now create cameras all in the same form factor with the same pinout so that the choice of carrier board and camera can be independently made.
Where I live (Denmark), these days nteraction with public administration mainly happens through web interfaces, like it or not.

And believe me, when I log into some state service, Google follows. Because even in what is supposedly my private business, pages are infested with links to analytics, fonts, tag managers, and assorted other Mountain View skullduggery.

In my daily life, I have uMatrix, cookie killers, and other defenses keeping me reasonable free of all that nonsense. But the mandatory, enforced central logon ("NemID") - which I must use for all public logging in as well as for my bank and similar stuff - is such an unholy clusterfuck of malice and incompetence that I long since gave up the fight and assigned it its very own, completely unfiltered Firefox profile, simply in order to at least sometimes get things done.

So yes, Google knows exactly where I'm going page for page, not only if I visit, say, the national police website, but if I am deep in filling out forms for the tax authority, consulting with health services, using my web bank, answering a court summons, whatever.

I'm fairly certain much of it is actually illegal. But any complaint goes up against a massive wall of ignorance and incomprehension, often a far greater challenge than an expert reply.
What makes you think Grothendieck had mental health issues?
Coding school is becoming everyone's favorite form of job training
A little bit, but podcasts and other instances of performed speech represent a narrow sample of what human speech sounds like in the real world. Eventually, there is not much to gain from it.
Profile of Ranjitha S by Ranjitha S
You can catch more flies with honey than with vinegar
> Studying and treating the brain by developing methods to alter conscious states is, I think, going to be a major achievement of the 21st century

There's a great book called "Stealing Fire" by Steven Kotler & Jamie Wheal about this very subject.
I believe this is CIA's method of diversion. Feed the enemy with some noise, disinformation, and false research focus. If they follow it through, they'll lose their attention on the genuinely important thing.
Indeed, they're pretty cool (although in my experience the resulting TikZ code sometimes slows down compilation quite a bit).
Great, lets hope congress now has the incentivize to properly analyze the incident and determine if a lack of adequate resources was the source of the problem and then acts on it.

Regulation for regulations sake (as in telling the public it's "regulated" by pointing to current scale and existing policymaking, while in reality it is not having the intended effect) is even worse than having no regulation at all.

The current congressional majority is hardly composed on the "pull yourself up by your bootstraps" types being blamed by the GP. At least in terms of rhetoric and campaign platitudes they are known. Even among a significant percentage of the republicans camp is far from fitting into the anti-government oversight camp.

The article mentions of a lack of "funding" but I haven't been able to find any evidence where funding for aircraft safety has been reduced in the last few decades. If there was a crisis of funding, where new planes aren't getting sufficient oversight or controls, then this regulatory body have either failed to make it a public issue, shutdown whistleblowers, or (more likely) it's a failure of regulatory capture and/or the monopoly-esque companies have learned how to navigate the political system (checking the right checkboxes) without any disincentives for doing so.
Almost like they wanted the next most useless thing to abstinence, complicated process.
> repetitionsapp.com

Anki seems to be the go-to spaced repetition program here. Have you tried it? What attracted you to repetitionsapp?

(I don’t use either, but I’m looking for a good one...)
The SEC complaint can be found here:

https://www.documentcloud.org/documents/5775155-Reply-to-Res...
I was being condescending towards the people who let a fake blood testing company send out fake results putting lives at risk just because they were afraid to get hit with lawsuits that would ultimately be frivolous anyway because they know its all fake!
Ohh that is absolutely right. Articles like this transform a tragedy from a number to reality for most of us. But it then helps us remember that this story, this life is just one of the many.

The other aspect I wanted to touch which I know is hard and I don't know if I can do it successfully is that every life has dreams and meaning. This person seemed great in many ways accomplished, helpful and humble. But while others might not be accomplished or life that we can't easily relate to their friends and family the loss is equally shocking and horrible. As many people said and which is true for me too, that it's hard to internalize so many lost lives, such numbers. But we can try even if we are not fully successful.
Yeah, the Reactiflux community has been on Discord since late 2015 (we were on Slack before that). Don't think this group was ever on Gitter - perhaps there was some other group besides Reactiflux?

There's an invite link at https://www.reactiflux.com . Please come by and say hi! We've always got a bunch of folks hanging around happy to help answer questions.
Would it do better than a CPU for training? I do my dev on a MacBook Air and use AWS for training, if this cheap gpu will be a few times faster than my Air CPU than I’d be willing to get it. I usually work with medium sized models/data, too big for CPU but don’t need a multi gpu cluster.
Book links silently reroute to Amazon affiliate links (tag=fivebooks001-20) in violation of Amazon's own rules.
https://github.com/dbcli/pgcli is my favorite terminal client for postgres. It has smart completion, syntax highlighting, and more.
The article itself mentions that even articles about Trump bombing Assad forces are counted as "negative on Islam". Also looking at the pictures of headlines they provided, only one says anything about Islam (at least in the headline, there could be more in the article but they specifically talk about headlines).
I think this is a study which aimed at predetermined conclusion and was successful in reaching it.
I wish it told me why it's better than nginx/others rather than why the author picked that name.
Bottom line? When it comes to deciding between a can of sugary soda or a LaCroix, the sparkling water is a much better choice for your overall health [...] But like everything in life, LaCroix should be enjoyed in moderation. -- Your Link
Allow me to clarify: facts are meaningless in the literal sense that facts are devoid of meaning without interpretation. When you say facts be confirmed by experiments, the very confirmation already presupposes the existence of criteria by which you prove or disprove facts. Those criteria are precisely what constitutes theories.

Now back to the original question, it's true you can establish facts through experiments, but since facts are always mediated by theories, it's not very useful to discuss how one deals with purely raw facts and more useful to discuss how one approaches truth from mediated facts. I think OP meant facts in this sense.
One of the most enjoyable pieces of writing I've read in a while.

An important reminder that sharp, articulate intellects are everywhere.
I work at Google, so it's in the billions.
Learning a foreign language is more than just learning grammar and vocabulary. It is also learning to distinguish the different sounds of that language and the ways to make those sounds. I can't do the searches for it right now, but from what I recall, people lose the ability to distinguish sounds that they don't hear often by a very young age, since their brain figures it's not important to distinguish those, so that it becomes increasingly harder to pronounce and understand those languages which use different sounds. This is why L and R differentiation is very hard for Asian speakers, and tonal languages like Chinese and Vietnamese are very hard for English speakers.
In some applications you may want to run a continual learning algorithm so it will continually train on new data as well as make inferences.
The zoning has to allow for building up before that counts.
I think one of the most interesting things that have come from my study of the decision making literature is that there is a second field that Kahneman respects, that stands opposed to his heuristics and biases (H&B) tradition. The field is called Naturalistic Decision Making (NDM), and it's mostly built around the study of intuition and expertise.

The argument that the H&B camp makes is that heuristics and biases get in the way of proper judgments and decisions because they are shortcuts that our brain makes to conserve resources. The argument that NDM makes is that heuristics are how our brain works, and we should spend more time utilising how it naturally works to make better decisions, instead of fighting it and trying to build intuitions for probability (which are unnatural, and not what our brains are built for).

The disagreement led both of Kahneman (H&B) and Klein (NDM) to write a joint paper: https://www.fs.fed.us/rmrs/sites/default/files/Kahneman2009_... the key takeaway of which is that the H&B approach is best suited for domains where expert performance is bad, and the NDM approach is better suited for domains where expert performance is reliable. The paper describes the conditions of the two domains.

I've written a longer post summarising the findings from NDM at https://commoncog.com/blog/putting-mental-models-to-practice..., which exists as part of a longer series on putting mental models to practice. (Earlier parts cover the foundation of the judgment & decision making field, which is mostly built around the H&B tradition at the moment).
I suspect some of it is tax liability. (I am not an accountant) but I think you can deduct the “loss” of rental income you didn’t get against other properties you may own. If the ammount of the loss is “rent you could have gotten but didn’t” instead of “market rate”, you’ll just keep the rent high.

I’m in Cambridge MA and the Harvard square movie theater sits empty 5+ years and i can’t think why excepting financial shenanigans. (Though apparently there is finally a plan to redo the building)
Projects tend to be fair game to criticism for failing to meet goals after funding. My question was about examples of airline manufacturers getting "deregulated"? Particularly top-down pressure from congress related to aircraft safety at the manufacturer level (rather than the aircraft manufacturers getting special treatment from the FAA or freely gaming the system - by bypassing protocols of "new" plane models without any pressure from the regulatory body).
I agree, never mind those studies. Art is masturbatory. Learn a trade.
Trusting Unicode strings like SSH fingerprints
Get the Best Legal IT Services Around New Orleans
https://thinkitsolutions.com/industry-specific-solutions/legal-it-services/

Legal IT services understand the volatility and interdependencies of a law firms' workflows. These services will help companies to design, plan, implement and operate efficiently and securely for clients. Legal IT services guarantee that your software is correctly integrated for maximum speed and consistency.
Thank you for sharing your thoughts.
Building such a storage behemoth is not the challenging part. Filling it with data, backing it up, and keeping the RAID rebuild time under load on such monster drives below the average drive failure time is the challenging part.
Advertising has real value in making markets efficient. If Bob's Bait Shop has a 50% off sale, or if a new shop opens in a town, a lot of people would really want to know, and advertising fills this gap. The businesses get more profit, and the customers are able to make more informed decisions.

Here's a practical example of an inefficiency that advertising could have solved: I was taught Java in 7th grade, and used Eclipse as the IDE from then to 12th grade. In 12th grade, a friend used IntelliJ and I asked him about it and tried it out. Turns out it was much better than Eclipse, and I stuck with it.
Jeff Atwood's blog https://blog.codinghorror.com has a little unobtrusive and non-evil ad in the corner. In the past it advertised for Rider (the JetBrains .NET IDE), but he seems to have added other products since then. If there was an IntelliJ ad there, I would have looked into it and it would have been a win-win situation: JetBrains gets a customer and eventually $$$, I get a better IDE.

One idea I had is to limit advertising to (for example) 3 ads a day per person. Obviously this would have to be enforced by the government/etc. by removing all non-sanctioned ad delivery channels as well as all public ads, but it would allow relevant and useful ads to be useful while reducing the garbage of companies putting their name everywhere in a mind-control attempt.
Do-it-yourself ultralight tent (2017) [video]
If you stop taking caffeine, the physical cravings should go away after about a week. You'll wake up without it about as well as you were habitually waking up with it.
I would actually suggest a learning period for pricing. Basically youre going to iterate through several pricing models and youre not going to get it right your first try, so embrace that and figure out the best set of prices “for now”.

- make sure your unit economics work; you dont lose money on a sale unless its part of some intentional strategy (you need a pile of cash)

- find some artificial scarcity features and at least separate your potential customers using one of these.

- instrument your systems (sales and revenue) so you can get good stats on LTV, LTV:CAC, ARPA, etc.

- after 6 months (or whenever you feel is appropriate) revisit pricing and revise your strategy.
The court almost certainly expects him to follow that directive. Provided that it is persuaded he didn't, he could be in some nasty trouble.

In fairness, no reasonable person would predict that Musk would follow it. I imagine that played a role in the SEC's decision to request it. (What trap is better than one the victim agrees to enter of their own accord, in public?) Musk, not being a terribly reasonable person in this area, probably assumed it wouldn't be an issue for him. If so, that assumption may bite him.
The Daily Telegraph once put heat monitors under everyone's desk. There was an outcry among the employees about this, and the explanation from the Telegraph was it was part of their HVAC system, and allowed the air conditioner and heater to smartly determine which parts of the building needed more heating and cooling due to more human activity going on in those parts.

Under the most charitable interpretation of the above, the Telegraph meant what it said, and only ever intended to use the data thus collected to optimize HVAC output to only those areas with enough human activity to warrant it.

But, you see, once they had the data about who was at their desk and who wasn't, it behooves them to act on it.
Same here. My favorite drink is pellegrino with just enough splash of lemonade for it to become sweet. Much more refreshing and hydrating.
As an exercise, I have been building my own computer from scratch. Started as an adder made in transistors. Became a simple three instruction nand cpu (add, sub, jump). Currently building a very minimalistic copy of a 6502 out of ttl. Goal is to create a machine capable of hosting a website with my dev log and schematics for its own creation. I will have developed every piece of software running on it.
That is just so sad :(

I've never quite understood why Islamophobia is so prevalent in Australia. Even more than in the US, it seems.

So I found this.[0] It seems a great summary.

0) Briskman (2015) The Creeping Blight of Islamophobia in Australia. IJCJ&SD 4(3): 112‐121. https://www.crimejusticejournal.com/article/download/772/527
I've been self hosting fathom. It was a snap to setup.
Just because you present the facts doesn’t mean you aren’t biased.

Note the focus of some of these articles on individual incidents in a civil war, for example a particular group of predominantly Muslims killing a lot of Christians on a particular day. The reporter neglects to cover the other six days of the week when many more Muslims were killed by this group.

Is that fair coverage? Does it appear to be accurate? Is it negative about Islam?
Startups that launched at Y Combinator’s W19 Demo Day 1
I guess n-gate is right about the horror that is the Rust Evangelism Strike Force.
One way to get around this is to use HAProxy as a middleman where it can handle HTTP2 concurrent connections on the frontend and then connect to the HTTP1.1 webservers on localhost on the backend so that you don't have to pay the big TCP connection latency.
> Andrew Bolt though, no matter what your view on Islam, does it really deserve mentioning in 38% of his articles.

Depends on what is his work area and interests. Journalists often work in specific segments. If somebody covers US White House, it'd be no wonder they mention Trump frequently. If somebody covers British politics, there would be tons of Brexit. If somebody covers Middle East and Syria, well, there would be a lot of ISIS and such. And if somebody is into crypto currencies, there would be a lot of Bitcoin mentions. I don't think its more fair to say it's obsession than saying a particular sports journalist is "obsessed with baseball" because 38% of his articles mention the sport. Yet less it means the particular person hates baseball and is "baseballphobic".
Just to throw some additional context on these numbers, Toronto has over a million housing units. At the upper bound of 12k AirBnB units, that's about 1% of all units.

Source: https://www.toronto.ca/legdocs/mmis/2015/pg/bgrd/backgroundf...
That statement isn't meant as to say that people don't have or produce culture, specially first nations. Instead it is a statement about the non-locality of culture. (In the lines of https://www.wikiwand.com/en/Deterritorialization)

Even more, the attack on first nations have been mostly on economic aspects, mainly the land trough colonization. (See Mariategui Seven Essays on the Peruvian Reality, specifically the third essay https://www.marxists.org/archive/mariateg/works/7-interpreti..., original in spanish: http://resistir.info/livros/mariategui_7_ensayos.pdf )

The Maori culture is maintained by Maori people engaging in culture not merely by a museum exposing "the Maori cultre" and a society disenfranchizing Maori.
I would stick to AWS for training. Your CPU will be orders of magnitude slower than most GPUs for training.
Ask HN: Need Google Credits for Research
I'm a researcher trying to publish some papers but I can't continue without funding on GCP. I've had to stop all my clusters/engines since I don't have enough credits. I've applied to Google's research credits program and haven't heard back in a month. Is there any other way to get GCP credits? From my estimates I'm in need of around $5k in credits.
Not to defend the community at large to a fault... But there are an amazing amount of bug reports which end up being nothing. Its easy to dismiss something as a non-issue by not understanding the underlying cause, which is why the NFS / fsync issue persisted for so long. To be fair, it was also an issue in other DBs.

Not that it forgives the fact the bug was reported 9 years ago and it just recently got fixed. I know personally I'd have messed it up.
unmatchable type or not yet matched type? dangling type? provisional type? unconfirmed type?
> No idea what the equivalents would be for Node + Express and MongoDB but I'm sure they exist :).

GitHub, up for grabs issues. If you really want to learn, stick with the more popular proects, as they usually have more experienced developers involved.

The problem with this is that you need to work after-hours, which is not everyone's cup of tea.
I wouldn't consider it a mistake if Asimov predicted that by year 2000 we'd have flying cars or general AI. I don't see any clear argument available in 1950 about why this cannot happen.

However, not imagining that technology could fix mistakes in a document without discarding it, is a major blunder. I think if Asimov understood the world around him well and was good at analyzing how it evolves, he could have avoided it.

Sadly, I've seen many such mistakes in every sci-fi book I read; and given how little I know about the world, I probably see only a fraction of the mistakes that would be obvious to someone else.

Perhaps people who are good at thinking about the future rarely become sci-fi authors. Or perhaps I have been unlucky with my book selection -- if anyone can recommend a sci-fi novel where the world is well thought out, I'd be grateful.
My life is a lie :(
Joined!
Except the privacy policy clearly states what Microsoft users this data for. You can go around flailing your hands in constant paranoia or you can actually give an evidence of wrongdoing and sue the shit out of them.

But why wait for evidence when posting "Micro$oft is evil" is more fun?
Wouldn't the Shield TV be a better fit in the same price range? It does Plex transcoding.
Why I believe Rails is still relevant in 2019