skysight-inc/HackerNews huggingface dataset:
You might consider a pi 5. I'm using it after I installed the NVMe top mount hat. (Where I loaded Raspberry OS.) It really speeds everything up!

BTW, I'm using a M.2 2280 drive, even though the hat is designed for shorter drives. (I just tied mine down.) I installed it over the CPU fan and it works great.
All-in-one management tool for micro-merchants
Sometimes I'll start listening to a favorite album in Spotify only to discover that the only version they have is censored. Given the option, virtually nobody would choose to listen to music that way.
HN also has an algorithm.

I'll have to read the third circuit's ruling in detail to figure out whether they are trying to draw a line in the Sand on whether an algorithm satisfies the requirements for section 230 protection or falls outside of it. If that's what they're doing, I wouldn't assume a priori that a site like Hacker News won't also fall afoul of the law.
For most use-cases (indexing denormalised data as documents then running searches against them), there's little difference between the two. The mechanics of how the cluster operates are almost identical.

There are some Elasticsearch features that were part of X-Pack (their commercial offering) so aren't included in the OpenSearch fork. Some of those features are really nice to have and make life much easier; the enrich ingest processor is something I really miss in OpenSearch.

The biggest differences are in the tooling around Elasticsearch. All the observability stuff, the SIEM features, various integrations, and now the AI fluff. I've worked with clients in different sectors and - aside from the observability stuff (which is really nice) - none have had an appetite for any of that.

The OpenSearch team is doing some really cool stuff and the project has come a long way. I'm sure it'll continue to improve. It has a very loyal customer base and even has its own annual event; OpenSearchCon 2024 is next month!
an immediate one for me is to track notes from phone calls to support. My current process is to reply to the email with my notes from the call.
I’ve seen books reference internet archive.
Guys, I think you should not have done this. You can really piss a lot of people off doing that kind of stuff.
we are missing anti0rp / Netochka Nezvanova's m9ndfukc.org website here. I believe there were others from the same "entity" but can't remember the url.
I'm interested in the collection of small cooperating chips on a common fabric approach. Essentially the chiplet work being done by AMD, which seems to have some options for third party silicon running on the same fabric.

I suspect, but do not know for sure, that verilog is going to emerge as the root cause for a wide variety of cost and error problems in silicon design. I'm therefore interested in non-verilog approaches to describing chips, but only at the casual / hobby level for now.
Well Guantanamo Bay still exists.

From https://en.m.wikipedia.org/wiki/Guantanamo_Bay_detention_cam...:

> As of August 2024, at least 780 persons from 48 countries have been detained at the camp since its creation, of whom 740 had been transferred elsewhere, 9 died in custody, and 30 remain; only 16 detainees have ever been charged by the U.S. with criminal offenses.

Given what we do know about the secretive and illegal activities of the federal government during the War on Terror I don’t think it’s a reasonable assumption that everyone accused of terrorist activity got their day in court.
It is! I manage a bunch of these running Proxmox with virtualized firewall and edge compute via containers and LXC. Great platforms for the job and can manage them effectively via Tailscale without having to open anything up or leverage legacy VPN.
Not that it makes him any less opposed to same-sex marriage, but I think 'vocal' is very much not the right word here. The only quotes I can find from him on the subject are him saying he's not going to talk about it.
>I don't know if you're bring purposefully obtuse, I hope not, but obviously I meant "master" came from slavery before audio, and audio took that terminology because it was already a popular word.

I don't know if you're bring purposefully delusional, I hope not, but obviously I meant "master" came from master piece before audio, and audio took that terminology because it was already a popular word. Because of, you know, mastering something?

>Yes audio mastering came before git, and slavery came before both. I don't even know why someone would even bother to argue otherwise.

Luckily "master" in this context has absolutely nothing to do with slavery, so your comment is an immaterial non sequitur.

