skysight-inc/HackerNews huggingface dataset:
I can't speak for whoever changed the title, but XX/XY is far more accurate and less clickbaity than Male/Female in this context.

There is far more to human biological sex than the chromosomal distinction. Take an XY cell, but it in an otherwise female body, and it will, in many ways, express itself similar to that of an XX cell. This is the theory behind hormome replacement therapy (HRT).

That is not to say that an XY cell in a female body would be identical to an XX cell in the same. For instance, an XY eye in a female body would likely be similar to a male eye with regards to color blindness; because we have traced colorblindness directly to a chromosonal difference.

However, most sex differences (in humans) are not chromosonal. Instead they are triggered by a single gene (SRY), that just so happens to occur on the Y chromosone. That single gene codes for a protein that triggers almost all of the sex differentiation. Splice that single gene onto a X chromosome and you can get an XX human that appears male.

Exactly what differences are directly chromosomal, and what are developmental is a largly open area of research, and exactly what this achievement hopes to further enable.
open source as a for-profit business is hard. Most for-profits in the space have a closed source commercial product somewhere in the mix. They've got quite a bit open source right now. It's not bad. Compare with Adobe, Oracle, Intuit, Apple, ... not the worst.
It does, in the sense that it seems to mirror sentence-level emphasis in speech.

(Even your comment sort of works - I'd drop the emphasis on "up" and "place" though.)

It's definitely atypical. I think it wouldn't impact readability all that much, if not for the lack of capitalization at the start of sentences - the two abnormalities together make the text much harder to read than it should be.
It could also be that the endeavor of drug discovery and manufacture is inherently more risky than accounting. From the academic sense, it is not a field of mathematical certainty, but one of subjective risk-benefit tradeoffs.
No. It occurred by killing female children or aborting female fetuses.

That's not the same as creating male embryos deliberately.
It's still harder to use even once you're signed up. I'm not able to click on a user's profile and see their posts, unless I go directly to the server that their account is on.

That's presumably a setting configured on my particular instance, but it's just weird.
Failing to do so, doesn’t mean that he won’t try. The idea that you can try to use twitter to shape the public discourse is really obvious, and even if you suck, doesn’t mean it’s not a potential danger. I mean, enough people fell for the idea that somehow he is for free speech.
One is only starving for wisdom if one refuses to eat!

Kong Fu Zi say:

"By three methods we may learn wisdom:
First, by reflection, which is noblest;
Second, by imitation, which is easiest;
and third by experience, which is the bitterest."

Drowning in information? Youre gaining wisdom the bitter wa ;-)

Starving for wisdom? You may be thinking it is too easy to find wisdom. Try a bit harder. Wisdom might be right behind you when you are focused on how bad something in front of you may seem.
How does conversations work between people on different instances when it comes to moderation? Is an entire conversation taking place on the instance the top post is on?
>...or simply attract more foot traffic to an area than a cul-de-sac therfore increasing the chance of opportunistic crime.

I love this reasoning: make my own neighborhood so unpleasant to walk in that nobody will, not even me!
>God would help solve the boredom problem. So I'm not terribly worried either way. Cease to exist = can't worry about it. Continue to be conscious = won't worry about it.

Great idea. It will probably take a while for me to internalize it but I really like what you're saying.
This is like Notion meets FigJams. Pretty cool.
> found a job within three or four months

I think this is unexpected for lots of young developers out there. Lots of devs have experienced nothing other than multiple offers within a few weeks of looking.
If you buy a subscription to Acrobat (not Reader), you can edit PDFs. Office is also supposed to be able to open and edit them.

Mac Spotlight can open and edit PDFs to some extend, including copying and pasting pages to put different PDFs together.
What is GPT-4 (and When?)
By "long sequence of words that are trivial for me to remember" I meant concatenation of secret questions, like in the bounty example: https://mprimi.github.io/portable-secret/examples/bounty.htm...

