skysight-inc/HackerNews huggingface dataset:
I think the analysis glosses over compile time checks.

Take the "VOS_memcpy_s" function they condemn for not checking one of the arguments on page 35.

If the source contains a check that the destination length is no less than the source length, for instance in an assert(), and the compiler is able to conclude that will always be the case, it is perfectly justified in not generating code for the check.

The trouble is that the check code would also be missing if the "production code" was compiled with asserts disabled.

To make the conclusion they do, they have to have checked that:

A) All implementations lack the check and all are in not-link-time-optimized library locations. (in which case asserts was probably disabled)

or

B) All distributed implementations (because VOS_memcpy_s was either static inline or #defined) all lack the check and at least one of them is called with arguments where the check does not hold or cannot be determined at compile time. (in which case asserts was probably also disabled.)

If they cannot prove either of these two points, it may just be that the code is in fact correct, and that the compiler was able to determine this and did not need to emit the checks.

For all their bragging about how state of the art their tools are, I see no indication that they have analyzed that deep and comprehensive.

That said, Huawei's code is still has atrocious quality.

Or as the C-team calls it: "Industry Best Practice"
Love his writing style. As for fishing, I use multi-week road trips for the same purpose instead. In this day and age, driving is one of the few remaining activities where you are unable to use a cell phone at the same time, and it really helps to clear my head. Scenery can be pretty amazing in the US, but mostly it's the endless miles, sleeping at rest stops when I'm dog tired, and then endless miles again. It's therapeutic.
Do tenants really decide like that? Moving is costly and insulation is hard to judge on a tour?
I've sat in on a few court cases, and also in a jury for a murder trial. It is honestly very scary to me how a judge, a single person, can decide something that affects so many people.

To me this seems like a flaw in the US's democratic consensus algorithm. It is literally no different than if Bitcoin's algorithm allowed a single node to decide what to do with 100k BTC flowing across the network. That much decision-making power should never reside with a single person, no matter how many people voted that person to that position.

When you think about it, it's pretty scary how even something like a democracy works in practice. It's not a great system but I guess it's better than all the rest?
Why everyone wants to go back to the Moon
>It couldn't win against coal on a balance sheet

It did win against coal on a balance sheet. It's the environmental concerns that stopped nuclear from proliferation, not the economical.
Thanks for this, it's much more clear to me now.
You mean like all those millionaires who decide to become thousandaires so they don't pay more taxes? Give me a break.
I think you need to back up claims like that with a source. Are companies themselves spending money on substance abuse programs for their employees? Are substance abuse problems the biggest factor in health insurance burden?
Thanks! Fixed the typo and updated with links.
Internal communications differ from external customer-facing ones.

For troubleshooting and internal use of course you want to describe the outage in precise terms (while being very sure you are not downplaying the impact).

For talking to customers, a sufficiently slow response is the same as no response, and nothing is more irritating than being told 'it's not really down' when they can't use the service.
> Some prurient examples

Not sure these are "prurient". You may mean salient.
I am not sure it can be considered efficient. Without free flow of information capitalism can't be efficient. It's only as efficient as information flows allow.
We have a very small Golang service that exposes some endpoints and basically just forwards incoming events to SNS which then publishes to subscribers like SQS/Lambda/whatever. This small service basically never fails as it's only dependency is SNS. I don't really see how this EventBridge is much more than that?
Are there any non USA music streaming services worth checking?
It's just a different risk profile. They see themselves as good at managing multiple properties for a steady income, rather than leveraging highly and managing just a few for an uncertain outcome (markets change for better or worse and they don't want to be left in the lurch).

Likewise, airlines use a lot of fuel. They could save money by buying fuel producing companies... but they're not in that business and don't want to worry about it. You can vertically integrate but you also have to recognise what you are good at and what you want to focus on.

There are REITs (Real Estate Investment Trusts) by the way, but they did quite poorly during the GFC in Australia at least.
> Because "A substantial majority of API requests during these windows failed. " implying that there was not a complete outage.

The fact that you needed to qualify “outage” with “complete” clearly means the word on its own is not incorrect for cases where a system was “only” mostly unavailable rather than completely so.

> I don't understand why people demand the usage of incorrect language.

The irony.
Anecdotally, myself and nearly all my friends just use Strava phone app to record the rides. For me the benefits of using an external device are essentially zero, battery used to be an issue on long rides but even this now seems to have been solved by the app.
That is one of the most worth to watch videos ever. I also had no idea it was a "precursor" to UNIX, so it kind of amazed me as if I was understanding time-sharing for the first time in my life.

I also really like how he's describing what I know as an OS, but before that term was used. He also mentions magnetic disks and terms like "words" (we use bytes now), "supervisor" (would be OS) and "alarm clock", which gives me a feeling of the turning point between huge expensive computers and personal computers. The work of this man and his team is truly the birth of computers as we knows them.

