skysight-inc/HackerNews huggingface dataset:
"The western-US example in the OP [2] has no 4-clique, yet it requires 4 colours."

It has something very similar to a 4-clique that can be simplified to a 4-clique for the purposes of the coloring exercise: https://imgur.com/a/oRJBkFp

Or more generally, if you have any hub-and-spoke topology with an odd number of spokes, it can be simplified to a 4-clique and have the same properties.

So I concede that a graph requiring 5 colours doesn't have to have a 5-clique exactly, but it needs something that is either a 5-clique or can be simplified to a 5-clique.

I'm not a graph theory expert, so I'm assuming the complexity of the colors proof comes from the difficulty of being able to simplify complex graphs into simple atoms/cliques.
you are missing the larger picture.

230 is what prevents websites from having the legal obligation to identity users.

with 230, any crime in user content, they can just tell the govt that they will take content down and gov can go and hunt the criminals.

without 230, they have to provide an alibi to what now is their crime. so no operator will ever allow you to post a word without providing a photo id and credit card payment as proof.

and this what they want so the digital id, which will be totally optional, Will end up being required everywhere because it would be the easier way to implemented the "way out".
I guess you can say "using right now", but from your link:

"October 2026 (contracted) – May 2027 (commitment)"

So more like, in the works to use one of them. It does appear that it is beyond the planning to use stage. I did not see the word Boeing once in that link, so maybe they have an actual shot of hitting those dates.
Employees were arguing online outside of work channels, and HR became aware of it?
Good thing I didn't say throw everything into one folder
Sorry you had to deal with that :(

> I changed my account email address and that finally stopped the hacking

Sounds like perhaps they had actually compromised your email (and were covering tracks) and using that as the vector into your Facebook account?
New Government Ban on Kaspersky Would Prevent Updating Malware Signatures in US
Something about 4 colors makes sense to me intuitively because you've got 0 or 1 color for each of the two cartesian axes (2 * 2 = 4). Not sure there's anything behind that though.
It says cisgendered, not straight, though.
> How often do you ask a doctor to work for free? They still get paid by the hospital.

Oftentimes, physicians are not paid by the hospital at all. They will form consulting groups and work for the consulting group which will have a contract with the hospital, or they'll do something C2C.
Zoom and Google Meet existed before COVID. What COVID did was force employers to choose between letting people work from home or shut down. Suddenly, what was impossible a few months ago became totally fine.

It didn't make WFH more viable or acceptable, it exposed the hypocrisy of employers.
I'm more for the approach used by JTE
This prevalence is true in the US (and most Western countries I think, though not as certain), is definitely not true in Sub-Saharan Africa (where 75% of the world's HIV+ population lives). Women and girls are more likely to have it in Sub-Saharan Africa. See https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10126805/ estimates that over 60% of all new infections in SSA are in women. Parts of that region the HIV+ prevalence rate is above 5%. That is why they are focused on testing that population in that region, they are the most at risk.
i lived there, gulf monarchies are financing construction of mosques all over the *stans, and are sending people to "study islam" in ... Pakistan and Bangladesh, where they are radicalized and brainwashed.

various conflicts in Causasus in russia - where caucasians were bankrolled and brainwashed via gulf money (dagestan and chechnya)
> You also have to marry something.

What? Where'd you learn English?

Take a look at the first two senses listed in wiktionary ( https://en.wiktionary.org/wiki/marry#Etymology_1 ):

> 1. (intransitive) To enter into the conjugal or connubial state

> 2. (intransitive) To enter into marriage with one another.
There really seems to be no reason whatsoever these protections shouldn't be extended to people over 18. You don't have to check ages that way and the feature has to be there regardless. Also the "after midnight" rule is silly — not bad, just silly. Otherwise good law. A law to "protect the kids" that's actually good? Unheard of.

I wonder how sites will handle content discovery that doesn't run afoul of the law. Like completely seriously Discover Weekly on Spotify sounds like it will have to be age gated since Spotify is technically a social network.
Ask HN: How do you organize your expertise?
I was just thinking about this today and wanted to see what the community thought.

How do you, as a life-long professional, organize or catalog your accumulated domain expertise to effectively leverage it throughout your career?
> The single most impactful technological choice when building payments is the programming language.

Got it. So why was Python chosen again? Call me crazy but I want things that touch my money to be rock solid.
The subtitle under the article's headline reads:

The Stanford Internet Observatory provided real-time analysis on viral election falsehoods but has struggled amid attacks from conservative politicians and activists.
I think you may have meant to say 'overwhelmingly likely to come back' or maybe 'extremely unlikely to stay ended'.
Asana! They have a board view and you can just create a project that is a 'sprint' by adding categories and putting it in the board view. And then add tickets from other projects to the sprint and drag them through different states. And it's free.

Mobile app is also very very good which means you can easily update or use it to make tickets while on the go...or in bed.
Yes, hence me using the past tense ("was shot down again and again").

>They took the time to get them right, but then they did

I'd say thet just took the time to bikeshed, and ended up not with the "right solution", but with a Not-Invented-Here remake of the Generics wheel with bizarre warts.
send myself emails. then search for email from:me to:me.

on desktop i use a cli[1]. on mobile i use homescreen bookmarks to fastmail web.

body is typically empty. subject is the note. first word is the category.

most recent note: game deltas represent discrete positions on the 13bit ratchet

1. https://gist.github.com/nathants/53efd551e5eadfdbf5792b3efc3...
Funny enough, there's a DSL LLMs already tend to be trained on: JavaScript. Just teach the LLM the function signatures it has to work with, then execute the script in a VM
I don't want to work next to random people. I want to work with my co-workers. I don't want to have to come in every day for no good reason. I want to be able to come in to a shared space with my coworkers and have a productive day with them. Trying to bring a group of people into a coworking space doesn't work if there are more than 2 people.
In this case I think you're on the right path.
> unbreak open source culture.

This aspect isn't really specific to open source culture, it's human nature. People want free stuff. People feel entitled to free stuff. People feel entitled to the uncompensated labor of others.
What, no Simutrans?

https://www.simutrans.com/en/

Don't be put off by the, uhh, legacy graphics and quirky UI, like Dwarf Fortress
it has the the depth of decades of development (and the learning curve isn't quite as murderous).
I would consider a proof to be a "repeatable argument". One you could show to someone and expect them to be convinced by it. I think it is a defensible viewpoint that a proof in coq is not 100% convincing. If you think otherwise, then how can you reconcile the existence of falso (a coq verified proof of "false")?

https://github.com/clarus/falso

Proof and belief I think are pretty strongly intertwined, but I'm not going to pretend to have a particularly rigorous philosophy on the matter. Similarly, when the proof of Fermat's last theorem was published, I don't know if I should consider that to be a proof because it is well beyond my comprehension. I have no reason to question it, but should I consider it a proof? I know that people smarter than me (e.g. Wiles) thought the original version of it was a proof, but it had a subtle error in it which required a fix. While I haven't looked at the proof and revision, I would be surprised if I could look at the two versions as labelled and tell which one is the correct version.
My remote company has been doing this. Layoffs in NA and EU, hiring frenzy in Poland
Rearchitecting the 6502
I'm really liking it, I've played multiple times and installed it. I will ask though: is it possible to remove the vibration?
Everyone's pro-democracy until people go "hey maybe allowing a few mega corporations to profit off of addicting everyone to dopamine feeds is actually bad for society."

The biggest con economists ever pulled was to model people as "rational actors" and then generate an entire worldview off of "if everyone acts in their rational self-interest then this works great."

People are almost fundamentally irrational. People are guided by emotion and superstition and a bunch of weird shit that makes it easy for them to get addicted to things that have little to no societal value. If not a government, what force should counter balance that?
In my experience it's been the exact opposite -- back in the "old days" most programmers simply didn't know about linearized space, which is why even Adobe Photoshop does plenty of incorrect calculations that way. And because there wasn't any internet, there was nobody to tell you otherwise.

These days you can at least find references to it when you look things up.
So we agree that small companies do need it.
About as foreign as the realization that most of the people pushing climate change and sea level rise all have purchased waterfront property in our lifetime.

I'm more concerned about the amount of forever chemicals and hormones in all cities Water Supplies that is ignored by the very same people living in those Waterfront Houses

so there's that
To be perfectly honest, I’m extremely conflicted with this kind of legislation—natural physical social interactions have all but atrophied in huge swaths of American youth, and social media is the way kids ultimately communicate. I don’t think that limiting social media exposure will somehow restore in-person physical interaction, and it could just prove to atomize and isolate kids even more than they ultimately are. It is very typical that the state wields the law like a hammer and doesn’t consider the blowback—they should be thinking about how to restore real in-person intimate relationships amongst children.
If you specify the image digest in the image address, buildkit (the low-level implementation of docker build) will skip the metadata lookup.

For example:

FROM nginx:1.21.6@sha256:ec5c36ef5a2c29cf90d5b59c5f9f90272b472c604983b474b201bc2bfa123e6f
> People won't work if they are not able to sustain themselves (calorically) on the pay.

A better alternative is simply to require companies to pay a living wage.

The outcome is better, because you don’t lose the safety net for those who still need it.
> TLS is called SSL

SSL was renamed to TLS in 1999...
Show HN: Local voice assistant using Ollama, transformers and Coqui TTS toolkit
I don't know, how many times a day do you find yourself being rude?
There's a lot more noise from leafblowers and construction that penetrates my noise cancelling headphones at home, than I have ever experienced in an office. There is more in-office noise, yes, but that seems to be better managed by aforementioned headphones.
I think it is like coin flips, do enough of them and the total heads or tails gets very predictable even though individual flips are not.
So addictive! And it's great how you tie it in to the greater mathematical concept. I'm loving it!!
The film The Interview was released in 2014. Ten years later, Seth Rogen and James Franco are still alive.

> North Korean state media threatened "merciless" retaliation for his depiction in the film. Seth Rogen responded, "People don't usually wanna kill me for one of my movies until after they've paid 12 bucks for it."

https://en.m.wikipedia.org/wiki/The_Interview

Where is the merciless retaliation? Keep in mind this film has a graphic scene where Kim Jong Un dies…
Historically, Christians believed that animals had souls. The soul was a necessary requirement for animate life.

This was the idea behind spontaneous generation, for example: souls find their way into rotting meat and maggots are born.
“Blaming high water in Miami on climate change is laughable to those of us who have lived here for decades and generations.“

Things can get worse though right? I’m not like super bullish on climate change hysteria but do wonder if there will be a tipping point on some of these low lying areas. Out of curiosity I looked at hurricane severity over recorded history and they haven’t been getting worse over time. So maybe it’s nothing but if heat records are a secondary indicator, primary indicators could start turning at some point.

Like Venice has flooded all the time forever and it’s also getting demonstrably worse.
I'm thinking I'd actually prefer that for a air-gapped industrial control computer.

using USB thumb drives to move csv data into the real world where there's internet
That’s why we mirror and scan the images with Artifactory. Prevents these issues
If there are no dividends, then why is my checking account called "Dividend-Bearing Checking"?
Something wasn’t run in a container…
> Small claims court does get a company's attention.

Different topic, but I find not enough people are aware of the CFPB (Consumer Financial Protection Bureau) complaint process.

If some financial-related company wrongs you and you can't get through to support, file a complaint. Suddenly they listen and contact you back.

https://www.consumerfinance.gov/complaint/
Yeah but you can't force people who don't want to come to the office to come there just because you prefer it that way. And in any case, I'm sure there would be more than just 1 person who'd prefer a social aspect / whose home life prevents them from being productive at home, in which case you could most likely band together into the same co-working, no? Most co-workings I know also rent out entire rooms for companies, not just individual desks.

Unless we're talking remote and international, in which case that obviously wouldn't work, but I assume you wouldn't apply to those jobs anyway.

That way you can get your office and some coworkers, and others can do what is best for them, and the company doesn't have to lease a huge office space. Win-win-win?
I am using orbstack, best alternative to docker.
ah yes, "From each according to his ability, to each according to his needs"

Edit: It's an awful thing, and has failed every time it was tried, usually with unspeakable horrors inflicted on incalculable numbers of people. Many would rather die free than live in shackles, even if the shackles are of gold. Imposing involuntary obligations on people is indistinguishable from enslaving them.

"Ultra-capitalism" is just the state of nature without the violence. It is distributed rather than centralized authority. It is a liberal ecosystem in which organisms compete, succeed, and fail. Allowing people to bear the total consequences of their failure and misfortune is not immoral.

If you can't sustain yourself, the immoral and undignified thing is to impose on others. The only decent thing to do is accept their charity when freely given, not elect tyrants who will take by force.

Democracy is not an aim, it is a means to liberty. And an imperfect one at that, which I would be glad to see replaced when a better option becomes available (AI?). If the power of the government threatens the freedom of the people, the government must be replaced. So much is written in the constitution.
Another thing we're not good at
I'm a bit confused, did they gain access and then add a recovery email which was how they regained access or was your email compromised and they got in through a recovery address. Either way, clearly you weren't the one submitting those ads.

I actually routinely get gmail spam that is trivially identifiable as spam. Such that a naive bayes could detect it. But what's interesting is the original emails have over 18k words in them. They're hidden though unless you look at the original. Otherwise just an image.
Yes, that sounds about right. LLMs aren’t quite good enough to find novel bugs and exploit them like a human would.
Now, with improved >Addictive Feeds< you'll get cool blue messaging bubbles instead of plain green ones!
I had the same exact message two days ago, but I chalked it up to a DNS issue on my end.
That's basically proportional representation with added steps:

https://en.wikipedia.org/wiki/Proportional_representation

It's extremely common in Europe, and there are a lot of different precise methods for it. But the point is exactly what you're describing -- every vote has an impact.

I've always been baffled that not only has the idea never taken off in the US, virtually nobody except political scientists seems to be even aware of it.
Wasn't IMDB originally a hand curated text "database"? That might be why.
This is something many parents in ky community should have been done for YT and Meta too. We also feel American CIA is spying via this American propaganda machines. In fact to date I am still waiting for proof of such thing with TikTok as I have already seen proof of such with Meta and YT.
You have an ax to grind. Good luck.
“We either defeat the woke mind virus or nothing else matters” doesn’t seem like not the end goal, unless Musks words aren’t to be taken seriously.
I was replying to the poster who said:

```
Number of countries invaded by China in the middle east: 0

Number of countries invaded by USA in the middle east: 3 and few more got bombed

I mean "This is so long as there isn't a NATO-like structure to keep Chinese aggression in check, constituted of its neighbors.".. try to be a bit more self reflective.
```

I was pointing out that this seems to misrepresent the acts of China, due to its numerous armed conflicts with its neighbors in recent history. Though incidentally, this sidebar does seem also shore up the point for the "I can see it bleeding more territory to China" regardless. Here are more citations if you need them:
- https://en.wikipedia.org/wiki/Occupation_of_Mongolia
- https://en.wikipedia.org/wiki/2020%E2%80%932021_China%E2%80%...
- https://en.wikipedia.org/wiki/Territorial_disputes_in_the_So...
> Step 1. I put a <purple circle>, <blue circle>, or <red circle> color dot on each region, but hide it under a post-it

> Step 2. You click any two bordering regions, and I pull off their post-its

> Step 3. You check that the revealed colors are different

I would add explicitly in step 1 that you tell me what 3 colors you used, and in step 3 that I check that the revealed colors are different from each other and are both from that set of 3. Similar in the explanation of why this should convince me.
i bet this is a fallout of the lobby started against matrix foundation for the many EU gov contacts they got.
It’s not at all silly. There’s some nice visualisations[1] of GR in YouTube that look like space is being swallowed up by matter.

A toy model I like to use in my mind is that matter absorbs spacetime. It is literally sucked in!

A possible extension of this model is that the tension introduced in the vacuum causes it to stretch out. That could potentially explain the non-r^2 terms in galactic rotation curves.

[1] https://youtu.be/DYq774z4dws?si=6vDWZ8jPzgjxSBb1
If an employer is required to allow “reasonable accommodations” but is never required to allow working from home, then logically it would seem to follow that working from home is not a reasonable accommodation … or so I had concluded, but technically that might be wrong in some way that’s not very interesting to people actually affected by these laws.

Any law that requires an employee to negotiate with their employer would seem to be a rather toothless law given the power imbalance involved. Maybe that’s the larger problem.
I can tell you what happens in my service.

When you submit the contact us form I receive a message via Matrix on Element. I also receive an email and the submission is recorded in postgres.

Depending on the request details, I may reach out to you immediately or put you on my task list for 24-48 hours to handle.

I don't sell or do anything with the data. I'm the only person that sees it.
People here keep coming back to the social pressures of not allowing their kids on these platforms. It's one thing to give them a device for being able to keep tabs with locations and being able to get in touch with them, but once they have a device where other parents have allowed their kids on the platforms your kid will be made fun of for not being on there.

The parental controls the platforms put on there are non-existent or a mere joke at best (as the recent post about TikTok suggesting porn to minors illustrates). So a parent trying to do things then gets accused of "damaging" their kid by being over restrictive. So, again, what's a parent to do?
Bro just stop using the feeds. You're an adult. Kids on the other hand should just be banned from social media. I don't want adult spaces to be molded around children.
Ah, there’s some nice patterns in the library code for sure. I’ll have to spend some time with it. Thanks for sharing!
Cellpond: Spatial Programming Without Escape
> Additionally, feelings are fine for personal behavior but legislation requires a higher level of evidence.

This I can agree with -- but I think it would trivial to get that evidence by asking 10,000 teens if they agree with the following statement "Some of my social media apps feel addictive -- they don't bring my enjoyment but I can't seem to stop using them."

I'd bet about half of teens agree with that.
(FYI: A noise-cancelling headphone works best for hums and other "repeating" noise; construction noise is much less predictable for the headphone to get ahead)
coronaviruses are also RNA viruses, fwiw
Linux From Scratch [1] calls itself a collection of book.

[1] https://www.linuxfromscratch.org/
Looks great! I finished making a carpooling site a few weeks ago that automatches people into the optimal groups based on their location. Your site would work really well with mines: https://antride.ca/. Would appreciate if you could share my site to group organizers.

rough video demo here: https://www.youtube.com/watch?v=ToVn8tVQ0cc
US bans sale of Kaspersky products due to risks to national security
Doesn’t that just mean that the company is externalising its costs and privatising the profits?

Frankly, I think this is the problem that needs to be solved.
To be fair it describes itself as board game-like gameplay. The visuals are pretty but it doesn’t sound like it’s trying to be a simulator, very much a game first.
I started my career on the SUSE kernel team in 2007. And I used to joke that I maintained Kernel versions that were released before I even started writing kernel code in high school in 2001.

It was really exciting and sort of daunting testing and releasing kernels with Ethernet drivers I fixed to European air traffic control and stock exchanges.

Anyways. Sort of funny to think maybe code I touched right out of college is still in production and just got a life extension.
"re-annexed"

Wrong word.

"In Nystad, King Frederick I of Sweden formally recognized the transfer of Estonia, Livonia, Ingria, and Southeast Finland (Kexholms län and part of Karelian Isthmus) to Russia in exchange for two million silver thaler, while Russia returned the bulk of Finland to Swedish rule." [0]

[0] https://en.wikipedia.org/wiki/Treaty_of_Nystad