Unless I hit my head really hard, there's zero chance I will forget this passphrase.
https://www.cube.eu/bg-en/cube-world/technology/test-lab has more photos of a test lab, split into road vs mountain bike tests. As a mountain biker I don't care much about road conditions but I want the frame and suspension tested going down stairs, jumps and other forces.
I got a Surly steel bike that rides like a dream, I can't go back to the stiffer stuff. I also had an aluminum bike break in half just cause I rode off a curb, I don't worry about that at all with steel frames.
> "mammals have mammary glands" was not a listed axiom. There are two axioms, of the forms: "all X perform action Y", and "All D are members of X". There conclusion of the form "All D perform action Y" is sound.

No,valid, not sound. Soundness is validity plus true premises, and any sound conclusion is true of logical necessity. A valid conclusion is true contingent on the truth of the supporting premises.

> but axioms don't have to correspond to reality for the logic to be sound.

False, premises being true is part of the definition of soundness.
> imagine if the only online profile where you could express yourself was through your old "Ancient Greek Literature Forum" account. that would be quite limiting, wouldn't it?

I remember the days of small forums dedicated to niche topics. They usually had an “off-topic” board where members could socialize and talk about whatever. It was not limiting at all.
Nice collection here: https://infinitecanvas.tools/
And there are ciphers who have lived much longer than 30 years...

https://en.wikipedia.org/wiki/Caesar_cipher
I think the argument he makes at the end is that "we should have a centralized account model" and then let exactly what you say shine. It'll be like a twitter reddit.

Problem: If you sign up for say LEGO reddit, but want to post a geo-political thing, then suddenly YOU CANNOT because you need a new account.

Reddit is about the subreddit's popularity

Twitter is about personal popularity
Programming as Play
How does Jami work if I have multiple devices? For example, I want to connect on my work PC, my home PC, and my phone, share the same account, and see all the messages I sent/received on my work PC when I log into my home PC.

This is traditionally the worst UX problem with Signal / Session / Matrix etc. Manually handing keys back and forth is a disaster. Compare that to something like Telegram or WhatsApp where you can just log on and everything is there.
No, violence is violence.
The Reanimate site says that it ships with Chipmunk2D, and the example I linked shows both

import Chiphunk.Low
import Reanimate.Chiphunk

However I can't find any reference to Reanimate.Chiphunk anywhere, and if I search the repo for "chiphunk" I just see this example file, the readme, and a couple of YAML files. So I am very confused now.
> What was the outcome?

My understanding is that it was messy. The parents/kid got some money. Maybe $1 - 1.5 million?? But my memory is hazy on that. Obviously, their parents' lawyer took some percentage of that.

I'm pretty sure the (parents') lawyer who hired me took on other plaintiff's lawyers as "investors" (I forget the proper term for what he did). Basically, he didn't have enough money to pay for everything up front [like expert witnesses], so he sold fractional "ownership" in his future earnings on the case in exchange for funds. This was a part of the business that I did not know existed prior to my testimony.

My suspicion is that he took away very little after the rest of us got paid (family, support staff, "investors", etc.).

My deposition was probably pretty typical, but it was shocking to me.

- The defense lawyers flew out to me and rented a conference room at a local law office.

- At around 9AM, the main defense lawyer sat across a table from me and pulled out stack after stack of documents and I thought, "Wow, she brought a lot of extra reading for herself. I should be done here by around 11 and I can go home and mow the lawn."

- NOPE! Every stack of documents was there to rebut some specific sentence that I wrote in my initial report.

- There were a lot of insults and efforts to get under my skin. For example, after I used some technical term, she said, "That's a big word. Do you really know what it means?"

- The only reason the deposition stopped was because she had to catch a flight back to the west coast around 5 PM.

- The kicker was that "MY" lawyer asked if I'd be willing to give them BOTH (plaintiff AND defense) a ride to the airport (defense lawyer said she'd pay me my rate for the ride).

- I told them I had to get home, but really I took the whole thing too personally because I thought, "You just insulted me for six-and-a-half hours? Now you want me to drive you to the airport? I'll pass."

