skysight-inc/HackerNews huggingface dataset:
It is possible to improve the efficiency of photosynthesis by 25-40%. I wish I had a journal article, but here’s a news article about the process: https://www.latimes.com/science/sciencenow/la-sci-sn-more-ef...
Well, C already "adds a lot of value". For example, the mere act of defaulting to a calling convention, is already a commitment. The default generated, will not always be locally optimal. No matter how much the compiler rethinks its default choices ("optimization"), you will still end up with sequences of assembly instructions that will be considered stupid on closer inspection. Hence, you already unavoidably pay a price there. In the real world, nothing comes for free!
I said that expecting such a correlation to exist.

The line is between inferences of bad behavior -> bad result such as "you drive risky so you must be at risk of an accident" and pure correlation "you drive risky so you must be a man so you must be at increased risk of prostate cancer".

And conclusions should be assumed to be of the latter kind unless shown otherwise.
This starts to sound right and at the end takes the completely wrong turn when he says: "I especially like the idea of CO2 scrubbing for coal-fired power plants."

I actually believe this is the big risk of all Carbon removal and Carbon Storage technologies, and the one that always needs to be kept in mind: That they're used to justify the continuing use of fossil fuels.
(This isn't theoretical. This happened around 10 years in Germany when many new coal plants were built, and when people brought up the climate issue a very common answer was: "Don't worry, we already planned to enhance those plants with Carbon Capture and Storage technology later." Of course the latter never happened. At around the same time Norway had very similar discussions and I'm sure it happened elsewhere, too.)
From some Googling, seems like a typical software developer salary in Buenos Aires is around $10K USD/year. So this is dramatically more, ~30x that.
I'd definitely keep in mind that those are after-tax figures, though. At the higher income levels, CA+Federal taxes hover around 50%. So, roughly double that rent difference to get the salary offset needed.
That's if you only consider the housing cost. But if housing costs more then so does everything else, because everyone providing everything else has to pay the housing cost too, both for commercial real estate and higher costs per employee. Then you have the tax implications, i.e. all the extra money required should be calculated as after-tax at your marginal tax rate, both federal and state, and California has the highest income tax rate in the nation.
I don't think Huawei understands it, or they do but trying not to show. The West dont have problem with Huawei, the west have problems with CCP. And there isn't a single International Chinese company that doesn't have some form of Guanxi with CCP.
I smelled an odor when I first read about the 'orphanage'. Awww, how nice. Today I read the gift's details, and the odor's stronger.

"Mr. Cotten’s money, however, did not buy an orphanage. It bought materials, but Mr. Cherukupalli had to arrange the construction himself. And the materials were insufficient – there was enough for walls and furnishings, but not enough.... Mr. Cherukupalli began to accumulate more debt as he secured labour and additional materials."
Everywhere in the world or everywhere in California? If the former, I find it amazing that house owners ruining their house by replacing windows is a universal problem and that requiring permits solves it.
You misunderstand me. I agree Cotton is almost certainly dead.

I was responding to the statement that questioning the doctor was essentially useless when looking into the possiblity that Cotton faked his death, as either he did indeed die or the doctor was part of the scheme. I was pointing out that there is value in talking to the doctor, as there are possiblities that don't require the doctor to be complicit.

If you've decided investigating the matter is worth your time, you may as well do it properly is all. Doesn't mean I think it's what likely happened.
Because of Prop 13.

http://projects.scpr.org/prop-13/stories/housing-shortage/ has a good write up.

Because land isn't taxed based on it's current value landowners have little incentive to develop their land in order to get the most out of it. They simply bank land as much as possible as it's the most surefire way to turn a profit. It's why we have golf courses* in city centers and dilapidated shacks* next to Google's global HQ.

Additionally, prop 13 gives landowners every incentive to lobby for policies that restrict development in order to drive up prices instead of fighting for the right to build 4 story apartments on their property.

Slashing property taxes always floods the market with speculators and destroys housing affordability. Look at Vancouver, or Malta, their housing shortages rival SF despite low wages and comparatively small economies.

* https://www.planetizen.com/node/93284/la-country-clubs-takin...

* https://www.theguardian.com/technology/2016/dec/15/google-ca...
It's probably just not the right context for introducing this topic.

The suggestion that a fast might have cured this person's alcoholism and saved their life is highly speculative and may be seen as offensive by some.
Here are a couple of videos of a live one for reference:

https://www.youtube.com/watch?v=-nwA1hW0kUw

https://www.youtube.com/watch?v=A1WBilMrDIU
> It becomes a question of whether you support the principles behind the functionality provided

I prefer to listen to voices of people directly affected rather than organizations operating on the other side of the world.

As soon as women living in Saudi Arabia are saying that having this app is harmful, I'm all for having it gone. Right now what I hear is that the system is harmful (I think we're in violent agreement about that) and that the app helps in some cases while not making anything worse in all other situations.

