skysight-inc/HackerNews huggingface dataset:
You might need to clarify that position.

It is a problem when someone wants 'autonomy' in order to enforce reduced 'right's on others, or another way, my 'autonomy' is greater than your 'autonomy'.

So, lets say I'm commanded by my god to enforce that you must have kids. And I get enough people together to secede, in order to enforce these beliefs onto others. Then the people caught in this situation do have rights taken away.

Or, other people cross dressing offends me, thus I should have the right to pass laws to prevent them doing that, my 'autonomy' outweighs theirs.

It does get confusing, when some groups say they want 'autonomy' over their body when it comes to vaccines, but when it comes to 'autonomy' over having kids, suddenly it is a metaphysical law from god that can't be compromised.

Both are cases of bodily 'autonomy', and one group believes since it is a law from god, that it should be enforced onto others by government laws, which is really taking rights away.

When the group that thinks your 'autonomy' is an affront to their god, and you become the problem to be 'removed', and they are now running the government, now the government is taking away rights and infringing on the individual's 'autonomy'.
You are, unfortunately, not the first to be misled by my impersonator.

I've done what I can to get that account blocked: I have reported him for impersonation to Twitter years ago, after his previous accounts, and I have asked my followers to report the account to get it banned, and I have asked again just now. If any HNers would like to take a moment to report the false troll https://x.com/gwernbranwen1 account for impersonation of my real Twitter account, https://x.com/gwern , I would be grateful - there must be some number of reports at which he'll finally be banned...

But Twitter takes forever to ban impersonation accounts, so, 'gwernbranwen1' keeps on tweeting that crap.

