skysight-inc/HackerNews huggingface dataset:
> If the assertion ... actually addressing those externalities

No. We can address those externalities by creating low carbon buildings, energy, and other infrastructure. Those are mostly finite projects. Until we know how high carbon taxes must be to induce the required change, we might have far too little to fund even that, or much in excess. Just like it took many years (this time we need to go quicker) to understand the scale of the North Sea oil dividend. After some years we'll have converted much of that infrastructure and need more long term targets for that money. Being perfectly revenue neutral is NOT the aim. Dramatic and lasting behaviour change is.

It needs to avoid promoting extra spending that cancels out reductions achieved by the tax, and enough redistribution to compensate for the regressive nature of a big carbon tax on goods and services. We don't want people starving as a result. UBI seems it could fit nicely. Doing both seems in the best interest of the planet and UK. There may be better ways of achieving those two aims.

> It also runs into the problem that "sin taxes" have

Yet the UK has had no problem whatsoever, on both sides of the political divide, campaigning against smoking whilst having public health policies to promote quitting and increasing "sin" taxes way in excess of inflation yearly. Smoking rates have dropped to around 10%. Why can't this be exactly comparable and as successful? Sin taxes have quite definitely not had this problem for smoking. Smokers are an endangered species in the UK. A carbon tax seems perfectly analogous here, and ideally suitable for the European context.

> Norway's oil fund is built up on royalties .. It's not a tax on externalities

I am very well aware of that. I did not claim it was such a tax, and it doesn't matter in the least anyway. It was an example of a more intelligent use of a government windfall income.

Creating a long term fund to benefit the UK beats most of the alternatives, and certainly beats the Thatcherite model of pissing it away on tax cuts and consumer booms. Those are the very last things we need for this issue.
This is terrifying, if rskelton is OP I'm truly sorry you had to deal with this POS.

Personal favorite of your updates is "found his hair gel in the car".

You know you're #winning in life if you date 21yr old college girls in your late thirties, use hair gel and still live with your parents - while portraying yourself a "Attorney for the Streets ™️" (full stop with a ".law" tld).

Even Charlie Sheen would shake his head at this loser!