When it comes to "supporting the principles":

I'd rather have them keep apps in the stores that aren't harmful (as said: I believe that this app doesn't make anything worse, in some cases it may even make things better) and stay out of morality based decisions, because at some point their morality will not agree with mine.

Apparently Google and Apple aren't too hot on unionization (at least there don't seem to be unions in either company). Should they remove apps by unions from their stores because they don't support the principle?

(but for the record: I'm not a fan of app stores as only, or even just primary application distribution channel. IMHO there should be no such curator who has to make this type of call)

> thanks to bugs/exploits in the software

It's not bugs in the software that enable leaving the country without physical presence and signature of a legal guardian. It's that these (hard to forge) factors were replaced by (easy to forge) phone ownership.

By removing the app they'd go a long way to fix that "bug".
Chances are you know someone who is on rent control and you’ll pay $700-$800 for a room. Not too many service workers move to SF if they don’t know someone there already..

Hell I know someone paying $850 for a one bedroom in Duboce.
Why the down votes?
Not parent, but I would define it as "Monuments" to visit (e.g. Eiffel tower), history of the area, culture entertainment like museums or theaters (i.e. not just movies, but opera, plays, musicals or concerts) and maybe regional activities (e.g. surfing in CA, but Octoberfest in Munich).

I haven't been to SF yet, but based on that Sankt Petersburg, Paris or NY seem more significant than SF.
Do you have any idea why Bridge would ban, what they admit is a non performance enhancing drug then?

Is it because of the IOC links?
> 1991

!?!

Java, F# and Scala didn't exist then.
Consider the market for a bond. Smart investor figured out that the default risk on the bond is lower then we thought. More people find out and there's a lot of demand for the bond so the price goes up. Now the bond trades above face value, so new investors get a lower % return, and the bond is no longer a good deal, so the price stops rising.

The same issue holds true for stocks, which are also valued based on a claim for some predicted future cash flows.
Even so, it's an amazingly good income for a teenager. Live with your parents, and you're a millionaire before you're 20. Live anywhere outside Silicon Valley, and it's still a fantastic income for anyone.
Yes, Azure is universally recognized as being far larger than Google's cloud offering (at least twice the size). Google is trailing badly behind AWS and Azure, it's why Diane Greene was forced to step down. There is an endless parade of research and prominent articles pointing this out:

https://awsinsider.net/articles/2018/11/01/azure-fastest-but...

https://www.bloomberg.com/news/articles/2018-11-13/google-ma...

https://www.geekwire.com/2018/state-cloud-amazon-web-service...

https://www.canalys.com/newsroom/cloud-infrastructure-spend-...

https://www.srgresearch.com/articles/cloud-revenues-continue...

https://www.datacenterdynamics.com/news/google-cloud-head-di...
I love this, useful for teaching purposes!
Trucks are further because a) they are heavier and require much more distance to stop, b) they are longer and require much more room to turn and maneuver, 3) they are much more likely to carry large quantities of hazardous materials. Driving a truck safely is a lot more complex than driving a car safely.
The MBA Myth and the Cult of the CEO
Sorry, why does the fact that your grandparents lived in a place have any bearing on whether you have a say on what a neighbor should be allowed to build on their land?
Earlier discussion here: https://news.ycombinator.com/item?id=19291458
The Kubernetes API is the same everywhere but setting up the underlying infrastructure can be difficult.