(Why, you might wonder? I don't know. I have no idea who or why whoever is behind that account does it. They have never explained it anywhere I've seen, nor do they seem to particularly hate me or are trying to ruin my reputation; their main fixation seems to be misogynist hatred of a few women like Julia Wise. I've met Julia Wise all of once, who is a nice woman who I liked, but I otherwise have no particular connection to her, and I have no idea why anyone would want to harass her online like that or why they would do so under my name. It's just the Internet, I guess: https://gwern.net/littlewood )
Very cool and promising.

Currently the biggest blocker, even for simple use cases that don't have to add automation (there is no clear way to add customized automation), is the lack of permissions. Everyone has the same access to all the data!

User permissions: https://github.com/twentyhq/twenty/discussions/209
Scientists and farmers restore Aztec-era floating farms that house axolotls
With the advent of the space force, pretty much every space company is targeting military contracts (at least partially) since that is a huge source of government funding
After Apple announcement they should name it Amazon Intelligence.
No it isn't. We have absolutely no way to transmit messages to the brain yet, we've barely only been able to go brain -> computer interface so far. The other way around we don't even know how to do.
if it weren't for NIH, i'd bet that a majority of HN readers would be unemployed right now!
Careful with that website. I am trying to access it from EU.

"We recognize you are attempting to access this website from a country belonging to the European Economic Area (EEA) including the EU which enforces the General Data Protection Regulation (GDPR) and therefore access cannot be granted at this time. For any issues, contact webadmin@tdtnews.com or call 254-778-4444."
The "our elections" in the headline means "the upcoming UK election". Not elections elsewhere, not future elections. The article calls out the US 2016 election as an example of election interference by digital propaganda (albeit not by deepfakes).

The article is aimed at a specific thing: trying to tamp down claims of election interference in this specific election, on the grounds that those claims could cause problems bigger than the actual deepfakes, for which there is no evidence yet. It is not trying to claim that deepfakes won't mess up other elections, of which there are many this year.

Even in that limited scope of the article, I think he's overstating the case. The article cites deepfakes that are already circulating, but says that they're not good enough to fool anybody. That would be a deeply dubious claim in a year with a closer election.

It just so happens that the UK election is expected to be a historic landslide. Even a late, incredibly convincing fake isn't going to radically alter the outcome.

Don't count on that for the next UK election. And especially don't count on it for the US election, which is going to be incredibly close (both for the chief executive and for the balance in the legislature). "The deepfakes aren't good enough to fool people" is a wildly insufficient argument.
Same. I suspect they're all blocked in the EU to avoid having to comply with GDPR. It's archived here, though: https://archive.today/D0fQZ

The picture from Ohio's website too: https://web.archive.org/web/20240612173428/https://www.trans...
Isabelle is my favorite, and it's the one I've used the most, if only because sledgehammer is super cool, but Coq is neat as well. It has coqhammer (a word I will not say at work), and that works ok but it didn't seem to work as well as sledgehammer did for me.

Coq is much more type-theory focused, which I do think lends it a bit better to a regular programming language. Isabelle feels a lot more predicate-logic and set-theory-ish to me, which is useful in its own right but I don't feel maps quite as cleanly to code (though the Isabelle code exporter has generally worked fine).
> It's not about the colour of the message, it's what it signifies

Regardless, if people are ostracizing others because of it, those people aren't worth interacting with anyway.
Define "better language". The duck typed languages all suffer the same problem.

Even in Go we had a stupid problem where default json deserializer creates floats (when deserialized into any) and the number was high enough int64 where it lost precision.

I mean, we can go at it all night long what pitfalls await in what language. Perhaps Rust is safest with its own pitfalls where you just can't do it safely (looking at you BST and use of Arc).

Programming is full of such traps and only inexperienced engineers in a language would make such a mistake. This includes engineers with 20+ years of 1 year experience.
50% chance to get the one with audible lyrics, and I picked the wrong one. Suno always generates two songs from each prompt. Here's the same thing but you can actually hear it. https://suno.com/song/1f243ba3-f64d-4cac-b4d8-4f7aa1a64fcc
> We are born with god-given inalienable rights, constitutions exist to protect those rights from the government.

The political realist take is that “rights” are not some abstract, static group of protections but the direct result of political activity. Women didn’t have the right to vote until they did. People had the right to drink until they didn’t, and then they did again. 18 year olds didn’t have the right to vote until they did.

Secondly, one person’s right usually takes away something from another group or the government. The First Amendment takes away the ability for the government to punish speech they don’t like. The 13th amendment takes away a person’s right to own a slave. Previously, the deciding factor was force or capital.

It sounds reductionist but “rights” is more of a description of how the political/legal system actually works than some abstract notion handed down from Heaven.

What this means is that this list of rights can expand and contract with time, and it is in our interest to expand it as much as possible for as many people as possible. This takes active political participation because the default is for those who can command force (the government) and those with capital (wealthy people/corporations) to have power.
Show HN: I made gamified React web app with tools for freelancers
Hey HN!

Starting with the tech stack: Ant Design + React + Node.js + Firebase

Basically, the web app includes (https://owledge.io/):
- client & project management
- invoice generator
- time tracker feature
+ templates, several freelancing courses and gamification features (achievements, course badges).

Now I'm working on adding more gamification, want to add an Owl with levels as the main character, and to level up the Owl you need to add more clients, send more invoices, finish more projects and etc.

Also in plans:
- adding calendar/scheduler that will allow freelancer's client to book calls;
- collaboration feature - so freelancers with different accounts created can work on 1 project.
This is the core tension at the heart of Alexa that the author didn't address at all. It's not that Alexa is a bad product or that it wasn't cutting-edge, it's that it contributed very little to Amazon's other lines of businesses to justify the investment.

"Shopping with your voice" never took off despite many attempts. The contribution towards subscription services like Audible and Amazon Music was not substantial enough to warrant the massive R&D investment. The business unit never found any other sources of convincing revenue.

Every other decision is downstream from that unresolved tension.
Discussion [0] (537 points, yesterday, 287 comments)

[0]: https://news.ycombinator.com/item?id=40648960
Yeah a lot of it was killed by cheap flights.
$500K right now would pay off my home and do a good job of setting me up for retirement in the future.

$5M when you already have $45M doesn't move the needle much.
Assuming that the videos are real, elephants on zoos had being recorded painting scenes on canvasses that aren't completely abstract. They are trained to paint to please visitors, but curiously they seem to enjoy drawing trees.

Is not clear to me if they just parrot the training or really try to send a message or draw some scene that they find instinctively pleasant. (but wouldn't be strange having in mind their intelligence).
Maven is mass importing public posts from the Fediverse without attribution
As the title says. heymaven.com is scraping public posts
and entire profiles from the fediverse and reposting them wholesale, without any scalable opt-out mechanism. Critically, while they are attributed to domain and display name, they are not attributed by handle, so it's not always possible to actually find the OP.

Maven discussion here: https://app.heymaven.com/discover/1190743

Fedi discussion here: https://social.wake.st/@liaizon/112603447990005434
I never used smart speakers but do they allow third party apps and if they do how developed is the ecosystem? I see so many use cases as of voice commanded apps, voice games etc.
I've been following Light since their first model, and I do like the idea of a minimalist phone. But considering it would have to be my second phone, used outside of work, at $800 it's very hard to see how they expect to make a dent with this.

Edit: They should have added Signal.
Salesforce is slow (the lwc frontend I mean), and has legacy (aka governer) limits. E.g. you can't have synchronous code run for more than 10 seconds, you can't update more than 200 records in a standard transaction, the query language has only very basic joins, and much more.

If you can build a crm without these limitations, why not get your 80% without the limits?
Do you have any better search terms than "extra-partnership paternity" "no-fault divorce"? Thanks!
[citation needed]

Frankly, many more aspects of trying to grow your career from l5-l7 are out of your hands than they are when you're at a startup.
I share a similar view to you on what is hard or soft science fiction, but it can be tricky to pin down. Star Trek to me is somewhat firm (in between) as the technology may as well be magic (Heisenberg compensators), but it tries to be consistent with the scientific rules within the show for the most part. Revelation Space more or less feels like a universe operating off the same principles as ours with a more reasonable assumption about the future (hard). Then you have things like Star Wars that are fun, but so ridiculous as to very much be on the soft side.
Yes I've seen it.
They ran out of budget for the original anime. Then when it became a huge success, they made a more comprehensive (and still baffling) ending in the form of a hit movie.
Then they went ahead and dragged out THAT ending in the form of 4 reboot movies.
Doesn't change the fact that the original ending ran out of money.

In a sense, the original ending is the purest one, where the audience realizes the show is not really about teenagers in mecha fighting kabbalistic space aliens, but rather about the clinical depression suffered by an anime studio runner as he deals with loneliness and a need to make connections to other humans!
It's the same thing, by proxy. They may not know the details of that 20%, but they can be comfortable knowing it is capable of accomplishing it because of its use at other orgs.
The military interventions around the world are not only due to our own needs for oil but also to control the access of others. Even if the US was energy independent the national security complex would still insist on invading everywhere
One other sneaky way to do this is to get the parameters from an AWS RDS instance of Postgres that matches your server and use those. It's general-purpose, but it's a good starting point...and probably much better than the default Postgres settings.
as I was a freelancer myself, I was struggling to manage my clients, projects and invoices in one place.
So the idea was to create the app the can handle it all, but to make it more user-friendly, add gamification elements
Yes, and Nazis can buy coffee at Starbucks and burgers at McDonalds, not very freedom afforded to Nazis is inherently bad just because it’s equally afforded to those with and without Nazi views.
For IPO sales, all options can eventually be converted into common shares then sold (often after various lockup periods giving other investors chances to cash out first).

For private sales, which can be structured in a variety of ways, there's a bucket order that can vary depending on the share structure (remember options aren't shares until converted). Most VCs have terms that they get paid out first to recoup their investment (and often then some) before common or option holders get paid out.

So for a simple example (I'm making these numbers and percentages up):
Say if VCs invested $10m for 30% of a startup with a guarantee of first rights to get that back and 50%, then a founder class of shares owns a percentage, say 50%, and then there's a class of common shares/options that are in theory 20% of the company. So in thoery, the investors own 30%, employees on 20%, and founder(s) 50%.

Let's say then that the company then sells for $20m. The investors get their $10m back, plus $5m for their 50% return guarantee. The founder class of shares has rights to 50% of the company, but all that's remaining is the $5m left over which is 25%; they get it all. Everybody else gets shit unless the buyers want to retain any employees and give them anything extra (this can happen).

Things like this happen a lot. I knew people that worked at 500px (the photo site) and eventually the investors forced a sale after the business stagnated that even the founders got nothing in the end.
The steppe is where the ancestors to modern domesticated horses came from. In fact that’s where they were first domesticated.
Building an Intelligent Emacs (2022)
Traditional pistachio gelato is typically made from smooth pistachio paste/butter with 40% pistachio in the contents. You can also grind your own, but that's a lot of work when you have to get the skins off. Not that Talenti is exactly that, but it's closer than Cold Stone.

Also worth mentioning that what Americans consider gelato (the Italian word for ice cream) is only a subset of Italian Ice Cream, so they probably have other varieties of gelato with pistachio pieces.

https://www.davidlebovitz.com/pistachio-gelat/
I stopped listening to him years ago because he became too unsufferable, but I remember Joe Rogan on his podcast frequently asserting that telepathy or some kind of mind-to-mind communication was always just a few years away...
I don't agree it's a myth. Is it an extreme risk? Yes, of course. Do people view the risks to be way too low? Yes. But I worked at Cloudflare pre-IPO, got shares at 1.73, and at one point CF was at 200 a share. That was more or less what I was "promised" from the equity.

Stripe is one example of a successful startup not going public, but there are tons of startups that are going public. And there are many startups that wish they could go public, but they simply don't have the finances or business to do so.

I don't think VCs changed much from when Google went public until COVID. We were seeing massive overvaluations of tech companies for years. Once through 2020, VCs got scared and now the landscape is a bit different. But the AI craze has started to get VCs back out of their shells taking bets on risky projects.

So, yeah, idk what I agree with this assessment. At least it's not been my experience in tech over the last 8+ years.
I'd an already corrupt environment for any other "maybe corrupt in 10 years" any day.
This area of Ohio has been exploding lately, and within a few miles of the Intel site, are AWS, Google and Meta data centers. Microsoft just bought 200 acres within a stones throw of the new Intel campus as well, possibly for an Azure DC. Not sure how all that relates, but it sure is messing with housing prices in the area.

https://www.datacenterdynamics.com/en/news/microsoft-buys-20...
> I really don't want this to be a message companies are hearing right now

They won't be hearing it, they'll be (and are) sending it. "AI would be better for you if it had fewer guardrails around your privacy. Trust us."
Two services talking to each other doesn't mean that they have to use the same licence or that AGPL "infects" the other.
A little surprised there hasn't been more of this in the past. The wealthy have no end of means to use sock-puppets to push their agenda.
Starship and Starliner aren't really in competition though. the SpaceX Analog is the Falcon 9 and Dragon. which at its fundamental level is a pretty simple spacecraft. The Merlin engines in the Falcon 9 are Kerosene Liquid Oxygen Gas generator engines. which is one of the more simple basic designs you can choose for a rocket engine. The thrusters are pretty standard Hypergolic thrusters.
I tried to say this, but not nearly as eloquently as you.
Very tangential, but the voice actor of Dale (Johnny Hardwick, RIP) actually had YouTube videos playing Dale as Rust Shackleford in The Rusty Report. My head canon says that this is where Dale ended up.

https://www.youtube.com/watch?v=2wiVDr-Pr5o
Good. Now keep an eye on who and where uses it so that the next time an American company finds its data hidden behind ransomware, we can do the same with their stuff.

EDIT:

Downvote all you want, but the fact is, a lot of those operations act out of the Russian Federation with authorization by Putin's government to disrupt American life while earning some sweet crypto in return, helping offset the effects of sanctions. They've done it to utilities, hospitals, financial institutions, etc. without any regard for the collateral damage it causes to American civilians. This won't stop until they pay a price for it.
I followed this line of thinking last week due to curiosity w.r.t ECS & SQLite. I found that the bottleneck was not on the reads, but on the complexity of the writes (iterating each entity and subsequently you have num_systems X num_components writes). You can actually avoid this entirely if you write your systems in SQL.

Since I had already thrown out logic & reason for the sake of curiosity, I took it a step further and learned that the Bun JS runtime actually has SQLite baked in, which allows you to create a :memory: db that can be accessed _synchronously_ avoiding modification of most ECS implementations. (I'm not familiar with the larger SQLite ecosystem, but being a largely TS developer this was very foreign to me)
Funniest real news article I've read in years.

> Nathan’s had asked Chestnut for a potential carve-out: Could he represent all other products in the [competing] company’s line, except for its plant-based hot dogs? “And they said no, and that was where we got to an impasse,” Shea said. “We just got surprised by this.”

Another brand signed an endorsement deal WITH THE HOT DOG-EATING GUY and you asked him if he could endorse all their products except for the hot dogs?

> The deal with Impossible, which is trying to attract more meat eaters with its new plant-based hot dog, does not prohibit Chestnut from entering eating competitions, including Nathan’s Famous International Hot Dog-Eating Contest on July 4. “We love Joey and support him in any contest he chooses. It’s OK to experiment with a new dog. Meat eaters shouldn’t have to be exclusive to just one wiener,” the California-based company said in a statement.

One of the best PR-written responses I've ever read. Promote this person. In fact, the entire article is the best publicity Impossible could have possibly asked for.
The first low hanging fruits are branding and social media content. Most smell SMBs do s terrible job at that.
West vs. Rest, classic :)
I was under the impression we were talking about ICs here -- your link shows that an upper-middle IC that you'd expect to be choosing between early startup or FAANG will see something around 450 a year, which tracks much closer to what I'd expect.
Uizard Acquired by Miro
Another one is Oak: https://oakproof.org/
I couldn't find the exact port they're starting at, so I guessed a boat ramp just to put a pin somewhere. The only places near Manchester, OH I could find that looked like they had some kind of port facilities were what appeared to be a power plant, although per Wikipedia, the plant has been decommissioned, so it's possible that part of the site was reused for the offloading facility.

The Ohio River is famously an easily navigable river; there's only one natural falls along the route from Pittsburgh (the confluence of the Allegheny and the Monongahela rivers) to Cairo (where it joins the Mississippi). It provides the plurality of the water to the Mississippi River, a little less than half of the total discharge. I don't know where you grew up, but the river is more comparable (in European terms) to the Rhine, Danube, Dnieper, Don, or Volga than something like the Thames or the Seine rivers.
Founders can finally get their mansions.
Vietnmese is almost all mono syllabic. However it encodes extra information in tones.

So you could have bây, bảy, etc all meaning totally different things.
The wheels are cached (check ~/.cache/pip/wheels on Linux/Macos)
Given the height and width (23' and 20'), I suspect the length doesn't matter much. Customizing a Schnabel car is plausible. Raising overpasses, widening tunnels, etc...not so plausible.
I’m not sure if you are familiar with Overwatch the game, but it is a very famous massive game. My gut is that a majority (if not a huge majority) of people in tech aged 20-40 will be familiar with Overwatch, the game. This will just make following a conversation about the product unnecessarily difficult. The existing mental and SEO associations are radically strong, regardless of theoretical reasons for why “Overwatch” is a good name for the present product
You buy Salesforce for the ecosystem not the CRM technology. I'd want to see a much stronger emphasis on integrations to feel better about this.
For CDF (Computational Fluid Dynamics) yes, but ML not so much. This is a relatively new technology and this sector is slow to change.

Add in the fact of the black box nature of ML, and it becomes a pain to anything that requires a certification.