The use of "master" in git has no historical or etymological ties to slavery whatsoever as outlined above. QED.
I can't think of any company does that and makes money. Imagine Apple doing the same, they'd go bankrupt.
I’m with you but much in-house work relies upon consultants anyway. “Doing things” isn’t a core competency of most modern governments.
There is always space for better and cheaper solutions. Just need to surf the enshitfication
Not frequently enough to stop using them.
I'm pretty happy with this, since they are keeping the option to use the Elastic License. Now everyone can be happy. To me, it's weird that the AGPL is any more "open source" than the Elastic License. The AGPL requires you to publish all of your source code if you make any changes to the product; the Elastic License just says, "don't use our code to make a direct competitor to Elasticsearch". I find the former to be much more restrictive in most practical ways since the majority of companies don't want to open source their code, but very few of them plan to sell hosted search.

Personally, I do wish that there was more broad acceptance of the Elastic License. Who wants to put in years building a business and then have a competitor with better distribution take your code and compete directly with you? For me, the reasons to want open-source code are:

* If a vendor goes under, I can self-host

* If a vendor raises prices too much, I can self-host

* If there's a bug in the code that affects me too much, I can fix it

* If there's a feature I really need, I can add it

The Elastic License allows for all of the above. Seems fair to me.
Of course the worst part is TSA and Homeland Security trying to sweep everything under the rug and ignoring the problem.
To me, at first, it read as satire - but that doesn't make sense, coming
from the official blog. Being LLM-generated is a plausible explanation
- considering the circumstances, saying "open source is in our DNA" is
right inside the uncanny valley.
Some of the accounts asked to be blocked might not have been committing crimes but ones asking for storming the congress, federal intervention and overturning a democratically elected president and questioning the electoral process are defined as anti-democratic acts, which are a criminal offense.

So if the original requirement is just putting Musk in his place thinking he's untouchable in his ivory tower is actually following the law in the country is a human rights violation... Then the EU is the most human rights violating group of countries in the world.
Last time I deployed elastic was years ago. In the meantime I deployed hundreds of opensearch instead for customers.
> And this is conversely why I say that programs for theorem checkers are executable - the requirement to pass a theorem checker imposes constraints on proof structure and such that is not found in the "natural" language of mathematics.