In particular, there are a number of options for the networking layer and the one you choose, and the way you configure it, can have significant performance implications.

There are 20+ choices for a cluster networking implementation here: https://kubernetes.io/docs/concepts/cluster-administration/n...
Seems to is not the right choice of words, I feel
Reconsider your strategy
Great. Just the way I wanted to die: killed by cheap weapons, attacked by people I've never met.
"But if housing costs more then so does everything else"

That's not really true. Restaurants are more expensive in the Bay Area. Fresh produce is not, if you know where to shop - actually, when I go basically anywhere else in the world, one of the things I miss is the ability to fill a whole shopping bag with 10-15 lbs. of vegetables for < $10. Gas is more expensive, largely because of taxes. Cars are not. Durable goods cost the same as everywhere else. Amazon charges the same (modulo taxes) regardless of where you live. Airline tickets don't have appreciable differences. Baby things (modulo housing and childcare) are cheaper, because the Bay Area is dense enough and tech savvy enough that you can get a lot of toys/cribs/strollers/mats/gates/playthings for free or cheap on NextDoor/Craigslist. A dollar of savings is the same in SF as in Alabama.

The point about tax rates is true for rentals. You can do the math yourself on whatever offer you happen to get - figure on housing in SF being ~$40K/year, meals out costing about $20/person, grocery food being about the same, public transportation being a few dollars a trip, and gas being negligible because you'd have to be pretty crazy to want to drive (and park) in SF.
I think the primary suspect today is app analytics platforms, especially the free ones like Facebook's and Google's. Just looking at how e.g. Intercom pulls additional data about users that your app didn't provide (full name, photo, Twitter or LinkedIn profiles etc), you realize that these 3rd party app services know more about you than you'd like them to. In fact Intercom, unlike others, inadvertently exposes this spooky fact that they are a part of the giant spying octopus with N number of independent brains.

So the explanation of what happened with the pregnancy app in the article might lie in 3rd party frameworks linked to the app. It might be that the app uses Facebook for its analytics but it's not even necessary: it could be Mixpanel, Amplitude, Segment, Fabric, Intercom, any or all of them. The spooky part here is that the legal implications of what 3rd party app services can do with data are not very clear (to me at least), and on top of that, tracing the sources of information seems to be getting more and more difficult these days. Facebook's answers to the author might be kind of honest: the people you talk to may not know where the information is coming from.

N.B. use outline.com if you can't see the linked article.
Yes, and for anyone interested your second paragraph is the definition of a “security”.
> Huawei was created as a front organization for China's intelligence service. This has been known for years; long before the Iran deal. We know it and they deny it.

Same as Google then, yet we don't see the same outrage from the western media as we see with the case of Huawei.

https://news.ycombinator.com/item?id=12841993
I would have expected the article to say something about election meddling via social media. Citizens are denied access to true information by drowning it in fake news.
That is not true. I was (and am) obsessed with science and the only thing I heard about then was global cooling because of carbon (as in smoke, not carbon dioxide) pollution.

The main fear back then was toxins of various kinds, from smog to nuclear to pesticides.

I agree with you that nuclear war was an earlier fear, 1960's.

Back then the concern was cleaning up the environment. CO2 was never mentioned. It was about air and water pollution, and garbage on land.
Pika: Making it easier to find, publish, install, and use modern packages on npm
Very interesting to see Google retain an app designed to shackle Saudi women with digital chains.

While Google employees openly express discontent with Google’s involvement with US DOD projects.

Gen 1 Silicon Valley was built on a foundation of US Defense funding.

How much is Saudi/Qatari/Emirati sovereign wealth fund money funding the current generation of Silicon Valley?

I’ve worked with numerous women from conservative islamic countries.