- And then the lawyers took a taxi together like they were old friends.

Obviously, it's just business for them, but I'm not built for that.
Can someone explain what exactly does nod.ai do? Its not clear at all from their page
As a former Atlanta resident this checks out.
To add to your question, assuming the tooling at github is ok, it has ~20% as c/c++ for https://github.com/openjdk/jdk. I would think most of that would be concentrated in the hotspot code, but I don't know. Would be delighted to know what the original post was referring to.
The Distributed SQL
Ok so in similar manner. Please download Microsoft Silverlight now, only from official MS source. No other source is allowed. Go.

Funny thing, here in EU country, there are government apps which stills require MS Silverlight. Nice right?
There was a recent episode of the excellent This Week in Virology[0] podcast where they had a guest who studies gravity and had a very good and informative discussion that actually covered this topic, among others.

As someone who knows nothing about astrophysics I was able to at least sort of figure out what was going on and enjoy the discussion. (The guest is a cohost’s sister which is why an astrophysicist was on a virology podcast)

0: https://www.microbe.tv/twiv/twiv-962/
MS Whiteboard is insane. Can’t scale text, slow as shit.
If most of us “humans”
not “hn subset” stopped working we’d be in deep trouble.

Who will maintain buildings, infrastructure, essential services, government etc.

I think we could work towards long term fewer hours and more people who don’t need to work though.
So it's time for the community to step up and write good (or even better) versions of those plugins?

On the one hand sure I wish Microsoft open sourced more, at the same time what they already open sourced is a fantastic foundation for building upon.

Instead of having to write an open source IDE from scratch we can leverage this one and then implement a few plugins for popular languages.
https://archive.is/KpDQF
If two of those commute days are in a row, try to crash in town that night. Save yourself a few hours of commute, hang out in town, whatever. El cheapo Airbnb (for example) - all you need is a bed and a place to make coffee & a bite of breakfast.
> only about $67k/year.

Which is >100k/year before tax which is well above median household earnings.
Thank you for the insightful comments.

Not looking for users TBH. :-)

re: bug in the vendor implementation of cryptography. Doesn't this apply to everything you encrypt?
You assume there isn't similar features on different architectures, or market pressure to implement these, if not already present
Yes, this was in direct response to someone talking about fixed-size arrays. Think of this as just “one small way in which C does not happen to be broken” rather than some kind of endorsement of C!

Note that you could

static void qux(int n, int a[n])

but this changes the interface somewhat and there are lots of reasons why you might want to avoid VLAs in C.
Beanstalk Retrospective, Part 5
Inspired by this, I looked up what was in a little anti-fog spray bottle for eyeglasses I have:

https://www.zeiss.com/content/dam/Vision/Vision/Internationa...

Yep, it’s water plus various non-polymer perfluoro compounds.

I get why fluoropolymers are extremely useful (and probably fairly safe for their end users). I get why PFCs are useful in industrial processes. But why on Earth is it acceptable to intentionally use PFCs as the primary ingredients in a spray bottle intended to be used near people’s faces?
So you say where you grow up has zero influence on who you are?
It’s absolutely wild to me that Solomon so fundamentally misunderstands the appeal of Docker.
I used it to give some classes online in Corona times. Part of the class was given with own videos uploaded to youT . This feature was very handy because every user streams in sync the video that you are presenting directly from youT So everyone get awesome quality, much better than sharing screen. And obviously love that you do not need to download an app to run it.
Corporate America makes me chuckle, meanwhile in European countries they are pushing for the exact opposite, the right to repair for consumers:

https://repair.eu/