RIP
Have you ever played an individual sport like tennis? I get a similar feeling, especially when you’re just in the zone and you can’t seem to make a mistake. Very therapeutic.
What rubs me wrong about your argument is the capitalist nature of it. Access to resources and infrastructure shouldn't be limited to the extremely wealthy. A city should offer housing to everyone at every rung of the ladder because it takes a team to make it work.
If you don't have the means, it's not really "liberation". We are only nominally "free". You have to pay real estate taxes even if you do absolutely nothing, never get out of the house, and don't use any infrastructure or services. And if you don't, you'll very quickly find yourself under the bridge. My fantasy (which my wife doesn't share) is to one day find a place so deep in the boonies that no government official would even know about it, and live there Agafia Lykova style with no connection to the outside world. I doubt places like that exist in the US anymore. But they do exist in other countries.

https://en.wikipedia.org/wiki/Agafia_Lykova
Is it just me or does storing your 2fa code generators in the same place as your login/pw just seem like a bad idea. I know I’m screwed if someone gained access to my 1p... but they wouldn’t be able to get into the more secure services.
Do you think you'll ever be paying 2c/kwh daytime 3.3c/kwh night time including fixed fees?

I would guess not because you also need to pay for the grid, and call centres for when peoples power goes down and debt collection and taxes and all the other costs of business that you wouldn't have as a homeowner.

The actual answer depends on a lot of variables, are you staying on grid, what do you get paid for feeding electricity back to the grid, grants/ tax credits.

So I don't think its impossible that roof top solar ends up cheaper, I might go further, as in the medium term (10 years) theres going to be massive capital spending on the grid, so cost benefits are likely to be seen after that point.
May be useful:

https://github.com/eBay/beam