All but onee are now settled legally in countries with considerably more freedoms for females.

One is still working with the sword of Damocles dangling overhead in terms of arranged marriage.

One female GSB classmate of mine is Egyptian working in Saudi Arabia in a tenuous position without a male family sponsor/guardian.

Their country, their rules......

But our countries and companies, our rules.

Some consistent backbone by Google would be nice to see, not just in countries where the consequences of having a backbone are minimal.
Palo Alto is particularly expensive because of how luxe the area is (from what I understand).
I disagree that people paid by government contracts are slave workers. Or maybe you mean tax payers?

Either way, I always avoid phrasing things as positive rights. But they can usually be rephrased as “I believe it would be in the interest of our society and the well being of our people to provide housing for all people.”
You can use this: https://reasonml.github.io/reason-react/

And you can interop between reason and Javascript!
>The best strategy for reversing carbon emissions is letting the Earth soak it back up again.

Not really sure what you're referring to, if we're being practical. The only proposal I've seen that uses your strategy is seeding the oceans with iron oxide to cause algae blooms. I don't really know if that's truly feasible (or desirable) but it is the only one I've heard that is an honest attempt at Geo-engineering our way out of this mess.
Asynchronous Programming. Python3.5
Location: various, traveling

Remote: remote only

Willing to relocate: n/a

Technologies: Java, Spring, Python, Javascript, Google Closure, C, AWS, SQL, MongoDB, HBase, Hadoop MapReduce, RabbitMQ, Web (HTML/CSS/Javascript), Puppet, Linux admin

Resume: http://bit.ly/cconnell

Email: charles@connells.org

I'm an SRE and software engineer with 10 years experience. Most of my time in the last few years was in Java but I am a generalist and can be productive in new languages pretty quickly. I am looking for short-term part-time remote work. I am a fast worker and learner. If you have a project that needs an experienced hand to get it kick started, I can help you.
Excellent link. This is what people whose job is to protect fair and safe elections should be reading.
Boston at least has a pretty well regarded public transit system.

But even with that commutes are soul sucking. I pay $2.7k for a tiny apartment but not having to deal with a commute longer than 5 minutes walking is amazing for my overall well being.
It makes me mildly annoyed that people are getting cheaper rents than me in SF than I am near Boston.

Are these luxury places?
Keep in mind, no one who has managed to get laid off Facebook has any complaints about what Facebook does to society.

For the most part, I'd say roughly the same. All would be forgiven and forgotten if Facebook (at the minimum) doesn't prevent me from fucking the girl I want to fuck, or (maximally) even helps me fuck that girl. Just sayin'...
The difference is that for a lot of people, a job is just a way to pay the bills and for them, it matters very little what a potential employer's future plans are, beyond knowing that they will still have a job in a year.
After visiting and getting cut in line enough times I was basically ready for anything to get people to be nicer to strangers.

Another sort of weird system came about because restaurants always lied on their tax returns, so now there are lottery tickets built into receipts: http://engineerinshenzhen.com/chinas-receipt-lottery/
Idk, isn't the value of cloud computing supposed to be reduced spend on ops? Then k8s in my opinion doesn't meet that criterion because of its sheer complexity - you very much need ops staff capable to diagnose and fix problems, not to mention the lock-in. OTOH if you just buy RDBMS, MQ, identity and compute service tiers directly, then you might have success with cost as an SME.
While rare in the number of people directly affected by the US abducting and torturing them, the fact that it was permitted and encouraged by the country's leadership says a lot about the attitude of the US to human rights and legal process.

Anyway, the US has more systemic problems in how it affords legal process to the accused. The widespread racism that still permeates the country's institutions. The misuse of plea bargaining, which seems almost designed to deny proper legal process to the accused, unless they're wealthy enough to challenge it. Even in sentencing, the US still uses the death penalty, something that most other countries, especially highly-developed countries, have abolished.
Thank you for this link! I knew others must have covered this ground more systematically than I could.
Here's a fantastic intro from Red Blob Games: https://www.redblobgames.com/pathfinding/a-star/introduction...
> REPL provides much more value with a dynamic language vs a static language

