skysight-inc/HackerNews huggingface dataset:
Ask HN: Stripe is holding 50% for 9 month
I would like to know more about how Stripe assesses the risks around future refunds and chargeback.

I understand that there needs to be a safety margin and risk hedging but 50% for 9 months is going a bit far.

We are a small recreational property manager in the Netherlands. We switched from Mollie to Stripe earlier this year because our new PMS works exclusively with Stripe. Never had any problems with Mollie in the past.

We charge 20% commission for our services and pay out our owners on check-out date every month. Currently we have something over €600k tied up until April 2024. This is money from stays that have already been and we have to pay out to our owners.

What are your experiences with percentages withheld and the length of it?
How do these decisions come about, what data points do they use?
Are they able to analyze at all on a case-by-case basis?

Is there a change of getting this amount payed or are we f*cked?
> I don’t know how someone is supposed to come up with evidence before a hypothesis

Sure, this is usually how science works. A good example is the famous Michelson–Morley experiment which was performed in 1887 and was a key piece of evidence directly inspiring Einstein's theory of special relativity in 1905.

The way science usually progresses is that there is some piece of evidence which current theories can't explain or deal with. That prompts the development of new theories, which make new predictions, which are then tested in further experiments.
I see a sibling comment posted a link to some tab bar hiding CSS, but having gone though the same "different levels of out of date" problem myself I'll add my own solution that I'm currently using in Firefox 114 on Windows 11. Not perfectly space efficient, but avoids some issues with totally hiding the window titlebar, since I still wanted to keep the minimize/maximize/close controls up there.

Some of this may be platform specific to Windows (can't speak to window management buttons on other platforms), but hopefully it helps if anyone in this thread needs it or lands here later from search results:

/* Hide the tabs within TabsToolbar*/
.toolbar-items {
display: none;
}

/* Make the min/max/close buttons align to the right*/
#TabsToolbar {
display: flex;
flex-direction: row-reverse;
}

/* Hide the titlebar spacers, which push the buttons away from the corner */
.titlebar-spacer {
display: none;
}

/* Hide the sidebar header */
#sidebar-header {
display: none;
}

Stupid that this sort of fiddling is required when other browsers (like Edge and Brave) are doing native sidebar tabs, but I do like how compact Firefox's can be, plus being a tree instead of a flat list.

Enabling userChrome.css files and finding where to put it is left as an exercise to the reader.
> Thus, the question is what is the implied context? I claim that this context consists of commonly agreed upon axioms. If I understand correctly, you claim it is a mental model.

As I mentioned in a sibling comment, I dispute your claim that most mathematicians work from foundational axioms such as ZFC. I think the number of mathematicians who can actually write down the axioms of ZFC is far smaller the number who claim that mathematics is founded on ZFC, and the number who actually do rigorous proofs in ZFC a discipline other than logic far smaller still.

If a mathematician has never seen a rigorous proof of a theorem from the axioms of ZFC, and either seen it machine checked, or hand verified it (probably intractible for most real maths), can they say it's true if they subscribe to your approach to truth? I don't think they can.

Given that these proofs don't even exist for most theorems (there are efforts to build libraries of machine checked proofs, but even ignoring the fact that the most recent of these don't start from ZFC, they are by no means complete) it would seem to me that most mathematicians must adopt a more Platonist approach.

To be clear, I like the idea of axiomatisation and I'm a fan of the introduction of proof assistants (indeed I've used Coq pretty heavily in the past), but I dispute that rigourous proof is what actually determines truth; the human understanding of the naturals predates it's formulation in PA, if PA cannot prove something that we know to be true from our understanding of the naturals then that is a limitation of the axiomatic process, we should not start changing our notion of the naturals to fit the axioms.

> This is therefore a notion of validity rather than satisfiability.

As I mentioned in another reply, I have not seen the term validity used in this context, only in cases where the formula is true in all models; this is regular semantic entailment.

Note that your original claim, however, was

> A statement is true by definition if and only if it is satisfied in every model.

Did you mean to say "satisfied in every model that satisfies ZFC"?

I am more comfortable with this as a valid mathematical position (although I still claim it is nonstandard terminology); I disagree, but my disagreement is purely philosophical, whereas I hold that the original claim is so nonstandard as to be incorrect.
A social network's utility scales exponentially with size (https://en.wikipedia.org/wiki/Reed%27s_law). The front end can decay, but people will still use it since everyone else is on it.

This is especially true with dating sites -- why even try a small startup's dating site when you'll get way more matches on Tinder?