https://en.wikipedia.org/wiki/Right_to_repair
The users should be more aware too, not just the developers, you're right!
I can agree with that statement. It just doesn't jibe with the bit you ignored above: forcing another person to play along with the fantasy of someone else's identity, trying to make "misgendering" a crime (which itself can be rather incoherent, you cannot misgender someone who claims that gender doesn't apply to them).

It's the being forced to play along with the six-year old Stefonknee's playtime to which I object. Evading it with solipsism and "what your definition of 'is' is" word games is a distraction.
All American Five radio receivers
You can't really compare sex and criminal behavior. Well, maybe YOU can. Why are these things similar to you? My dad taught me to read as well, what dumb-shittery do you have to say about that?
If I ever get into recreational cycling I need to make a mental note to not read about any performance stuff ever again. I'll get something rigid with relatively wide tires and disk brakes and not give two shits about weight or stiffness. I'm not nor have I ever been someone looking to shave seconds off in a race, I'm just some naturally unfit guy that happens to love riding bikes.

Also need to stop talking to other cyclists online. "Oh yeah 100 miles is easy", not for me it isn't.
Thanks for the insightful comment.

>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. This is easily done by hand.

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

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

3. Therefore, all planar graphs are 5-colorable

But, from statements 1 and 2, one can only conclude that every planar graph _has a sub-graph_ that is 5-colorable, not that the entire graph is 5-colorable.

Don't you also need to prove that the complement of the sub-graphs is 5-colorable?
There was a proposal during the C23 process to make "main(int argc, char *argv[argc])" work as one would expect, as well as some similar changes elsewhere, such as with structure members. They went through several revisions but never made the cut, I think partially because they all required at least some minimal backward incompatibility.

IMO, if GCC or clang implemented and ran with those proposed changes, they'd probably be accepted for the next C revision, and become popular long before then. This is mostly a matter of time and motivation; corporate funded developer time seems to be mostly focused on half measures; e.g. type attributes, rather than fundamentally improving pointer and array semantics. But if someone put in enough time and effort, including going through the rigmarole of integration into mainline, this could happen.
I get the gist of this sentiment. It took me a while to migrate from the generic mainstream instance (mastodon.social) to a more specific one (hachyderm.io) because a lot of instances were regional (e.g. some country in the EU) or too narrowly defined (e.g. tabletop games). But the about page of hachyderm.io included a lot of broader interests that let me feel like joining that instance wouldn't give off the impression of a particularly deep but narrow interest (that isn't accurate).

But who you are within Mastodon is not limited by the instance you created your account on! Especially since follows and posts are federated.

A gentle reminder that your follows, Home feed, hashtags and the Federated timeline are not (overly) limited or filtered by the instance your account lives on. Only the Local timeline is 100% a view specific to that instance.
I don't think anyone has a problem with that.

The problem is really more one of "we operated so long without paying and now, blam, everyone pays next year".

It'd be sort of like if github deciding "You know what, everyone now needs to pay $7 a month/user for github". Perfectly within their right, but also a little bit of whiplash for a large number of people.

The next question is if this will last. There's already competitors to docker (rancher/podman/various k8s on my box things).
> It's their argument's base assumption.

According to them, or according to you? Because if it's according to you then I'm pretty sure you're just wrong. (But of course unless we can consult with one of your subjects there is no way to resolve this so we should probably just drop it.)
Maybe this is an American thing? I lived with roommates until mid-thirties, was pretty normal in London.
Microsoft Teams being preinstalled with the OS and set to automatically start when the OS boots would be an example.

There were several other options to do the same thing, but Microsoft added their own that came with the OS.
If you have a quality aluminum frame bike, it probably has a carbon fork. If you find the ride harsh, you'll get most of the benefit of a carbon frame by swapping in a carbon seat post, stem, and bars. There are plenty of good, moderately priced carbon parts available, and changing these parts is very simple. If you are on 23mm tires, change them for 28mm, which will fit in almost all rim brakes.

On lo-end carbon frame bikes you will find alloy bars and seat posts, which is silly.
Is it a small list? Especially if you count ILs like LLVM bitcode or WASM, it probably includes most of them.