One of the reasons why CL is how it is, is to support incremental & interactive programming. That was a big driver for its language design.

Being able to work on programs of arbitrary size while they are running. For that CL is a dynamic language. Not just a dynamically typed language. 'Dynamic language' means that one can change the program AND the programming language while the code is running. For that Common Lisp does a lot of runtime checks and includes an error system which enables one to repair code while in an error -> in Common Lisp the debugger stays in the context of the error and one may have explicit ways to restart the program. One can use that also programmatically.

Something like a REPL is not just there because you need to test your code to make it run, it is there because it enables us to program AND test a running program without crashing it.
Agreed but job openings in different areas most likely. Hypothetical example: you lay off 200 developers and want to hire 200 sales/marketing folks. Devs don't want to be retrained in marketing (I sure wouldn't).

But, also consider that the PE firm doesn't care all that much. They just need to make the numbers look good, so they replace highly paid veterans for cheaper junior workers. And ultimately, they force the company into treading water with a smaller/cheaper workforce which makes the numbers look good in the short term so they can sell it. Sucks for the company though.
AA works fundamentally by substituting an addiction to Alcohol to one for AA - This to me has always seemed like a workable (if in the short term) way to solve the problem.
If that would actually be the case you would have these salaries all around the world, but you don't. Because it's mainly a few big highly profitable companies (FAANG) that can afford these salaries and a big VC and stock market funded bubble around them. And even FAANG pays much lower salaries in cheaper regions, because hightech employers have to give a shit about housing. You can't compare it to teachers.

I think it's a dangerous attitude to think the salaries in CA are the actual worth of a software developer's work. It's just what FAANG can afford to pay. For many companies devs at that price point are not economically sustainable.
What you need may be “pipeline +Unix commands” only
Hah, no I don't have a blog, but I'm glad you enjoyed reading it! :)

I touched on this a bit, but the main thing is the compiler experience. I've written apps in Haskell compiled to JS before; specifically I was using Miso. While I very much enjoy writing Haskell -- that part was great -- the compiler is very slow, the binary is huge, and the generated code is completely incomprehensible. There are a few other disadvantages, such as runtime bulk, speed, laziness and the multitude of string types as well. Bucklescript is _so_ much faster than ghcjs and the tooling fits neatly into an established workflow (i.e. webpack, create-react-app etc). It compiles almost as fast as ES6, it has a built in code formatter, it supports JSX natively, etc.

That, plus I had been curious about trying OCaml for a while and I figured why not.
German police storing bodycam footage on Amazon cloud
Kleinschalig Vakantiepark Nederland
They are not. It's just a standard 1 br. SF is a bit peculiar. There are some things I should call out which are different in most rentals in comparison to luxury rentals:

* No Washer/Dryer in the unit. You'll usually share.

* No parking spot.

* No-one will be around to pick up parcels for you.

* You'll have to put the rubbish bins out for the bin man.

* The stove and fridge and heating won't be using the latest stuff. You're not expecting to have a Nest or a Viking but you won't get a nice stove either, it'll be very basic.

Honestly, it's a downgrade in standard of living for me but not to the point that it annoys me. Those things were just luxuries. Really the washer/dryer being in my unit is the one thing I really miss.
"Let our formal system be effectively axiomatized. Then by definition its axioms are a recursive set."

"effectively axiomatized" means that the theorems are recursively enumerable. It does not immediately follow that the axioms are a recursive set. However, by Craig's theorem, we can then re-axiomatize so that the axioms are a recursive set, even a primitive recursive set!

You are of course right about the consequences: In the post above, I meant to say that due to this theorem, it makes no difference whether we require the axioms to be recursively enumerable, recursive, or primitive recursive. But still, without this theorem, it would be a leap to conclude from "the system is effectively axiomatized" that "s
is a proof of S" is recursive.
I remember first hearing about it in the early eighties, this was through the national news in the UK.