What makes it even more difficult to leave incumbents is that the industry has basically found a few replicable ways to effectively hijack attention/dollars. IMC has integrated them into each of their dating apps (Tinder, OKC, Match, etc). For example, one of the first hit dating sites was Hot or Not, of which Tinder is essentially a mobile phone version.
I wouldn't even call "polymorphism" an "aspect of inheritance" -- you can have polymorphism _without_ inheritance (as a code re-use form), and polymorphism is actually more fundamental and importance than inheritance.

I feel like this "hot take" is actually a pretty common take.

You can have polymorphism without inheritance; you can't really have inheritance without polymorphism. To the extent that inheritance necessarily "includes" polymorphism, so polymorphism is in that sense an aspect -- yeah, it's more important and fundamental.

And I think this is actually a pretty common take. All the takes saying inheritance itself is not fundamental to OO (and even sometimes saying OO is better without inheritance), are variations of saying this.
To be fair, I was unfair to compare it to the lottery. That is clearly not paying out often. Such that, if you are comparing to that, you had best be favorable.

I'm assuming it pays out at 100x lottery numbers. But, again, that is still basically zero. Is why I don't regularly buy 100 lottery tickets.
Yes, but it being default is much like Internet Explorer on Windows. For most people there was no incentive to use a different browser until they let it stagnate for so long that Chrome and Firefox ate its lunch.

Google search is very similar. The alternatives have to give the user a reason to go through the hassle of switching to something else. I don’t believe we’ve reached that tipping point yet.
The American constitution permits Congress to grant temporary reproduction monopolies. Not compels.
You have zero arguments.

I'm talking about the future, not now.

Please link to the Atom benchmarks that show how slow they are on relevant server tasks. I remind you I'm talking about 14nm with 8-16 cores.
Looked at this a bit ago and share the sentiment. Vancouver, BC was an excellent case study. House prices average: ~$1.1M. Loan rate average: ~5%. Month payment: $5900. Yearly: $71k. Avg Salary: $60k (before tax). After tax: Maybe $48k or less. Result: No normal worker can afford the loan, and the bank won't give you the loan. You pay everything you can each year, and you owe more. This isn't even with property taxes, utilities, other basic Maslow's heirarchy stuff taken out.
Retinal structure:

https://en.wikipedia.org/wiki/Retina#Inverted_versus_non-inv...
Note that plan9 and Microsoft compilers (and now clang with the right flag) allow the C structure embedding as well, see <https://9p.io/sys/doc/comp.html>, search for “Extensions”.
Yeah, I’m not saying that I like or trust them - only that the world has changed somewhat since 2016 and various governments are far more willing to regulate them than in the past.

In particular, note their public statements about this allowing you to keep your followers when deplatformed. It might be that this is the answer they want to give right-wing lawmakers: if you break our terms of service, you’re free to move to Truth Social.
Its made worse by the fact that pure-teaching positions at public institutions are frequently filled by adjuncts, so there's next to no benefits or job security, and the pay is often atrocious.

It's really screwy that a great many universities have essentially said there can be no long-term work situation for teachers if they aren't also researchers.
Gandi.net updates pricing, increases rates by up to 1000%
Do all these dev boxes automatically setup shit like Candy Crush Saga like retail windows does?
It's not. Go back and read my original comment.
So true.

This is essentially how the US works. We're built on debt. Sometimes I think our society would collapse without all the debt we create.
That is an interesting take indeed. And I respect the fact that you realized that you sound aggressive online and took action.

I will actually think about that: English is not my first language, and I feel like I sometimes unwillingly sound aggressive.
I Made an Auto Updating YouTube Video to Explain Investing
Unfortunately, they probably don't want you either. They want the person who is looking to grow their blog and expand their followers. Not surprising that their product principles would reflect that.
I don't want to necessarily make this an argument to/from authority, but for some context here - you are discussing this with Paolo Bonzini, maintainer of KVM, contributor to QEMU. In the list of people that best understand the difference and demarcation points between KVM and QEMU, he's pretty far up there.
A bit less, since you have to worry about an attacker storing anything you do now for future attacks.

But if you only want any given secret to stay save for 20 years, you can still use 4096 bit RSA for another 17 years. Which sounds like a good tradeoff: enough of time for better algorithms to get established, but little risk of a breach you will care about.
https://www.datadrivenvc.io/
Those inputs are at the bottom of the pile for QA. So they usually have dreadful amounts of lag. It makes a surprising amount of games unplayable.
Regarding YouTube, I'm very split. I wish the platform would give control to the users. There is a lot of stuff I want to see, like.. I subscribe to people because I want to see their things, show their videos on my front page.

On the other hand, the algorithm, for all its flaws, has introduced my to a whole world of music I would have never found otherwise. Though then I watch one video about the Ukraine conflict and YouTube suddenly thinks that's all I ever want to watch. Luckily a friend told me about the incognito switch, so now whenever I watch a video I don't want to influence the algorithm, I use that. Not ideal, but better than nothing.

