skysight-inc/HackerNews huggingface dataset:
A good way to conceptualize what’s going on is not the idea that balls become "spiky" in high dimensions – like the article says, balls are always perfectly symmetrical by definition. But it’s the box becoming spiky, "caltrop-shaped", its vertices reaching farther and farther out from the origin as the square root of dimension, while the centers of its sides remain at exactly +-1. And the 2^N surrounding balls are also getting farther from the origin, while their radius remains 1/2. Now it should be quite easy to imagine how the center ball gets more and more room until it grows out of the spiky box.
It's a typical French loanword in German too: "Champagner" isn't pronounced with standard German prounciation rules. Even localized ones, e.g. in my childhood a sidewalk was called a "Trottoir" in the French pronunciation. For some reason nobody gets exited about French loanwords.
Yes, this is officially endorsed[1] by Green Day. Very cool.

1. https://www.facebook.com/GreenDay/
But we should all bow down to the american cultural imperialism because why not
What do you like most about arktype?
When Google contribute to open source, they often do it to scratch their own itch. That's how most open source organizations works.
What Automattic wants from WPE as laid outs in their term sheet is to dictate what WPE contributes and audit their accounting. Not exactly on the same playing field as other corporate contributions to open source projects. Not to mention the non-forking clause.

Maybe setting up a proper independent governance of the WordPress project would encourage more independent contributions.
I'm addressing the parent's proposal, which is to "why not just keep selling fractions of the asset to cover taxes".

Yes, if you're rich, you might have other ways to cover the liability, but that's not what the parent said.

And for what it's worth, these "billionaire" thresholds in political discourse are fairly meaningless. The last time the Biden admin "cracked down on billionaires", they instituted IRS reporting requirements for Paypal and eBay when you receive in excess of $600 a year. There just isn't enough billionaires for policies that truly target only them to make a difference, unless you flat out start taxing / confiscating wealth.
Why wouldn't people pay for something highly useful? It seems the opposite, that people would pay for things that are highly useful. People don't pay for things that are marginally useful.
It’s not wrong to use dicts, it’s just bad practice when you could use something like a dataclass or pydantic model instead.

Dicts are useful for looking things up, like if you have a list bunch of objects that you need to access and modify, you should use a dict.

If you are using the dict as a container like car={“make”:”honda”,”color”:”red”}, you should use a proper object like a class, dataclass, or pydantic model based on whether you need validation, type safety, etc. This drastically reduces bugs and code complexity, helps others reason about your code, gives you access to better tooling etc.
> Tree leaves (leaves from a tree)

or it could be the single tree is vacating the area

> Trees leaves (same but from more than one variety of tree)

or multiple trees are vacating the area