But TLA+ formulas not programs for a proof checker. There is a model checker than can check some subset of TLA+ and a proof checker that can check some TLA+ proofs (if they're detailed enough to be checked), but you can even write proofs in TLA+ that TLAPS cannot check.

> Now regarding TLA+ vs TLC, I am not clear what the utility of a TLA+ program that cannot be checked with TLC / TLAPS / etc.

First, there is no such thing as a TLA+ "program". You write mathematical definition and state propositions. Second, that's like saying that it's not clear what the utility of any formal mathematics without tools, but formalisms were invented long before there were computers.

You can prove things without having them checked by a proof checker -- indeed that is how nearly all mathematical theorems have been proven -- and it's a rigorous process that isn't at all the same as things just "seeming" right.

Obviously, most of the practical usage of TLA+ involves use of TLC, some smaller amount involves the use of TLAPS, but whether or not you think there is utility in mathematics without mechanised tools, it doesn't change the fact that TLA+ is formalised mathematics.

> From my perspective this reduces a TLA+ program to a piece of writing, since nothing automated can be done with it.

It's not a program, and often times mathematics is "a piece of writing that nothing automated can be done with."

> The interesting TLA+ programs

Not programs, formulas. Again, they cannot be executed, although their veracity could be checked. Here is a TLA+ specification: `3 * 3 = 9`. Here is another one: `∀ x ∈ Nat : x * x ≥ x` [1]. These two can easily be checked to be true, yet they are not programs. Sure, mathematics can (and is) used to describe aspects of the dynamics of a thrown ball or of an algorithm, but that doesn't make mathematics a ball-manufacturing machine nor a programming language. You can use TLA+ to specify the quicksort algorithm and prove that it, indeed, sorts its input, but you don't use it to produce an executable program that sorts a list (unless you use a very limited subset and write a tool that can translate formulas of certain forms to a computer program).

[1]: I'm eliding some details because TLA+ formulas are interpreted in the TLA logic, where formulas have very specific semantics, but it's close enough for our purpose.
Having more things certainly is good for GDP. But I don't know about you, but I'm pretty saturated on things already, with a bunch of stuff that I've purchased and barely use.

Perhaps this comes down to a quality of life vs GDP per capita not being identical. While I could use more energy to consume more, I don't have a very strong desire to go much above my current level of consumption.

But outside of the wealthy there is still huge latent demand for energy and what comes with it.
> A reasonable consumer or customer might be confused into thinking a service named ElasticSearch(tm) Service is being provided by the company behind ElasticSearch. This confusion is exactly what trademarks rather than copyrights are meant to prevent.

> you're not reselling the same service as Elastic does; you're offering your own independent version of the service, backed by their technology. To prevent unwarranted damage to Elastic's reputation from any weaknesses in your service's reliability, customer support, or other factors, trademark law doesn't let you call your service ElasticSearch Service without their permission.

I don’t know. The orginal AWS-hosted Elastic Search product was the elastic search code, hosted by AWS. That’s fundamentally the same thing. Maybe the exact wording matters and the service name was “AWS managed elastic search” or whatever. I’m sure the Amazon lawyers knew how to name it.

This feels analogous to “Amazon Linux” where it’s clearly Amazon’s version of Linux (which is also a trademark). Or “hosted postgres” or “Postgres compatible RDS” or any number of other services based on OSS.
I think they are saying: trademark your product name (open source in this case), make sure it's used only as approved.

Altho i believe it does go back to the license attached to the product.
Since fossil fuels are not being charged the full cost of their negative externalities, no it's not a free market.
> FWIW, it's practically impossible to provide that guarantee because the API necessarily provides at least the data point of, "Did they select an option in the permission notification?" ("If yes, what option was selected?" etc.)

Wrong. The status of permissions should not be visible to the page in most cases. Instead, fake data should be returned from them. That would be practical.
> could just as easily use your exact argument to say Audio got it from slavery. Which is what I'm doing.

You're welcome to say this, but it has no basis in fact.
Show HN: I built an app to manage animal adoption easily (Brazil-only)
Hello HN,

I’ve always been passionate about animal welfare, and after noticing the challenges faced by both adopters and shelters, I decided to create PetsRescue. It’s a web app that simplifies the animal adoption process, making it easier for people to find and adopt pets in need.

The goal was to create a platform that’s user-friendly, secure, and accessible to everyone who wants to make a difference in the lives of animals.

I’d love to hear your feedback on it.

Cheers,
Maybe Bing is managed by the same people that haven't managed to get Windows search right despite trying for many, many years?
I’m willing to bet that I can reduce your costs by at least 10x. I’d go so far as to say this thing should be able to handle HN front page traffic at < $300 / month, including all real-time vector search.

That is, if this 6k number is actually true. Part of me (forgive me) is in fact wondering if maybe this is an advertisement for your SaaS and you’re inflating this number to make people think there’s no way they can build a thing like that themselves. But, giving you the benefit of doubt, if you are truly paying this, you’re overspending by more than an order of magnitude. Most likely too many middlemen.

Email is in my profile if you want to talk about it.
What are we appreciating exactly?
Zero-Knowledge Appointment Scheduler
Following this one. Slight concerns about production readiness, but certainly would be good to spin up for smaller projects and trials. OpenTelemetry support is such a huge boost since it means Logfire already supports all the popular web frameworks. And Logfire's interface is looking really good.
No, log and throw an Exception. Error return values, errno, and things like that are failing strategies for failure handling that people keep failing with no matter how much they fail because… some people just don’t want to use Exceptions.
Mozilla has a range of different priorities now and most of these do not revolve around the flagship project which Firefox should be.

---

I remember reading news in 2005 saying that Mozilla has established its Corporation subsidiary - and I had a bad feelings about it at that time. And years later we can see the effects - what's the revenue, how browsers market share looks like. Now, every time I'm reading that project, foundation xyz is creating "for profit" branch, subsidiary I know that this most likely won't end well. Profits will go over users needs, wishes each time and those at the project will change as well. It's like a magic wand appears and turns open-minded contributors into some mindless corporate drones with an arrogant attitude.

I want to still like Firefox but in last 14 years Mozilla managed to seriously deteriorate trust in its capabilities of handling their main product. And I also cannot fathom how they managed to screw up promotion of the browser and let Google dominate the market. That didn't happen overnight but Google at some point started to bundle their browser as "additional offer" in almost every software installer for Windows, while Mozilla did nothing similar.
Wow. Thank you. I saw this years ago, and despite my best efforts, I could never find it again! Thank you.
The societal solution for Dunkelflauten remains using turbines, but the gas burned switches from fossil natural gas to green hydrogen.
https://cdn.arstechnica.net/wp-content/uploads/2024/05/Wilso...
Bobby Tables strikes again!

https://xkcd.com/327/

I’m continually amused, amazed, and exasperated at how classes of software defects older than I am continue to be a problem.
and if someone questions this is a leftist website: https://fortune.com/2023/03/15/elon-musk-starlink-brazil-ama...
Reminds me of the guy that created a simple one-page website to make fake boarding passes, only to get into controlled areas of airports (not to actually fly).

<knock> <knock>'d
Are you the one who makes the call, or are you getting hundreds of customers requesting OpenSearch over Elastic?

If you're making the call then that's really one anecdote, not hundreds.
Oh they usually do require some kind of proof of security certification. However the checkbox audits to get those certs and the kinds of solutions employed to allow them to check off the boxes are the real problem.
does anyone have a detailed tech breakdown of these guys? not quite sure how their LTM architecture works.
"'We had a slower start to the year with the volume of customer commitments impacted by segmentation changes that we made at the beginning of the year, which are taking longer than expected to settle. We have been taking steps to address this, but it will impact our revenue this year,' said Ash Kulkarni, Chief Executive Officer, Elastic."

So, whatever that means, is the answer to your question.
+1 to Shortwave being great
7 Questions only successful AI startups can answer - 0 to 1
You’ve worn a stillsuit before?
Please explain. This isn't obvious to me.
I don’t know if that’s true. I see tons of car repair services advertising “we repair $BRAND with original parts” and they’re definitely not owned by $BRAND.

Clearly not confused with the original brand, but also advertising a service built off that brand.
Boeing can walk away, but not without repercussions.
That would set them back at least $800 (2021 prices: last time I had to spec a ruggedized tablet), which probably means $1200 out of the customer's pocket.

OTOH, they can find an industrial display + a Linux SoM (system-on-module) that can run linux or Android for under $200 in quantity.

Same diff though: no one cared, so they got what was cheap.
You just lived through the most humid summer on record
> You also can't be undeleting posts people make

undeleting is bad enough, but they've edited the content of user's comments too.
I’ve heard VMS has legendary reliability, but is there any reason to build new stuff on it in 2024? Surely Linux would be a better choice since it’s free of cost and you can do whatever you want without being locked in to a single vendor (VSI)
On eBay, always check each individual seller for their return/refund rules. Most give 30 days, you pay return shipping, but not all.
What am I going to do? I just did it. I called out was Godzilla-size hole in "the facts". I called out what *was not* said. But I'm the bad guy? And the "journalist" get a free pass? Come on now. Stop it.

The point is, you're taking issue with me, as if I'm the problem, and the journalist and the publisher have no stay in their own matters? Does that sound reasonable to you?
Great to see this starting to spread. I don't live in Hawaii, but I am envious of those that live there that can now use this feature.

I live in California and have been wanting this for a while now. I just recently found out that California has a limited public rollout from last year [1], but it does _not_ have Apple Wallet support, yet anyways.

Nice job Hawaii!

[1]: https://www.dmv.ca.gov/portal/ca-dmv-wallet/
Very sorry about this, I have changed it now.
Of course Comrade, there must be consequences for these firms pushing Counter-Revolutionary content. They can have free expression, but they must realize these algorithms are causing great harm to the Proletariat by platforming such content.
Let's hope it spreads as well :p
One solution to this is to have the option to feed the application fake but plausible data. Android (or maybe some Android fork I was using) used to have this option for dealing with apps that insist on asking for location permission for no reason.
Thanks for the detailed reply, I really appreciate it.

I only ask that you continue to make that 3rd point clear to people who might be considering using it because although yes it is not a scenario most of us will likely ever face, what you have built is absolutely going to attract people who are at risk of torture and I don’t think it’s conscionable to put this in their hands unless they are extremely clear on the fact that with this tool they literally won’t have a way of being able to clear their name in that situation because I think that might not actually be obvious to them until it’s too late and maybe they would make other choices if they knew that ahead of time. I’d personally see it as a huge liability but everybody’s situation is different obviously.

But at a minimum I think just helping them to understand where a tool like this fits into the bigger picture and what other steps they should take because otherwise people will do really dumb shit with this because they put all of their faith in it and skipped a lot of other fundamental things that might have helped them because my experience with this topic is that they are absolutely going to get those passwords from you one way or the other and if your plan is to trick them you’re going to have a really shit time.

It may even be worth getting in touch with some folks who have been on the receiving (or giving) end of the wrench scenario to just chat with them about what you’ve built here and if it is something they think would have helped them or not.
As long we keep using logarithmic axes: yes, indefinitely!
EDIT: The page link is broken, here is the real link:

https://www.nextinject.pro/plugins/ui/lp
If you try to sell AGPL software the owner will probably shake you down.
If it was an algorithmic system, why did denials take months?
I don't need to change the definition. The existing (canonical, well-understood, etc. etc.) definition of a CRDT clearly excludes blockchain data structures.
It's not a question whether the judge disliked what X did or not. They were subpoenaed to block the accounts engaged in anti-democratic speech. Failing to do so, X would have to pay a 2k USD daily fine until they cooperated.

X decided to challenge, Moraes raised the fine to 20k USD daily, they continued defying the order, until they closed the company thinking this is a legal way to circumvent the debt they owe to the state.

Moraes found out that there are links between Starlink and X (Musk), so he decided to go after Starlink instead, blocking their bank accounts until X pays what they owe to the Brazilian state.
Sure it is. Just scroll through the list and you see very few similarities. If anything might be in common, is that many of them were from rich families to begin with (e.g. Gates, Zuckerberg, Donald Trump) but there's many that weren't (e.g. Phil Knight).

> I'm sure there's many patterns or things linking them together.

That's awfully confident. What knowledge do you have that inspires such confidence?
I see a couple people on here claiming this, but no data to back it up. Elastic beats out OpenSearch by a wide margin on every metric I've thought to check (gh stars, gh stars rate of increase, number of commits, number of pull requests opened, number of pull requests merged, number of issues, stack overflow questions...). Not a single one shows OpenSearch ahead.

What metric are you using to come to the conclusion that OpenSearch is the more valuable brand?
Also, the emittance of the panels at thermal wavelengths is important. What you want is a panel that converts wavelengths shorter than the bandgap cutoff at high efficiency, reflects near and mid IR at longer wavelengths, but has high emissivity in the far IR at wavelengths where the atmosphere isn't too opaque.
They could have, however the timeline the regulators gave Microsoft to comply was incompatible with the amount of work required to build such system. With a legal deadline hanging over their heads Microsoft chose to hand over the keys to their existing tools.
For many people (me included) being AI-first is a bug, not a feature :)
I love https://resend.com/ as an example of a website that does a GREAT job explaining what they do. Lots of companies tell you that integrating their product is quick, but with their website I can look at it for 30 seconds and understand what the next steps would be.
That's what most people miss