https://github.com/gchq/Gaffer
NASA's Mars Curiosity rover still taking a beating from red planet rocks
If anyone hasn't already read it, I highly recommend Dr. Matthew Walker's book Why We Sleep. The book basically says that there is no human physiological process that is not improved by sufficient sleep. The book has more potential to be life changing that any self-help book out there, provided the sound advice is actually adhered to. The pithy takeaway being: Sacrificing sleep does not make you hardworking or successful, it makes you fat and stupid.
it looks like it only replaces SNS no? As some of the examples are Lambdas and SQS queues that you can publish to. We have a small Go service that basically maps endpoints to SNS topics which then publishes events to SQS or Lambda or some other internal endpoint.
Don't see how this is much different other than provided integrations with popular services out of the box.
The argument for capitalism is that it's raising literally billions of people out of extreme poverty - Zizek is clueless if he doesn't get this basic point. If you're a random poor person from China (especially the Chinese interior - urban and coastal areas have their own reasons to distrust too much democracy however), you don't care about democracy, period - capitalism (as in, good business) is your first priority, and basic liberal values (even Xi is focusing on things like fighting corruption and opportunistic behavior - that's the hidden dynamics behind the "social score system" controversy!) come second.
> committing acts of violence without consequence,

How do you explain consequence, or even violence to someone who doesn't exist in this plane of reality?

Puritanical notions of punitive justice (especially for the mentally ill!) have no place in a civilized society. Grow up.
Have you stopped smoking really?

To me is sounds like someone saying "I don't smoke any more, I just use cigars instead".
How does this compare to Airtable?
Just graduated college: Even if we could afford to, most of us helped each other move.

But you have to value social connections, they don’t come naturally.
Hi there,

Dropshare developer here.

I’d like to quickly clarify that the initial statements are untrue. The Webserver is used as communication bridge between the Share Extension and the app. It only accepts requests with a signature. It cannot delete, share or else manage any uploaded files, and has no code that could potentially cause any harm on your server (e.g. by executing things). It only accepts file urls from your local machine to be uploaded and again, only with a properly signed request.

It is unfair to compare this to the Zoom case since there is no potential vulnerability and other than you explain, there is no danger involved with someone making damage to files on your server or whatsoever.

Best,
Timo

P.S.: Of course in case you think you did find indeed a vulnerability I am not aware of, please get in touch via support@getdropsha.re according to responsible disclosure.
How powerful is our subconscious?
Most countries in eu (if not all) dont give birth-right citizenship. So i dont know if your arguments hold true. Usa is one of the few countries which does that.
This would be a good test for AMD ROCm - their Vega R7 has 16GB of memory, supports PyTorch, costs $700. Would the pretrained model load on their GPU?
If you could perfectly simulate a brain down to every atom, why wouldn't it have feelings? It would be indistinguishable from the real thing...
Several places I've worked used boot images - every reboot restored the drive to a universal state. It works fine.

You redirect a user's folders to the network share, and people get used to it fairly quickly.
> There's no evidence for which causes which. If causation runs the other way, then that for every 0.11C increase in temperature, clouds decrease by 1%.

What sort of evidence are we talking about? We don't have a another exact copy of Earth so we can't perform a controlled experiment by somehow inducing low clouds to form in one and not in the other. But if you need this sort of proof then how can you turn around and justify the belief that CO2 is definitely causing climate change?

Even NASA would disagree with you (https://visibleearth.nasa.gov/view.php?id=54219):

Clouds play a complex role in the Earth's radiation budget. Low Clouds reflect much of the sunlight that falls on them, but have little Effect on the emitted energy. Thus, low clouds act to cool the Current climate.

(Note the paper is specifically referring to low clouds)

> The problem with this line of thinking is that, when you do something to a system, usually lots of properties of the system change. So you can always say "Look, properties A and B changed at the same time right after we did X! So maybe A caused B, not X."

Sure, but also, when you make changes X1, X2, X3, ... Xn, you can't just arbitrarily say that X1 must be the cause and X2 .. Xn are not.
It makes zero sense to set dollars on fire by housing people in one of the highest cost of living markets in the world.

I'm not a strong proponent of the Housing First model, but the reality is that it's generally cheaper to house people than to pick up the tab for medical care et al for homeless individuals. Medical bills for the homeless population tend to cost far more than just covering their rent.

Two supporting articles found via a quick google:

https://www.governing.com/topics/health-human-services/gov-h...

https://www.healthcarefinancenews.com/news/hospitals-invest-...
It’s very possible that a broken pipe would have shorted out all batteries on an equivalent non nuclear sub. But, that would also have been a significant design flaw.

Anyway, I think this is more a case of disagreements about what constitutes a system than about what happened. I would say if the design of a critical system lets people mess up then that’s a failure of the design and the system. Chernobyl was very much a case of operators doing a long series of dumb things as people do. Similarly, the operators caused an issue with the steam system, but that just means the system and it’s design was also faulty. (IMO, the steam system should be considered part of the nuclear power plant as civilian nuclear power plants also use a steam loop for similar reasons.)

I would rate the US Navy highly on nuclear safety operations especially over the last 50 years.
How an Optimizing Compiler Works
Jony Ive and Marc Newson (2013) [video]
The moral hazard is for those renting: the free housing is equivalent to an insurance payout.

A renter can do risky things (like lose their job) because they are protected from the consequences of not being able to pay the rent. They get housed anyway.
Nicotine has a very non-linear impact on health. While ecigs are about 10x better in terms of the amount of 2nd hand nicotine, I wouldn't call them safe. IIRC it takes extremely low nicotine levels to cause (temporary) circulatory problems.
Isn’t this a western/Christian wet dream. Worth mentioning the debunked Hagarism (Cook and Crone) and also the perception of Islam in Europe in tolan’s more current Faces of Muhammad.
Microsoft backtracks on Partner Network changes that sparked uproar
If effect, your comment reads 'we could stop emissions in time to prevent a worldwide catastrophy but have decided not to do so'. Imagine a similar scenario replacing CAGW with an asteroid on course for Earth!

The reason is simple: governments (the only bit of the 'we' who can actually implement significant measures forcibly if necessary) don't actually believe in CAGW though they (and just about everybody else and their dog) pay fulsome lip service to the idea.
From the text referenced in Facebook's response as cited by the article:

To begin using the Facebook website, a consumer first creates a Facebook account. The consumer can then add other Facebook consumers as "friends" and by accumulating Facebook friends, the consumer builds a social network on the Facebook website.

The following statement in the article:

So Facebook is denying it's a destination that allows consumers to sign-up, add their friends, and build a social network.
not disagreeing. however, the hunger for energy in India and China is causing outsize investments in MSR.

For example - https://www.nextbigfuture.com/2017/12/china-spending-us3-3-b...
I am on a local city commission. As part of this, they gave me an email address (made me unhappy, but whatever). They sent me an email to my personal email address telling me how to log in to my city email address, explaining that my password was a trivial algorithm based on my name, followed by a number an exclamation point. This was a form email: every single address in the entire city has the same password format (with the same number, to be explicitly clear). They disabled the feature to let people change their password. So... anyone can log in to the email account of any official in this city and do stuff like delete mail before they see it (as even if they have audit trails turned on for administrators, the official can still delete mail from their own perspective, and would never know if someone helpfully deleted it "for them").
> This is precisely the genius of SolarCity: they were able to use the low interest rates banks would charge them to install solar power on people's houses at a much lower cost of capital than the same banks would have charged the same homeowners without SolarCity's intermediation.

That sounds like a pretty interesting pitch as a business model.

But if I recall correctly, SolarCity failed and had to be bailed out by, um, Tesla. Why? Was the free money just not enough?
Not chopped liver?
Illustrating Group Theory: A Coloring Book (2017)
What offends me the most, as a web developer
How many vertices?
I've done the math where I live, and concluded it'll never pay for itself even if I exclude maintenance and live in the same house for 30 years (the claimed lifespan of a solar installation). We have roughly the same amount of sunlight as Germany. Were it up to me, I'd rather have nuclear in our state. One of those new thorium reactors maybe. I'd even pay a little more for that, especially if they shut down the remaining coal/gas/oil power plants when nuclear comes online.
I was addressing the "show you buttons when you highlight text" issue.

Enabling JS and 'none' styling the offending elements via CSS ... solves at least one problem.
Too bad it's been discontinued...

https://www.tomshardware.com/news/amd-radeon-vii-end-of-life...
I watched a video with Saul Levmore where he said that China was a bit of a mystery to economists, they have economic growth even though the market is far from as free as in the West. His guess was that since China is so big and local politicians want to advance you get a competition among all the cities and provinces where the local politicians try to show off their fancy hospitals, bridges, factories and such while trying to avoid something embarassing like an outbreak of disease or a huge unemployment rate.

If investigative journalists go however this competition to improve people’s lives would be less important and I think the competition over the favor of president Xi would become the route of choice to advance. That should hurt China’s economic prospects in the long run.
> At 13:37 TeamCity built the rules

Hmmm...
That's why it's interesting, in Sweden a person is = IP. Which in this case is considered the owner. There's also been a case recently where a private person has been hold personally responsible for other peoples facebook comments.
Very random question. It’s the first I come across a concatenative programming language. Is SQL also concatenative in a way? I am thinking what you can do by chaining subqueries together for instance using “WITH”.
What I want to read more about are people in industries in steady decline and why they didn't or couldn't get out before the end of the road. And maybe about those who did.

There wasn't a sudden ban on journalism. And the story behind why he stuck around until the end is what interests me.
Don't use a backtracking regex engine is probably the better lesson. I want a tool that won't unexpectedly poke me with the sharp bit.
The argument that dealing with China will somehow make them change their values makes as much sense as saying we should deal directly with drug cartels and they'll change their values. It may be true, it may not be true, but either way it's basically the same argument. Somehow that by bringing them into the system will make them more like us.

I'm honestly not sure how effective it is. A more moral stance would be not to deal with people who don't share your values and let them actively change if they want a seat at the table (and of course this ideal goes both ways), but there's less money to be made that way.
I wonder if it's part of the social contract that everything society provided to get you here, one of the many payments is you have to stick around and be part of society for the next young you.

I'm thinking about: what would happen if droves of people fled into the forest to live. Could society function without them? How many?
They would make the property more valuable when you sell it.
The syntax is a bit peculiar, but they defined the union type Nat, defined the function + which takes two Nats and returns a Nat (which they defined in a thoroughly confusing point-free way because the language is concatenative), and demonstrated the associativity of +.

If you read any introduction to dependent types, they will do this.
You can do this for free today using open source libraries. https://www.levels.fyi/comp.html used to run entirely on a Google Form + Spreadsheet and still backed by one.

Submit form: https://stackoverflow.com/a/37743080

Get data from sheet: https://github.com/jsoma/tabletop

Happy to answer any questions.
Multilingual Neural Machine Translation in the Wild
A number of places use Haskell. There's a list at https://wiki.haskell.org/Haskell_in_industry.
City centres are where service provisioning tends to be most efficient. Providing services there does seem to make sense. And if the homeless / housing-insecure population is so large as to skew overall real estate markets ... maybe you have a bigger problem?
Our broadcast signals are well below the noise floor at those distances. Carl Sagan didn't think this through.
He regrets it because of the potential damage to his image, not for other reasons apparently
This sounds more like sabbatical.
mscgen + graphviz
This approach, known as Communism, has been tried many times. Turns out that although 'from each according to his ability, to each according to his need' sounds nice, wealth actually doesn't come from a fixed pie we get to cut up via politics. We actually need to let people keep what they create, or they won't bother creating and everyone starves.
> Seems this strategy does not apply well to China.

How so? It appears to have worked on the Soviet Union, and very few people accurately predicted its fall.

Increased living standards will surely bring change, any likely already have - China is a different place now than it was under Mao, isn't it?

There's also a cultural aspect, of course. "Change" usually implies change to become more like a Western society, but that's not necessarily what the Chinese want.
I suspect it has to do with Mens Rea
Using Neo4j community edition would certainly make your life easier in terms of the queries you might want to express, but for this amount of data you can get away with postgres, as you observe.

If you want a simple in memory graph modelling library then check out Apache Tinkerpop. Its great.
How the biggest decentralized social network is dealing with its Nazi problem
Massive Multiplayer Technology for Mobile