we could equally turn edge into a verb as well. so now we have a whole other meaning outside of an apostrophe
This is my exact experience. TypeScript seemed to hit a complexity sweet spot about 5 years ago, then they just kept adding more obscure stuff to the type system. I find that understanding TypeScript compiler errors can be almost as difficult as understanding C++ template errors at times.
Show HN: GodmodeHQ – Using AI agents to find public info on any company
Hi hackers, Mert from GodmodeHQ here (https://godmodehq.com/)

We are building a prospecting platform for deep research so anyone can understand their prospects deeply and send better outreach instead of spray and praying a generic message.

Sales landscape is pretty crowded. Most solutions focus on sending the same email or Linkedin message to thousands of people.

This approach worked between 2010 to 2020 at best, however it became such a big habit that everyone started doing it. When you receive an outreach email that talks about the solution they offer without inferring how the solution could solve your problem, you automatically mark it as spam.

Now with AI, people started personalising. However this personalisation goes to the extent of where someone graduated from or if they shared a pic of eating ice cream on Instagram. This makes the outreach personal but still useless.

At GodmodeHQ, we implemented AI agents in form of columns in a spreadsheet. This resembles Perplexity integrated into a spreadsheet.

The agents recognise your website and embeds your ICP and context. So the only thing you need to do is ask:

"What are some of the pain points we can solve for the company?"

"Does the company have SOC Type 2 certification?"

"What are the recent feature launches they did?"

and more.

The agent automatically starts filling the information for you. Then you can use this information to really understand what problems you can solve for the customer.

Last step is reaching out to the customer using email and Linkedin. You can automate this part in GodmodeHQ as well however we do not deal with domain warmups or other similar practices that aim to let you send 10k emails on a day.

By design we encourage the users to go through the information agents have uncovered.

Our belief is that everyone sells. Whether it is your code or simple ecommerce products, you are a seller. You need to understand how you can sell.

Our vision is to turn non-salespeople into successful salespeople using the help of AI.

We hope you enjoy GodmodeHQ as much as we do.

I would love to hear your feedback.

Best,

Mert
The free market's great IF there's competition. If the market's dead, it's time to reinject some life and keep the cogs turning.

Scale's great, but it often comes with a societal cost. For every efficiency made, there's less agency and decent jobs to go round.

Seems unfair to make such decisions ad-hoc though, and string it out through years of court cases and m/billions of lawyer fees.

Why not establish rules of the market where once a company gets x% market share, the company 'wins', the CEO gets the ability to run for high office, the nation thanks shareholders and gives them a big payoff for supporting innovation, and those 1 run down the food chain get to spin off their own companies and go for gold.

Life and death is a part of everything sustainable in life. We should embrace these cycles and utilise them, not let old hat stagnation strangle and squeeze all what's good from life.
Black Hole Destroys Star, Goes After Another, NASA Missions Find
forbes sell entertainment. their clients are not even who read it, but advertisers who but advertisement.

readers and space for ads on the magazine pages are both called inventory in the biz.
I would suggest https://arktype.io/. Much faster on my project
While English certainly has thousands of words that came from French, it is far from being a "badly pronounced" version of French.
The Basics of Embedded Software Licensing
Show HN: Generate tailored courses for yourself on any topic (Apple TestFlight)
Hi everyone,
We are looking for beta testers to provide us with honest feedback on our app idea.

The app allows users to generate comprehensive courses on any topic they would like to learn in any style they prefer. It will also feature a community to browse / share courses and bite-sized daily knowledge for any topic the user is interested in. A chatbot helps with questions during a course.

This (actually alpha) version provides the core feature of course generation only, while the full version will feature the above functionalities. In this limited scope you will be able to go back to a previously generated course (if any) to type in "Prev" in the topic field and hitting "Continue".
We highly encourage you to provide us with feedback via this thread or any other communication channel. You can also visit our website at https://odinize.app where you can find more information.

Thank you in advance and happy learning!
Does anyone have a nice combination of tooling for typed handlers + client generation.

Thinking maybe Zod + Zod open API.

Really looking to replicate similar spec first workflow similar to protobuf services.

https://typespec.io/ also looks promising but seems early.
I can't find an example of how a trip plan looks like, without creating an account. Did I miss something ?
> I dunno, if [they've been saying it for 25 years], yet they still don't actually seem to act like it

That's what I'm saying though: from my point of view, they've started to act like it in the last ~20 years. If you've got evidence to the contrary, feel free to share it.

From my pov, they're about as perfect as the average other for-profit, which is not very security-in-depth at all but it's not just a marketing sham anymore either the way that it used to be. From Bitlocker to Defender to their security patching and presumably secure coding practices, it's not the same company that it was when they launched XP. A lot of the market seems to have grown up and, at least among our customers, we're finding fewer trivial issues

At any rate, this subthread started by saying this standard Windows setup shouldn't be used in the first place. I'm all for not using closed software, but then the question rather becomes: who do you think is deserving of your trust in this scenario?
> If every billionaire decided to liquidate their assets all at once the financial system would absolutely fold.

Would it? Or would it come roaring back stronger than ever? If there are real assets, then I'd expect good results. If it's just on paper backed by nothing but good feelings, maybe we're better off burning that paper.
I think you have the correct set of facts but entirely the wrong conclusion.

Would the richest people WANT to liquidate holdings for the value that Forbes estimates their worth at? I doubt it.

The marginal value of millions of dollars to these billionaires' lives is close to zero.

However, those holdings constitute control and power over important institutions at the heart of the power structures of the most powerful country on earth.

I don't care about how much money other people have. But I do care about how much control other people have.

Ergo, I am much more concerned about the power-distribution effect of a few people controlling large stakes in institutions significant to the operation of society, than I am about the estimated dollar value of their stake.

If anything, the hypothetical value of these assets under-estimates the amount of social power for which those dollars are a proxy.

There's a reason billionaires buy money-losing newspapers and social networks.
Back in Venezuela there we're at least 2 models of the Telepatria, A phone with TV Capabilities, if I recall correctly, both models being basically modified ZTE designs

The original model did come with an external anthena, and the latest model is from 2015, no anthena needed
Deepkit.io has cool validations in runtime based on TS, but it is whole another level.
> The article doesn't mention it, but am I right in assuming this basically comes from McDonald's? There are a lot of places around the world that copy the "'s" where it doesn't exist natively, but only for restaurant names or similar -- like "Bob's" is the McDonald's clone in Brazil [1].

For whatever reason, it drives me crazy when I hear people refer to Pizzeria Uno as "Uno's". I've had conversations about it multiple times with different people in my family. There's no one named "Uno", it's a number! I try not to be a prescriptivist but for whatever reason this bothers me to an irrational degree, and I can't understand why nobody else notices.
I imagine few on HN would fall for this comment, but this is a recovery scam.

https://consumer.ftc.gov/consumer-alerts/2022/11/worried-abo...
"Oceans "cannot, as a technical matter, be 'ported' from the Fisker server to which the vehicles are currently linked to a distinct server owned and/or controlled by" American Lease."

Sounds like an excuse, more so if they didn't disclose what the 'technical matter' is.
Whether you should or not is irrelevant because you will. No imperialism deigns to ask.
It's only “controversial” because you're thinking in framing terms that don't necessarily reflect reality—“making a game” and “making a game engine” don't need to be distinct, disparate things.

When Ska Studios (a husband and wife) made Salt and Sanctuary, they just made a game using a library, and a framework that they've evolved over many years of using XNA and then later FNA (both libraries, not engines!), to make their games. They don't “do engine programming” and then “do game programming” as separate acts done by separate people of separate disciplines—they're one and the same!

The whole point I've been getting at in my posts here is that “game engine programming and game development are necessarily distinct, practically unrelated disciplines” is a false premise that people have recently come to believe, and one that I believe deserves significant pushback.

My carpenter metaphor was just fine, you're the one making it more convoluted—when has “carpenter” ever been defined to include “one who grows his own lumber” in its definition, at any point in human history? That was never the case—“carpentry” is the practice of crafting things out of wood, and a “carpenter” is one who engages in and has knowledge of the practice of “carpentry”.

Thus, one who uses CAD software to design products that a factory will mass-produce using wood as a material could be technically referred to as a “carpenter”, because “crafting things out of wood” is, in an abstract sense, what they are doing. But it's clearly disingenuous for such a person, who lacks any knowledge or experience in “traditional” “carpentry”, to self-describe as such, precisely because he lacks the domain knowledge and experience that is expected of someone of such a self-description.

But if an actual carpenter, with actual carpentry knowledge and experience, then goes on to design mass-produced wooden products with CAD software, and he self-describes as a “carpenter” when you meet him at a party, you may think his self-description is a bit odd given what he does for a living—but at least he will in fact be able to give you some pointers about building your deck—thus proving his self-description to be meaningful on some level.
> That means that you can use the same test suite, gradually getting the code more and more compatible with the new version, and you can switch your production runtime, without having to worry about a more complicated and involved rollback process.

This is all well and good for your own code, but it’s seldom the case the libraries. A new library release that ‘adds support for Python 3.14’ is very likely to include other changes in the same release that may or may not be trivial, even assuming you were already on the latest version of the library prior to needing to update. A change like this to the Python language might be trivial, but it would have a massive impact on the ecosystem.
Put a Fork in It (2013)
TypeScript has a crazy powerful type system because it has to be able to describe any crazy behavior that was implemented in JavaScript. I mean, just take a look at @types/express-serve-static-core [0] or @types/lodash [1] to see the lengths TS will let you go.

If you write in TS to start with, you can use a more sane subset.

[0] https://github.com/DefinitelyTyped/DefinitelyTyped/blob/mast...

[1] https://github.com/DefinitelyTyped/DefinitelyTyped/blob/mast...
Couldn't this be improved by showing a diff between the mismatched types?
Moom 4 Is Excellent, but Not Available in the Mac App Store
> They became rich by creating a business that provided value for others - the most noble way to acquire wealth that exists.

This applies to small business owners way more accurately than it does to billionaires riding the startup rocket to the moon because all the gamblers with money decided they looked like the best way to make a quick buck in the stock market.
Boy, no shade to the person who made this but I would absolutely use this as proof (well not the website, it's very slick looking) that nothing is really going to change for the vast amount of people regarding genai. The "speakers" are without soul or personality, the dialogue stilted, and it very much seems like the creator of this doesn't understand that written works have a significantly different tone to them than spoken word.
Could he have?
That's table stakes for this niche.
> This has historically been the philosophy of English linguists, but for many languages (Spanish, French, German…) there is a central institution that does indeed decide what is officially correct. Their decisions are taken seriously and intentionally propagated anywhere where language is used in a somewhat official context (not just in public institutions).

This sounds very similar to the common law vs. civil law traditions as well. I wonder if there's a connection between linguistics and legal systems.
Here's a Reuters article about it for those that can't access the Financial Times article: https://www.reuters.com/technology/artificial-intelligence/o...
I think you are looking for https://ts-rest.com/
>And there is no true way to "vote with your feet" if you get punished for violating the official orthography.

Ich hat das nicht verstanden. Ich kann mit meinem fusse wahlen.

Wie konnte ich fur schlecte Deutsch bestraft werden? Ich wohne nicht in Deutschland.

Und ja, meinem Deutsch ist sehr schlecht. Das stimmt. Kommen sie damit klar.

Edit: Fixed (without really improving) my terrible german.
> lists “Eva’s Blumenladen” (Eva’s Flower Shop) and “Peter’s Taverne” (Peter’s Tavern) as usable alternatives, though “Eva’s Brille” (“Eva’s glasses”) remains incorrect.

I didn’t understand why Eva’s Brille is incorrect. Anyone understand the difference? Is it only allowed for commercial entities?
One of the brilliant decisions of the AI SDK from Vercel was to use Zod.

It makes tool calling and chaining very robust, despite how finicky LLMs can be.
DHS Awards Contracts to Four Synthetic Data Generation Startups
That really goes against the original spirit of the PBC, which was the exact opposite: you should be able to fend off (not get sued by) evil profit-seeking shareholders, while pursuing the long-term vision.

But I guess these things goes both ways, and the path to hell is paved with good intentions.

We just can't have any nice things.
Of course no one is surprised.

> therefore we should set constraints on what the majority can do.

The constraints are supposed to be a constitution and time. In time, as people die and new people are born, the world changes. New people are in charge. They can even rewrite the constitution.

What other alternative is there?

> I'd describe your system as closer to mob rule.

“Mob rule” is just the pejorative anti-democrats use for democracy not going their way.

What’s a rule-by-rich-people pejorative? Pig-rule? Just a pejorative. Just as meaningless.

Anti-democrats don’t have rational arguments on their side. Therefore they have to invent specters of the pitch-forked mob who is killing babies in the streets, the desperate, unwashed…

But all of that begs the question: if the “mob” rules, why are they in the streets? With pitch forks? Desperate? Of course it is completely irrational. If the “mob” already ruled there would be be no mob because the average person would enjoy dignity and respect. Safety and security.

They would have enough means to appear upstanding. Like you know, those rich people who rule now or ruled in the past. Those who never had to excuse themselves for being part of a mob or being unclean.

But it’s clear that if you want people to be desperate and in the dirt then you also don’t want them to rule. That’s how you get a mob.
Yep step up in basis reform. Thats actually on the table under Kamala.
Show HN: The Case Against Character Count Line Limit
Yes, Rosetta did monte carlo substitution of 9-mers, followed by a refinement phase with 3-mers. Plus a bunch of other stuff to generate more specific backbone "moves" in weird circumstances.

In order to create those fragment libraries, there was a step involving generation of multiple-sequence alignments, pruning the alignments, etc. Rosetta used sequence homology to generate structure. This wasn't a wild, untested theory.
My tool https://openapi-code-generator.nahkies.co.nz/overview/about generates typed handlers based around koa (routing, req/res validation using zod) from openapi 3, as well as typed clients with optional zod validation using fetch/axios.

It also supports typespec using their transpilation to openapi 3 tooling
"manipulating facts" implies changing the data. I don't think that phrase applies to simply choosing the way the facts are presented.
We don't have any questions, but there are possibly several inaccuracies in the post you wrote. At least the information appears to contradict other information provided on your side.

The post has been updated to say that "The Foundation also licensed the name to the website WordPress.org, which facilitates widespread access to WordPress-related software at no charge." Websites presumably can't have trademark licenses. There must be a legal entity. Matt Mullenweg is claiming that he personally has the second license for the trademark [1], so not a website. A graphic included in the post similarly still claims that "Right to use name as part of non-profit activities" went to WordPress. With the arrow coming from the WordPress Foundation. There doesn't appear to be a non-profit.

The post states that "The right to use the WordPress marks for commercial purposes (e.g., selling software, hosting, and agency services) is owned by Automattic." The publicly available license states that Automattic has the right to use the trademark "in connection with the hosting of blogs and web sites [2]." So it looks like Automattic's rights are more limited. Maybe the license has been amended or there is an unstated belief that the license has a wider scope than the plain language of the license suggests. Having the foundation release all licenses agreements it has would help to clear things up, possibility for you, but definitely for everyone else.

In explaining how the license agreement between the foundation and Automattic happened, the post says that 'In order to effect a valid license agreement, there needs to be an actual exchange of value from both sides, which lawyers call "consideration."' But Matt Mullenweg [3] and what appears to be an Automattic employee writing for the WordPress Foundation [4] both stated at the time that Auomattic donated the trademark. Legally, a donation can't involve a consideration [5]. That would suggest there isn't a valid license agreement or there wasn't actually a donation.

We would suggest you consult with a lawyer about all that, but you are a lawyer.

[1] https://youtu.be/OUJgahHjAKU?t=442
[2] https://assignments.uspto.gov/assignments/assignment-tm-4233...
[3] https://ma.tt/2010/09/wordpress-trademark/
[4] https://wordpressfoundation.org/news/2010/trademark/
[5] https://www.law.cornell.edu/wex/donation
If they're part of Hacktoberfest, editing those pages to drop the first person perspective sounds like a pretty useful first contribution.
Where can I find the reviews from other testers?
What bothers me is when people confuse ` grave accents with apostrophes ', to the grammar gulags with the lot of 'em.
100% it is an looming adoption challenge. The same problem exists with finding verified DisplayPort 2.1 80Gbps cables.

Optical interconnects might be the only way forward.
There are literal mansions on dozens of acres (with landscaping, ponds, etc) 3 miles from me that have a lower property tax than my 2000sq foot suburban home. They were purchased by a trust in the 80s or early 90's, and now the kids (or grandkids) live in it. My state limits how much property tax can be raised on a home until its sold, and then that number resets.

It drives me a bit crazy..