skysight-inc/HackerNews huggingface dataset:
No classes, but there are types. When looking at the docs (which you'll do often) you'll see the doc.

I say you'll be in the docs often because of things like

Enum.map which returns a List not a map

Enum.map_reduce takes either a List or a Map, but returns a List.

Kernel.get_in takes a Map and a List
This is about as far from the Court’s 4th amendment jurisprudence as one could imagine.

See, for example, Justice Scalia’s ruling in

https://en.m.wikipedia.org/wiki/Kyllo_v._United_States
_Both_ are an inappropriate degree of anthropomorphism IMO.
> but in Europe, pseudo-elitist nerds or CS students taunt Apple for being a "too overpriced toy for non-technical people". That's how I know they don't have a clue about software engineering, lol.

In my experience ("filter bubble"), the central reason for the insane hate on Apple is rather that with the iPhone, Apple made the "golden cage" fashionable. When Microsoft attempted to implement similar measures in the past (keywords: Trusted/Trustworthy Computing (https://en.wikipedia.org/wiki/Trustworthy_computing), Palladium (https://en.wikipedia.org/wiki/Next-Generation_Secure_Computi...), Trusted Platform Module (https://en.wikipedia.org/wiki/Trusted_Platform_Module), ...), a huge outcry among users, and a shitstorm against Microsoft happened.

The acceptance of the golden cage of the iPhone showed that an insane amount of users are willing to be enslaved in a golden cage, and thus all the data activism to keep users in control of their devices was just a paper tiger. The fact that these Apple fanbois actively sabotaged this activism by their buying decisions is in my opinion a very good reason for this insane hate.
> And the point of the original verification system was to make sure you can trust what that person is saying especially in volatile situations e.g. during a crisis where Twitter's role was so influential and important.

So the elites who we should trust as opposed to commoners that we shouldn’t

Yeah no thanks…
Trademarks are against a "class", these can be quite wide. They would clearly want to own that exact symbol for "Class 9: Computer and software products and electrical and scientific products."

Unicode already contains exactly it, it's a mathematical/scientific symbol, even if they did get the trademark in that category (which I doubt) they will never be able to enforce it. With trade marks, if you don't successfully protect them, you loose them.
>"All of those features have been integrated in the OpenBSD source tree, and with the developers admonished to adhere to the rule

"where it is possible to spot damage, fail hard".

-which means that

poorly written software will crash a lot more often on OpenBSD

than elsewhere."

In other words, testing software on OpenBSD -- is one great way to find some types of bugs and other incorrect software designs...

In other words, testing software on OpenBSD -- can be thought of as applying a higher degree of correctness, rigor, and discipline -- to Software Engineering...

Sort of like a 'lint', but for a runtime...

It's not the only software test, that's true, not by a long shot -- but testing on OpenBSD would make a valuable addition to any professional software test corpus...

>"That in itself should make the platform attractive to developers."

It is, and it does!
I don't get it. Do you think developers will experience some AI related job losses and finance people will not?
Twitter is getting increasingly hard to use without paying for it. Tweet read limits, DM limits, and now the inbox filter for your DMs got silently auto-changed to "only verified accounts can DM you".

And no matter how good your reply to someone is quality-wise - a bunch of bluecheck dumbasses will be prioritized. Like every viral tweet has an absurd amount of blue-checked far-right, braindead, scammer and spammer replies below. Musk ruined Twitter by making it "pay to play".

If I were to run Twitter, I'd have offered actual verification against a reasonable price to cover the cost of validation, say 100$, years ago. On top of that, some paid features (e.g. long text publishing, uploads > 2 minutes) for those who don't pass the "notability" threshold.
> No product improvements

Removing the tweet limit was a massive improvement (something I'd wanted for a decade). Showing view counts is also nice. I don't like the login-walls and selling blue checkmarks, but I understand that the company was financially struggling prior to Elon. In any case my impression has been that Twitter has improved more since Elon than prior to that. My Twitter usage is definitely higher than before, though admittedly that could be unrelated to Elon.
https://archive.is/P9hT2
Where competition == latex:

$$\Huge
\mathbb{X}
$$

Try it here: https://www.mathjax.org/#demo

Or U+1D54F:

https://www.compart.com/en/unicode/U+1D54F
People say that this is just like any big IT corporation. It's not IT in Germany does a lot of things manually because it's been done like that historically and they can't fire those people due to unions.
What is the meaning of x, I mean all possible meanings? Why it seems that "x" is a favourite letter in an alphabet when some things need to be named.
I'm delighted to let you know that you missed the point. It was a very short comment.
Yeah looking back again I misread the OP a bit. I'm still really interested in whether the number of bans is even close to the last few years, but that's a bit more off topic that I meant.
PayPal only worked UX-wise because of Levchin and Thiel, a former Mafia member told me once. Musk never had a knack for keeping things spic and clean - it's well known how he interferes in codebases to add in his shitty bad-practices code, or how he advocated for using Windows over Linux at Paypal.

Musk is a business genius alright, but not what I would call a product genius like Jobs was.
Email isn't PII. They'd have no reason to delete it.
How about this:

https://ontologicalinvestigations.blogspot.com/2017/12/five-...
It's pretty common to use another noun in writing like this, to avoid saying "Elon Musk" all the time. Adds a bit of variety and is less jarring.
Did he do those things? Or did he just slap his name and brand on other people's work in those areas?
Anyone have any knowledge of how the new CEO and Elons relationship is regarding the business? I'd be curious how the conversation goes with her about this kinda stuff.
They will. It wasn't their bird logo. They'll get a new image and url.
Unpaywalled: <https://indi.ca/how-mathematically-were-fucked/>
It's really hard to be blocked from your money by the entire banking system. In my country, at worst you're banned from credit and investment, which is really not cool (cannot use checks, only have debit cards, no saving account trying to keep up with inflation...), but in the end you don't have to sue to get your money back.

It's quite different from payment apps (my father used PayPal once to collect a 7k payment, spent 3k in lawyer fees to get the money).
No, I learned from this problem just now and think most users shouldn’t be messing with Library folder, etc, which is why it is hidden, and rightly so, IMO.
KubeBlocks helped me to build my database infrastructure in just a few minutes. It really surprised me a lot lol
“ X is the future state of unlimited interactivity – centered in audio, video, messaging, payments/banking – creating a global marketplace for ideas, goods, services, and opportunities.”

You’re rebranding information from the article as your own speculation?
> I told her her beliefs were akin to racism

!!SPOILERS!!

There's an episode of The Orville where they encounter a relatively advanced planet with a government that classifies people based on astrological signs. People born under certain signs are better than others, and one astrological sign is considered to be so violent and dangerous that they lock them in concentration camps. Women intentionally induce labor early in order to prevent their kids from being born under the wrong sign, leading to a high infant mortality rate.
This proof is technically impossible and thus does not make sense as a solution. We are living in the world where zero trust is default and bad things happen, so the ONLY right way to protect customer data is to verify the identity regularly, rather than declaring it valid once and forever until proven otherwise.
I feel like I'm watching The Producers in real life.
UUIDs: awkward, pointless cargo cult.

- the dash formatting is meaningless

- the only useful variant other than "all random" is "time sortable" and it's only part of uuidV7

- hexadecimal is neither compact nor human friendly
I think this one of the many things that the author wanted to point out, outer joins is not a valid relational model operator, and thus, leads to generating nulls. Outer joins would have to be some kind of subqueries in relational model, which would likely cause either way too subtle querying semantics or, as little as the would, still always unacceptable performance cost, given how databases are benchmarked.
When you find out about something is just as important as when it actually happened. So you need to track ALL of the details.
I wonder how long will this last, will it be the same as Doge logo?

I think Twitter had among the best brands across social media, similar with HBO in entertainment. To use a generic letter instead of all of the goodwill that the brand and accompanying verbs had seems really ridiculous.
for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}'); do ldconfig -p | awk -v var="$i" '$1==var{print $0}'; done

edit:

even simpler,

for i in $(objdump -p /path/to/bin | grep NEEDED | awk '{print $2}'); do ldconfig -p | grep $i; done
This. Some middle manager is salivating at the KPI boost they can put in some monthly report as a result of this.
The writer probably forgot Asia exists
Just like you don't want to support tens of different databases you shouldn't build your solution on lots of bridged message busses. If stuff goes down at 2 am you don't want to have to find out which message queue was the problem or what tooling you should use to debug it.
Write your own programming language
> The involvement of the banks was always the confusing part of that deal. Really made me lose respect for their judgement.

Agreed, but to be fair the bank transactions were for debt rather than equity, so they will still end up ahead unless he really does drive the company to bankruptcy. That’s a real possibility, but they’re in better shape than the equity investors who have in one public case[1] already written down the investment 47%.

1: https://amp.theguardian.com/technology/2023/jul/18/twitter-i... (to save you a click: the investor is ARK)
I think this would seriously confuse his core audience, so I doubt that’s the intention. Then again, I think rebranding Twitter to X is a terrible idea, so what do I know.
Some logos can be copyrighted. Most logos however don't meet the threshold of originality. The Copyright Office will reject copyrights for stylized letters (see IBM logo), or logos of simple geometric shapes. With the modern aesthetic for logos to be as simple as possible this means nearly all the logos you see are not copyrighted.
Not my cup-of-tea
Oh surely no one would mistake watching an X video with some other service[0]

[0] https://en.wikipedia.org/wiki/XVideos
>I can't just say "well the moon is half so..."

With a good BOFH excuse generator you could.
https://bofh.d00t.org/
Well how much do you use Twitter in general?

It better to think of WeChat like an iPhone as opposed to Twitter. So rather than opening up the Amazon App you can navigate to JD's store on WeChat. Obviously if you don't use WeChat / Twitter then them gaining a app store-lite feature isn't useful to you but cross-selling is a successful practice.

I'm sure JCPenny / etc would love if you could buy on Twitter though. Replace ad fees with just a simple %-age cut of the sale.
WeChat is just an app platform, like Android or iOS.
Honestly, I would go and reserve that domain if I were you! That thing only can go to the moon!
Reports of X11's death have been greatly exaggerated as far as I can see; it's still clinging stubbornly on, and efforts to kill it have tended not to go well.
Indeed, just hearing the stories here on HN about how people are suddenly locked out of just their gmail or other accounts without explanation or recourse is pretty good reason to not but all your eggs in one dystopian corporate basket.
Yeah I actually see more hate towards Windows in the software development ecosystem. I spend my days on HN defending Powershell
I've been using 7.0.x for over half a year, currently on 7.0.8, on a Windows host. Most of my guests were installed during 6.x and have continued to run fine on 7.0.x, and new guests made in 7.0.x run and behave normally. No problems on my end.
I can't wait for a Twitter vs. Xfinity trademark showdown.
This is not true, in a number of ways. The most obvious example: A person overdoses on something and is taken to the emergency department, treated, and then asked to pay. If they don't have the money, well, tough -- that cost simply ends up borne by the hospital. They also take up scarce resources (a bed, and the corresponding attention of medical professionals) thus delaying the treatment of other patients.
I could imagine a much younger version of myself saying something so stupefyingly patronizing like this.
When they register the domain x.com do we have to be worried about a UFO Defense network that’s run by Elon?
Do visit https://xcorp.com for a hearty laugh (or slightly frightened chuckle, on how life mirrors art).

X Corp - Non-Human Intelligence (NHI) - UAP Technology
X Corp is one of the largest multinational conglomerates in the world. It is headquartered in the Western Hemisphere and was founded after the consolidated mega-corporate merger between ApostleCorp, The Allied Spacecraft Corporation (ASC), and Tyrell Corporation. It is currently the global leader in the retrieval and reverse-engineering of non-human intelligence technology (NHI).

Compare to our real-life version of X Corp's CEO, Linda Yaccarino:

Powered by AI, X will connect us all in ways we’re just beginning to imagine.

(yesterday in what we used to call a Tweet, https://twitter.com/lindayacc/status/1683213895463215104)
Astrology looks to me like one of those fourth-hand disciplines. (Like much religion. And even science if you get far enough away).

It was useful and empirically grounded at first. But by the fourth hand, a story of a story of a story, it's a bit of a mess.

But that's just me. I haven't delved into it very far.

Probably started as a nice model.
Why isn't he seeing his successful companies fail then?
The (fall|rebirth) of Twitter - either will be studied.
> It is like therapy

Then why not got to therapy?
What is the expiration date of US constitution? Reasonable expectation for personal account of a human being would be maximum life expectancy of a human or notification of death of the user.
They're right, you know
>CP is disgusting and everything

Why do you think so? Maybe you just haven't seen a good CP before.
I bought Designer and Photo just a few months before 2.0 came out, and just before the window for free upgrade for existing customers begun.

I have to say it's more performant than Inkscape, clearly geared towards artists, but there are still stuff that are more easily done in Inkscape. These mostly relate to automation. To add insult to the injury there is NO plugin system for Designer. I think this is a huge oversight on Serif's part, people would be so happy to fill the gaps.
I think his work at Tesla displays product genius. The cars are best in class, have transformed car UX, and are selling like hot cakes.
Elob has a fixiation on the letter. As I understand it, he wants to create a 'meta' platform for everything. I think in China such platforms exist (?). It's not to far away to say, that you need a 'meta' name for a platform like that. Probably wants to leave the 'private company' image and try to create an 'institution'. I hope it fails.
> Hello. I'm Jake. I'm a biologist turned philosopher/mathematician, and now a YouTuber. Join me on my journey to explore this crazy thing we call life.

Apparently lacking any idea of the difference between science and fast-talking, but only apparently; I'd guess bad faith and good rhetoric, or some unimaginably bad institution where one can be convinced that they have studied biology and still, at the end of their education, still fall for obviously illogical and unproven theories, like the egregious one about "genetic assimilation".
Given the start of this thread was about N, C, X etc ...

We could even say "2017 > 1999", giving an ordering over these numbers.
What “tweet limit” are you talking about? Twitter went to 280 well before Musk and I’m almost certain view counts were there before him as well in the little bar chart icon.
I think it's more that being terminally online has given him the brain worms when it comes to Twitter, and everything he does with Twitter has to be interpreted through the mass of brain worms.
In this "regulations that impact mutually voluntary economic interactions between consenting adults".

I think you are missing the part where there are very few interactions between individuals. Since the corporation was granted person hood, and the bulk of all interactions are really between consenting corporations, actual real humans are left out. If me a human individual consents to interact with a corporation that is also a consenting person, it isn't really equal, or free. The corporation can do a number of things, like swamping the human with legal costs, non-stop lawsuits. Or on grander schemes, maybe the corporation can buy up all the food or land in an area, and force a population to capitulate and come to terms with whatever advantageous agreement the corporation desires.

Your view of the individual, while romantically desirable. I can't argue against it, it sounds nice. It doesn't actually work in practice, because the free market is NOT made up of 'consenting adults'. It is made up giant constructs, and humans under duress, forced to make due to survive. And when it gets bad enough, the humans take their 'freedom' and rise up to protest, and society either collapses or maybe some half measure like unions is the outcome.
Yes it was extremely valuable; the easiest way to tell is that shortly after Twitter leadership got rid of all legacy verified accounts, they had to frantically add some back. And even then the company lost about 2/3 of its value.
Wow, "backronym". Cool word. Interesting something can be widely accepted among a nation and have little to no surety about etymology
I'm still convinced he's just going for a "clever" way to declare bankruptcy in order to not pay full price for the Twitter acquisition.

Make it look like a business... "accident", publicly say twitter actually never had a chance to get out of debt, Sell the assets, refinance the whole thing at a fraction of the original buyout price, threw a few millions to the creditors and get away with the whole thing.
Musk can seem to do no right atm, I see a lot of hate out there with this name change and planned product expansion but I can’t quite understand why.
He’s taking an underperforming social network and trying to make it work. It might prove fatal, but it would have died a slow boring death in its old form. Perhaps its just that people don’t like his personality, which shouldn’t come into it.

Fwiw even prior to his defunding moderation it felt like one of the meanest places on the internet, I don’t see much of a change.
JSON does not define a type system, but javascript defines null as the only value of the null type. This works fine in eg typescript since you can use a type union of null and any other type, if you want to indicate a nullable value.
There we go, one more.
He owns Twitter/X and he can name it anything he wants.

I had not been using Twitter much before he bought it, and I use Mastodon a bit, but ironically I started using Twitter/X more after he bought it.

There are a few things that give me hope for the future: Twitter/X strongly supporting free speech, and the presidential campaigns of Kennedy and Cornel West. I think the corporate-democrats and the corporate-republicans are a sign of a ruined country. Our country is being looted as we watch.

That is just my opinion, which is only important to me. I am not trying to tell anyone else how to vote or how to think.
Let me put it this way, their track record is mixed on that.
Reminds of the time Musk said chess is "too simple" because there is no "fog of war" and no "technology tree".
> Email isn't PII

What's your email address?
Which other ones did he run directly where he had the 'expertise'?

Basically, they had other people to help guide it vs just Musk doing it himself.
Likewise. I've never really understood the hype around it. If something needs full-fledged tutorials - it sure isn't the easiest thing to navigate.

People out there are calling it their second brain and whatnot.
That rebranding will have some benefits, but won't really be viable for the general user until 2037.
Are you sure? When I type https://xn--971h.com in it doesn't work, but clicking the link in your comment does because HN has made the href x.com. The browser converts 𝕏.com to x.com before going there too. Moreover, X and 𝕏 are treated as equivalent characters in this context, so whois 𝕏.com looks up x.com, and 𝕏.com's punycode encoding is x.com: https://www.whatsmydns.net/idn-punycode-converter?q=%F0%9D%9...

whois xn--971h.com returns the same thing as an unregistered domain.
An account of someone walking on water or parting it is clear enough, but is meaningless without supporting evidence. Of course, supporting evidence would need to be stronger than our everyday experience of people not being able to walk on water.

It reminds me somewhat of James Randi's debunking of psychic powers - despite people having witnessed miraculous feats of spoon bending etc. no-one could replicate it under controlled conditions.
Currently if you try to DM most people, you'll get the message:

"Get verified to message this user. Only verified users can send Direct Message requests to people that don’t follow them. Sign up for Twitter Blue to continue."

I wouldn't exactly call DMs a premium service.
I’m surprised that the pro sports leagues haven’t tried this given all of their complaining about abuse on Twitter and IG.

NBA teams are about to start paying middle-of-the-road players $60M per year, hiring a full-time mod team to support an official mastodon instance should be a drop in the bucket for them.
Ask HN: What email service will not let me down if I disappear for 20 years?
Are there any services in the Internets which promise not to delete my data, not to spend my funds and not force me to accept some updated terms of service if something like 20 years of jail without Internets would happen to me?
He’s said as much personally back at the beginning. Notably, WeChat enjoys a government monopoly in China. Musk was hoping that the critical mass of Twitter would let him achieve the he same here.
Am I crazy or was x.com at one point x-drive, the early online storage company?
I'm a PhD student in algebraic geometry and have seldom seen this. IME "X" is a generic name for all kinds of spaces (metric, topological, complex analytic, algebraic...), but I don't remember ever having seen "𝕏".

That said, in principal everyone is free to call their spaces how they like. It just makes it easier to read if one sticks to familiar notation.
Diversifying Society’s Leaders? Admission to Highly Selective Private Colleges