skysight-inc/HackerNews huggingface dataset:
I think Massachusetts has similar rules these days (after long-running opposition from some major employers). However, while 50% salary definitely makes a company put skin in the game, it's not a panacea. And, from an employee point of view, how many people will be comfortable with taking 50% salary (with no benefits, bonuses, or RSUs) to hang out for a year? Sure, some younger folks might see it as an opportunity but it may not be such a good deal for someone supporting a family.
I agree with your message though there's a scarier story in there. What if those people never left to make Call of Duty?

Under the boss they would have made more Medal of Honor, and maybe the next MoH's were not billion-dollar products.

Maybe had they gotten equity, we would never have a billion dollar CoD series!
What do we actually mean by saying "statement S is unprovable"? Do we mean "there is no prove for S" (which includes the case that S is provably false), or do we mean "there is no proof for S and there is no proof for its converse"?

Because if you show that the converse of Goldbach's conjecture is not provable, you have actually proven Goldbach's conjecture (since you have shown that there is no counterexample!).

>Think of each statement about the natural numbers as a subset where each number in the subset makes the statement true. There are uncountably many subsets of the natural numbers (by Cantor's diagonalization argument).

Don't we only care about the countable set of statements that can written down in a given logical system? Say second order logic + ZFC.
Also irrelevant, I have next of kin named ‘Cock’. Always good for strange faces, especially when confirming the spelling: https://en.m.wikipedia.org/wiki/Cock_(surname)
Ask HN: How to spread risk as tech co-founder?
I’m considering helping non-tech co-founders with their idea. The ones I have spoken to are pre-funding. I’d likely be architecting and building MVP/version 1.

I’d be working at this full time so would be looking for a wage within a year - what is the best way to hedge my bets pre-funding? Work with two 20hrs/week each? Or work on one at a time and look to fail fast within a couple months?

I don’t want to burn my co-founder relationship by suggesting something that is uncommon.
No, they don't. However, sadly, society is going backwards, and it is increasingly common amongst leftists/proponents of gender ideology that people, particularly trans people, are entitled to sex from whoever they want, and to shame those who don't submit. The recent case of the person carrying the "suck my girldick" sign in public being widely supported by gender ideologists is a prime example.

Lesbians are bearing 90% of the brunt on this, of course, being shamed and guilted into having sex with men.

Gay rights and women's rights are going out the window and I'm highly concerned about it but nobody seems to care.
I think the main reason given is if you think something needs a br tag, the content before and after should probably be in p tags or something else. That's at least what my 2am brain remembers reading somewhere some years ago.
I got a smallish Chromebook which has a detachable keyboard so can be used as a Tablet as well (a Lenovo Duet).

It is somewhat slow but cheap, lightweight and the battery holds forever.

This thing is quite practical for surfing on the couch or writing the odd email while on vacation.

I would never consider this for serious work but i really like it as a sort larger smartphone with a keyboard which can run Linux applications if need be.

As a student i used one of those crappy Netbooks that thing was more expensive and (not considering the privacy issues of ChromeOs) way worse.

Those Chromebooks are fine as sort of a more capable tablet which you use alongside a "proper" Desktop/Laptop.
I principly agree on all criticisms, especially the seemingly reckless investment.

However, the presupposed lack of adoption of Bitcoin as a means of payment is not supported by the source bar chart. The numbers are actually pretty impressive compared to card: ~25% of businesses accept card and 20% accept Bitcoin as payment. That is impressive adoption after 1 year by any standard in a country that primarily uses cash.
It happens all the time at small to mid sized startups. Some senior employees quit and form another startup. Their former company struggles to replace them and slowly dies, or becomes a small business.
That's why I use the term "credit". It needs to have real-world value of some sort. I don't think just paying people is the solution, that would just mean the richer you are, the more reviews you get, and the better your reviews are. You can argue they should be paid via a neutral source of money, but there is no such thing.
It never used to be on all pages, though.
That would double the disk space use of that particular file, for something which won't be necessary for more than 80 years (the mtime of a git object or pack file will always be in the past, unless the computer clock is wrong); and when that time arrives, a new file format can be defined (and the old format kept as read-only, with new data being written to the new file).
Climate Change Is Affecting Drinking Water Quality
I think the process is a bit simpler: names like Kevin and Cindy were markers that the child was born in a family where TV was the predominant culture, by far. The "bad rap" described in the New Yorker is just "these names point to a working-class origin". For most people, it does not imply anything about their intelligence.

Since the French school system is very bad at correcting inequalities, a child born in an environment that does not favor school has very few chances of becoming a "bigwig" (deputy, doctor...). Where the TV is predominant, the chances are low that the parents read often or could help with homework. So these children have little chance of getting out of the working class.

As noted in the OP, in France having an "arab name" like Mohammed or Chérifa (nowadays these are called "muslim names") is much more painful. Some recruiters could frown upon a "Kevin" (even subconsciously), but many would simply reject any "Ahmed". According to a recurring poll, a majority of French people think that French muslims are not truly French citizens.
For anything medical related it has always been like this.
The bar required by the courts to justify backing out from or substantially altering a binding offer is quite rightly a high one, and the possibility of lawsuits alone will probably not be sufficient.

There's no indication that ad buyers were misled, because neither Musk nor Mudge have shown any evidence that Twitter's mDAU claim or method in its FTC filings was either falsely stated or intentionally wrong.
Fortunately there is ongoing excavation nearby at Karahan Tepe; it's a recently discovered even larger sister site built by the same civilization.
That reminds me of Piper/CitC: https://cacm.acm.org/magazines/2016/7/204032-why-google-stor...
I thoroughly enjoy getting into conversations where someone says something along the lines of "science communicators are important." I enjoy it because of how laughably ridiculous it is, I like amusement and entertainment just like everyone else.

The only things these "science communicators" have done is parade their buffoonery around and turn science into a daytime TV marathon. They've created a generation or two of people who think they're informed because they passively watch TV shows with pretty renders in them, "nerds" who don't design or build anything, and an idea that you can be right all the time if you venerate the right people. They're grifters, they're novelty guests at parties, they don't actually understand anything or teach anyone anything.

Actual smart people who know what they're talking about don't take these people seriously. The day I listen to these guys is the day Neil DeGrasse Tyson draws me a picture depicting exactly how you write bug free code.
As a teacher, you may be interested in the stand up comedy of Noah Gardenschwarz. He is a large Jewish man with an affinity for Black Culture and was a teacher in urban Atlanta, Georgia for a while. Specifically he does material about what our names “mean” or say about our background.

Sample: https://youtu.be/ha-iWCfMwY8
It's just a comic, it doesn't have to be accurate, and I think it delivers the message.

Besides, "you understand how a venv works" is not that simple.

- if you use anaconda, do you use conda env or something else? This will have huge consequences on the availability of packages and modes of failure.

- do you use virtualenv or poetry? In that case, how do you install them? How do you run them? The answer to this will change depending of your OS.

- do you use homebrew or pyenv? Then you env may just break on you one month later, will you be able to fix it?

- do you use venv? In that case do you know about the "py" command ? Do you know about "-m"? Do you know which packages to install on linux so that it's available?

Last week I was playing with a telegram bot with a friend of mind. I asked why he didn't use a venv. He told me he could never remember how it worked.

He has been running very lucrative a django site for 10 years.
I always default to Netdata as it is batteries-included and can rarely outgrow it.
Yeah but second order logic itself is incomplete. ZFC doesn't have a single model, too, btw. In the end unprovable sentences exist because there are multiple models satisfying your axioms.
Why not?

E.g.: if ZFC is consistent, then ZFC+~Con(ZFC) is consistent as well, where ~Con(ZFC) is the statement that there is a contradiction in ZFC.

Now, ZFC+~Con(ZFC), which is a perfectly good axiom system, consistent and can talk about anything, can prove that the Turing machine that searches for a contradiction in ZFC halts (just apply the axiom ~Con(ZFC)), but it doesn't make it true.
Ask HN: Anyone based in EU remotely contracting with US clients?
Has anyone managed to get into contracting with US clients while being physically based in EU?

1. I think contracting should be easier than employing wrt bureaucracy and other regulations (e.g. no visas and the likes).

2. Timezone might be an issue?

3. What about rates? I guess US companies would prefer US contractors when they have the same rate as EU contractors?
Tech CEO Salaries
List of VCs investing in commercial open-source startups
Maybe Yahoo was a poor example. Substitute instead... idk, airbnb, doordash, or dominoes. I have no specific knowledge there is slack there, but having contracted in IT in a number of large and global enterprise, lack of security and lack of security concerns was all too common, and it stood out more in places that worked with and kept clients' financial information "on file."
> I'm sure the adoption would be higher

Adoption for what purpose though?

If you're not keeping a substantial "float" in the currency, you have to buy more every time you want to use it. So you've just inserted an extra, riskier step into your ecommerce or international wire transfer.

Within El Salvador, the policy behaves like dollarisation with all its advantages and disadvantages, with an extra disadvantage that the currency has fallen by a third against the dollar.
Ironically the smaller banks like Monzo are the only ones that actually do a decent job.

By serious stuff I meant stuff that requires perfect accuracy and integrity - credit checking wouldn't care if you're missing one transaction here or there, or if the timestamps are a little off.

But for accountancy, perfect accuracy is required and OB with legacy banks is far from perfect in that regard - the data quality is bad, you get missing/duplicate transactions, timestamps are off (due to TZ issues). Modern banks are the only ones where the data is any good. For accountancy services, this ends up causing significant support overhead to companies where customers complain their numbers are off and the company can't do anything because the bank sends incorrect data, not to mention engineering overhead where you have to try and clean up the data in-house (the problems are different for each bank, so you have to essentially reverse-engineer how each bank mangles the data and implement bank-specific workarounds).

> Uptime and performance seems to be monitored pretty closely since 2020

Uptime, sure. I too can make a 100% uptime API that returns random data.

When it comes to data quality, there didn't seem to be any authority (in terms of real, practical outcomes - not theoretical powers that never end up being used like the GDPR for example) to complain to - which I find to be a fatal mistake in a situation where banks otherwise have zero incentive to provide a functional & usable OB API (in fact, OB is detrimental to their business as it would allow customers to use a third-party's - often better - service over the bank's own one). Even the OB "gateways" like Plaid, TrueLayer, etc have their hands tied when it comes to this - once the issue is confirmed to be with the bank, the lead time on getting any kind of resolution is often months, during which you have a disgruntled customer breathing down your neck and blaming you for the problem.
I have tried multiple monitoring tools, but I have found Uptime Kuma most useful for me.

Alerts work well and it is not too complicated for simple things.

https://github.com/louislam/uptime-kuma
That's likely where you start running into resource distribution and dependency issues, you might be subconsciously feeling the weight of the upcoming feature requirements!

For me the research was the only reason to keep playing as it gave purpose to the factory, otherwise it was just a factory for it's own sake. Same way a vehicle building game is a bit pointless without something to do with the vehicles, which Stormworks does a good job of solving by giving you rescue missions of different types to perform with your creations.
$75 for the compiler. They were giving away 1000 for free, hence the $75,000 compiler giveaway.
I think this is out of scope for a build system.
I think this was fixed in 3.4 https://github.com/godotengine/godot/pull/51796
The director didn't want you to take pity on the guy or feel morally superior to him. He wanted to you to see his viewpoint and his experience.

With Rascolnicoff, Dostoyevsky wanted from the start to condemn the ideas he had (and his actions).
The `edits` endpoint using the `text-davinci-edit-001` model already does this, and does not seem to allow prompt injection through the input text.

API docs: https://beta.openai.com/docs/api-reference/edits/create

Guide: https://beta.openai.com/docs/guides/completion/editing-text

Edit: It does not seem to protect against injection.
I think there's hostility on both sides here. "Could you clarify a few things?" is one thing, but "I don't think the story adds up" is a direct accusation of lying.
> It doesn't allow sending money to someone

Interesting. I use an app called JamDoughnut [1] and I can top up through Google Pay or from my bank. I tried the other day to do it from my bank and it then opened a modal asking me which bank I'm with. I selected Starling and then my Starling app opened asking if it would be OK to share information with Jam Doughnut and send a payment to them.

As this was allowing me to use any bank (not just Starling), I assumed that it must be using Open Banking. Is there some other API out there that would allow them to take payment from any bank? I guess its possible that if I selected a different bank then it would just come up with a message like 'coming soon...'. But it seems surprising that they'd implement for Starling which is one of the smaller banks and not the others.

1. https://jamdoughnut.com/
I find it interesting that I seem to have a different takeaway from most of the other commenters here.

I assume HN is dominated by professional programmers? Id assume the reactions would be different in a demoscene or raspberry pi forum?

For me this is what I like about open source software. It's a home cooked meal that the chef has shared. It's not trying to please every one, it's written by the author for the author.

Both activities have creative elements, and a "what happens if" element. And I can certainly see the sharing motivation for both.
The businesses in question are not required to accept cards. However, they are legally required to accept Bitcoin. Given that, it is pretty low.

From the article:

> But Bukele wanted more. Making bitcoins legal tender meant a payee had to accept them. As the 2021 legislation stated, “every economic agent must accept Bitcoin as payment when offered to him by whoever acquires a good or service”.
On the other side, I'd also consider ethernet to be something already installed on the laptop, without needing an expansion card. I get the framework laptop philosophy and ideas, but needing an expansion card for something as basic as ethernet seems stupid to me. On the other hand, macs come without one too, so yeah... I might be getting old.
Google Loses Most of Appeal of EU Android Decision
They work basically just as normal Bluetooth headphones on non-Apple gear. Really no benefit when it comes to switching devices when using it.
Totally wrong? Geez, no thank you.
That's nest not pijul.
Yeah, Updates Per Second. Because Factorio works on a fixed cycle, it can't "drop" updates like physics engines tend to do. So it's tied pretty tightly to your CPU performance.

Once you see a full factory in action, the mind will boggle at the amount of entities and actions being performed. I'd be impressed if someone could pull that off in a regular piece of (modern platform) software, let alone in a game context.
Can you use this to work around the size limit by having linux source code (up to the required commit) in a orphan branch?
The problem is that the value that teachers create is hard to compute and hard to capture, so in the end, no one is willing to pay for it.
I've noticed that a lot of my daughters friends put on American accents when they're playing; we're in the UK, so presumably they just watch a lot of american tv. I don't think it's particularly alarming though, I wouldn't think to warn someone to 'be careful' of letting their kids watch My Little Pony because they might imitate the accents
's/Climate\ Change/Population\ Density/g’
Lucid Motors Tech Talks – Drive Unit: Motor [video]
Sounds like we are going to need more Lithium mines.
My best guess at why the average person is hesitant to use bitcoin as a primary currency is: where do I go when it goes wrong? If the system holding my money is hacked, or I get scammed in some way, where is my legal recourse? Legal recourse is typically something provided by a state. But state regulation nullifies a lot of what bitcoin advocates claim is the advantage of cryptocurrency. I'm not up to scratch on the details in El Salvador, so curious to know whether they have solved this issue.
pypi contains 399 794 python packages.

debian repositories have 23 168 packages, all languages included.

Or are you suggesting each python package author should release one version rpm, one deb, one nix, one msi, etc? And then that the deployment script branches for every single OS isolation isolation there is?
As a long-time student of French and its numerous cultural outposts worldwide, it never fails to amuse me that Pierre means “rock” in French yet in the US it’s used as an emasculating pejorative type name.

In the spirit of “Kim Jong Il Looking At Things” and “Vin Diesel Loves Giving Thumbs Up” sites if I had the time I’d set up a meme site with Dwayne Johnson photos with a pencil moustache added on called “Scentez vous q’est que La Pierre cuisine?!” just because. He did play a wannabe Chef in The Rundown! I recommend it, quite fun. Christopher Walken as the bad guy…
The app says "IP Webcam"
Probably, you rarely see these errors because you have never been a part of team making a comparably complex system which is used literally by billions of people and being exploited by multiple hackers.

Also trying to implement certain algorithms and datastructures _efficiently_ often unfortunately calls for raw pointers. And writing the most used web browser certainly calls for trying to optimize things. If you think differently, please tell me how you would implement something as simple as a mutable tree, where each knows about it's parent.
This seems unfair, it isn't necessary to attack the author just because the tone is a little conspiratorial. I'm sure there is a little embellishment in the post, but there doesn't seem to be any reason to doubt the author has noticed a real effect that may have a reasonable explanation. The VMware price hike idea seems like a very reasonable explanation
A little quiz: Which famous philosopher do English speakers often shy away from pronouncing his name correctly because it reminds them of the equivalent female body part? (Please don't spoil the answer.)
Out of curiosity, why was the weight relevant?

Did you give it away?
Linux Foundation Europe Launches to Foster European Open Source Collaboration
Population of Yemen, Ireland, Botswana and probably others I'm not aware of yet.

Let's be honest here: while later in life she did nothing politically too active (i think she took a EU colored dress during Brexit?), Until at least the 90s, between supporting colonialism and the mafia-like comportment of the Royal family (let's not forget her cousins[0]), her reputation wasn't the highest in the world.

And anyway, between republicans and anti-imperialists, it should be difficult to find support. Most of the left (when you exclude tankies at least) is anti-imperialist, and most of the right is republican nowadays, no? At least in France and the US. I admit I missed this news cycle tbh, so I'm not sure.

[0]https://en.wikipedia.org/wiki/Nerissa_and_Katherine_Bowes-Ly...
These days you don't even need a grid library. You can build an entire layout in a handful of lines of CSS with CSS Grid.

https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Grid_La...

It's well supported and gracefully degrades (so long as your content is in the right order in the markup).
Cellulose Shoes Made by Bacteria
I've never used them but Wise might work if the freelancers are all over the world: https://wise.com/gb/business/api
It's just a bunch of hedge funds trying to bet on the outcome of the case, nothing more nothing less. Paying $1000/hour is small change compared to billions in bets on stock prices.

Honestly while it's a little bit scummy I don't think there's anything especially wrong with what these research companies are doing.
From what I read, they don’t play too nicely with each other.
> P.S. By coincidence, if the values on the "impulse" graphs above are sorted in an ascending order, and are then displayed as independent graphs, they collectively form a stylized image of a human eye:

> Moreover (but this is a questionable observation), here, if the blue line is subtracted from the orange line, one gets an outline of human's head: with top (21000), forehead (18000), eye (13000), cheek (6000), and neck (2700) levels highlighted, roughly corresponding to real symmetry; with a slight shoulders outline (4100-2700), and two hand palms risen up (5400-4300).

the proof!