Hope your Corvette is back to it's former glory!
Carpenters, Craftsmen, and Software
On a single machine, it most likely does (it wouldn't really make sense to implement something else), but across replicas it doesn't even offer non-strict serializability as SIREAD locks are not coordinated between replicas.
At the same time, I think most people would agree Apple isn't really the world leader in innovation anymore. Great company, great products, but... not so much "new" things happening. What did they innovate recently? The notch? Air pods? These aren't exactly world changing.

People will disagree about exact rankings, but it seems pretty clear Apple shouldn't be #1 in innovation right now with so much else happening in technology.
I see this time and time again: Instead of engaging with dissenters, forums, groups of all kinds just evict people who are perfectly willing to talk. In principle, that's also acting to "simply eliminate people they find disagreeable."

Er...I was asking what you do about people who are willing or even enthusiastic about killing others, and I think this is qualitatively different from exclusionary behavior. 'Eliminationist' may not be the most semantically optimal term but it's the prevailing one to describe ideologies that accommodate or promote things like mass murder or genocide.

Certainly someone who reaches the level of Anders Breivik's extremism is beyond talking to. However, it's the height of arrogance and immorality to treat people who are perfectly willing to talk as if they are him. What I see so much of is the treatment of sincere questions as if they are such extremism.

But lots of people with eliminationist ideologies are perfectly willing to talk, because they wish to recruit and promote their ideological viewpoint. Perhaps you could furnish examples of what sort of sincere questions you see 'being treated as if they are such extremism'.

What I see most of, is people not gathering data, not communicating, and eliminating first, asking questions never.

It's also possible that this is a function of your perspective and you're simply not looking in the right places. I can't help feeling that you're avoiding answering the question by simply restating your opinion over and over - 'outrage mongering' 'information buble' 'groupthink' etc.

I get that you think this is a big problem, but while you acknowledge the existence of extremists who put their ideology into violent action, it sounds like you just don't know what to do about those people so you just omit them from your model of productive discourse and are then surprised when people critique your model.
There used to be an app called Podcasts Beta (https://www.microsoft.com/en-in/p/podcasts-beta/9nblggh1zj3r...) which I used quite a lot back when my Lumia 730 was still alive. It's good and the developer was very responsive but not sure what's the situation now after 2 years.
I haven't heard of No Agenda in years.

I stopped listening to them a while back after they had a hard right turn IIRC. Their business model was excellent though.
" A customer issues a transaction to machine A that decrements the inventory. After this transaction completes, a different transaction is issued to machine B that reads the current inventory. On a single machine, the second transaction would certainly read the write of the first transaction. But now that they are running on separate machines, if the system does not guarantee consistent reads across machines, it is very much possible that the second transaction would return a stale value (e.g. this could happen if replication was asynchronous and the write from the first transaction has not yet been replicated from A to B). This stale read would not be a violation of serializability. It is equivalent to a serial order of the second transaction prior to the first. But since the second transaction was submitted after the first one completed, it is certainly a violation of strict serializability."

Isn't this a problem on all DBs that don't have strict serializability and can't it be solved by 2 Phase Commit ?
In the vote phase, the coordinator can also get the final balance from each replica, in that case if any balance differes it knows one of the replica isn't synced and aborts the transaction (user retries).

Another idea maybe (doesn't scale) -

Mark replicas as read only and the writes only go through one or a set of master nodes which guarantee that the state is up to date ?

Would love for an expert to chime in.
It's a throwback to our feral ancestry. I'd contend that the urge to overcome our animal nature is the bedrock of what makes us human.
change 'gardening' to 'nurturing' and you might get a sense of the fulfillment (contentedness?) of being able to enjoy your creation that took planning, effort and time. exponential if you get to enjoy your children enjoying it too. it may be small but leaving _your_ patch of dirt a better place than you found it can be a personally enriching pasttime. then again, i don't understand people that create gardens so they can be photographed for lifestyle magazines so there's that...
The annualized return on the S&P 500 since its inception is 10 percent. Adjusted for inflation it's 6.5-7 percent. In the last 20 years, it's 5.9 percent. Adjusted for inflation it's 4.37 percent. So withdrawing 4 percent per year would be reasonable and keep up with inflation. It gets slightly more complex when you think about taking money out during down years is much larger impact than during good years, but that's an exercise for the reader.
When I read 'gardening', internally I interpreted that as any agricultural/floricultural pursuit. That spans everything from an indoor potted cactus, to no-till gardening, to hydroponics, to soil-management, etc etc. Growing plants is as much a science as it is a creative pursuit.
I'd be 100% fine with working like a dog for $1.2M a year in a job I hated, spending as little as possible, if it meant after N<=5 years I'd have enough to retire and that work would be optional. After that, I'll happily obtain my "sense of purpose and satisfaction" doing hobbies or serving the community in the time I'd otherwise be working.

Have not found that job offer yet, but if you know of it, E-mail in profile :-) I won't hold my breath.
check firecalc.com for historical likelihood of portfolio success, given a starting nest egg and an annual withdrawal rate. The 4% withdrawal rate mentioned above is very likely to succeed for an indefinite period, and 3% is essentially impossible. This is all assuming 85% US equities and 15% bonds, and that the future looks vaguely like the past 150 years.

Despite all the skepticism above, the 4% claims are true. Not 100% chance of indefinite success, but close enough to be actionable. You can also google the "trinity study" for more info.
I have a Fedora server running in the basement. I can access it using SSH from both internal network and external (dynamic DNS and SAH tunneling).

Allows me to work from my Windows desktop, my MacBook and even on my iPad, wherever I am.
Agree 100%. Free CI really did provide a massive boost to collaborative open source projects.

As a user, it did a lot to increase software quality: not just catching inadvertent bugs, but also ensuring that there was at least some reproducible way to get the code working, that didn't depend on some implicit configuration of the authors system.

As a maintainer, accepting simple pull requests becomes much easier when you can quickly look over the code and check the CI status, and not have to try it out locally yourself. It was certainly critical to the "social coding" idea behind GitHub.

So thanks to the team that put it together. Even if the product you built doesn't live on in the way you hoped, it has certainly had a lasting impact for the better on the open source world.
I suggest email signup, I refuse to do social media login, but I know HN users are not the norm with that...
This is indeed an awesome tool. We've used it quite a bit for local profiling of known slow queries.

FYI because I wish someone had pointed this out to me when I stumbled across tools like this: For profiling really busy production DBs, I highly recommend https://pganalyze.com/
Not affiliated - just an ecstatic customer.
The situation is similar, if not worse, in the US, and the latter is true: absent government pension programs like Social Security, almost nobody can afford to retire. Social Security is the retirement plan for regular people. Basically only union workers with defined-benefit pensions and high-salary professionals who are able to fund their 401(k) meaningfully have any kind of plan for retirement besides living on Social Security. The luckiest can also draw on help from family, life insurance, and getting part-time work as e.g. a Walmart greeter.

Thinking about retirement savings at all is kind of a luxury.
For who it creates uncertainty?
Although i share the intuitive reaction of disgust, the last statement "we're not ready for it" made me wonder : knowing the complexity of the genes expression problem, is there any point when we'll be able to say we're ready for it ?

Another question i wonder : is making a baby with someone else truely something responsible, knowing the number of things that we alter when we combine pretty randomly the DNA of two , sometimes extremely different, people ?
obviously we should all use webmail and leave our email locked away to one provider
Sounds like a person who wants something thematically consistent to listen on long commutes, or plane rides.
I love how Carlin paywalls his old shows but then mentions in the podcast that they're easy to find on pirate sites if you can't afford to pay him. The paywall is thus implicitly recognised as a minor nuisance meant to make you consider donating. His is the only podcast I've ever given money to, and while I'd like to believe that this has more to do with supporting his quality content than the minor nuisance of pirating his old shows it was actually the act of looking for an old show and finding it paywalled that made me stop and punch in my credit card number. I had intended to support him for a while before that, but never taken the time.

Edit: removed "ad-free" as a descriptor of Carlin's shows, since I recall him having Audible ads.
This isn't really germane to the $500k+ set the article is talking about. Everything you're buying at that tier is going to last. What eats up their incomes is housing, transportation, and stuff like private school tuition and childcare.

The challenge there is it's hard to ramp those down once you lock in. Downsizing on housing means having to move and possibly sacrificing social life and opportunities along the way. Pulling your kids out of private school has consequences for their long term prospects and their socialization. And so on.
You are exactly right that piracy is not theft. I chose to use terms that the common person reading it would understand. I know that this doesn't help people understand that piracy is not theft, but I have to pick and chose my battles.
Lower speed leads to fewer deaths; at ~18 mph almost no one dies, compared to 80% of pedestrians who are hit at 30 mph die. Your reasoning comes from another angle it might be correct but you can never assume people are attentive in traffic, neither pedestrians nor drivers, that's why you need rules and infrastructure that makes it possible to share the roads.
OK, I see this response is getting downvoted. Here's a PSA on arithmetic.

The function n -> 2^n takes input of size O(log(n)) and returns output of size O(n).

Of course, n = 2^(log n), so our function takes exponential time/space in input size to simply write the output.

The Fibonacci function is like that.

Of course, discussions of complexity become cumbersome if you don't specify variables; that's why we talk about complexity in n of computing Fib(n).

Potato, potato anyway.
> Yes there's a hardware camera. I will bet some money that they have not been used nefariously

Talk about the tag line for the past decade.
I've seen these in:

SAS
Emirites
Cathray Pacific

flights.
We are looking for people who want to play around with constraint solvers. As others in this thread have mentioned, the vanilla Sudoku is not hard to really need constraint solvers; a generalized version would. We don't expect people to have backgrounds in program synthesis, but constraint solving is a start.

That said, it is just a fun problem. PTime specialized solutions are even more intriguing.
Serverless Framework v1.38 – Introducing Websockets Support
The barrier I've noticed when switching from reading to listening, is adapting to native accents.

I suppose real-time vs. at my own pace is another aspect that comes into play.
Physical work shouldn't break your body if you work within reasonable limits of exertion.

Also, sitting all day does breaks your body.
Such history exists in air travel as well.
How does the design of that page do anything but detract from the content and the reading experience? The NYTimes has a pretty decent boilerplate article template, they should just stick to it.
Thank you for the more detailed explanation!

But if this is custom hardware then somebody must have wanted these cameras on there? To what end?
I don't want to prevent you from testing on a larger sample:)
What N?

Floating point operations might be limited in precision (and range to some extend), but pretty much any you'll normally encounter will be O(1). Unless you require arbitrary precision.
For me, the best series by far that Dan Carlin did was the one on Genghis Khan ("The Wrath of the Khans", I believe it's called). The WWI one was also quite engaging, though. Before hearing it, I really was not interested in WWI at all, but he managed to make it very interesting for me.
More dangerous than Dasani!
I was referring to codebros, and this practice, industrywide.
But you're quite right, I don't know anyone at Travis CI personally. But in a way that makes it worse. I can't even give the benefit of the doubt based on firsthand knowledge of the people involved. I must judge based on what I see (from the GP example: "Sausage Dog Wrangler", "Customer Avocado") is just kind of stupid and childish. It's all over the industry.

I'm not slandering anyone, I'm relating my experience and displeasure dealing with goofy (at best) product names. It's tough to ask for investor money, grant funding, or a timeline extension for "sausage dog wrangler" without looking like a fool. To a third party not in the IT industry, to hear IT "professionals" speak it sounds less like technical jargon and more like preschool babble. Other industries don't work like this, and it wasn't always this way.

I'm sorry for the Travis CI folks who are being let go.
I can't help but wonder - shouldn't these people be getting their metaphorical lunch eaten by those who don't engage in absurd conspicuous consumption?

That has happened before certainly throughout history as "gentry" have had their delusions of superiority and even relevance shattered in spite of their abundantly privileged start.
Is Idera basically the Valeant pharma of software?
Sure we can conceive of nearly anything, but it's not like airlines can realistically stop people from bringing their own devices on planes and watching what they want. That's always going to be the alternative if the in-seat entertainment gets too shitty.
I worked with commercial embedded Android devices and they were literally internal circuit boards for Chinese off-the-shelf consumer Android tablets with the battery ripped out and a metal frame.

The boards still had markings for the tablet parts and even reported themselves as some random consumer tablet you can find on Alibaba over ADB.

Not much of a difference from an end-user perspective

And for those wondering, we also got cameras for "free" depending on the model. It's not that we needed a camera, but some screen sizes already came with a camera embedded in the screen and their pricing was not out of line with the ones that didn't have cameras so we'd get them for other reasons.
SSID's pretty much ARE tied to geo, and those that aren't tied are easy to identify.

I bring an AirMac (Apple Airport Express) with me to hotels when I travel. I guess this is why my Android phone gets so confused about where I am if it's in airplane mode with wifi enabled.
Yes, it potentially is, but it entirely depends on the implementation details of the system. It's certainly allowed behavior by the definition of serializability.
No worries, I'm sure we will still be alive to see that happen. Ain't living in the future just wonderful?
First of all, https://godoc.org/net/http is the page to visit; it serves documentation for all public packages, not just the standard library, and it's generally a little nicer. That everything is on the same site is a big deal because maintainers don't have to link to their dependencies and readers don't have to deal with the inconsistent presentation of documentation across the ecosystem.

The distinction I see is that someone put a lot more care into Flask's documentation (including the theme, which is actually a little hard to read since it renders certain things in small italic font), which is great but not indicative of the broader ecosystem. The most significant distinction wrt readability is that the Go page has types for _every_ parameter with links to the type definition. For all of the care put into the Flask doc, you still see things like this all over:

> view_func – the function to call when serving a request to the provided endpoint

I have no idea what the signature of that callback is. Meanwhile Go has https://godoc.org/net/http#HandleFunc which clearly shows the type for the handler callback (with links to types):

func HandleFunc(pattern string, handler func(ResponseWriter, *Request))

> I love Racket's documentation. I've been using it for so many in-house things because I can just read what the function does in English--instead of having to run experiments or dig through someone else's code.

I tried to use Racket (it looks really neat), but I just spent so much time trying to figure out what to pass into each function. It was nearly impossible since types are often absent. That's just not how I want to spend my free time. :(
You mean for the suggestions / Top 10 lists? Yes these are the ones from your current country just like in the iTunes store.

You can still find every podcast if you search by name or browse by category though. You make it sound like you can only listen to German podcasts via the stock podcasts app which is definitely not the case.
I don't know about that. The latest estimates I heard was that you would have to pay the average American $1k not to use facebook for a year.

That doesn't mean they would or can spend $1000 on FB, but with the proliferation of subscriptions on app stores that are $10+ a month, I bet FB could get $10 a month from a large chunk of users and start to move towards other revenue models.
My heart is also the other side of the Atlantic. :)

Being perfectly revenue neutral is NOT the aim. Dramatic and lasting behaviour change is, and enough redistribution that the solution doesn't create other huge problems.

If fee and dividend is what the US is most amenable to, so be it. The biggest advantage (for the US) of fee and dividend is that it seems the most US market friendly of the alternatives that have been widely discussed.

I have only ever heard it proposed in a US context. It's also the mechanism I know least about. Which is no reason at all not to try. Still, I'd be delighted to see the US, or anyone, successfully adopt it. It may even turn out to be the best of the proposed mechanisms.
You aren't, that was the point. The calculation is purely algebraic. Fib(n) = (φ^n + (1-φ)^n) / √5, so since √5 = -1 + 2φ, we can multiply by this in the numerator and denominator to get (φ^n + (1-φ)^n) (-1+2φ) / 5.

Now expand this as a polynomial and use the identity φ^2 = φ+1 to rewrite all the terms of degree > 1 and we have an expression A+Bφ, and since the Fibonacci numbers are integers, B will be zero, so the answer is A.
Slightly offtopic: Does anyone know which template was used to generate this document? I'm assuming the source in markdown and I really like that the generated html has table of contents, support for footnotes and is responsive!
SaaS Copywriting, the Product People's Guide to Finding a Message That Converts
Segment Is Now Free for Early-Stage Startups
Show HN: Make Google Fonts Render 1-3 Seconds Faster in Slow Networks
ITP is great for protecting privacy on the web but doesn't do anything for native apps. Apple needs to crack down on third party frameworks that developers are distributing in their apps. I hope this is a sign of an upcoming policy change.

https://blog.appfigures.com/shazam-for-ios-sheds-3rd-party-s...
manufacturer ID's in the MAC don't always match the branding on the hardware - some companies (especially smaller companies) use third-party hardware that has a MAC belonging to the component maker.
that's not how law works. you might be profit from reading

https://www.amazon.com/exec/obidos/ASIN/022608972X/
Most airplanes have built-in CCTV cameras whose explicit purpose is to record everyone in the cabin for the entire flight. So do MUNI buses.

Instead people are raising the issue of a stock camera that's obviously not being used to record. There would be no way to keep that a secret, everything in an airplane has to be FAA approved.