Many of the languages people use in the real world are really large, really old, really hairy and rely heavily on native extensions that poke arbitrary interpreter internals. Truffle at least makes these implementable with higher performance, and the team size needed to get that done isn't infeasible. But implementing a Ruby or Python will never be a five minute job regardless of what tech you use.
That’s because you’d write it as:

int a[static 3][4]

You only need to put static on the outermost type, the one that decays into a pointer. Same thing applies if you need restrict:

int a[static restrict 3][4]

which is ugly but gets the job done. Think of int a[3][4], when used as a function parameter, as “pointer to int[4]” (the 3 disappears completely), and think of int a[static 3][4] as “pointer to first of at least 3 int[4]”.

(Not trying to defend C here, just explaining how C works.)
Docker also uses seccomp.
Other streaming services have had reasonable success, so I think this assumes that the present level of password sharing benefits their bottom line. This definitely seems possible!
ChatGPT is a ‘code red’ for Google’s search business
Right, agree with all of that. I would have characterized as "user can shoot themselves on the foot (i.e. by choosing weak password)", rather than "easy to bruteforce"
It boils down to getting less range for a given payload for any given aircraft. You can exchange less payload for more range until you have nothing but pilots.

It seems to get equivalent power you need to either exchange a third or so of your range or a significant portion of cargo or a mixture of both.

Hydrocarbons do indeed have significantly more energy density and the benefit that once you’ve used them the weight of the fuel goes away giving you less work to do as your fuel runs out.
>
I wrote a longer comment a year ago but here's a piece: "The price of gold was $45/oz in 1970. 52 years later it's $1,800/ounce. That's roughly 7.6% a year or 45x increase. If you use the inflation provided by the government, CPI, (1), they say inflation is only 3.6%/year or roughly 7x since 1970. Obviously we have a discrepancy. Is the dollar worth 45x less than 1970 or 7x times?

The main[1] answer to your riddle is that the economy grew about ~6x faster than we have been mining gold. The dollar is closer to being worth 7x less than 45x less.

> When we look at prices of things like education, housing, and healthcare, the 45x number makes a lot more sense. Education has 30x in price over the same time period (2).

The same amount of education isn't actually 30x more expensive.

Because you're not getting the same services in exchange for your money today, as you were 50 years ago.

If you drop the money-pit sports programs, the entirety of the administrative sector, the nice new dorm buildings, and account for reduction in public funding, you'll find that the growth in the cost of education is much closer to the cost of inflation.

It's not all that expensive, even in 2022, to stuff a group of young adults into a lecture hall and have an underpaid adjunct who doesn't even get health insurance read off Powerpoint slides to them for 15 hours a week. It's the everything else, most of which has nothing to do with education that costs money.

[1] The secondary answer to your riddle is that late-night-infomercial-manufactured demand from goldbugs and other morons can easily raise the price of gold significantly above where it 'ought' to be. Beanie babies, baseball cards, NFTs, shitcoins, etc.
There is no reproducible experiment proving algebra either. It doesn't make algebra a religion. There is no reproducible experiment proving that French is an offshot of Latin. Is this a religion too?
What's actually important to learn in the technology field wouldn't matter if it were 10 years behind. We're talking about higher education-- the fundamentals, not learning the syntax of some particular framework that will no longer be used in 10 years, if 5.
I wonder: Does he (a) truly believe he knows anything about tech, or (b) desperately try to maintain what he knows is a fiction, for his brand of the celebrity wunderkind?

If I assume he's smart, I'd think it's (b). But to do (b) well, he probably would have experts tell him what to say.

I remember him talking about how Hyperloop is an air hockey table in a vacuum - I'm not a physicist but that doesn't seem to make sense. I know that what he says about software makes zero sense. Does nobody tell him that? Does he really not see it?
Obviously you can't create new money this way (not without involving an external substrate for scam, such as crypto tokens), but I think if you tried hard enough, you could create for yourself a tax liability on those billion dollars.
> I keep a copy of my passport encrypted on the internet.

What use is the picture of your passport? It would be easy to fake.