On a social media site, on the other hand, I don't want an algorithm deciding what I see. I follow my friends, I don't follow celebrities. Just show me what I want.
Any medicine that is disproportionately represented in our post hunter-gatherer treatment plans, especially synthesized chemicals, must have an element of "bad for you" in it.

Drink clean water and boil willow bark and don't sweat the small stuff.
Which country do you hail from?
first $100: pdf photography courses with weekly chapters

first $1000+: built a shop selling silk scarves (100-odd) I collected myself from Laos/Cambodia/Thailand to balance trip budget (25yo back then, mad travelling). Sold all scarves, closed shop.
A well designed language should not have an equals that results in a cargo cult
I think that might be what the 1940s author is saying. (See: "confirmed bachelor")
How many rockets are there really though? Most VC funded ventures are pretty underwhelming concepts in my opinion. (Well maybe that will change in this current economic climate).
I think this is actually a pretty balanced and rational take on crypto. There's a lot to be jaded by in the industry, and I'm glad he got a lot out of the experience (attending the conference, meeting people, including other skeptics) despite not continuing on the startup. I think at the start of our careers, it's generally a good instinct to just try things and see if they're for you.

> By the way, we didn't plan doing that at the end, after thinking about it a lot, but it meant we would need to gain many users by having a killer product and work for free for very long, like a regular startup I'd say.

Real web3 startups are just like normal startups if you take out the token economics. There do exist use-cases and users, but I'm glad the author had a strong enough sense to do what he felt was right. It's definitely easier now that the bandwagon has mostly stopped, but I think his reaction is a good one to maintain throughout our careers.
Tumblr is the only platform that I’m still active on- I’ve had an account since 2009-ish. It’s a really fun community to be active with and the only one that hasn’t attracted a majority of insufferable people.

It’s great to see the Richard Rumelt format of strategy with diagnosis/guiding principles, I’m a fan of this format but it also feels a bit like strategy-by-committee and just a laundry list of things.

Reading though this I get the sense that no one at tumblr has great insights around the pain points of their own product. I think they need to take a step deeper in their diagnosis and ask “how did we end up with a platform that’s so hard to use?” Otherwise they won’t make progress on the actual underlying issues.
BCD is a requirement for many financial calculations, which these machines were targeted for (e.g. running payroll).

Since the hardware was extremely limited they could not afford to support both binary and decimal, so everything ended up being decimal. This was actually not an uncommon choice on some of the early computers. For example the ENIAC was decimal too, although that one wasn't designed for business.

There used to be a lot more experimentation in early computers before everything became standardized. The Russians even did some early ternary computers, there was a lot of variety in word length (36bit systems), the 8-bit byte wasn't even invented yet.
> Your environment is super important to your mental/emotional state. If you can jump into different virtual environments for work or relaxation, that'd surely help your brain switch context and focus.

Absolutely crucial observation and one that unfortunately either gets ignored or is attached to negative dystopic connotations like “live in the pod”.

This past winter was particularly gloomy here in the Pacific Northwest (which is saying a lot). One of the most impactful strategies I used for dealing with seasonal affective disorder was to sit under a red lamp, put an oscillating fan on low, and load up a hyper-realistic photogrammetry “nature tours” app called Brink XR[1].

Being able to have a modern Calgon Moment with a virtual stretch-out-and-relax in a cloudless Arches National Park did absolute wonders for my overall mood after dealing with yet another miserable day of cold rain with no end in sight.

[1] https://youtu.be/j2AdT9C2CK8
That's a valid point. Image data is never stored, only hashes. But it passes though the server and I don't like that either.

It's not quite greyscale, it has to be in a specific binary black-and-white representation, but definitely do-able if documented. Or I could publish a little python library.

Just thinking out loud here.
> But they'll induce decoherence in the same way as a human, yes.

From the perspective (?) of the (non-human) thermal bath, will that decoherence result in a single (diagonal, mixture) state or in a particular state of those N separate states that would "look classical"?

Decoherence doesn't make things "look classical" by itself - at least until you define what "looking" is.
That AI will accelerate algorithmic improvements is a new factor that has not previously been taken into account. This may be too optimistic.
> If "better health outcomes per dollar" is not "what you want" -- how come?

Because I don't confuse "individual" with "group".

The fallacy here is to tally up every dollar spent on medical treatment in a given year, then saying "here we spent X on medical treatment, but it could only be 0.7X if the government were in charge".

But you never asked me how much I spent on medical treatment. What if I spent 0?

Well then, your plan has me spending more than I used to, to get me something I didn't want/need. It's not a good deal for me. And if it's a good deal for someone else, it's only because you shackled me up and made me work the fields for their benefit. No thanks.

