skysight-inc/HackerNews huggingface dataset:
It definitely isn't. There's a noted problem with replies failing and disappearing. The number of replies versus the number of replies is often inconsistent, and it changes with new replies being added (so it's not some spam-detection gone amok).
Doesn’t this line of reasoning lead you to necessarily conclude that the other’s identity is strictly less objectively real than your own? Your identity is continuously simulated on your own wetware, but the other’s identity simulation has only recently started running and suffers from a low synchronization rate.

TLDR: For all you know, your sparring partner is ChatGPT.
Ask HN: Is anyone using any headless Git service?
Basically an api server for git, like Github API without public facing stuff (also excluding endpoints for its public facing stuff like issues/pull requests etc), only git related endpoints.

I believe there should be at least one .. but I didn't find any. Only found self-hosted git even though some have api.

So I think you know what I mean by "headless".
> > Silencing, once established, is stable: the same X chromosome remains inactivated in all subsequent cell generations. As a result, each female is a mosaic of cells in which either the maternally inherited or the paternally inherited X is silenced.

For those curious about it, a visual example of this is tortoiseshell and calico cats.

The orange or black in a cat is X linked. A simple, not quite correct, representation of this would be that a male cat can be either XoY or XbY while a female cat can be XoXo, XoXb, XbXb. The XoXb cats are both black and orange and are frozen at the time when one of the chromosomes were silenced.

This is known as X-inactivation and the Wikipedia page ( https://en.wikipedia.org/wiki/X-inactivation ) even has a picture of a tortoiseshell cat.
Definitely try some earplugs, I personally like the foam ones that you roll up and then expand in your ear. If that’s not enough get a pair of over-the-ear hearing protection and use both together. Just be sure to have a vibrating alarm on your phone to alert you when your getting close to your stop. Then be sure to print a pillow and maybe a small blanket. Also put a lock around whatever bag your bringing and sling it around your arm or leg to prevent thefts if you have things of value with you.

Honestly aiming for sleep is probably the best thing for the short term. Trying to learn new skills or look for a new job/apartment while exhausted and stressed just compounds it.

Best of luck. It will get better.
The question is who has the intent here? Netflix clearly and flagrantly enabled this behaviour for many years. Lax security (no 2FA for a long time for example) and viewer profiles encouraged this behaviour. Further, their plans describe the # of simultaneous streams you get at each tier, they do not describe people or any other constraint.

Netflix had fine print of convenience that banned this behaviour, but at the same time they encouraged it as a growth tactic.

Now that they are choosing to limit this behaviour, doing so under the guise of copyright is disingenuous. I have no idea why the court would entertain them as an aggrieved party.

Sow and reap.
>I am of the opinion that, to give the users the most freedom to let their personality shine, the social network itslef should be as boring and generic as possible.

This sounds like the Thatcherism of social networks. "There's no such thing as a community, only individual posters". The sort of desolate environment that you get as a result of this is exactly what people are increasingly shunning.

It's why people move to private chat groups, subreddits, niche twitter subcultures with memes that nobody even understands from the outside (intentionally so). This very site is strongly opinionated as well. The logical endpoint of generic platforms is the Youtube comment section.

If a social network is supposed to be social it has to be about something. There needs to be something that ties the people in it together. Any video game speedrunning community, music subculture, whatever have you is more interesting than generic sites. Even if you have to move between groups sometimes, that cost is well worth it. The real world doesn't work like this either. Does anyone ever go to the "generic people meetup, where we do generic things"? Everyone is part of social networks, plural.
Awesome-ML-for-Cybersecurity
Mass matters for the simple reason that if you need to climb a hill, the energy required to lift a mass is proportional to the mass. Granted, barring extremely heavy bikes, ~3/4 of the mass is the rider.
Ask HN: Why Is Writing Less Valued Than Audio, Video or Drawing?
This is something I've always been confused by. Artists seem to get a lot of attention for their work, with comissions making quite a bit of money on the high end and fine art being worth millions. Popular creators on YouTube, Tiktok, Twitch and other sites can get a lot of views and money from their work, as can those who work on films and TV shows offline. Singers, musicians, radio and podcast hosts can make a good living from their work, at least on the higher end.

Yet writers never seem to give this sort of treatment. Popular novelists tend to be less wealthy/successful than their musical or audio creating counterparts, bloggers find it harder to get attention online than YouTubers or podcasters, and generally it's easier to promote other forms of content online in general, with many places being far happier to let people post their videos or artwork than articles or short stories.

So why is this? Why is writing in general seemingly so undervalued now, especially online?
> AMD fucked up by not having a stable IR between GPU generations

The lack of a stable IR is probably deliberate. Much like the "we won't support DLLs or pluggable APIs, only statically compiling it into your application" with FSR2, once you port to HIP you're locked in. AMD wants you working in HIP, compiling from HIP, not treating them as an IR - they don't want to be an alternate runtime for NVIDIA's ecosystem.

And again, much like FSR2, they are in fact willing to compromise end-user experience (no updates) or developer convenience (continual patching) in order to do it. No libraries, only distribute as source, ever.

It's not about library pluggability or runtime compatibility (after all GPU Ocelot already existed), what they want is you building the ROCm Ecosystem and not the CUDA Ecosystem or OneAPI Ecosystem.

That's understandable from a corporate strategy perspective, as a corporation you don't want to be building a product on someone else's platform, because that gives a lot of freedom for the platform owner to fuck with you. But like, the whole "we won't even do libraries/IR" is a little crass from a customer experience/developer experience perspective, and it kinda goes against the whole good-guy-AMD mythos they've built up.
Glad you're ok. I wish the anti helmet crowd from the Netherlands from a different thread 2 weeks ago would read this.
Why not frama-c instead?
I thought titan would keep good for a life time?
My comment was:

> The proof that every planar graph (equivalently every map on a plane) is five colourable proceeds by showing that there is a small set of sub-graphs such that every graph must contain one (an unavoidable set), and then showing for each of those that it cannot be in a minimal counter example.

You said:

> Isn't this missing a crucial point? You seem to be saying:

> 1. There is some (small) set S of graphs, all of which are 5-colorable

This is not what it's saying. It's saying that these graphs cannot be in a minimal counter-example. That's different from simply saying that they are 5-colourable.

> 2. Every planar graph has at least 1 sub-graph in S

> 3. Therefore, all planar graphs are 5-colorable

No, you've missed a bit of my comment. I said:

> showing for each of those that it cannot be in a minimal counter example.

So we have an unavoidable set U. So for every graph G there is an element S of U that is a sub-graph of G.

But we have also shown for every element S of G that any graph containing S cannot be a minimal counter-example. We're not showing that these elements S of U are themselves 5-colourable, we are showing that any G containing S is not a counter-example to the theorem.

So now suppose the theorem is false. That means there is a graph that requires 6 colours. From among those choose a minimal one, so M is a minimal counter-example. But the set U is unavoidable, so there is a S in U that is a subgraph of M. But any graph containing S cannot be a minimal counter-example, and we have our contradiction.

Hence there are no counter-examples, and the theorem is true.

For the Five Colour Theorem the unavoidable set U has only four graphs, so it's easy to check by hand. For the Four Colour Theorem in the original proof there were around 2000 elements of U, so it was infeasible to check by hand. That has been reduced to 633 graphs in U, but it's still tough to check by hand.

The paper in the original submission here takes a different approach.
Based on those questionably real experiences relating to your coworker's pronouns and last name, it kinda seems like you decided in advance to now plant your flag on being standoffish and pretty foul towards people who chose not to act as sex they were assigned at birth, by calling their gender identity "imaginary" when the topic comes up. Which is just prejudice I think? Kind of a pick your battles moment really, are you really going to preemptively be irritated at any mention of nonbinary or trans people forever?
I’m curious why you gave up on the artists way after one week? The entire program is quite helpful whether or not you do the morning pages or artist dates.

Cool app to help build a habit of writing.
Electrode-less plasma thrusters get a big bump
> The very fact life is billions of years old and all these religous texts don't even mention about it even once or the fact that dinousaurs existed for hundreds of millions of years really makes a lot of organized religions look like fools.

That is only true if you accept the idea of Biblical (or, more generally, textual) literalism, which is largely a feature of a subset of Evangelical Protestant sects in America starting in the mid-to-late 19th century.

For thousands of years prior to that, pretty much everyone was perfectly content understanding that these were stories to inform our understanding, some of them pure myth, some allegory, some depicting historical events (often with embellishments of one sort or another).
What does poor people around wealthy ones matter?
Heavily sandboxed container has overhead of few percents. A hardware VM slows things down by 10-20% for a typical application. So even combining VM with a container will still be significantly faster than WASM.
> Would you be OK to find yourself in this situation?

What, where you email Tim Cook and get a solution?
This calls out for the Triangle Test! Two the same, one different, and you have to pick the outlier.
I'm only commenting because by coincidence, I wrote a similar google search yesterday

-----------------------

The first page of results for

"dan dill entropy site:bu.edu"

Yields

https://www.bu.edu/genchem/ch131-summer-1-2021/notes/SecondL...
I get that, but why not use a service, instead of this manual process?

1pass literally can solve every single one of these problems.
This is cute. However, the scoring system is not explained and though most of it is self-explanatory I'm really not sure what the difference between "visited here" and "stayed here" is supposed to be? At which point does a visit turn into a stay?

Also title wise, EU != Europe. The game gets it right but the submission didn't.
That could be the main factor.
Well, part of the reason you start them at the gate is also to test them and warm them up before you get to the most critical part of the flight where you absolutely need to be sure they're going to run: takeoff and initial climb. You don't want to be doing that procedure on the runway for operational reasons.

And some airplanes are already capable of pushing back under their own power. The reason we don't do that is not the plane -- it's the airport. The blast can damage the airport, ground equipment, and endanger people.
Am I right to assume that this will only be accessible from the ecosystem only?
Consider that in all males, all of the X chromosome genes are expressed.

What's more, with X inactivation, one of the chromosomes in XX becomes almost completely inactive and all of the genes on the other chromosome are expressed.

https://en.wikipedia.org/wiki/X-inactivation

> X-inactivation (also called Lyonization, after English geneticist Mary Lyon) is a process by which one of the copies of the X chromosome is inactivated in therian female mammals. The inactive X chromosome is silenced by being packaged into a transcriptionally inactive structure called heterochromatin. As nearly all female mammals have two X chromosomes, X-inactivation prevents them from having twice as many X chromosome gene products as males, who only possess a single copy of the X chromosome (see dosage compensation).
Show HN: High Browse independent “surf engine”
Hi HN,

I’m pleased to release my “surf engine” to the public for you to try.

This is might be for you if you’ve grown frustrated with commercialised SERPs, and want to find the other websites are (still) out there.

Kudos to Marginalia Search for showing that it’s possible to build a search engine as a hobbyist:
https://search.marginalia.nu/

Feedback of all kinds very welcome!

Ali
Twitter wasn't built as a community platform. It's always had the user-centric model, which works well for the types of people who helped it gain popularity to begin with, namely journalists, celebrities, politicians, brands, gov agencies etc.
Would you please stop posting flamebait and/or unsubstantive comments, including ideological battle comments? You've been doing this repeatedly, unfortunately. It's not what this site is for, and destroys what it is for.

If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here, we'd appreciate it. Note this one:

"Don't feed egregious comments by replying; flag them instead."

https://news.ycombinator.com/newsguidelines.html
Millions of users seem to be OK with the decentralised approach :)
I’m working in a Python code base with multiple millions of files and not for the first time. It’s not the problem you make it out to be. The changes between black versions have been almost unnoticeable for years.
That still leaves American tunnels ridiculously more expensive than elsewhere in the West. There are more reliable wins elsewhere in the overall process.
That's... not relevant? We've discovered quite a bit about how the world works in the last century and a half since then. For example, we've discovered that people trying to propagate a concept of "micro" vs "macro" evolution are simply parroting an anti-intellectual rejection of fact.
Can we please go back to forums? The author is right, social media is about "me me me", users accumulating points in r/funny and then using it as social proof in r/geopolitics. Topical bubbles are the best, especially because they present only one aspect of each user. Since people don't use their real-life network in twitter/mastodon, i even thing that model is not social.
You get a lot more in core (and thus no-std) than the free standing C language.

For example C's qsort lives in the standard library, whereas in Rust although [].sort() needs alloc, the [].sort_unstable() is a core feature!

str::split_once(['5', '7']) will split a string at the first digit 5 or 7... You need considerable work to do that in C, and doing it modifies the string. In Rust it's a core feature.

Of course Rust is relying on the fact that none of the machine code is emitted unless you use these features, indeed split_once is fully generic, the types used only come into existence because you called the function. So presumably this was not practical as the fundamental language for writing Unix fifty years ago.
Can you (or anyone) explain why any of us should care what ChatGPT has to say about any subject?

This is an article about wealth inequality, not one about ChatGPT or AI.
If he was poor, he’d be crazy. Since he’s rich (still provably?) he’s just eccentric.

I agree, though it’s not clear if you’re talking 5150 or conservatorship.

IMO, a pretty clear argument could be made (if someone had standing and wanted to do so) for conservatorship, at least of the estate, and possibly for him individually, in Kanye’s case.

I don’t see anything even hinting at a justification for 5150 WIC, even without considering the de-facto loosening of when it’s applied, which is I’m guessing what you’re referring to.

Hell, even if you’re lunging at someone with knife while talking about killing your self, it seems like most jurisdictions won’t do it. (Especially SF). If particularly public safety minded at the moment, they might take away your knife if they don’t shoot you first.

Budget reasons.

As to where it would go, god knows.
Users without an iDevice can still join a FaceTime call.
The content about the new method starts roughly here: https://youtu.be/bfJY0syocfU?t=227
Seems very "Popular Science" to me. I expect to see that when I see the Moller Sky Car in production.
On this Mastodon instance creative disregard for capitalization is mandatory.
Would you please stop posting flamebait and/or unsubstantive comments, including name-calling and swipes? You've been doing these things repeatedly, unfortunately. It's not what this site is for, and destroys what it is for.

If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here, we'd appreciate it. Note this one:

"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something."

https://news.ycombinator.com/newsguidelines.html
Robbery and murder.
Mini-roundabouts are way overkill for a lot of situations and 4 way stops are often effectively rolling stops anyway in my experience.
Does anybody know how does this compare to https://compcert.org/ ?
SRY triggers development of testis, but in fact, if you have a translocation of just SRY onto X, and thus are an XX male, you may have issues with reproduction, as the Y chromosome contains other supporting genes for the production of sperm.

We can go on about male v female as a social construct, but biologically, males produce the smaller gamete, so if one has SRY and has an otherwise male phenotype, but isn't producing sperm, from a strictly biological perspective, it's not at all clear that the statement 'SRY is the determinant of maleness' is necessarily true.

It certainly will make you develop testicles and male secondary sex characteristics.

You are correct on the cell naming. Cells cannot be male or female. That is a characteristic of a complete person. They can be derived from a male or female, but what the scientists did here did not change that attribute of a cell.
I wish Gitlab would just fix up their existing product instead of increasing the surface area. Every month they put out a security release that often contains a couple of "high severity" bugs and every couple of months there's a "critical" one. And they're not rocket science either, simple auth check bypasses and so on. Clearly something's not going right in the culture if you have multiple critical security bugs every year.

I am increasingly antsy about hosting my private Gitlab instance on the web, and this does not reduce that.
When electric cars first came out, Europe/Germany was quick to pass a law requiring artificially increased engine noise for pedestrian safety. South Korea on the other hand manages to enjoy the innate quietness of electric cars just fine.

AI does not even have such geographic boundaries. There will always be people training/releasing newer versions. We had better grasp this fact early and enjoy the benefits equally.
Encrypted Email Company Skiff Wants You to Sign Out of Google Workspace Forever
Yeah, my guess is that both are senile if they're putting this on the arxiv.

Second-order evidence: Old mathematicians (~80). Famous problem. Weird, imprecise writing style. No mention of the proof by mainstream mathematical news sources (breakthroughs are usually accompanied by excited blogging/tweeting). No acknowledgements directed at other mathematicians who have checked or commented on the proof.

[deleted argument here; replaced by more precise comment below]

My tone is harsh because I think the best thing to do is to quietly ignore it, similar to how the community treated Atiyah's claims of a RH proof at the end of his life.
That's preposterous.

The catholic church explicitly admits evolution.

Let me guess, this was in the USA?
This gets into some philosophy-of-mind weeds that I may not be well equipped to navigate, but my contention is that identities aren't objectively real at all. They are constructions. They're as real as the real line.
GCM doesn’t require padding (the calculation implicitly pads internally), unless you want to hide the length of the plaintext, as the resulting ciphertext will have the same length.
Yikes! You can't attack someone like this on HN, regardless of how wrong they are or you feel they are. Obviously it's completely against the site guidelines.

If you'd please review https://news.ycombinator.com/newsguidelines.html and stick to the rules when posting here, we'd appreciate it.
I'm a big fan of his Yelp reviews[1].

[1] https://yelpingwithcormac.tumblr.com/post/12634112681/the-ta...
The hair analogy would be a person feeling distress at having hair, and so shaving it off. They shouldn’t be harassed for doing this, but they would cross a line if they then sought a place in an alopecia support group.
His first "fix" - removing the mandatory twitter login screen when not signed in was gone for a few days and then suddenly reappeared.

I suspect engagement metric went down and the change was rolled back on orders from above.
> Unless they expect you to run WASM on your servers

They do, this is an emerging idea.

> I always thought it was to have production and development environments the same

This seems to be the first thing many people try to do with Docker. IMO it's actually not a great experience. In dev, you need to make changes, in prod, you shouldn't, so they're not the same at all.

Docker has many strengths: reproducible builds, consistent deployment strategies(k8s doesn't care what's in your container), a consistent DSL for building apps, The ability to extend a huge collection of other Dockerfiles to get what you want. I'm sure there are more.
> A purely peer-to-peer version of electronic cash would allow online payments to be sent directly from one party to another without going through a financial institution

> We have proposed a system for electronic transactions without relying on trust.

Any regulation introduces a 3rd party which Bitcoin was designed to remove.
>Is that some weird American thing?

Almost certainly.

Also, in there most protestants don't consider Catholics to be Christians.

The place is completely bananas.
it was separate , though and you could ignore it. I purposely remove people who mix their politics in their science from twitter, and it works, but i am left with a small number of people. Separate rooms is good.
I find it somehow intriguing how you already pre-destined this imaginary book to be great… That stood out to me for some reason. How about a great title for a shitty book?

Funnily enough, The Lost Art Of UI Design sounds like a potentially very mediocre book to me. One of those stretched-out "self-teaching" design guides that listicles will recommend you. It chooses a couple of very specific rules of thumb, it gives way too much importance to them, and somehow manages to water them down to 250 pages. Probably written either by someone who's a skilled writer but barely knows enough about the industry, or an experienced specialist in the field who unfortunately can't write for life.