Even if I was the sort to engage in that non-sense, the problem itself is insurance. And that holds true whether some private company (or many) is in charge of the insurance, or the government is in charge of it. You think BCBS rejects claims, but that the feds don't reject them? Wow, do I have a bridge to sell you.

When someone wants a good or a service, and they pay for it themselves, they are price-conscious. When they don't pay for it themselves (because the insurance company does, or the government), they aren't price conscious. But this encourages the goods-provider to raise their prices... even discourages them from keeping them low. Low prices signal low quality. This encourages the payers to reject claims, then once more the goods-providers to raise prices again to cover for all the rejected claims (bonus if they can go after the goods-buyers for the price too!).

And it all spirals out of control. There is nothing in this mechanism that makes it less ridiculous if the federal government owns the insurance company, and it is the only insurance company permitted by law.

I take that back, there is one thing different. Now you can introduce price caps, woohoo! That will certainly fix the problem. Some committee 2000 miles away and months-distance from the facts can magically determine a fair price for all physicians and surgeons nationwide for some procedure's medical code (not the procedure itself, these are always unique... but the little alphanumeric codes, nice and uniform so they fit in the database).

That definitely won't cause further meltdowns. Will it be blamed on nefarious capitalists hiding in the woodpile? Will it just be chalked up to disappointing reality "there can be no other way"? Probably will depend on just where we're at in the election cycle.

If you want to see prices drop (plummet really), outlaw all insurance. Make people pay cash, out of pocket, for everything. You starve if you can't sell your stuff to people who want it, and if those people only have 1/100th of what you used to ask, then you either learn to live with the 1/100th, or you starve. No one gives out bank loans for heart transplants.
This may be difficult to do at the state or local level since most wireless is regulated by the FCC.
Can you include some more detail about what technologically aware people know?
Show HN: Document jobsite images quickly and easily
Keep photos organized to save time creating reports, and show your team exactly what you want to say.
Parallels would be an option.
> somehow do not interact gravitationally with the rest of the set up.

And how would you do that?

If we had a way to shield a region of space from gravitational influence from something else we'd have a very useful technology
>That's the bare minimum we should set. China/USSR had a more severe consequence for officers of the company that isn't likely feasible here in the US but is probably the real deterrent to this behavior in future criminal endeavors.

Completely agree. In China, it's pretty straightforward - you become the nail that sticks out. If you fuck with the population at large and make people sick, or you rob them blind, etc... it doesn't matter if you have or you haven't given The Party their cut of the action - your C-Suite will all disappear. A few will be lucky enough to be re-educated.

Whereas in America if you beat the regulators or catch them sleeping on the job, you'll have one side of the political aisle cheering you on no matter how many people you kill.
Interestingly, Firefox records all your visits to a particular page, not just the latest visit. You could've changed the history sort order to "first visit" so that the list doesn't change when you revisit the page but that option simply isn't there in the UI.
No newsletter, but I just created a google form I you want to get notified if/when it is available in Europe: https://forms.gle/96sGBWFsxgAomG3Q9
Give the author a break, he/she is 21.
Where in the "sales" pitch on the fancy-CSS website as well as the README does it say only to use it for single-shot workloads?

I think the complaints are perfectly valid.
Great question! Right now, our access control is very basic. When admins setup connectors to other apps, all documents indexed are accessible by all (meant to be public documents only). Individual users can index private documents by providing their own access tokens for connectors, and those docs will be only available to the user who owns that access token. Improving this is a high priority item for us, as we understand this is a deal-breaker for enterprises.

The immediate plan is to extend our current poll / push based connectors to also grab access information (+ add IdP integrations for cross-app identity). There will be some delay to grab access updates, which will be combatted by the dynamic check with the app / IdP itself at query time that you mentioned (still investigating exactly how this will work).

We are also considering adding support for group based access defined within Danswer itself for sources that don't provide APIs to get access information (default being all-public if not specified). Of course, for these, we will not be able to sync permissions.
> is nearly impossible

for many mostly "general purpose" use cases it's quite viable, or else ~fly.io~ AWS Fargate wouldn't be able to use it

this doesn't mean it's easy to implement the necessary automatized tooling etc.

so it's depending on your dev resources and priorities it might be a bad choice

still I feel the article was had quite a bit a being subtil judgemental while moving some quite relevant parts for the content of the article into a footnote and also omitting that this "supposedly unusable tool" is used successfully by various other companies...

like as it it was written by and engineer being overly defensive about their decision due having to defend it to the 100th time because shareholders, customers, higher level management just wouldn't shut up about "but that uses Firecracker"
I feel that Apple makes products that are superior to the alternatives for many people.

For those people, whats wrong with liking Apple?